求解过程中约束一致性维护的多层次策略研究

• 作者: 蔡庆生 陈恩红 韩靖
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 约束一致性维护 约束检测 多层次原则
• 年，卷（期）: 1998,（8）
• 页码范围: 0
• 分类号: TP18
• 语种: 中文

摘要

约束满足问题广泛出现于人工智能领域.在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的.过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维护.该文立足于更高点,提出从求解层次、维护层次和约束层次优化约束一致性维护的原则及其相应策略,算法MAC-H和AC-I+进一步减少了约束一致性维护的总代价,并克服了原有算法空间复杂度大的缺点.文中以两个典型的约束满足问题:N-皇后问题和斑马难题为分析和测试的例子,证实了这些原则和策略的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蔡庆生	中国科学技术大学计算机科学系	115	2706	28.0	47.0
2	陈恩红	中国科学技术大学计算机科学系	87	1942	22.0	42.0
3	韩靖	中国科学技术大学计算机科学系	5	81	4.0	5.0