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 条
[11]   A Hybrid Approach for the Sudoku Problem: Using Constraint Programming in Iterated Local Search [J].
Musliu, Nysret ;
Winter, Felix .
IEEE INTELLIGENT SYSTEMS, 2017, 32 (02) :52-62
[12]  
Pay Tayfun, 2017, International Journal of Artificial Intelligence, V15, P33
[13]  
Pay T., 2015, THESIS
[14]  
Rossi F, 2006, FOUND ARTIF INTELL, P1
[15]  
Simonis H., 2005, P CP WORKSH MOD REF, V12, P13
[16]  
Smith B. M., 1997, RES REPORT SERIES U