A comparison of several enumerative algorithms for Sudoku
Sudoku is a puzzle played of an n × n grid where n is the square of a positive integer m. The most common size is n=9. The grid is partitioned into n subgrids of size m × m. The player must place exactly one number from the set N={1, …, n} in each row and each column of as well as in each subgrid. A grid is provided with some numbers already in place, called givens. In this paper, some relationships between Sudoku and several operations research problems are presented. We model the problem by means of two mathematical programming formulations. The first one consists of an integer linear programming model, while the second one is a tighter non-linear integer programming formulation. We then describe several enumerative algorithms to solve the puzzle and compare their relative efficiencies. Two basic backtracking algorithms are first described for the general Sudoku. We then solve both formulations by means of constraint programming. Computational experiments are performed to compare the efficiency and effectiveness of the proposed algorithms. Our implementation of a backtracking algorithm can solve most benchmark instances of size 9 within 0.02 s, while no such instance was solved within that time by any other method. Our implementation is also much faster than an existing alternative algorithm.
Year of publication: |
2014
|
---|---|
Authors: | Coelho, Leandro C ; Laporte, Gilbert |
Published in: |
Journal of the Operational Research Society. - Palgrave Macmillan, ISSN 0160-5682. - Vol. 65.2014, 10, p. 1602-1610
|
Publisher: |
Palgrave Macmillan |
Saved in:
Online Resource
Saved in favorites
Similar items by person
-
Collaborative Prepositioning Network Design for Regional Disaster Response
Balcik, Burcu, (2019)
-
Schedule design for liner services under vessel speed reduction incentive programs
Zhuge, Dan, (2020)
-
Clustered coverage orienteering problem of unmanned surface vehicles for water sampling
Zhang, Wei, (2020)
- More ...