首页 | 本学科首页   官方微博 | 高级检索  
     

约束可满足性中求解RB模型实例的算法综述
作者姓名:杨易  王晓峰
作者单位:北方民族大学计算机科学与工程学院,银川750021;北方民族大学计算机科学与工程学院,银川750021;北方民族大学图形图像智能处理国家民委重点实验室,银川750021
基金项目:国家自然科学基金资助项目(62062001);宁夏青年拔尖人才资助项目(2021)
摘    要:约束满足问题是人工智能领域中最基本的NP完全问题之一。多年来,随着约束满足问题的深入研究,国内外学者提出多种实例模型。其中,RB模型是一种能生成具有精确相变的增长域约束满足问题实例,其求解难度极具挑战性。为了寻找其求解的新型高效算法,促进约束可满足问题的RB模型求解算法领域的研究,首先从约束满足问题的模型发展、求解技术进行分析;其次,对各类求解RB模型实例算法进行梳理,将求解的算法文献划分为回溯启发式类、信息传播类和元启发式类相关改进算法,从算法原理、改进策略、收敛性和精确度等方面进行对比综述;最后给出求解RB模型实例算法的研究趋势和发展方向。

关 键 词:约束满足问题  RB模型  回溯启发式算法  信息传播算法  元启发式算法
收稿时间:2022-11-18
修稿时间:2023-06-11
本文献已被 万方数据 等数据库收录!
点击此处可从《计算机应用研究》浏览原始摘要信息
点击此处可从《计算机应用研究》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号