assistant-sudoku.com

Commentaires sur cette grille

De Francis Labetoulle
(Publié le 01/09/2017)

En partant des 2 de B8: (2L9C5) et (2L8C5) sont invalides donc validation de (2L9C4). Avec les 6: (6L5C9) avec les 1 de C3 donne 3 pistes invalides. (6L5C9) avec les 1 de B9 donne une piste invalide avec 1L8C7 et couvre la grille avec1 L9C9. Solution unique et méthode de taille 6...

De JC
(Publié le 01/09/2017)

7 placements JP1=(125)L9C3 : 1L9C3 -> 0 solution via XY-Chain ou ALS-XZ Rule{(749)L4C54, (957)L5C48} et C5 2L9C3 -> 0 solution 5L9C3 -> 5 placements; L5C9.L6C7=16 JP2=5C9 : 5L4C9 -> 0 solution 5L2C9 -> 5 placements JP3=C9 : 4L1C9 -> 1 solution 6L1C9 -> 0 solution

De Richard
(Publié le 01/09/2017)

Bonjour, 7 placements également. Commençons par la case L5C4 : (1) 1L5C4 => contradiction via la paire cachée 2-8 de L89C5 qui implique que 7L9C6 fait partie de la piste. (2) 5L5C4 => contradiction. (3) 9L5C4 => petite piste composée de trois candidats virtuels. On place donc la piste (3) : 9L5C4, 9L4C2, 9L8C1 et 9L7C6. La taille partielle de la solution est de 2. Étudions maintenant le doublet 1-5 de la case L4C3 : (4) 1L4C3 => petite piste composée de six candidats virtuels. (5) 5L4C3 => contradiction. On place donc la piste (4) : 1L4C3, 8L5C2, 2L8C3, 5L9C3, 1L1C4 et 2L1C5. La taille partielle de la solution passe à 3. Finissons en avec la paire de 5 de ligne 7 : (6) 5L7C7 => résolution de la grille via la paire cachée 5-7 de L45C8 qui implique que le 4L6C8 fait partie de la piste. (7) 5L7C8 => contradiction. La taille de cette solution est donc de 4, ce qui amènerait à priori le niveau TDP de la grille à 4 au maximum. Bon week-end à tous.

De Robert Mauriès
(Publié le 03/09/2017)

@ Richard : Bravo Richard pour cette résolution de taille 4. Je ne suis pas parvenu à en trouver d'autres de cette taille, mais plus facilement de taille 5, comme celle-ci : Après utilisation des TB qui permettent de simplifier la grille avec 7 placements de candidats uniques, on utilise un jeu de pistes issues de la paire 1B2 : - P(1L1C6) + Bif(4L3C4, 15L3C4) est invalide -> placements des 4 candidats de P(1L1C4). A ce niveau de simplification on trouve plusieurs backdoors possibles, comme le 7L9C5 ou le 6L2C2, mais la preuve de l'unicité n'est pas simplifiée pour autant. On utilise donc le jeu de pistes issues de la paire 5L3 : - P(5L3C7) est invalide -> placements des 7 candidats de P(5L3C4). On utilise enfin le jeu de pistes issues de la paire 6B6 : - P(6L5C9) couvre la grille, tandis que P(6L6C7) + Bif(3B6) est invalide. Cette grille dont le niveau conventionnel est de 15/16 (Hodoku) devrait être de niveau 3 TDP, encore faut-il trouver la résolution de taille 3 si elle existe ou admettre que les correspondances entre niveaux conventionnels et niveaux TDP sont approximatifs.

De Richard
(Publié le 03/09/2017)

@ Robert Bonjour, Je viens de suivre votre solution qui est bonne aussi et en fait vous auriez pu avoir une taille de solution de 4 en utilisant une 3ème étape différente. En effet au lieu d'utiliser les 6 du bloc 6 vous auriez pu utiliser les 3 du bloc 6. Vous auriez alors trouvé que 3L4C8 aboutissait directement à une contradiction et que 3L4C9 aboutissait directement à la résolution de la grille (pas de difficultés particulières pour l'installation des réseaux virtuels). Quant au fait de trouver une solution de taille 3 pour cette grille, les possibilités sont tellement nombreuses, indénombrables même qu'il faudrait un super-ordinateur pour les essayer toutes et trouver la solution de taille minimale. A moins que... :)

De Robert Mauriès
(Publié le 03/09/2017)

@ Richard : Effectivement Richard, il m'avait semblé que la paire 3B6 n'aboutissait pas seule. Bien vu de votre part... comme d'habitude !

Ajouter un commentaire