De Robert Mauriès
(Publié le 30/01/2019)
En attendant de trouver mieux, voici une résolution de taille 5. Un placement par les TB puis : - P(1L5C3).P(3L9C18) invalide -> 3 placements. - P(6L9C2) couvre la grille. - P(6L9C5).P(6L8C2) invalide. - P(6L9C5).P(6L8C3).P(48L1C3) invalide.
De Paolo
(Publié le 31/01/2019)
Bonjour, 1 placement par les TB initiales. Toutes les résolutions que j'ai trouvées passent par la démonstration de l'invalidité de la piste P (1L5C3), qui est également la clé de la résolution de Robert Mauriès.L'un de ces points est le suivant: 1)P(1L5C3).P(3L7C4)=> contradiction. 2)P(1L5C3).P(7L7C4)=> contradiction. 3)P(3L5C3) => contradiction. 4)P(8L5C3) => contradiction=>validation P(6L5C3). 5)P(4L1C3) => contradiction=>solution.
De Claude Renault
(Publié le 31/01/2019)
TB 1 JP(P(1L5C7), P’(1L5C7)) : 3 résolutions par croisements P(8L8C6).P(2L1C5) invalide ; P(8L8C6).P(9L1C5) invalide donc P(8L7C6) valide : 2 résolutions JP(P(37, 2L8C4),; P(2L8C4) invalide ; JP(P(47,6L9C2), P(47L9C2) invalide ; P(6L9C2) couvre la grille
De François C.
(Publié le 31/01/2019)
Bonsoir, 1 placement avec les TB. Ensuite: P(1L6C1) conduit à une solution par extension via les 4 de B2. P(5L6C1) conduit à une impossibilité par extension via les 3 de B8. Taille 5.
Un placement par les TB, puis :
- P(1L5C3).P(3L9C18) invalide -> 3 placements.
- P(6L9C2) couvre la grille.
- P(6L9C5).P(6L8C2) invalide.
- P(6L9C5).P(6L8C3).P(48L1C3) invalide
Taille de résolution = 5