Value Ordering Heuristic for Solving Algorithm Based on the AC-4 Algorithm

Author

Li, Zhan-Shan ; Du, Hui-Ying ; Xing, Shi-mei ; Meng, Fan-Wei

Author_Institution

Sch. of Comput. Sci. & Technol., Jilin Univ., Changchun, China

fYear

2010

fDate

22-23 May 2010

Firstpage

1

Lastpage

4

Abstract

We have studied the AC-4 algorithm and then present value ordering heuristic for solving algorithm BT-MSV which is based on the AC-4 algorithm. This algorithm takes full advantage of supported information which is recorded in the data structure of the AC-4 algorithm during the process of arc consistency. The algorithm sorts the value of the variables´ domain according to the supported information. So this order enforces the algorithm to extend the values of variables which have more support. In this way, the efficiency of the algorithm can be improved. The result of our experiments shows that our algorithm has much more advantage over other solving algorithms.

Keywords

backtracking; constraint handling; constraint theory; data structures; AC-4 algorithm; algorithm BT-MSV solving; backtracking algorithm; constraint satisfaction problems; data structure; value ordering heuristic; variable domain; Computer science; Computer science education; Costs; Counting circuits; Data structures; Hardware; Heuristic algorithms; Knowledge engineering; Laboratories; Space technology;

fLanguage

English

Publisher

ieee

Conference_Titel

Intelligent Systems and Applications (ISA), 2010 2nd International Workshop on

Conference_Location

Wuhan

Print_ISBN

978-1-4244-5872-1

Electronic_ISBN

978-1-4244-5874-5

Type

conf

DOI

10.1109/IWISA.2010.5473285

Filename

5473285