De Philippe
(Publié le 16/11/2024)
Bonjour Piste1: 3L8C8 Blocage Bifurcation Piste2: 2L1C3 Blocage Nouvelle Bifurcation Piste3: 2L3C4 Piste1 + Piste2 + Piste3 couvrent la grille Vérification de l'unicité Pour la 1ére Bifurcation 1L1C3 + Bifurcation 3L4C3 : Contradiction 1L1C3 + Bifurcation 4L4C3 : Contradiction 1L1C3 + Bifurcation 7L4C3 + Bifurcation 1L4C8 : Contradiction 1L1C3 + Bifurcation 7L4C3 + Bifurcation 1L5C8 : Contradiction Pour la seconde Bifurcation 7L3C4 : Contradiction
De Robert Mauriès
(Publié le 17/11/2024)
@ Philippe : Bonjour Philippe, Votre arbre de résolution est incomplet, il manque des branches, celles du 2L8C8 et du 3L3C4 notamment.
Cette grille est de niveau 5 TDP avec une profondeur de 1 au maximum. Voici pourquoi : P'(2L3C46) invalide => -2L2C4 et -2L2C6 P(3L7C8) invalide => L7C8=9 et L7C1=4 et -9p3589B4 P(8L5C6) invalide => -8p12578B8 P(3L7C4) invalide P(9L5C6)invalide P(6L5C6) couvre la grille => solution Mais voici une résolution pas à pas sans utiliser les bifurcations et en se limitant à des pistes assez courtes : (-2L3C46)=>2L3C7->2L9C4->2L1C6->1L1C3->... 1L3 vide => L3C4=2 ou L3C6=2 => -2L2C4 et -2L1C6 (-9L7C8)=>3L7C8->2L8C8->2L9C4->3L3C4->2L3C6->1L3C7->6L1C8->5L1C6->... L1C5 vide => L7C8=9 => L7C1=4 et -9p1489B4 (-8L78C6, -8L5C9)=>8L6C7->9L4C7->8L9C9->5L2C9->4L3C9->7L2C8->5L7C6->6L1C6->8L2C4->9L2C5->2L3C6->4L8C6->... L4C6 vide => -8L5C6 => -8p12578B8. (-6L9C5)=>3L9C5->3L3C4->2L9C4->... => -6L9C4 (-6L19C5)=>3L9C5->5L1C5->6L1C6->6L8C5->... => -6L246C5 (-6L9C5)=>46L8C56->8L7C6->5L1C6->3L9C5->6L1C5->... => -6L8C5 (-4L8C5)=>3L8C5->6L9C5->5L1C5->6L1C6->5L7C6->8L8C6->... => -4L8C6 et 2 placements (-7L2C89)=>[7L3C9->4L3C2->1L1C3 et 3L4C9->3L5C2]->7L4C3->7L5C8->1L5C4->3L7C4->2L9C4->... L3C4 vide => -7L3C9 et -7L2C45 (-9L3C56)=>9[L5C6->9L4C7->6L4C8 et 9L2C5->8L6C5]->1L6C7->1L3C2->... => -9L3C2 (-4L3C9)=>4L3C2->1L1C3->3L3C9->7L4C9->3L4C3->8L7C3->5L7C6->8L8C6->2L3C6->9L5C6->1L4C5->3L7C5->... 3B2 vide => L3C9=4 et 5 placements (-1L1C7)=>1L1C8->1L5C4->1L7C5->5L7C6->6L1C6->... => -6L1C7 (-3L7C3)=>3L7C4->2L9C4->2L3C6->9L5C6->9L4C7->6L4C8->6L2C7->2L2C8->3L8C8->... -3L8C23 => L8C8=3 et 15 placements (-6L5C6)=>9L5C6->6L1C6->1L1C8->1L5C4->... => -6L5C4 => L5C6=6 et fin par induction