Effects of Dynamic Variable - Value Ordering Heuristics on the Search Space of Sudoku Modeled as a Constraint Satisfaction Problem

被引:1
作者
Cox, James L. [1 ,3 ]
Lucci, Stephen [2 ]
Pay, Tayfun [3 ]
机构
[1] Brooklyn Coll New York, 2900 Bedford Ave, Brooklyn, NY 11210 USA
[2] CUNY City Coll, 160 Convent Ave, New York, NY 10031 USA
[3] Grad Ctr New York, 365 5th Ave, New York, NY 10016 USA
来源
INTELIGENCIA ARTIFICIAL-IBEROAMERICAL JOURNAL OF ARTIFICIAL INTELLIGENCE | 2019年 / 22卷 / 63期
关键词
Backtracking-Search; Constraint Satisfaction Problems; Dynamic Variable Ordering Heuristics; NP-Completeness; Phase-Transition; Sudoku;
D O I
10.4114/intartif.vol22iss63pp1-15
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We carry out a detailed analysis of the effects of different dynamic variable and value ordering heuristics on the search space of Sudoku when the encoding method and the filtering algorithm are fixed. Our study starts by examining lexicographical variable and value ordering and evaluates different combinations of dynamic variable and value ordering heuristics. We eventually build up to a dynamic variable ordering heuristic that has two rounds of tie-breakers, where the second tie-breaker is a dynamic value ordering heuristic. We show that our method that uses this interlinked heuristic outperforms the previously studied ones with the same experimental setup. Overall, we conclude that constructing insightful dynamic variable ordering heuristics that also utilize a dynamic value ordering heuristic in their decision making process could improve the search effort for some NP-Complete problems.
引用
收藏
页码:1 / 15
页数:15
相关论文
共 16 条
[1]  
Barber F., 2003, INTELIGENCIA ARTIFIC, V20, P13
[2]  
Beck J. C., 2004, Recent Advances in Constraints. Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004. Revised Selected and Invited Papers (Lecture Notes in Artificial Intelligence Vol.3319), P41
[3]  
Bessiere C., 1996, Principles and Practice of Constraint Programming - CP96. Second International Conference - CP96. Proceedings, P61
[4]   NEW METHODS TO COLOR THE VERTICES OF A GRAPH [J].
BRELAZ, D .
COMMUNICATIONS OF THE ACM, 1979, 22 (04) :251-256
[5]  
Cazenave T., 2006, A search based sudoku solver
[6]  
Dotú I, 2003, LECT NOTES COMPUT SC, V2833, P288
[7]  
Frost D, 1995, INT JOINT CONF ARTIF, P572
[8]   INCREASING TREE-SEARCH EFFICIENCY FOR CONSTRAINT SATISFACTION PROBLEMS [J].
HARALICK, RM ;
ELLIOTT, GL .
ARTIFICIAL INTELLIGENCE, 1980, 14 (03) :263-313
[9]   Metaheuristics can solve sudoku puzzles [J].
Lewis, Rhyd .
JOURNAL OF HEURISTICS, 2007, 13 (04) :387-401
[10]  
Machado M.C., 2011, Brazilian Symposium on Games and Digital Entertainment, P124