assistant-sudoku.com

Commentaires sur cette grille

De Robert Mauriès
(Publié le 18/10/2017)

Pas de commentaire pour l'instant.

De JC
(Publié le 19/10/2017)

L1C7=1; {2C268} -> -{2L23C13} Les 8 solutions de C7 -> Hub Cell L6C8 => (34678)L678 + bif. éventuelle : 3L6C7 + 4L6C8 + 8L2C1 -> 0 solution 3L6C7 + 4L6C8 + 8L3C1 -> 1 solution 3L6C7 + 6L6C8 -> 0 solution 3L6C7 + 7L6C8 + 3L13C5 -> 0 solution via HP(56)L5C89 4L6C7 + 3L6C8 -> 0 solution 4L6C7 + 6L6C8 -> 0 solution via HP(47)L23C8 -> {3L9.C7; 4C268} -> -{3L3C3; 4L23C3} 4L6C7 + 7L6C8 + (17)L8C6 -> 0 solution 6L6C7 + 3L6C8 -> 0 solution 6L6C7 + 4L6C8 -> 0 solution via NP(12)L4C13 et Alignement{7C3} 6L6C7 + 7L6C8 -> 0 solution via Alignement{7C2} 8L6C7 + 3L6C8 + 3L3C7 -> 0 solution 8L6C7 + 3L6C8 + 6L3C7 -> 0 solution via NP(23)L12C9 8L6C7 + 6L6C8 -> 0 solution via {1L59; 3C17; 7L17} -> -{1L8C2; 3L3C3; 7L23C3, 7L8C2} 8L6C7 + 7L6C8 + (17)L8C6 -> 0 solution

De Robert Mauriès
(Publié le 19/10/2017)

@ JC : Bravo Jean-Claude, beau travail de patience !

De Richard
(Publié le 19/10/2017)

Bonjour, 1 placement initial seulement (1L1C7) Solution de taille 13 non détaillée se basant sur L8C7 : (1) 3L8C7 => piste de 2 candidats. (2) 6L8C7 => piste de 2 candidats. (3) 9L8C7 => piste de 3 candidats. Bifurcation de (1) en utilisant L6C8 : (4) 3L8C7 + 3L6C8 => contradiction. (5) 3L8C7 + 4L6C8 => contradiction. (6) 3L8C7 + 6L6C8 => contradiction. (7) 3L8C7 + 7L6C8 => 7 candidats virtuels supplémentaires. Bifurcation de (7) en utilisant L5C8 : (8) 3L8C7 + 7L6C8 + 3L5C8 => contradiction. (9) 3L8C7 + 7L6C8 + 6L5C8 => contradiction. Bifurcation de (2) en utilisant de nouveau L6C8 : (10) 6L8C7 + 3L6C8 => contradiction. (11) 6L8C7 + 4L6C8 => piste étendue. (12) 6L8C7 + 6L6C8 => contradiction. (13) 6L8C7 + 7L6C8 => piste étendue. Bifurcation de (11) avec la case L8C2 : (14) 6L8C7 + 4L6C8 + 2L8C2 => résolution de la grille. (15) 6L8C7 + 4L6C8 + 5L8C2 => contradiction. Bifurcation de (13) avec la case L8C6 : (16) 6L8C7 + 7L6C8 + 1L8C6 => contradiction. (17) 6L8C7 + 7L6C8 + 7L8C6 => contradiction. Bifurcation de (3) avec la case L7C5 : (18) 9L8C7 + 4L7C5 => piste de 5 candidats. (19) 9L8C7 + 5L7C5 => contradiction. Bifurcation de (18) en utilisant la case L8C6 : (20) 9L8C7 + 4L7C5 + 1L8C6 => contradiction. (21) 9L8C7 + 4L7C5 + 7L8C6 => contradiction.

De Paolo
(Publié le 20/10/2017)

