基于成功回溯的约束推理技术

摘要：

提出了基于成功回溯的约束推理技术及其相应的约束求解算法MAC_BTS,并证明了该算法在一条分枝上回溯到网络相容状态的最坏时间复杂度是O(ned3).实验结果表明:新的MAC_BTS算法在大多数问题的求解上较国际上流行的MAC3rm算法以及MAC_LC算法取得了10％～20％的加速,甚至在某些问题上达到50％,可见该算法在效率上更优.

关键词：人工智能、约束满足问题、约束推理、成功回溯

所属期刊栏目：46

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金项目61170314,61272208;吉林省科技发展计划项目20140101200JC,20071106;教育部高等学校博士学科点专项科研基金项目20100061110031

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

页数：共5页

页码：1622-1626