Sudoku à 17 indices : la grille minimale
Un sudoku classique a besoin d'au moins 17 indices de départ pour avoir exactement une solution, et cela a été démontré en 2012 : il n'existe aucune grille valide à 16 indices. Voici une véritable grille à 17 indices, jouable ci-dessous, avec l'histoire de la preuve et la solution complète.
Pourquoi 17 est le minimum
Pendant des années, les amateurs ont rassemblé des milliers de grilles à 17 indices sans jamais en trouver une valide à 16 indices. En 2012, les chercheurs Gary McGuire, Bastian Tugemann et Gilles Civario ont tranché la question par une recherche informatique exhaustive : toute disposition à 16 indices n'a soit aucune solution, soit plus d'une. 17 est donc le seuil incompressible pour un sudoku classique valide à solution unique.
Moins d'indices ne signifie pas pour autant automatiquement plus difficile. Beaucoup de grilles à 17 indices ne sont que modérément ardues : la grille clairsemée oblige simplement à s'appuyer très tôt sur le balayage et le travail sur les candidats. Celle-ci se situe dans la fourchette la plus corsée.
Jouer une grille minimale
Avec seulement 17 indices, vous trouverez très peu de placements immédiats : notez donc d'emblée tous les candidats. Traquez d'abord les singletons cachés dans les lignes, les colonnes et les régions, puis les paires et les paires pointantes pour réduire les candidats.
Toute grille à 17 indices possède malgré tout exactement une solution logique. Si vous calez, l'évaluateur de difficulté notera cette grille et le solveur pas à pas révélera le prochain coup.