基于改进树分解技术的约束满足问题的符号ADD求解算法

• 作者: 徐周波 王敏
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 约束满足问题 树分解 代数决策图 符号算法
• 年，卷（期）: 2017,（2）
• 页码范围: 127-133
• 页数: 7页
• 分类号: TP301
• 字数: 5528字
• 语种: 中文

摘要

为提高大规模约束满足问题(CSP)的求解效率,提出了基于改进树分解技术的符号ADD求解算法.通过CSP的ADD描述,将树分解技术的树聚类与符号ADD结合,以提高算法的求解效率.采用改进最大基数(MC)的变量选择法,提高构造弦图的效率,引导团的构造以及连接树的生成.对大量随机生成的测试用例进行实验仿真,结果表明,基于改进树分解技术的符号ADD求解算法求解效率优于BT-FC-ADD算法和BT-ADD算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	徐周波	桂林电子科技大学广西可信软件重点实验室	53	284	8.0	15.0
2	王敏	桂林电子科技大学广西可信软件重点实验室	3	2	1.0	1.0