Exploiter les méta-distributions au Sudoku

Cet ouvrage décrit une technique de résolution informatique des grilles de Sudoku classique, fondée sur le recensement exhaustif des positions, dites "méta-distributions", qu'un chiffre quelconque peut adopter dans une bande quelconque d'une grille quelconque, ou même dans l'ensemble de cette grille. L'étude de ces méta-distributions permet de montrer que la solution de toute grille de Sudoku se réduit au choix de neuf distributions de grille ayant la propriété d'être mutuellement orthogonales. Ce résultat permet de résoudre toute grille, quels que soient son niveau de difficulté et le nombre de ses solutions acceptables, de façon systématique et sans avoir à procéder au moindre retour sur trace ou "backtracking".