assistant-sudoku.com

Commentaires sur cette grille

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

Swordfish(8L349), HP(78)L4C45; 3 placements Alignements : 4B8, 9B6 2L7C1 -> 0 solution via 1C1 et 9B7 2L7C2 -> 4 placements; Swordfish(3L39.C1) 2L9C2 -> 0 solution 2L3C5 -> 0 solution via 5B9 et XWing(6C47) 2L3C6 + 1L3C2 -> 0 solution via HP(46)L23C3 2L3C6 + 3L3C2 -> 1 solution

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

Grille minimale. (2L6C5) et bifurcation des 5 restants de L8 : 5L8C1 et 5 L8C9. On couvre la grille par croisement sur 9L2C6, etc. Amusant? (4L6C5) avec 2L5C6 : piste invalide. (4L6C5) avec 2 L5C1: bifurcation avec les 5 de B6. Avec 5L6C9 piste invalide. Avec 5L4C7 deux nouvelles pistes avec les deux 6 de L7, qui se croisent pour aboutir à une contradiction. Au total solution de taille 5.

De Paolo
(Publié le 25/09/2017)

Solution avec 5 pistes invalides générés dans l'ordre de L7C1=2,L9C7=5,L3C2=6, L9C3=5 et L9C9=5.

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

Bonjour, 3 placements par les TB initiales. Bien voir également la paire cachée (78) de L4C45. * Etude des 2 de la ligne 5 : (1) 2L5C1 => piste uniquement composée de un candidat virtuel 1L7C1. (2) 2L5C6 => contradiction via paire cachée (18) de L12C1 qui force 1L3C6 à faire partie de la piste, puis d'une réduction bloc/ligne : dans le bloc 8 les 3 sont cantonnés ligne 8 donc 5L8C1 fait partie de la piste. On place donc la piste (1) : 2L5C1 et 1L7C1. La taille partielle de la solution est de 1. * Etude de la case L7C8 : (3) (69)L7C8 => résolution de la grille via la paire (46) de L13C9. (4) 4L7C8 => contradiction via la paire (46) de L13C9. (5) 8L7C8 => petite piste comportant 4 candidats virtuels via paire (37) de L8C56. La taille partielle de la solution est maintenant de 2. * Bifurcation de (5) avec le doublet (56) de L6C2 : (6) 8L7C8 + 5L6C2 => contradiction. (7) 8L7C8 + 6L6C2 => contradiction via la paire (38) de L12C1 qui implique que 1L3C2 et 5L1C2 font partie de la piste. La taille totale de cette solution est donc de 4, ce qui amènerait le niveau TDP de la grille à 4 maximum.

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

@ Paolo : Belle résolution Paolo, notamment avec cette piste issue du 6L3C2 qui permet de terminer la grille avec les 5L9 !

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

@ Richard : Très belle résolution Richard, j'admire votre capacité d'analyse de la grille qui vous permet de déceler les bonnes pistes en faisant usage des ensembles !

De Paolo
(Publié le 26/09/2017)

1)placements par les TB iniziale et eliminations par la paire cachée (78) de L4C45. 2) 2L7C1 => contradiction L2C1=Ø=>-2L7C1 3)6L3C2=> contradiction L2C5=Ø=>-6L3C2 4)5L9C7=> contradiction L2C7=Ø=>-5L9C7 Etude de la case L9C2 5) (53)L9C2 résolution de la grille via les candidats communs (L2C1=8,L4C2=9,L6C2=6,L9C3=9,L1C9=4,L2C7=3,L2C8=1,L5C6=1,L5C7=6,L6C9=9,L7C7=4,L8C8=9) 6)9L9C2=> petite piste comportant 2 candidats virtuels Bifurcation de (6) avec le doublet (53) de L8C1 7) 9L9C2+5L8C1=> contradiction L2C7= Ø 8)9L9C2+3L8C1=> contradiction. L2C8= Ø-9L9C2=>solution. La taille totale est 4.

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

