De Paolo
(Publié le 21/05/2018)
Bonsoir, 1) 4 placements par les TB initiales. P(4L4C1)=> couvre la grille. P(4L4C7).P(2L8C4)=>contradiction (L5C2=Ø) P(4L4C7).P(8L8C4)=>contradiction (deux 8 dans L1)=>-4L4C7 P(4L4C2) =>contradiction (L2C8=Ø)=>validation P(4L4C1)=>solution.
De Robert Mauriès
(Publié le 22/05/2018)
Résolution équivalente à celle ci-dessous de Paolo en partant de la paire d'ensembles {2L7C5, 2L8C45}. - P(2L7C5) couvre la grille, - P(2L8C45).P(4L4C2) invalide, - P(2L8C45).P(4L6C1) invalide.
De François C.
(Publié le 22/05/2018)
Bonsoir, on pouvait aussi utiliser les 4 de la ligne 4 au deuxième niveau, comme ceci: P(8L7C8) => contradiction P(9L7C8).P(4L4C1) => solution P(9L7C8).P(4L4C2) => contradiction P(9L7C8).P(4L4C7) => contradiction
Après simplification de la grille par les TB (4 placements), résolution par la TDP en partant de la paire d'ensembles {2L7C5, 2L8C45}.
- P(2L7C5) couvre la grille,
- P(2L8C45).P(4L4C2) invalide,
- P(2L8C45).P(4L6C1) invalide.