Gibt es einen analytischen, nicht-heuristischen Algorithmus, der jedes mögliche Sudoku löst?
Was bedeutet "Jedes mögliche Sudoku"?
Für "jede mögliche Anfangskonstellation eines klassischen 9*9-Sudokus, für die eine Lösung existiert" ist Backtracking mit Brute Force eine simpel zu programmierende und auch auf Verbraucherhardware hinreichend schnelle, wenn auch nicht besonders elegante Methode.
Für "Jedes mögliche Logikrätsel, das ein Rätseldesigner zur Sudoku-Variante erklärt" gibt es das natürlich nicht.