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.