assistant-sudoku.com

Commentaires sur cette grille

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

Bonsoir, Aucun placement par les TB initiales. Les seules suppressions de candidats sont dûes au triplet (459) de L5C456. On étudie la case L7C8 : (1) (24)L7C8 => contradiction. (2) 3L7C8 => piste comportant 6 candidats virtuels. (3) 7L7C8 => piste comportant 9 candidats virtuels via réduction bloc/ligne : dans le bloc 3 les 4 sont cantonnés colonne 7 ce qui force 2L9C7 à faire partie de la piste. Ensuite la paire (67) de L29C3 force 9L1C3 à faire partie de la piste. Bifurcation de (2) avec le doublet (59) de L8C5 : (4) 3L7C8 + 5L8C5 => contradiction. (5) 3L7C8 + 9L8C5 => résolution de la grille. Bifurcation de (3) également avec le doublet (59) de L8C5 : (6) 7L7C8 + 5L8C5 => contradiction. (7) 7L7C8 + 9L8C5 => contradiction. Le niveau de la grille est donc de 4 maximum. Bon week-end.

De Paolo
(Publié le 09/03/2018)

Bonsoir, 1) Aucun placement par les TB iniziales. P3L8C3=>couvre la grille 2) P3L8C1 => contradiction (L4C2=Ø)=>-3L8C1 3) P3L8C7 piste comportant 3 candidats 4)extension P3L8C7 avec les candidats de la case L7C2 5)P3L8C7+P6L7C2=>contradiction (deux 9 in C5) 6)P3L8C7+P7L7C2=>contradiction (L6C2=Ø) 7)P3L8C7+P8L7C2=>contradiction (L2C6=Ø))>validation P3L8C3=>solution.

De Paolo
(Publié le 10/03/2018)

Bonjour, Une autre solution 1) Aucun placement par les TB iniziales. P3L8C3=>couvre la grille 2) P2L8C3 => contradiction (L3C9=Ø)=>-2L8C3 3) P8L8C3 piste comportant 4 candidats 4)extension P8L8C3 avec les candidats de la case L7C6 5)P8L8C3+P2L7C6=>contradiction (L2C7=Ø) 6) P8L8C3+ P4L7C6=>contradiction (L4C2=Ø) 7) P8L8C3+ P6L7C6=>contradiction (deux 2 in C8)=>-8L8C3=>validation P3L8C3=>solution. Solution identique avec extension de la Piste P8L8C3 avec les trois 4 de la ligne 7 ou les trois 6 de la ligne 2

De Robert Mauriès
(Publié le 10/03/2018)

Une autre résolution de taille 4 en partant de la case L3C2. - P(9L3C2) couvre la grille (9L3C2 est un backdoor de taille 1). - P(1L3C2) est invalide -> deux placements. - La P-Piste P(67L3C2).P(5L9C6) est invalide ce qui permet de prolonger P(67L3C2) par le 5L9C2 et de montrer son invalidité via une extension par les 7B1. Une petite remarque de terminologie (notation) pour conclure ce commentaire : Pour définir une P-piste j'utilise le " . " plutôt que le " + ", par exemple P1.P2 plutôt que P1+P2, pour bien signifier que la P-piste n'est pas seulement la somme (réunion) des candidats de P1 et de P2, mais comprend aussi les candidats dont le placement résulte du placement simultané des candidats de P1 et P2. (Voir Théorie de pistes ci-contre).

De Francis Labetoulle
(Publié le 10/03/2018)

Bonjour. Voici un nouveau taille 4, avec les réserves usuelles concernant les probables redites: P1(8L8C4) et P2(8L8C3). P11 (2L8C7) : solution et P12 (2L8C3) : invalide. P21(7L3C2) : invalide, P22 (7L2C3) puis P221 et P222 avec les 1 de B1 pour 2 invalidités. À Robert: je vais approfondir le nouveau ( pour moi) texte de Théorie des Pistes. Ma notation "indicielle" pose-t-elle problème?

De Robert Mauriès
(Publié le 10/03/2018)

@ Francis Labetoulle : Non Francis votre notation indicielle (et d'autres d'ailleurs) ne pose pas problème, mais j'essaye d'être cohérent avec ce que j'ai écrit dans mon texte sur la théorie des pistes à l'attention de ceux qui s'y réfèrent, d'où mes commentaires. Ce texte évoluera encore un peu d'ailleurs, car je pense avoir enfin démontré une propriété que l'on utilise naturellement et qui manquait pour compléter totalement ce travail, à savoir qu'une piste issue d'un ensemble passe forcément par un candidat de cet ensemble. D'ailleurs, je suis preneur d'une démonstration rigoureuse de cette affirmation tant la mienne me semble alambiquée.

De François C.
(Publié le 11/03/2018)

Bonjour, la case L3C2 est effectivement très intéressante, elle m'a permis de trouver une résolution de taille 3 à partir des pistes conjuguées sur les ensembles (16) et (79), chacune de ses pistes étend elle-même étendue par une paire de pistes conjuguées: P(16L3C2).P(1L1C1) => C P(16L3C2).P(6L1C1) => C P(79L3C2).P(2L8C7) => S P(79L3C2).P(3L8C7) => C C = contradiction S = solution

De Robert Mauriès
(Publié le 11/03/2018)

@ François Cordoliani : Ravi de vous revoir sur le forum François, et bravo pour cette magnifique résolution de taille 3, pas évidente à déceler.

De François C.
(Publié le 26/03/2022)

4 ans après… voici une résolution de taille 3 sans bifurcation et sans piste issue d’un ensemble de candidats : Alignement: 4b5r5 => -4r5c3 -4r5c7 -4r5c8 -4r5c9 Alignement: 5b5r5 => -5r5c1 -5r5c2 -5r5c9 Alignement: 9b5r5 => -9r5c2 -9r5c3 -9r5c7 P(1r3c2) => contradiction => -1r3c2 P(6r3c2) => contradiction => -6r3c2 2 placements 1r1c1, 1r9c4 Alignement: 6b1c3 => -6r5c3 -6r6c3 -6r9c3 Paires cachées : 56r9c26 => -7r9c2 -2r9c6 -4r9c6 Alignement: 4r9b9 => -4r7c8 Alignement: 4c8b6 => -4r4c7 -4r4c9 -4r6c7 -4r6c9 P(3r8c7) => contradiction => -3r8c7 Solution avec les TB.

Ajouter un commentaire