De Francis Labetoulle
(Publié le 14/08/2018)
Bonjour 9 placements par TB. P1(5L3C1) et P2(5L1C1). P1.(4L4C9) et P1.(4L8C9) couvrent la grille par croisements. P2.(2L2C5) et P2.(2L2C7) mènent à contradiction par croisements.
De François C.
(Publié le 14/08/2018)
Bonjour, avec les cases L8C2 puis L3C1: P(3L8C2) => contradiction P(4L8C2).P(5L3C1) => solution P(4L8C2).P(4L3C1) => contradiction P(4L8C2).P(6L3C1) => contradiction Donc niveau TDP <= 3
De Robert Mauriès
(Publié le 14/08/2018)
Après réduction de la grille par les TB (9 placements), on exploite les 3 de B1 avec un jeu de pistes issues de la paire d'ensembles 3L12C1-3L2C2. - P(3L12C1).P(3L6C47) est invalide par croisement des branches de l'extension. - P(3L2C2).P(4L3C3) couvre la grille tandis que P(3L2C2).P(4L3C1) est invalide. On peut aussi montrer que P(3L2C2).P(4L3C13) couvre la grille par croisement des branches de l'extension. Donc résolution de taille 3.
Après réduction de la grille par les TB (9 placements), on exploite les 3 de B1 avec un jeu de pistes issues de la paire d'ensembles 3L12C1-3L2C2.
- P(3L12C1).P(3L6C47) est invalide par croisement des branches de l'extension.
- P(3L2C2).P(4L3C3) couvre la grille tandis que P(3L2C2).P(4L3C1) est invalide. On peut aussi montrer que P(3L2C2).P(4L3C13) couvre la grille par croisement des branches de l'extension.
Donc résolution de taille 3.