结合 Separator 的约束满足问题树分解方法

• 作者: 吕巍 张舒娟
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 人工智能 约束满足问题 树分解 回溯搜索 启发式方法
• 年，卷（期）: 2016,（2）
• 所属期刊栏目: 计算机科学
• 页码范围: 291-296
• 页数: 6页
• 分类号: TP18
• 字数: 2952字
• 语种: 中文
• DOI: 10.13413/j.cnki.jdxblxb.2016.02.25

摘要

基于树分解的回溯搜索算法，结合 separator 分解算子提出一种新的搜索算法BTD+-MAC.该算法在搜索时，优先选择 separator 中的变量进行相容性检查和实例化，由于树宽度的减小能提高约束传播的效率，进而提高问题求解效率.对几组 benchmark 问题进行测试，测试结果表明，该算法在问题求解效率上超过了 MAC3rm 算法和 BTD-MAC 算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕巍	吉林大学计算机科学与技术学院	33	134	6.0	10.0
2	张舒娟	吉林大学计算机科学与技术学院	2	0	0.0	0.0