基于论域折半的最大限定路径相容算法

• 作者: 张舒娟 李占山 许苍竹 贾湘华
• 来源期刊: 吉林大学学报（工学版）
• 学科: 工学
• 关键词: 人工智能 论域折半 弧相容 最大限定路径相容 不可满足问题
• 年，卷（期）: 2015,（1）
• 页码范围: 229-235
• 页数: 7页
• 分类号: TP18
• 字数: 7139字
• 语种: 中文
• DOI: 10.13229/j.cnki.jdxbgxb201501034

摘要

针对绝大多数不可满足问题的特点,提出了一种将弧相容算法与最大限定路径相容算法相结合的相容性算法——基于论域折半的最大限定路径相容的算法.该算法充分利用了弧相容计算开销小和最大限定相容删值能力强的优点,可以减少在求解不可满足问题中生成的结点数,进而提高求解效率.实验结果表明,本文算法在处理不可满足问题时的求解效率明显优于传统的维持弧相容算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李占山	吉林大学符号计算与知识工程教育部重点实验室	43	234	7.0	13.0
5	许苍竹	吉林大学符号计算与知识工程教育部重点实验室	2	0	0.0	0.0
9	贾湘华	吉林大学符号计算与知识工程教育部重点实验室	1	0	0.0	0.0
13	张舒娟	吉林大学符号计算与知识工程教育部重点实验室	2	0	0.0	0.0