Skip to main content
Top
Published in: Progress in Artificial Intelligence 1/2023

25-01-2023 | Regular Paper

Entropy guided evolutionary search for solving Sudoku

Authors: Neeraj Pathak, Rajeev Kumar

Published in: Progress in Artificial Intelligence | Issue 1/2023

Log in

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

search-config
loading …

Abstract

The Sudoku puzzle solving, a Constraint Satisfaction Problem (CSP), is challenging due to various complexity levels. Although, deterministic as well as meta-heuristics techniques are present to solve the Sudoku puzzle. Still, such techniques are insufficient for solving ‘hard’ frames and suffer from local minima in terms of increased complexity levels of Sudoku. Moreover, the entropy concept is used in designing the solution framework and rating of Sudoku frames. However, it provides superior results mostly up to medium levels. Therefore, we extend the concept of entropy by hybridization with an Evolutionary Algorithm (EA) for solving ‘harder’ instances. To improve results further, we attempt to reduce the uncertainty of Sudoku cells toward zero. With this hybridized EA framework, we embed problem-specific knowledge mapped in terms of a cell’s position uncertainty to construct a fitness function. Moreover, a performance metric, symmetric count (\(S_\mathrm{c}\)) is devised for assessing the obtained solutions. The empirical results show that the proposed hybrid EA framework is capable of efficiently solving a wide range of benchmark Sudoku instances; moreover, this strategy outperforms the existing solution strategies. The convergence rate of the proposed technique is faster in most cases, and this approach works for most instances of ‘hard’ and ‘very hard’ levels of the Sudoku grid. The results indicate that approx. 75% of the frames reach closer to an optimal solution, i.e., the saturation point (\(S_\mathrm{c}=1\)).

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

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!

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!

