Key Value Ordering Heuristic for Solving Algorithm Based on the AC-4 Algorithm
We have studied the AC-4 algorithm and then present key value ordering heuristic forming the new solving algorithm BT-KVV, which is based on the AC-4 algorithm. This algorithm takes full advantage of the state information of the data structure used in the AC-4 algorithm after the process of arc consistency. The algorithm sorts the values of the variables domain according to the key importance of the values. So this order forces the solving algorithm to give priority to extend the key values of variables. In this way, the efficiency of the solving algorithm can be improved a lot. The result of our experiments shows that our algorithm has much more advantage over other solving algorithms.
arc consistency AC-4 value ordering heuristic solving algorithm key value
Zhan-shan Li Hai-jiao Shen Hui-ying Du Zi-wen Wang
School of Computer Science and Technology, Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education, Jilin University Changchun,China
国际会议
长春
英文
6-9
2010-08-24（万方平台首次上网日期，不代表论文的发表时间）