De Robert Mauriès
(Publié le 25/11/2020)
Résolution détaillée par le lien ci-dessus "Voire la résolution".
De Paolo
(Publié le 25/11/2020)
Bonsoir à tous. Sûrement la solution la plus simple est donnée,après 20 insertions en appliquant le TB, de P '(6L9C7) => {L6C7 = 6; L5C4 = 8} => contradiction L5C8 vide => L9C7 = 6 => solution.
De François C.
(Publié le 26/11/2020)
Bonjour, Je n’ai pas trouvé de résolution plus courte que celle de Paolo.
De Claude Renault
(Publié le 26/11/2020)
case L6C7 : les croisements des pistes issues du 6 et du 7 donnent la solution
De Claude Renault
(Publié le 03/12/2020)
solution avec antipiste 3 composants (notation abrégée xyz pour P(xLyCz)) 845-849>658>767>887 =>-885 +285 couvre la grille
Après réduction de la grille par les TB, un seul jeu de pistes issue de la paire 78L8C7 suffit pour terminer :
P(7L8C7) : 7L8C7->6L6C7->6L1C8->8L2C9->8L4C5->...
P(8L8C7) : 8L8C7->...
Ce qu'on peut exprimer avec un antipiste seulement :
P'(8L8C7) : (-8L8C7)=> 7L8C7->6L6C7->6L1C8->8L2C9->8L4C5->...
Donc 8L8C5 peut être éliminé => L8C5=2 et la grille se termine par induction, c'est à dire avec des candidats uniques seulement.