assistant-sudoku.com

Commentaires sur cette grille

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

Après simplification de la grille par les TB (6 placements), on peut exploiter la case pivot (hub cell) L7C5, intersection de 3 paires de candidats, en traçant les trois pistes issues des 3 candidats de cette case : - P(1L7C5) couvre la grille, donc 1L7C5 est un backdoor de taille 1. - P(6L7C5) est invalide. - P(2L7C5) est invalide via Bif(4C1C2B4,4C3B4) puis Bif(16L5C6). A noter que les deux branches de Bif(4C1C2B4,4C3B4) se croisent sur 7L9C3 qui est donc un candidat de P(2L7C5), évitant ainsi que cette piste ne présente un "Rectangle Interdit" (RI) 24L89C39. Cette remarque est l'occasion de préciser un point concernant les RI. S'agissant de déterminer le niveau TDP d'une grille, donc de prouver l'unicité de la solution, on ne doit pas utiliser un RI tel quel pour conclure à l'invalidité d'une piste. On peut en revanche utiliser un RI pour poursuivre la construction d'une piste jusqu'à rencontrer une impossibilité, ce qui alors invalide la piste. Ainsi, dans la résolution que je propose précédemment, on peut remplacer la bifurcation sur les 4B4 par une bifurcation sur les 7L9B7. La branche issue du 7L9C2 fait apparaître le RI 24L89C39. A ce stade on ne peut pas dire que cette branche est invalide, mais si on développe cette branche en utilisant les doublets du RI on est conduit à une impossibilité sur C3 ce qui rend bien cette branche invalide, et dans ces conditions, cette invalidité ainsi établie peut être prise en compte pour la preuve de l'unicité.

De JC
(Publié le 26/04/2017)

6 placements JP1=les 1 : 1L5C6 : 0 solution via NP(24)L48C2; L5C1=1, L5C6=L9C4=6 JP2=les 8 : 8L9C2 : 0 solution; L9C1=8 et fin via LC{1C6}

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

@ JC : Belle résolution Jean-Claude, simple et directe ! Au passage cela me montre que je pouvais m'éviter la bifurcation sur les 4B4 dans ma résolution :-) !

De Claude Renault
(Publié le 26/04/2017)

P/(3L6C4) prolongée par 2L7C2 couvre la grille

De Francis Labetoulle
(Publié le 26/04/2017)

P1 (2L8C4) couvre la grille. P2 (1L8C4) puis P21 (1L5C1) et P22 (1L5C6) donnent 2 pistes invalides .

De rene
(Publié le 26/04/2017)

JP #1 16 en L5C1 JP #2 89 en L4C6

De Richard
(Publié le 26/04/2017)

Bonjour, La case L3C5 ne contient pas de HUB mais permet toutefois de prouver l'unicité de la grille à elle seule : * 1L3C5 : contradiction. * 6L3C5 : contradiction. * 7L3C5 : résolution de la grille. Les deux premières pistes sont relativement aisées à construire. La troisième (celle qui mène à la solution) est un peu plus difficile. En effet le 7 de L1C3 et le 9 de L3C3 faisant partie de la piste, il faut alors bien voir que dans la colonne 3 les 6 sont cantonnés dans le bloc 4. Réduction bloc/ligne, pas de 6 possible dans les autres cases du bloc 4 donc le 1 de L5C1 fait partie de la piste. Celle-ci se poursuit alors aisément. Encore une fois niveau TDP au plus égal à 2.

Ajouter un commentaire