@ Paolo : Votre deuxième résolution bien présentée en détails (merci pour ceux qui nous lisent) comporte selon moi des erreurs à partir du point 5). Pouvez-vous vérifier. Quoiqu'il en soit avec 5 contradictions la taille est de 5. (taille=nombre de contradictions).

De Paolo
(Publié le 26/09/2017)

Excusez-moi pensé que la taille était liée au nombre de éliminations. En ce qui concerne le point 5, voici mon raisonnement Situation au point 5 [code] +-----------+-----------+-----------+ | . . 2 | . . . | 9 . . | | . 7 . | . . . | . . 2 | | 9 . . | . . . | 7 5 . | +-----------+-----------+-----------+ | 4 . . | . . 6 | . 2 1 | | 2 8 . | . 9 . | . . 7 | | 7 . 1 | 3 . . | 8 . . | +-----------+-----------+-----------+ | 1 2 7 | . 5 . | . . 3 | | . 4 8 | 2 . . | 1 . . | | 6 . . | . . 4 | 2 7 . | +-----------+-----------+-----------+ +--------------------------+--------------------------+--------------------------+ | 358 1356 2 | 145678 134678 13578 | 9 13468 468 | | 358 7 3456 | 145689 13468 13589 | 346 13468 2 | | 9 136 346 | 1468 123468 1238 | 7 5 468 | +--------------------------+--------------------------+--------------------------+ | 4 359 359 | 78 78 6 | 35 2 1 | | 2 8 356 | 145 9 15 | 3456 346 7 | | 7 56 1 | 3 24 25 | 8 469 469 | +--------------------------+--------------------------+--------------------------+ | 1 2 7 | 689 5 89 | 46 4689 3 | | 35 4 8 | 2 367 379 | 1 69 569 | | 6 359 359 | 18 138 4 | 2 7 58 | +--------------------------+--------------------------+--------------------------+ [/code] [code] +-----------+-----------+-----------+ | 5 1 2 | 6 7 3 | 9 8 4 | | 8 7 6 | 5 4 9 | 3 1 2 | | 9 3 4 | 8 1 2 | 7 5 6 | +-----------+-----------+-----------+ | 4 9 3 | 7 8 6 | 5 2 1 | | 2 8 5 | 4 9 1 | 6 3 7 | | 7 6 1 | 3 2 5 | 8 4 9 | +-----------+-----------+-----------+ | 1 2 7 | 9 5 8 | 4 6 3 | | 3 4 8 | 2 6 7 | 1 9 5 | | 6 5 9 | 1 3 4 | 2 7 8 | +-----------+-----------+-----------+ [/code] Piste (L9C2=5) grille résolue [code] +-----------+-----------+-----------+ | 3 5 2 | 7 1 8 | 9 6 4 | | 8 7 4 | 9 6 5 | 3 1 2 | | 9 1 6 | 4 2 3 | 7 5 8 | +-----------+-----------+-----------+ | 4 9 6 | 7 6 | 6 2 1 | | 2 8 6 | 1 9 1 | 6 4 7 | | 7 6 1 | 3 4 2 | 8 9 9 | +-----------+-----------+-----------+ | 1 2 7 | 6 5 9 | 4 8 3 | | 5 4 8 | 2 3 7 | 1 9 6 | | 6 3 9 | 8 8 4 | 2 7 5 | +-----------+-----------+-----------+ [/code] Piste (L9C2=3) invalide [code] +-----------+-----------+-----------+ | . . 2 | . . . | 9 . 4 | | 8 7 . | . . . | 3 1 2 | | 9 . . | . . . | 7 5 . | +-----------+-----------+-----------+ | 4 9 | . . 6 | . 2 1 | | 2 8 . | . 9 1 | 6 . 7 | | 7 6 1 | 3 . . | 8 . 9 | +-----------+-----------+-----------+ | 1 2 7 | . 5 . | 4 . 3 | | . 4 8 | 2 . 7 | 1 9 . | | 6 . 9 | . . 4 | 2 7 . | +-----------+-----------+-----------+ [/code] candidats communs p(5,3)L9C2 couvre la grille

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