Literature
1.
go back to reference Crawford, B., Castro C., Monfroy, E.: Solving Sudoku with constraint programming. In: Proceedings of International Conference on Multiple Criteria Decision Making (MCDM), Communications in Computer and Information Science, pp. 345–348. Springer (2009). https://doi.org/10.1007/978-3-642-02298-2_52 Crawford, B., Castro C., Monfroy, E.: Solving Sudoku with constraint programming. In: Proceedings of International Conference on Multiple Criteria Decision Making (MCDM), Communications in Computer and Information Science, pp. 345–348. Springer (2009). https://​doi.​org/​10.​1007/​978-3-642-02298-2_​52
2.
go back to reference Yato, T., Seta, T.: Complexity and completeness of finding another solution and its application to puzzles. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 86(5), 1052–1060 (2003) Yato, T., Seta, T.: Complexity and completeness of finding another solution and its application to puzzles. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 86(5), 1052–1060 (2003)
3.
go back to reference Pelánek R.: Difficulty rating of Sudoku puzzles by a computational model. In: Proceedings of 24th International on FLAIRS Conference (2011) Pelánek R.: Difficulty rating of Sudoku puzzles by a computational model. In: Proceedings of 24th International on FLAIRS Conference (2011)
8.
go back to reference Reeson, C.G., Huang, K.C., Bayer, K.M., Choueiry, B.Y.: An interactive constraint-based approach to Sudoku. In: Proceedings of AAAI Conference on Artificial Intelligence, pp. 1976–1977 (2007) Reeson, C.G., Huang, K.C., Bayer, K.M., Choueiry, B.Y.: An interactive constraint-based approach to Sudoku. In: Proceedings of AAAI Conference on Artificial Intelligence, pp. 1976–1977 (2007)
9.
go back to reference Simonis, H.: Sudoku as a constraint problem. In: Proceedings of CP Workshop Modeling & Reformulating Constraint Satisfaction Problems (MRCSP), vol. 12, pp. 13–27 (2005) Simonis, H.: Sudoku as a constraint problem. In: Proceedings of CP Workshop Modeling & Reformulating Constraint Satisfaction Problems (MRCSP), vol. 12, pp. 13–27 (2005)
10.
go back to reference Zhai, G., Zhang, J.: Solving Sudoku puzzles based on customized information entropy. Int. J. Hybrid Inf. Technol. 6(1), 77–91 (2013) Zhai, G., Zhang, J.: Solving Sudoku puzzles based on customized information entropy. Int. J. Hybrid Inf. Technol. 6(1), 77–91 (2013)
13.
go back to reference Binh, T.T.H., McKay, R.I., Hoai, N.X., Nghia, N.D.: New heuristic and hybrid genetic algorithm for solving the bounded diameter minimum spanning tree problem. In: Proceedings of 11th Conference on Genetic & Evolutionary Computation (GECCO), pp. 373–380 (2009). https://doi.org/10.1145/1569901.1569953 Binh, T.T.H., McKay, R.I., Hoai, N.X., Nghia, N.D.: New heuristic and hybrid genetic algorithm for solving the bounded diameter minimum spanning tree problem. In: Proceedings of 11th Conference on Genetic & Evolutionary Computation (GECCO), pp. 373–380 (2009). https://​doi.​org/​10.​1145/​1569901.​1569953
17.
go back to reference Coello, C.C.A., Lamont, G.B., Van Veldhuizen, D.A.: Evolutionary Algorithms for Solving Multi-objective Problems, vol. 5. Springer, Berlin (2007)MATH Coello, C.C.A., Lamont, G.B., Van Veldhuizen, D.A.: Evolutionary Algorithms for Solving Multi-objective Problems, vol. 5. Springer, Berlin (2007)MATH
19.
go back to reference Deb, K.: Multi-objective Optimization Using Evolutionary Algorithms, vol. 16. Wiley, London (2001)MATH Deb, K.: Multi-objective Optimization Using Evolutionary Algorithms, vol. 16. Wiley, London (2001)MATH
22.
go back to reference Rodríguez-Vázquez, K.: GA and entropy objective function for solving Sudoku puzzle. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery, New York, NY, USA, GECCO ’18, pp. 67–68 (2018). https://doi.org/10.1145/3205651.3208786 Rodríguez-Vázquez, K.: GA and entropy objective function for solving Sudoku puzzle. In: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery, New York, NY, USA, GECCO ’18, pp. 67–68 (2018). https://​doi.​org/​10.​1145/​3205651.​3208786
25.
go back to reference Jones, S.K., Roach, P.A., Perkins, S.: Sudoku puzzle complexity. In: Proceedings of 6th Research Student Workshop, pp. 19–24 (2011) Jones, S.K., Roach, P.A., Perkins, S.: Sudoku puzzle complexity. In: Proceedings of 6th Research Student Workshop, pp. 19–24 (2011)
26.
go back to reference Lynce, I., Ouaknine, J.: Sudoku as a SAT problem. In: Proceedings of International Symposium on Artificial Intelligence & Mathematics (AIMATH), pp. 1–9 (2006) Lynce, I., Ouaknine, J.: Sudoku as a SAT problem. In: Proceedings of International Symposium on Artificial Intelligence & Mathematics (AIMATH), pp. 1–9 (2006)
27.
go back to reference Leone, A., Mills, D., Vaswani, P.: Sudoku: bagging a difficulty metric and building up puzzles (2008) Leone, A., Mills, D., Vaswani, P.: Sudoku: bagging a difficulty metric and building up puzzles (2008)
29.
go back to reference Harrysson, M., Laestander, H.: Solving Sudoku efficiently with Dancing Links (2014) Harrysson, M., Laestander, H.: Solving Sudoku efficiently with Dancing Links (2014)
34.
go back to reference Cover, T., Thomas, J.: Elements of Information Theory. Wiley, London (2012)MATH Cover, T., Thomas, J.: Elements of Information Theory. Wiley, London (2012)MATH
Metadata
Title
Entropy guided evolutionary search for solving Sudoku
Authors
Neeraj Pathak
Rajeev Kumar
Publication date
25-01-2023
Publisher
Springer Berlin Heidelberg
Published in
Progress in Artificial Intelligence / Issue 1/2023
Print ISSN: 2192-6352
Electronic ISSN: 2192-6360
DOI
https://doi.org/10.1007/s13748-023-00297-7

Other articles of this Issue 1/2023

Progress in Artificial Intelligence 1/2023 Go to the issue

Premium Partner