Sonntag, 8. Januar 2012

Die Antwort ist 17

Es ist gelöst, das Rätsel um die Mindestanzahl an Startziffern in einem herkömmlichen 9x9-Sudoku. Lange  wurde schon vermutet, dass mit weniger als 17 Ziffern kein eindeutig lösbares Sudoku möglich wäre. Doch mit Vermutungen geben sich Mathematiker natürlich nicht zufrieden, auch wenn mittlerweile rund 50.000 Sudokus mit 17 Startziffern zusammengetragen wurden und noch kein einziges mit 16 oder weniger.

Gary McGuire und Kollegen vom University College Dublin dürften dieses Problem nun gelöst haben, wenn auch nicht mit der feinen Klinge der Mathematik. In einem enormen Rechenkraftakt prüfte McGuire alle möglichen vollgefüllten Sudokugitter - ohne Spiegelungen und dergleichen sind das genau 5.472.730.538 Stück -, ob nicht doch eine Ausgangssituation mit nur 16 Ziffern möglich wäre. Nachdem der Rechner, eine Monstermaschine mit 640 Prozessoren und jeweils 24 GB RAM, von Januar 2011 bis Dezember 2011 alles durchgerechnet hat, steht fest: es gibt tatsächlich kein korrektes 9x9-Sudoku mit weniger als 17 vorgegebenen Ziffern.

Quellen:

Labels:

0 Anmerkungen:

Kommentar veröffentlichen

<< Home