De Robert Mauriès
(Publié le 16/10/2017)
Résolution de taille 3, après utilisation des TB (5 placements et quelques éliminations), en partant des 3C5. - P(3L5C5) -> solution (backdoor). - P(3L4C5) -> invalide. - P(3L7C5) + Bif(5L9) -> invalide.
De Paolo
(Publié le 16/10/2017)
1)5 placements par les TB iniziale. 2) 3L5C1 => contradiction L4C2=Ø=>-3L5C1 2) 3L5C3 => contradiction L7C3=Ø=>-3L5C3=>solution
De Robert Mauriès
(Publié le 16/10/2017)
@ Paolo : Je ne comprend pas l'invalidité de votre seconde piste, car 3L5C3 => 6L7C3 et donc L7C3 n'est pas vide ?? Mais je confirme que la piste est invalide. Belle résolution de taille 2 donc. Bravo !
De Paolo
(Publié le 16/10/2017)
@ Robert Mauriès : J'ai fait une erreur en copiant 1)5 placements par les TB iniziale. 2) 3L5C1 => contradiction L4C2=Ø=>-3L5C1 3) 3L5C3 => contradiction L6C5=Ø et L4C2=Ø =>-3L5C3=>solution
De Paolo
(Publié le 16/10/2017)
Une autre solution 1) 5 placements par les TB iniziale. 2) 6L2C8 => piste comportant 5 candidats virtuels Bifurcation de (2) avec 3L5C3 et 6L5C3 3) 6L2C8+3L5C3 => contradiction L6C5=Ø 4) 6L2C8+6L5C3 => contradiction L9C1=Ø=>-6L2C8=>solution
De JC
(Publié le 17/10/2017)
4L5C5 + (16)L8C16 -> 0 solution; L5C9=4 et fin via {6L5} -> 6L2C2
De Paolo
(Publié le 17/10/2017)
Une autre solution par le croisement de deux pistes conjuguées E1 = (3L2C1; 6L2C1) et E2=(7L2C1; 1L2C1). La deuxième piste est invalide
De Robert Mauriès
(Publié le 17/10/2017)
Autre résolution de taille 1 : - L'antipiste P'(E) issue de l'ensemble E={7L4C4, 4L5C9} est invalide (via les ensembles cachés 3L1 , 3L5 et 19C2) => P(7L4C4) et P(4L5C9) sont conjuguées. - P(7L4C4) est invalide et P(4L5C9) couvre la grille.
De Paolo
(Publié le 18/10/2017)
Résolution similaire - L'antipiste P'(E) issue de l'ensemble E={6L7C3, 3L4C2} est invalide=> P6L7C3 et P(3L4C2) sont conjuguées. P(6L7C3) est invalide et P(3L4C2) couvre la grille.
De Francis Labetoulle
(Publié le 20/10/2017)
Une autre résolution de taille 2 : (46L2C2) couvre la grille. (13L2C2) Donne 2 pistes invalides avec 6L2C1 et 6 L2C8 respectivement.