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

摘要：

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

关键词：人工智能、论域折半、弧相容、最大限定路径相容、不可满足问题

所属期刊栏目：45

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金项目61170314,61272208;吉林省自然科学基金项目20140101200JC

在线出版日期：2016-05-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：229-235