De François C.
(Publié le 09/08/2018)
Bonjour, en partant de la paire 18 de la case L6C3: 1) Le 8 est un backdoor. 2) La piste issue du 1 a un développement nul avec les TB, mais son extension par la case L4C7 donne une contradiction (en fait 3 contradictions car je ne me suis pas amusé à faire le recouvrement entre les 3 branches).
De Paolo
(Publié le 09/08/2018)
Bonjour, 1) 21 placements par les TB initiales. 2) P(8L3C2) =>couvre la grille 3) P'(8L3C2).P(4L4C7)=> contradiction 4) P'(8L3C2).P(6L4C7)=> contradiction 5) P'(8L3C2).P(8L4C7)=> contradiction=>validation P(8L3C2)=>solution. ou 1) 21 placements par les TB initiales. 2) P(1L8C3) =>couvre la grille 3) P’(1L8C3).P(8L4C7)=> contradiction 4) P’(1L8C3).P’(8L4C7).P(4L8C9)=> contradiction 5) P’(1L8C3).P’(8L4C7).P’(4L8C9)=> contradiction=>validation P(1L8C3)=>solution.
De Claude Renault
(Publié le 09/08/2018)
Je me demande si je ne me suis pas trompé car je trouve 22 résolutions par TB et non 21 comme Paolo voici ma résolution si je n'ai pas fait d'erreur : 22 résolutions par TB b18L8C3 couvre la grille ; pour prouver l'unicité, il faut montrer que le 4 et le 6 sont invalides dans L8C3 b4L8C3 : bv8L9C2 invalide d’où bL9C2= 3 ; dans L4C2, b6-j8 invalides b6L8C3 : dans L6C1, bv2-bj8 ; bv2 invalide ; pour invalider bj8, en L6C9, bjv2 et bjv5 invalides un temps très court pour trouver la solution, très long pour montrer qu'elle est unique !
De Francis Labetoulle
(Publié le 10/08/2018)
Bonjour Pas mieux qu'une taille 3 et 21 placements (pour Claude) par les TB. Par exemple : P = (68L3C2) couvre la grille. Pour son antipiste P' j'utilise d'abord les 4 de C9. P'.(4L8C9) : 0 solution. P',(4L4C9 et chaque candidat restant de L4C7 (6 ou 8) : 0 solution. On peu encore utiliser P'.(4L4C9) et les 4 de L1 avec usage d'un *-wing en plus.