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

›› 2012, Vol. 42 ›› Issue (05): 1219-1224.

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

王海燕^1,2,3, 郭劲松^1,2, 欧阳丹彤^1,2, 张永刚^1,2

1. 吉林大学计算机科学与技术学院,长春 130012;
2. 吉林大学符号计算与知识工程教育部重点实验室,长春 130012;
3. 吉林师范大学计算机学院,吉林四平 136000

收稿日期:2011-08-26 出版日期:2012-09-01 发布日期:2012-09-01
通讯作者: 张永刚(1975-),男,副教授,博士.研究方向:约束推理,约束求解.E-mail:zhangyg@jlu.edu.cn E-mail:zhangyg@jlu.edu.cn
基金资助:
国家自然科学基金项目(61170314,60973089,61133011,61170092,61003101,41172294);吉林省科技发展计划项目(20101501,20100185,201101039 );高等学校博士学科点专项科研基金项目(20100061110031);浙江师范大学计算机软件与理论省级重中之重学科开放基金项目(ZSDZZZZXK12);浙江省自然科学基金项目(Y1100191).

Adaptive propagation algorithm based on bitwise operations

WANG Hai-yan^1,2,3, GUO Jin-song^1,2, OUYANG Dan-tong^1,2, ZHANG Yong-gang^1,2

1. College of Computer Science and Technology, Jilin University, Changchun 130012, China;
2. Key Laboratory of Symbolic Computation and Knowledge Engineering for Ministry of Education, Jilin University, Changchun 130012, China;
3. College of Computer, Jilin Normal University, Siping 136000, China

Received:2011-08-26 Online:2012-09-01 Published:2012-09-01

摘要/Abstract

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

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

Abstract: On the basis of the research of the constraint propagation algorithm, an adaptive constraint propagation algorithm, AC_MaxRPC_Bitwise, is proposed, which is based on bitwise operations. The proposed algorithm has several advantages in improving the efficiency of adaptive constraint propagation method. First, it introduces bitwise method to represent the data structure while looking for AC support and PC support. Second, it uses bitwise operation to speed up the searching process of AC support and PC witness. Experiments were conducted on a few typical benchmark problems. Results show that the improved algorithm AC_MaxRPC_Bitwise whelms AC and other constraint propagation algorithm in overall performance.

Key words: artificial intelligence, constraint satisfaction problem, adaptive constraint propagation, bitwise operations

中图分类号:

TP31

王海燕, 郭劲松, 欧阳丹彤, 张永刚. 基于比特位操作的自适应约束传播算法[J]. , 2012, 42(05): 1219-1224.

WANG Hai-yan, GUO Jin-song, OUYANG Dan-tong, ZHANG Yong-gang. Adaptive propagation algorithm based on bitwise operations[J]. , 2012, 42(05): 1219-1224.

参考文献

[1] Rossi Francesca, van Beek Peter, Walsh Toby. Handbook of Constraint Programming[M]. Amsterdam:Elsevier, 2006.
[2] Boussemart Fr閐閞ic, Heremy Fred, Lecoutre Christophe, et al. Boosting systematic search by weighting constraints//Proceedings of ECAI-2004, Valencia,Spain,2004.
[3] Grimes Diarmuid, Wallace Richard J. Sampling strategies and variable selection in weighted degree heuristics//Proceedings of CP-2007, Providence,RI,USA,2007.
[4] Stamatatos Efstathios, Stergiou Kostas. Learning how to propagate using random probing//Proceedings of CPAIOR-2009, Pittsburgh,PA,USA,2009.
[5] Lecoutre Christophe, Vion Julien. Enforcing arc consistency using bitwise operations[J]. Constraint Programming Letters, 2008, 2:21-35.
[6] Guo Jin-song, Li Zhan-shan. MaxRPC algorithms based on bitwise operations//Proceedings of CP-2011, Perugia Italy,2011.
[7] Stergiou Kostas. Heuristics for dynamically adapting propagation//Proceedings of ECAI-2008, Patras,Greece,2008.
[8] Balafoutis Thanasis, Paparrizou Anastasia, Stergiou Kostas, et al. Improving the performance of MaxRPC//Proceedings of CP-2010, St Andreus,Scotland,2010.

相关文章 15

[1]	董飒, 刘大有, 欧阳若川, 朱允刚, 李丽娜. 引入二阶马尔可夫假设的逻辑回归异质性网络分类方法[J]. 吉林大学学报(工学版), 2018, 48(5): 1571-1577.
[2]	顾海军, 田雅倩, 崔莹. 基于行为语言的智能交互代理[J]. 吉林大学学报(工学版), 2018, 48(5): 1578-1585.
[3]	王旭, 欧阳继红, 陈桂芬. 基于垂直维序列动态时间规整方法的图相似度度量[J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[4]	张浩, 占萌苹, 郭刘香, 李誌, 刘元宁, 张春鹤, 常浩武, 王志强. 基于高通量数据的人体外源性植物miRNA跨界调控建模[J]. 吉林大学学报(工学版), 2018, 48(4): 1206-1213.
[5]	黄岚, 纪林影, 姚刚, 翟睿峰, 白天. 面向误诊提示的疾病-症状语义网构建[J]. 吉林大学学报(工学版), 2018, 48(3): 859-865.
[6]	李雄飞, 冯婷婷, 骆实, 张小利. 基于递归神经网络的自动作曲算法[J]. 吉林大学学报(工学版), 2018, 48(3): 866-873.
[7]	刘杰, 张平, 高万夫. 基于条件相关的特征选择方法[J]. 吉林大学学报(工学版), 2018, 48(3): 874-881.
[8]	王旭, 欧阳继红, 陈桂芬. 基于多重序列所有公共子序列的启发式算法度量多图的相似度[J]. 吉林大学学报(工学版), 2018, 48(2): 526-532.
[9]	杨欣, 夏斯军, 刘冬雪, 费树岷, 胡银记. 跟踪-学习-检测框架下改进加速梯度的目标跟踪[J]. 吉林大学学报(工学版), 2018, 48(2): 533-538.
[10]	刘雪娟, 袁家斌, 许娟, 段博佳. 量子k-means算法[J]. 吉林大学学报(工学版), 2018, 48(2): 539-544.
[11]	曲慧雁, 赵伟, 秦爱红. 基于优化算子的快速碰撞检测算法[J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[12]	李嘉菲, 孙小玉. 基于谱分解的不确定数据聚类方法[J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[13]	邵克勇, 陈丰, 王婷婷, 王季驰, 周立朋. 无平衡点分数阶混沌系统全状态自适应控制[J]. 吉林大学学报(工学版), 2017, 47(4): 1225-1230.
[14]	王生生, 王创峰, 谷方明. OPRA方向关系网络的时空推理[J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
[15]	马淼, 李贻斌. 基于多级图像序列和卷积神经网络的人体行为识别[J]. 吉林大学学报(工学版), 2017, 47(4): 1244-1252.

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed