吉林大学学报(工学版) ›› 2013, Vol. 43 ›› Issue (04): 1045-1051.doi: 10.7964/jdxbgxb201304032

• paper • Previous Articles     Next Articles

Boundary heuristic based on problem structure

LI Zhan-shan1,2, ZHANG Liang1,2, GUO Jin-song1,2, ZHANG Qian1,2   

  1. 1. Key Laboratory of Symbolic Computation and Knowledge Engineering for Ministry of Education, Jilin University, Changchun 130012 ,China;
    2. College of Computer Science and Technology, Jilin University, Changchun 130012,China
  • Received:2012-04-20 Online:2013-07-01 Published:2013-07-01

Abstract:

Composed problems are one kind of random Constraint Satisfaction Problems (CSPs). When solving such problems, existing heuristics always bring out excessive nodes, thus seriously affecting the solving efficiency. Based on the structural property of the Composed problems, we develop a new variable ordering heuristic, named boundary heuristic. First, we compose the concept of boundary variables. Then we present the method to recognize boundary variables in Composed problems. During search process, boundary variables have higher priorities to be instantiated than common variables. We propose two strategies to enforce the new heuristic when it is used to solve problems. Experimental results show that the efficiency of the boundary heuristic outperforms the existing ones by large margins.

Key words: artificial intelligence, boundary heuristic, constraint satisfaction problems, Composed problem

CLC Number: 

  • TP18

[1] 朱兴军,张永刚,李莹,等. 多值传播的相容性技术[J]. 自动化学报,2009, 35(10):1296-1301. Zhu Xing-jun, Zhang Yong-gang, Li Ying, et al. Consistency technique of multi-value propagation[J]. Acta Automatica Sinica,2009, 35(10):1296-1301.

[2] 刘春晖, 朱兴军, 孙吉贵,等. 一种改进的双向Singleton 弧相容算法[J]. 吉林大学学报:工学版, 2008, 38(3): 666-670. Liu Chun-hui, Zhu Xing-jun, Sun Ji-gui, et al. Improved bidirectional Singleton arc consistency algorithm[J]. Journal of Jilin University(Engineering and Technology Edition), 2008, 38(3): 666-670.

[3] 杜会盈,李占山,李宏博,等.图分割在Singleton弧相容算法中的应用[J].吉林大学学报:理学版,2010,48(6):981-986. Dui Hui-ying, Li Zhan-shan, Li Hong-bo,et al. Graph partitioning applied in Singleton algorithm[J]. Journal of Jilin University(Science Edition),2010,48(6):981-986.

[4] 高健,孙吉贵,张永刚,等.参数化弧相容约束传播[J].吉林大学学报:信息科学版,2007,25(2):183-187. Gao Jian, Sun Ji-gui, Zhang Yong-gang,et al. Parameterized arc consistency constraint propagation[J]. Journal of Jilin University(Information Science Edition),2007,25(2):183-187.

[5] van Beek Peter. Backtracking search algorithms//Handbook of Constraint Programming. Francesca Rossi, Peter van Beek, Toby Walsh (eds),New York: Elsevier, 2006:85-126.

[6] Li Xing-jian, Epstein Susan L. Learning cluster-based structure to solve constraint satisfaction problems[J]. Annals of Mathematics and Artificial Intelligence,2010, 60:91-117.

[7] Sabin Daniel, Freuder Eugene C. Contradicting conventional wisdom in constraint satisfaction//Proceedings of CP, Rosario, Orcas Island, Washington, 1994: 10-20.

[8] Likitvivatanavong Chavalit, Zhang Yuan-lin, Bowen James, et al. Arc consistency during search//Veloso Manuela M (eds.). Proceedings of IJCAI, Hyderabad, India: Morgan Kaufmann, 2007: 137-142.

[9] Christophe Lecoutre, Frederic Boussemart, Fred Hemery. Backjump-based techniques versus confict—directed heuristics//Proceedings of ICTAI,Boca Raton, Florida, USA: IEEE Press, 2004: 549-557.

[10] Haralick Robert M, Elliott Gordon L. Increasing tree search efficiency for constraint satisfaction problems[J]. Artificial Intelligence, 1980, 14: 263- 313.

[11] Grimes Diarmuid, Wallace Richard J. Learning from failures in constraint satisfaction search//Wheeler Ruml, Frank Hutter, AAAI Workshop on Learning for Search, Boston, Massachusetts, USA: AAAI Press, 2006.

[12] Christophe Lecoutre, Fred Hemery. A study of residual supports in arc consistency//Veloso Manuela M(eds),Proceedings of IJCAI, Hyderabad, India, 2007: 125-130.

[13] Frederic Boussemart, Fred Hemery, Christophe Lecoutre, et al. Boosting systematic search by weighting constraints//R. López De Mántaras, L. Saitta, Proceedings of ECAI, Valencia, Spain: IOS Press, 2004: 146-150.

[14] http://www.cril.univ-artois.fr/~lecoutre/benchm arks.html#

[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   
[1] XIAO Yun, LEI Jun-qing, ZHANG Kun, LI Zhong-san. Fatigue stiffness degradation of prestressed concrete beam under multilevel amplitude cycle loading[J]. 吉林大学学报(工学版), 2013, 43(03): 665 -670 .
[2] ZHOU Feng-dao, TANG Hong-zhong, GUO Xin, WANG Jin-yu. Current overshoot produce principle and inhibition of transmitter of time domain electromagnetic detection system[J]. 吉林大学学报(工学版), 2013, 43(04): 1023 -1028 .
[3] LIU Shao-gang, GUO Yun-long, JIA He-ming. Rescue robot simultaneous localization and mapping based on extraction and matching of line features[J]. 吉林大学学报(工学版), 2013, 43(04): 1035 -1044 .
[4] SANG Ai-jun, MU Sen, WANG Mo-lin, CUI Hai-ting, CHEN He-xin. Multi-view video coding based on multi-dimensional vector matrix[J]. 吉林大学学报(工学版), 2013, 43(04): 1110 -1115 .
[5] TONG Jin, WANG Ya-hui, FAN Xue-mei, ZHANG Shu-jun, CHEN Dong-hui. Monitoring system of cold chain logistics for farm fresh produce[J]. 吉林大学学报(工学版), 2013, 43(06): 1707 -1711 .
[6] LIN Jun,FU Lei,WANG Yan-zhang,XU Jiang,JI Yan-ju,YANG Meng-meng. Development of sensor used for grounded electrical source air-ground transient electromagnetic detection[J]. 吉林大学学报(工学版), 2014, 44(3): 888 -894 .
[7] GAO Zhen-hai, LI Yang, ZHANG Hui, ZHANG Li-dan, HU Hong-yu. Driver's forward-looking behavior analysis during lane change under different speed[J]. 吉林大学学报(工学版), 2016, 46(5): 1385 -1390 .
[8] SU Chang, FU Li-ming, WEI Jun, LI Shuo, HUANG Lei, CAO Yue. Design method in exterior color based Kansei engineering and principal component analysis[J]. 吉林大学学报(工学版), 2016, 46(5): 1414 -1419 .
[9] LANG Li-hui, WANG Yao, LI Kui, SUN Zhi-ying, ZHANG Quan-da. Factors influencing inverse bulging effect in sheet hydroforming[J]. 吉林大学学报(工学版), 2016, 46(5): 1567 -1576 .
[10] TIAN Yan-tao, WANG Xiao-yu, HU Lei-lei, LIAN Yu-feng, ZHAO Yun, YIN Cheng. Active collision avoidance algorithm in electric vehicle lateral lane change[J]. 吉林大学学报(工学版), 2016, 46(5): 1587 -1594 .