SUDOKU

Tactique : Symétries généralisées et tableau de résolution étendu

Dans "La logique cachée du Sudoku", un livre en anglais ("The Hidden Logic of Sudoku") basé sur une formalisation logique systématique du jeu, toutes ses symétries généralisées ont été explicitées, en particulier entre les lignes et les nombres, et entre les colonnes et les nombres. Une nouvelle méthode de résolution a été développée, basée sur leur exploitation systématique. Une grille de résolution étendue (comportant trois grilles au lieu d'une seule) a été conçue, qui fait apparaître les liens de conjugaison comme des cases à deux candidats et peut faciliter l'application de la méthode (sans être absolument nécessaire). De la sorte, les sous-ensembles cachés ainsi que les X-wings, Swordfish et Jellysfish, mais pas TPU (la technique découlant du principe de l'unicité de la solution), apparaissent tous comme de simples Paires, Triplets ou Quadruplets. Dans un cadre général pour traiter des chaînes, ces symétries ont été utilisées pour introduire de nouvelles règles de résolution, comme les chaînes xy cachées. Cette méthode a été implémentée dans un solveur, SudoRules, basé sur des techniques d'Intelligence Artificielle et simulant un joueur humain.


Retour menu Tactiques