基于动态值启发式的约束满足求解算法

摘要：

为提高约束满足问题的求解效率,提出了一种基于动态值启发式的约束满足问题求解算法.该算法在求解过程中吸收了以往启发式算法的优点,充分利用了预处理和弧相容检查阶段的信息.不但加入了变量启发式,而且在实例化变量时,对所有值的优先级进行动态的改变,从而实现了动态值启发式.比较了静态值启发式和动态值启发式的效率,分析了该算法的优缺点.通过随机问题标准库用例测试表明,该算法比经典主流算法具有更好的效率优势.

关键词：动态值启发式、值排序、约束满足问题、弧相容技术、启发式算法

所属期刊栏目：17

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

资助基金：国家自然科学基金资助项目60773097,60873148,60973089;吉林省自然科学基金资助项目20060532,20071106,20080107

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

页数：共6页

页码：832-837