De Robert Mauriès
(Publié le 25/09/2018)
Se reporter à "Voir la résolution" ci-dessus.
De François C.
(Publié le 25/09/2018)
Bonsoir, Un placement avec les TB et ensuite: P(8L8C5) aboutit à une contadiction via les trois 1 de la ligne 2. Son anti-piste P'(8L8C5) étendue avec la partition 18/3/7 de la case L2C4 donne respectivement une contradiction, une solution et une contradiction. C'est donc une résolution de taille 5.
De Robert Mauriès
(Publié le 27/09/2018)
@ François Cordoliani : Bonjour François. Très intéressante résolution avec une antipiste qui ne compte aucun candidat identifié au départ mais que l'on développe avec des extensions bien choisies. Une idée à retenir pour les grilles difficiles.
Un seul placement par les TB, mais la grille peut se simplifier un peu par deux X-wings équivalents aux deux jeux de pistes JP(6B1) et JP(9B8) donnant 5 éliminations de candidats.
La paire 7B2 permet d'avancer vers la solution avec le placement du 7L3C6 car la P-Piste P(7L2C4).P(2B1) est invalide.
La solution complète est alors obtenue en partant de la paire 9B8 par la P-Piste P(9L7C6).P(8B3), la branche P(9L7C6).P(8L2C9) étant invalide et la branche P(9L7C6).P(8L1C8) couvrant la grille.
L'unicité de la solution est prouvée avec l'invalidation du 9L8C4 via plusieurs extensions :
- P(9L8C4).P(47L8C3) invalide
- P(9L8C4).P(8L8C3).P(8B3) invalide
- P(9L8C4).P(6L8C3).P(8B3) invalide
Cette résolution de taille 9 n'est pas la plus efficace puisqu'une résolution de taille 5 est proposée dans le forum qui fixe à 5 maximum le niveau TDP de la grille.