基于比特位操作的自适应约束传播算法

摘要：

在现有约束传播算法研究的基础上,提出了一种基于比特位操作的自适应约束传播算法AC_MaxRPC_Bitwise。该算法在寻找AC支持及PC支持中引入基于比特位的数据结构,并利用比特位操作加速AC支持和PC证据搜索,从而提高自适应约束传播的效率。对几类典型benchmark问题的测试结果表明,算法AC_MaxRPC_Bitwise在总体性能上明显优于AC及原自适应约束传播算法。

关键词：人工智能、约束满足问题、自适应约束传播、比特位操作

所属期刊栏目：42

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

资助基金：国家自然科学基金项目61170314,60973089,61133011,61170092,61003101,41172294;吉林省科技发展计划项目20101501,20100185,201101039;高等学校博士学科点专项科研基金项目20100061110031;浙江师范大学计算机软件与理论省级重中之重学科开放基金项目ZSDZZZZXK12;浙江省自然科学基金项目Y1100191

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

页数：共6页

页码：1219-1224