The traditional backtracking algorithm was less efficient on solving large-scale constraint satisfaction problem
and more difficult to be solved within a reasonable time.In order to overcome this problem
many incompleteness algo-rithms based on heuristic search have been proposed.Two improvements based on ant colony optimization meta-heuristic constraint solving algorithm were presented:First
arc consistency checks was done to preprocess before exploring the search space
Second
a new parameter setting scheme was proposed for ant colony optimization to improve the effi-ciency of the search.Finally
the improved algorithm is applied to solve random problems and combinatorial optimization problems.The results of the experiment have showed its superiority.
关键词
Keywords
references
LECOUTRE C . Constraint Networks:Techniques and Algorithms [M ] . London : John Wiley & Sons,Inc 2009
GOLOMB S W , BAUMERT L D . Backtrack programming [J ] . Journal of the ACM , 1965 ,( 12 ): 51 - 524 .
DORIGO M . Optimization,Learning and Natural Algorithms [D ] . Politecnico di Milano , 1992
SOLNON C . Ants can solve constraint satisfaction problems [J ] . IEEE Transactions on Evolutionary Computation , 2002 , 6 ( 4 ): 347 - 357 .
CORMEN T H , et al . Introduction to Algorithms [M ] . Cambridge MIT Press , 2001 . 840 - 890 .
EIBEN A E , MICHALEWICZ Z , SCHOENAUER M , et al . Parameter Control in Evolutionary Algorithms [M ] . Springer Berlin Heidelberg , 2007 .
SMITH B , DYER M . Locating the phase transition in binary constraint satisfaction problems [J ] . Artificial Intelligence , 1996 , 81 ( 1 ): 155 - 181 .
CHEESEMAN P , KANEFSKY B , TAYLOR . Where the really hard problems are [A ] . Proceedings of IJCAI [C ] . 1991 . 331 - 337 .
GOMES C , SHMOYS D . Completing quasigroups or latin squares:a structured graph coloring problem [A ] . Proceedings of Computational Symposium on Graph Coloring and Generalization [C ] . 2002 . 22 - 39 .
CARBON B , et al . Radio link frequency assignment [J ] . Constraints , 1999 ,( 4 ): 79 - 89 .
SADEH N , FOX M S . Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem [J ] . Artificial Intelligence , 1996 , 86 ( 1 ): 1 - 41 .
PARLETT P . The Penguin Book of Patience [M ] . Penguin Press , 1996 .