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

Previous Articles     Next Articles

Adaptive propagation algorithm based on bitwise operations

WANG Hai-yan1,2,3, GUO Jin-song1,2, OUYANG Dan-tong1,2, ZHANG Yong-gang1,2   

  1. 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: 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

CLC Number: 

  • TP31
[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.
[1] DONG Sa, LIU Da-you, OUYANG Ruo-chuan, ZHU Yun-gang, LI Li-na. Logistic regression classification in networked data with heterophily based on second-order Markov assumption [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1571-1577.
[2] GU Hai-jun, TIAN Ya-qian, CUI Ying. Intelligent interactive agent for home service [J]. Journal of Jilin University(Engineering and Technology Edition), 2018, 48(5): 1578-1585.
[3] WANG Xu, OUYANG Ji-hong, CHEN Gui-fen. Measurement of graph similarity based on vertical dimension sequence dynamic time warping method [J]. 吉林大学学报(工学版), 2018, 48(4): 1199-1205.
[4] ZHANG Hao, ZHAN Meng-ping, GUO Liu-xiang, LI Zhi, LIU Yuan-ning, ZHANG Chun-he, CHANG Hao-wu, WANG Zhi-qiang. Human exogenous plant miRNA cross-kingdom regulatory modeling based on high-throughout data [J]. 吉林大学学报(工学版), 2018, 48(4): 1206-1213.
[5] HUANG Lan, JI Lin-ying, YAO Gang, ZHAI Rui-feng, BAI Tian. Construction of disease-symptom semantic net for misdiagnosis prompt [J]. 吉林大学学报(工学版), 2018, 48(3): 859-865.
[6] LI Xiong-fei, FENG Ting-ting, LUO Shi, ZHANG Xiao-li. Automatic music composition algorithm based on recurrent neural network [J]. 吉林大学学报(工学版), 2018, 48(3): 866-873.
[7] LIU Jie, ZHANG Ping, GAO Wan-fu. Feature selection method based on conditional relevance [J]. 吉林大学学报(工学版), 2018, 48(3): 874-881.
[8] WANG Xu, OUYANG Ji-hong, CHEN Gui-fen. Heuristic algorithm of all common subsequences of multiple sequences for measuring multiple graphs similarity [J]. 吉林大学学报(工学版), 2018, 48(2): 526-532.
[9] YANG Xin, XIA Si-jun, LIU Dong-xue, FEI Shu-min, HU Yin-ji. Target tracking based on improved accelerated gradient under tracking-learning-detection framework [J]. 吉林大学学报(工学版), 2018, 48(2): 533-538.
[10] LIU Xue-juan, YUAN Jia-bin, XU Juan, DUAN Bo-jia. Quantum k-means algorithm [J]. 吉林大学学报(工学版), 2018, 48(2): 539-544.
[11] QU Hui-yan, ZHAO Wei, QIN Ai-hong. A fast collision detection algorithm based on optimization operator [J]. 吉林大学学报(工学版), 2017, 47(5): 1598-1603.
[12] LI Jia-fei, SUN Xiao-yu. Clustering method for uncertain data based on spectral decomposition [J]. 吉林大学学报(工学版), 2017, 47(5): 1604-1611.
[13] SHAO Ke-yong, CHEN Feng, WANG Ting-ting, WANG Ji-chi, ZHOU Li-peng. Full state based adaptive control of fractional order chaotic system without equilibrium point [J]. 吉林大学学报(工学版), 2017, 47(4): 1225-1230.
[14] WANG Sheng-sheng, WANG Chuang-feng, GU Fang-ming. Spatio-temporal reasoning for OPRA direction relation network [J]. 吉林大学学报(工学版), 2017, 47(4): 1238-1243.
[15] MA Miao, LI Yi-bin. Multi-level image sequences and convolutional neural networks based human action recognition method [J]. 吉林大学学报(工学版), 2017, 47(4): 1244-1252.
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!