Wenn Mathematiker Sudoku "spielen"

Wenn Mathematiker Sudoku spielen, so denken diese wohl «professionsdeformiert» an eine algorithmische Lösung. So geschehen bei J. F. Crook von der Winthrop University. Und hier hat er die Bescherung in «Notices» von der American Mathematical Society publiziert: A Pencil and-Paper Algorithm for Solving Sudoku Puzzles [pdf, 615KB]
Spannend ist die Terminologie sowie die Verortung zusammengehöriger Zahlen. Ganz ehrlich, eigentlich ziemlich lesenswert. Für mich als Laie die Erkenntnis, dass Sudoku-Puzzles durchaus mehrerer Lösungen haben können. Und der nicht neue Fakt, dass die Lösung nicht deterministisch ist, aber an und zu auch mal eine Zufallswahl bedingt.
Als Beleg für die Methode ist im Paper das Finalpuzzle der «2007 World Sudoku Championship» gelöst (das hat «der mit dem roten Hemd» in 5 Minuten getan inkl. einer Korrekturrunde). Das Ding hat übrigens auch zwei Lösungen. Und so sieht es aus, wenn Mathematiker ein gelöstes Sudoku («das 301» von Will Shortz) in einem Paper abdrucken.

Auch gelöst im Paper ist eines der «Mepham Diabolical Sudoku Puzzle». Der Herr schreibt Bücher mit fiesen Rätseln und dann auch Lösungs-Anleitungen für Nerds [pdf, 100KB]. Und weshalb, so frage ich mich, vermag die ganze Familie Puzzles auch ohne Mathematik zu lösen? Irgendwie auch sympatisch und wiedermal ein Beweis «es geht auch ohne» ;-).