Sudoku (Einzelziffer) (ursprünglich Number Place genannt) ist ein logikbasiertes, kombinatorisches Zahlenrätsel. Das Ziel besteht darin, ein 9 × 9-Gitter mit Ziffern zu füllen, sodass jede Spalte, jede Zeile und jedes der neun 3 × 3-Untergitter, aus denen das Gitter besteht (auch "Boxen", "Blöcke" oder "Regionen" genannt), alle Ziffern von 1 bis 9 enthält. Der Puzzle-Setter bietet ein teilweise ausgefülltes Gitter, das für ein gut gestelltes Puzzle eine einzige Lösung hat.
Abgeschlossene Spiele sind immer eine Art lateinisches Quadrat mit einer zusätzlichen Einschränkung für den Inhalt einzelner Regionen. Beispielsweise darf dieselbe einzelne ganze Zahl nicht zweimal in derselben Zeile, Spalte oder einem der neun 3 × 3-Unterbereiche des 9 × 9-Spielbretts vorkommen.
Ein vollständiges Sudoku-Gitter ist eine spezielle Art eines lateinischen Quadrats mit der zusätzlichen Eigenschaft, dass sich in keinem der neun Blöcke (oder Kästchen mit 3 × 3 Zellen) Werte wiederholen. Die Beziehung zwischen den beiden Theorien ist bekannt, nachdem bewiesen wurde, dass eine Formel erster Ordnung, die keine Blöcke erwähnt, genau dann für Sudoku gültig ist, wenn sie für lateinische Quadrate gültig ist.
Das allgemeine Problem der Lösung von Sudoku-Rätseln auf n2 × n2 Gittern mit n × n Blöcken ist bekanntermaßen NP-vollständig. Viele Computeralgorithmen wie Backtracking und Dancing Links können die meisten 9 × 9-Rätsel effizient lösen, aber mit zunehmendem n kommt es zu einer kombinatorischen Explosion, wodurch den Eigenschaften von Sudokus Grenzen gesetzt werden, die mit zunehmendem n konstruiert, analysiert und gelöst werden können. Ein Sudoku-Rätsel kann als Problem beim Ausmalen von Grafiken ausgedrückt werden. Ziel ist es, eine 9-Färbung eines bestimmten Graphen zu konstruieren, wenn eine teilweise 9-Färbung vorliegt.
Aktualisiert am
19.08.2023