一种维持约束网络相容性的双向传播策略

• 作者: 司怀伟 李东雨 李晓 谭国真 郭宗沂
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 人工智能 约束网络 弧相容 启发式传播 传播策略
• 年，卷（期）: 2020,（4）
• 所属期刊栏目: 人工智能与模式识别
• 页码范围: 46-52
• 页数: 7页
• 分类号: TP18
• 字数: 6828字
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0054075

摘要

约束满足问题是经典NP-hard问题,其基本算法是递归形式的回溯算法和弧一致性算法.将弧相容与回溯搜索结合,可以有效降低解空间大小.针对弧相容的维持问题,提出一种新的基于时序计数的传播方案,用于增量更新约束子网.将accumulateRevision和pushRevison作为双向修订的主要方法,以减少修订次数和域过滤变量的数量.实验结果表明,与经典的基于关系的方案和基于变量的传播方案相比,该方案的整体求解速度明显提高,且具有较少的修订时间.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	谭国真	大连理工大学电子信息与电气工程学部	56	946	13.0	29.0
2	李晓	大连理工大学电子信息与电气工程学部	1	0	0.0	0.0
3	司怀伟	大连理工大学电子信息与电气工程学部	2	0	0.0	0.0
4	郭宗沂	大连理工大学电子信息与电气工程学部	1	0	0.0	0.0
5	李东雨	大连理工大学电子信息与电气工程学部	1	0	0.0	0.0