De Paolo
(Publié le 09/07/2019)
Bonjour, 1)6 placements par les TB initiales. P(9L7C5)=> couvre la grille 2) P(2L7C5).P(3L2C6)=> contradiction 3) P(2L7C5).P(6L2C6)=> contradiction 4) P(2L7C5).P(9L2C6)=> contradiction=> solution
De François C.
(Publié le 10/07/2019)
Bonjour, 6 placements avec les TB. Ensuite on peut utiliser les 9 de B9 : Le 9L9C7 est un backdoor et les quatre autres 9 sont des anti-backdoors (j’appelle anti-backdoor un candidat dont la piste est invalide, c’est-à-dire conduit à une contradiction). On a donc une résolution de taille 4. Mais on peut descendre à une taille 3 en remarquant que P(9L89C9) est aussi invalide.
De Francis Labetoulle
(Publié le 11/07/2019)
Bonjour Une variante utilisant l'un des backdoors: P(9L7C5) = 1. Soit P' son antipiste. P'.P(6L3C5) = 0. P'.P(3L3C5).P(6L2C1) = 0. P'.P(3L3C5).P(37L2C1) = 0.
De Paolo
(Publié le 11/07/2019)
Bonjour, Une autre résolution 1)6 placements par les TB initiales. P(6L2C7)=> couvre la grille 2) P(6L2C6)=> contradiction 3) P(6L2C1).P(7L2C2)=> contradiction 4) P(6L2C1).P(7L2C7)=> contradiction=> solution
Voir les résolutions proposées dans le forum.