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

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 consist...

Full description

Saved in:
Bibliographic Details
Main Authors: Zhan-shan Li, Hui-ying Du, Shi-mei Xing, Fan-wei Meng
Format: Conference Proceeding
Language:English
Subjects:
Computer science
Computer science education
Costs
Counting circuits
Data structures
Hardware
Heuristic algorithms
Knowledge engineering
Laboratories
Space technology
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/IWISA.2010.5473285