Je ne sais pas si c'est une résolution valide 1)1 placements par les TB iniziale. 2)7L1C3=> piste comportant 7 candidats virtuels 3) Bifurcation de (2) avec 1L9C3 ,3L9C3 4)7L1C3+1L9C3=> contradiction 5)7L1C3+3L9C3=>couvre la grille=>Donc les deux pistes P1 (7L1C3+3L9C3) et P2 (7L1C3+1L9C3) sont conjuguées => résolution par le croisement de deux pistes conjuguées.

De Robert Mauriès
(Publié le 20/10/2017)

@ Paolo : Votre résolution vous a permis de trouver une solution, mais vous ne pouvez pas conclure que P1 et P2 sont conjuguées car ce ne sont pas des pistes au sens propre de terme et qu’elles ne satisfont pas la définition de pistes conjuguées, à savoir : que l’invalidité de l’une entraîne la validité de l’autre et réciproquement. Donc vous n'avez pas établi l'unicité de la solution trouvée.

De JC
(Publié le 20/10/2017)

Variante : 6C7 + (3467)L6C8 + bifurcation éventuelle : 6L3C1 + (346)L6C8 -> 0 solution 6L3C1 + 7L6C8 + (17)L8C6 -> 0 solution 6L6C7 + (347)L6C8 -> 0 solution 6L8C7 + (367)L6C8 -> 0 solution 6L8C7 + 4L6C8 + 2L8C2 -> 1 solution 6L8C7 + 4L6C8 + 5L8C2 -> 0 solution TDP supérieur ou égal à 12 ?

De Francis Labetoulle
(Publié le 21/10/2017)

@ JC : Bonjour En partant de la case L6C8 (partition 4, 7 et 36 pour exploiter le triplet 356 de C8 dans le dernier cas) je parviens en effet à une solution de taille de l'ordre de 12, peut-être même 11, mais hors techniques de base. Après lecture de votre texte sur les contraintes je ne parviens toujours pas à appréhender simplement votre méthode de résolution; comment interpréter : 8 solutions de C7 donc hub cell L6C8. Peut-être pourriez-vous, sur cet exemple, commenter ces notations? D'avance merci. PS : je viens de relire le texte d'Allen Barker sur les logiques de divers rangs.

De JC
(Publié le 21/10/2017)

@ Francis Labetoulle : J'ai abordé ce puzzle en utilisant les règles empiriques non absolues suivantes : 1. Départ de l'énumération des solutions d'un puzzle à partir de la région non résolue contenant le moins de solutions possibles. Ici : C7 2. Départ de l'énumération des solutions d'un puzzle à partir des solutions d'un hub cell. Ici, 2a. 3L6C7 -> paires 4L6C8.L4C7, 6L6C81, 7L6C8.L4C9 -> Hub Cell (467)L6C8 2b. 4L6C7 -> paires 3L6C85, 6L6C81, 7L6C8.L4C9 -> Hub Cell (367)L6C8 2c. 6L6C7 -> paires 3L6C85, 4L6C8.L4C7, 7L6C8.L4C9 -> Hub Cell (347)L6C8 2d. 8L6C7 -> L47C7=89, paires 3L6C85, 6L6C81, 7L6C8.L4C9 -> Hub Cell (367)L6C8 D'où, l'intérêt, dans un premier temps, de résoudre ce puzzle à partir de L6C78. Ce qui est justifié à posteriori puisque, hormis les bifurcations "complexes" éventuelles, seule la règle du sudoku est utilisée (analyse des chiffres et des régions). Attention! La logique de rang peut engendrer des erreurs si l'on ne vérifie pas la validité de l'ensemble des contraintes de base en tout ou en partie, ce qui est négligé, à ma connaissance, par tous les solveurs qui l'utilisent ! Bonne soirée !

De Francis Labetoulle
(Publié le 21/10/2017)

@ JC : Un grand merci. Je crois avoir fait un grand progrès dans la compréhension de votre méthode, et pourrai ainsi tirer meilleur profit de la lecture de vos solutions. Francis

Ajouter un commentaire