A hybrid AC3-tabu search algorithm for solving Sudoku puzzles

  • Authors:
  • Ricardo Soto;Broderick Crawford;Cristian Galleguillos;Eric Monfroy;Fernando Paredes

  • Affiliations:
  • -;-;-;-;-

  • Venue:
  • Expert Systems with Applications: An International Journal
  • Year:
  • 2013

Quantified Score

Hi-index 12.05

Visualization

Abstract

The Sudoku problem consists in filling a n^2xn^2 grid so that each column, row and each one of the nxn sub-grids contain different digits from 1 to n^2. This is a non-trivial problem, known to be NP-complete. The literature reports different incomplete search methods devoted to tackle this problem, genetic computing being the one exhibiting the best results. In this paper, we propose a new hybrid AC3-tabu search algorithm for Sudoku problems. We merge a classic tabu search procedure with an arc-consistency 3 (AC3) algorithm in order to effectively reduce the combinatorial space. The role of AC3 here is do not only acting as a single pre-processing phase, but as a fully integrated procedure that applies at every iteration of the tabu search. This integration leads to a more effective domain filtering and therefore to a faster resolution process. We illustrate experimental evaluations where our approach outperforms the best results reported by using incomplete search methods.