Skip to main content
Top

2015 | OriginalPaper | Chapter

A Filtering Technique for Helping to Solve Sudoku Problems

Authors : Ricardo Soto, Broderick Crawford, Cristian Galleguillos, Kathleen Crawford, Fernando Paredes

Published in: HCI International 2015 - Posters’ Extended Abstracts

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

This paper highlights the current usability issues when solving Sudoku problems. This problem is a well-known puzzle game which consists in assigning numbers in a game board, commonly of \(9 \times 9\) size. The board of the game is composed of 9 columns, 9 rows and 9 \(3 \times 3\) sub-grids; each one containing 9 cells with distinct integers from 1 to 9. A game is completed when all cells have a value assigned, and the previous constraints are satisfied. Some instances are very difficult to solve, to tackle this issue, we have used a filtering technique named Arc Consistency 3 (AC3) from the Constraint Programming domain. This algorithm has revealed which is much related to the strategies employed by users in order to solve the Sudoku instances, but in contrast, this technique is executed in a short time, offering a good resolution guide to the users. In general, filtering techniques make easier solving Sudoku puzzles, providing good information to users for this.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Asif, M.: Solving NP-complete problem using ACO algorithm. In: International Conference on Emerging Technologies, pp. 13–16. IEEE Computer Society (2009) Asif, M.: Solving NP-complete problem using ACO algorithm. In: International Conference on Emerging Technologies, pp. 13–16. IEEE Computer Society (2009)
2.
go back to reference Lewis, R.: Metaheuristics can solve sudoku puzzles. J. Heuristics 13(4), 387–401 (2007)CrossRef Lewis, R.: Metaheuristics can solve sudoku puzzles. J. Heuristics 13(4), 387–401 (2007)CrossRef
3.
go back to reference Lynce, I., Ouaknine, J.: Sudoku as a sat problem. In: International Symposium on Artificial Intelligence and Mathematics (ISAIM) (2006) Lynce, I., Ouaknine, J.: Sudoku as a sat problem. In: International Symposium on Artificial Intelligence and Mathematics (ISAIM) (2006)
5.
go back to reference Mantere, T., Koljonen, J.: Solving, rating and generating sudoku puzzles with ga. In: IEEE Congress on Evolutionary Computation, pp. 1382–1389. IEEE (2007) Mantere, T., Koljonen, J.: Solving, rating and generating sudoku puzzles with ga. In: IEEE Congress on Evolutionary Computation, pp. 1382–1389. IEEE (2007)
6.
go back to reference Mantere, T., Koljonen, J.: Solving and analyzing sudokus with cultural algorithms. In: 2008 IEEE Congress on Evolutionary Computation. CEC 2008. (IEEE World Congress on Computational Intelligence), pp. 4053–4060, June 2008 Mantere, T., Koljonen, J.: Solving and analyzing sudokus with cultural algorithms. In: 2008 IEEE Congress on Evolutionary Computation. CEC 2008. (IEEE World Congress on Computational Intelligence), pp. 4053–4060, June 2008
7.
go back to reference McGuire, G., Tugemann, B., Civario, G.: There is no 16-clue sudoku: Solving the sudoku minimum number of clues problem. CoRR, abs/1201.0749 (2012) McGuire, G., Tugemann, B., Civario, G.: There is no 16-clue sudoku: Solving the sudoku minimum number of clues problem. CoRR, abs/1201.0749 (2012)
8.
go back to reference Moraglio, A., Togelius, J.: Geometric particle swarm optimization for the sudoku puzzle. In: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, GECCO 2007, pp. 118–125. ACM, New York, NY, USA (2007) Moraglio, A., Togelius, J.: Geometric particle swarm optimization for the sudoku puzzle. In: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, GECCO 2007, pp. 118–125. ACM, New York, NY, USA (2007)
9.
go back to reference Moraglio, A., Togelius, J., Lucas, S.: Product geometric crossover for the sudoku puzzle. In: IEEE Congress on Evolutionary Computation, pp. 470–476. IEEE Computer Society (2006) Moraglio, A., Togelius, J., Lucas, S.: Product geometric crossover for the sudoku puzzle. In: IEEE Congress on Evolutionary Computation, pp. 470–476. IEEE Computer Society (2006)
10.
go back to reference Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, New York (2006)MATH Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, New York (2006)MATH
11.
go back to reference Simonis, H.: Sudoku as a Constraint Problem. In: Hnich, B., Prosser, P., Smith, B. (eds.) Proceedings 4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, pp. 13–27 (2005) Simonis, H.: Sudoku as a Constraint Problem. In: Hnich, B., Prosser, P., Smith, B. (eds.) Proceedings 4th International Workshop on Modelling and Reformulating Constraint Satisfaction Problems, pp. 13–27 (2005)
12.
go back to reference Soto, R., Crawford, B., Galleguillos, C., Monfroy, E., Paredes, F.: A hybrid ac3-tabu search algorithm for solving sudoku puzzles. Expert Syst. Appl. 40(15), 5817–5821 (2013)CrossRef Soto, R., Crawford, B., Galleguillos, C., Monfroy, E., Paredes, F.: A hybrid ac3-tabu search algorithm for solving sudoku puzzles. Expert Syst. Appl. 40(15), 5817–5821 (2013)CrossRef
13.
go back to reference Soto, R., Crawford, B., Galleguillos, C., Monfroy, E., Paredes, F.: A prefiltered cuckoo search algorithm with geometric operators for solving sudoku problems. Sci. World J. 2014, 12 (2014). cited By (since 1996)2CrossRef Soto, R., Crawford, B., Galleguillos, C., Monfroy, E., Paredes, F.: A prefiltered cuckoo search algorithm with geometric operators for solving sudoku problems. Sci. World J. 2014, 12 (2014). cited By (since 1996)2CrossRef
14.
go back to reference Yato, T., Seta, T.: Complexity and completeness of finding another solution and its application to puzzles. IEICE Trans. E86–A(5), 1052–1060 (2003) Yato, T., Seta, T.: Complexity and completeness of finding another solution and its application to puzzles. IEICE Trans. E86–A(5), 1052–1060 (2003)
Metadata
Title
A Filtering Technique for Helping to Solve Sudoku Problems
Authors
Ricardo Soto
Broderick Crawford
Cristian Galleguillos
Kathleen Crawford
Fernando Paredes
Copyright Year
2015
Publisher
Springer International Publishing
DOI
https://doi.org/10.1007/978-3-319-21380-4_102