基于 MAC 的动态回溯算法优化

• 作者: 刘明慧 李博宇 许苍竹 郝爽
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 人工智能 约束满足问题 动态回溯算法 删除解释
• 年，卷（期）: 2015,（2）
• 所属期刊栏目: 计算机科学
• 页码范围: 285-290
• 页数: 6页
• 分类号: TP18
• 字数: 4079字
• 语种: 中文
• DOI: 10.13413/j.cnki.jdxblxb.2015.02.25

摘要

针对基于 MAC 的动态回溯算法在求解约束满足问题时，不仅需要大量空间存储删除解释，而且回溯机制过于复杂，对经典的删除解释及动态回溯算法的回溯机制进行优化，优化后的动态回溯算法减少了存储删除解释的空间，并可仅使用一次回溯操作返回到可能导致冲突的关键变量。在最差情况下，存储删除解释的空间复杂度由 O(n 2 d )改进为O(nd +n 2)。通过结合 restart 技术使优化后的动态回溯算法成为完备算法。实验结果表明，优化后的完备动态回溯算法在大部分问题求解中，整体效率明显优于标准回溯算法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝爽	吉林大学符号计算与知识工程教育部重点实验室	5	15	1.0	3.0
5	许苍竹	吉林大学符号计算与知识工程教育部重点实验室	2	0	0.0	0.0
9	李博宇	吉林大学符号计算与知识工程教育部重点实验室	1	0	0.0	0.0