Ein Computer tut, was man ihm sagt.

Nun, wenn Sie fragen, ob es Algorithmen gibt, die es erlauben, die Lösungen von Sudoku deterministisch und nicht mit roher Gewalt zu finden (indem man Zufallszahlen immer und immer wieder einsetzt und die Lösung immer und immer wieder überprüft), dann lautet die Antwort: JA, die gibt es.

Im Grunde ist Sudoku nichts anderes als eine Form des griechisch-lateinischen Quadrats mit einer Reihe von zusätzlichen Einschränkungen. Auch, ALLE Sudoku-Tafeln sind ineinander umwandelbar, indem man die Spalten vertauscht oder sie dreht.

Es ist sehr ähnlich wie Picross, ein anderes Spiel, bei dem man alle möglichen Lösungen mit Hilfe einer Familie von simultanen booleschen Gleichungen findet. Und wenn man die mehrdimensionale boolesche Logik verwendet (bei der es mehrere orthogonale Werte für wahr, aber nur einen einzigen Wert für falsch gibt), kann man deterministisch und mit denselben Gleichungen jedes Picross-Spiel und jedes Sudoku-Spiel lösen, und zwar alle möglichen Lösungen.