De Robert Mauriès
(Publié le 27/02/2022)
Résolution "pas à pas" en 5 étapes en cliquant sur le lien "Voir la résolution" ci-dessus.
De Francis Labetoulle
(Publié le 01/03/2022)
Après éliminations avec les techniques de base, les pistes conjuguées P(1L1C5) et P(6L1C5) se croisent en 9L6C3 et autres...pour remplir la grille, la première piste citée étant la valide: P(6L1C5):0, P(1L1C5):1.
De Francis Labetoulle
(Publié le 01/03/2022)
Résolution par PAP (pas-à-pas ou pistes à puristes... en 3 étapes). Il faudra corriger mes notations. Une piste est notée selon (xLyCz) ou (xLyzCv), etc. On envisage des interactions entre pistes conjuguées. On peut formuler les équivalents usuels. 1) (6L3C6) et (4L3C6) -> -6L4C6, -4L9C6, -4L2C4. 2 (9L4C2) et (3L4C2) -> -3L4C6 3) (4L89C9 contient 4L9C4 et 4L8C1 donc contradiction et donc élimination de 4L8C9 et de 4L9C9. Cela permet de couvrir la grille.
Après réduction de la grille par les TB, voici ue résolution "pas à pas" avec la notation réduite suivante (-A) pour P'(A). Seule l'antipiste P'(A) est développée (en vert), sa piste conjuguée P(A) étant limitée à A (en violet).
(-4L3C6)->6L3C6->6L6C4->47L79C4->... => -4L2C4, -4L9C6
(-6L1C5)->6L7C5->3L7C3->9L6C3->59L12C4->... => -6L1C4 => -9L6C4, -9L2C6
(-6L3C6)->6L3C9->6L4C8->... => -6L4C6 => L4C8=6
(-3L6C9)->7L6C9->6L6C4->6L7C5->3L7C3->... => -3L6C3 => L6C3=9 et 4 placements par induction.
(-4L7C8) => rectangle interdit 45L89C19 si on admet l'unicité de la solution => L7C8=4 et fin par induction.
Sinon :
(-4L7C8)->4L7C4->6L7C5->6L3C6->4L3C9->...=> -4L89C9 => L7C8=4 et fin par induction