@ Paolo : Vérification mieux faites (les pistes ne sont pas évidentes à tracer), effectivement votre résolution est correcte, alors encore bravo !

De Paolo
(Publié le 27/09/2017)

1)placements par les TB iniziale et eliminations par la paire cachée (78) de L4C45. 2) 2L7C7 => contradiction L2C7=Ø=>-2L7C7 3) 2L7C1=> contradiction L2C1=Ø =>-2L7C1 4) 3L8C6=> contradiction L3C2=Ø=>-3L8C6 5) 5L8C1=> contradiction L2C5=Ø=>-5L8C1 Etude de la case L4C3 5) (39)L4C3 résolution de la grille parce que (3)L4C3 résolution de la grille et (9)L4C3 => contradiction L2C8=Ø. Je ne comprends pas si la taille est 4 ou 5

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

@ Paolo : La taille d'une résolution est le nombre de contradictions qu'il faut mettre en œuvre pour établir une solution et confirmer son unicité. Dans le cas de cette résolution, avec 5 contradictions, la taille est de 5.

De Paolo
(Publié le 28/09/2017)

Désolé, mais mes doutes sont venus à moi car, au point 5, la piste (39) L4C3 peut conduire à la résolution de la grille aussi grâce à la validation des candidats communs de (3) L4C3 et (9) L4C3 qui sont (L1C1 = 5 , L2C1 = 8, L1C6 = 3, L1C7 = 8, L2C8 = 1, L8C5 = 6, L8C6 = 7 et L8C8 = 9), dans ce cas, la dernière contradiction n'est pas utilisée. Il me semble que même Richard n'a pas considéré la validation de la piste (69) L7C8 comme une contradiction dans le point (3) de sa solution.

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

@ Paolo : Non, votre résolution est bien de taille 5, car des deux pistes issues de la paire 39L4C3 que vous êtes obligé de construire, une des deux est bien invalide mais vous n'avez pas exploité cette invalidité directement. La contradiction est bien présente mais pas mise en avant. La différence avec Richard est liée au fait que Richard n'a pas besoin de construire les deux pistes issues du 6 et du 9 de 69L7C8 pour trouver la piste dont 69L7C8 est le générateur, alors que vous oui.

De Paolo
(Publié le 28/09/2017)

C'est clair pour moi. Ce que je ne sais probablement pas, c'est comment Richard a généré la piste 69L7C8 qui coïncide avec la piste 6L7C8 sans considérer les candidats communs de la piste invalide 9L7C8.

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

@ Paolo : Le triplet caché 469L678C9 est un triplet contenu dans la piste P(E) issue de l'ensemble E=69L7C8, ce qui permet de dire que la piste P passe par le 3L5C8, donc par le 5L3C7, le 2L9C7 etc..., mais aussi que le 8L7C8 ne fait partie de cette piste. Cela suffit pour construire complètement la piste P sans avoir à construire les pistes issue du 6 et 9 de L7C8. Au final, il est normal de constater que la piste P passe par un des candidats de E, car on sait que la piste issue d'un ensemble est en fait la piste issue d'un des candidats de cet ensemble, mais on sait pas lequel au départ. C'est dans ce genre de circonstance (ensemble presque fermé, ALS en angalis) que la notion de piste issue d'un ensemble trouve toute sa force, alors que s'il faut construire la piste par croisement on réalise en fait une bifurcation d'une piste dont on ne connait pas encore les éléments. Cela influe sur la taille de la résolution.

De Paolo
(Publié le 28/09/2017)

Merci beaucoup pour l'explication. En fait, le point [(3) (69) L7C8 => résolution de la grille] de la solution de Richard est correct pour la mettre en dernière place après les deux contradictions 4L7C8 et 8L7C8 où il est évident que les triplets de cache 469L678C8 conduisent à des eliminations qui résolvent la grille.

Ajouter un commentaire