| 基于论域折半的最大限定路径相容算法 |
| |
| 引用本文： | 李占山,贾湘华,许苍竹,张舒娟. 基于论域折半的最大限定路径相容算法[J]. 吉林大学学报(工学版), 2015, 45(1) |
| |
| 作者姓名： | 李占山 贾湘华 许苍竹 张舒娟 |
| |
| 作者单位： | 吉林大学符号计算与知识工程教育部重点实验室,长春130012;吉林大学计算机科学与技术学院,长春130012 |
| |
| 摘 要： | 针对绝大多数不可满足问题的特点,提出了一种将弧相容算法与最大限定路径相容算法相结合的相容性算法——基于论域折半的最大限定路径相容的算法。该算法充分利用了弧相容计算开销小和最大限定相容删值能力强的优点,可以减少在求解不可满足问题中生成的结点数,进而提高求解效率。实验结果表明,本文算法在处理不可满足问题时的求解效率明显优于传统的维持弧相容算法。
|
| 关 键 词： | 人工智能 论域折半 弧相容 最大限定路径相容 不可满足问题 |
Max-restricted path consistency algorithm based on half range of domain |
| |
| LI Zhan-shan,JIA Xiang-hua,XU Cang-zhu,ZHANG Shu-juan. Max-restricted path consistency algorithm based on half range of domain[J]. Journal of Jilin University:Eng and Technol Ed, 2015, 45(1) |
| |
| Authors: | LI Zhan-shan JIA Xiang-hua XU Cang-zhu ZHANG Shu-juan |
| |
| Abstract: | |
| |
| Keywords: | artificial intelligence half range of domain arc consistency max-restricted path consistency unsatisfied problems |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
