sudoku

Plus aucune unité n'est distribuée depuis lundi sur le projet Sudoku. L'explication est très simple puisque nous arrivons au terme de l'analyse de l'ensemble des grilles de Sudoku classiques (9 x 9 cases) admettant 12 amorces (c'est à dire 12 cases pré-remplies au début du jeu). L'analyse des résultats de cette phase de calcul est actuellement en cours, mais pour l'instant aucune des grilles n'aboutit à une solution unique. L'examen des calculs effectués précédemment devrait permettre à Bernhard Kornberger (directeur de recherche à l'université des technologies de Graz) de cibler les grilles avec 12 amorces qui n'ont pas encore été calculées, de nouvelles unités vont donc être distribuées à partir de la semaine prochaine. Les calculs devraient encore durer quelques semaines pour terminer complètement l'analyse des grilles avec 12 cases dévoilées.
Ensuite, le projet se lancera dans l'analyse des grilles de Sudoku admettant 13 amorces. Dans l'état actuel des connaissances, toutes les grilles de Sudoku dites "minimales" qui garantissent une solution unique débutent avec 17 cases dévoilées.

En attendant, les participants au projet pourront se reporter sur Rectilinear Crossing Number, le second projet de Bernhard, qui tente de découvrir la disposition optimale de 20 points dans un graphe complet (c'est à dire l'arrangement spatial qui minimise le nombre d'intersections entre les droites qui relient chaque point aux 19 autres). Le projet devrait bientôt entamer la série de calcul W7.