De Francis Labetoulle
(Publié le 14/11/2024)
Bonjour Un peu ardue cette grille! Voici un cheminement de niveau 3 TDP, par élimination: P1 (3L6C1) : 0; puis P2 (4L5C2) : 0; puis P3(2L5C7: 0) et solution de niveau 3.
De Philippe
(Publié le 14/11/2024)
Bonjour P1 5L8C3 Blocage Bifurcation P2 6L5C2 Blocage Bifurcation P3 1L3C2 P1 P2 P3 couvrent la grille
De Robert Mauriès
(Publié le 14/11/2024)
@ Philippe : Bonjour Philippe, Votre cheminement vers la solution par des bifurcations est intéressant, mais n'est pas totalement satisfaisant car il ne montre pas qu'il vous conduit à une solution unique. Pour être complet, il faudrait montrer qu'à chaque bifurcation une des branches est invalide, en l'occurence ici que P1.P(4L5C2) est invalide, puis P1.P2.P(9L3C2) est invalide. Merci pour votre participation. Robert
De Philippe
(Publié le 14/11/2024)
Merci Robert pour votre réponse Pour la première bifurcation 4L5C2 & Bifurcation 3L5C3 aboutit à une contradiction 4L5C2 & Bifurcation 3L6C1 aboutit à une contradiction P1.P(4L5C2) est invalide Pour la seconde bifurcation 9L3C2 aboutit à une contradiction P1.P2.P(9L3C2) est invalide L UNICITE EST AINSI VERIFIEE
De Robert Mauriès
(Publié le 16/11/2024)
@ Philippe : Bonjour Philippe et merci d'avoir complété votre résolution pour confirmer l'unicité. Ce n'est pas temps cette recherche de l'unicité qui est importante à mes yeux (ici la grille est à solution unique), mais le principe de résolution par les bifurcations qui selon moi doit être complet pour être logique, et qui détermine le niveau de difficulté d'une grille par le nombre de branches invalides et par le nombre d'extensions successives (Profondeur). C'est ce que les anglais nomme DFS (Depth-First Search) c'est à dire une recherche en profondeur. A titre d'exemples AI Escargot est de taille 11 avec une profondeur de 3, Easter Monster est de taille 17 avec une profondeur de 3 aussi.
La difficulté de cette grille réside dans la longueur d'une des pistes conduisant à la solution.
Après réduction par les TB, 3 anti-pistes invalides sont nécessaires :
(-3L6C5)=>3L4C5->3L5C7->9L8C7->9L1C5->2L3C5->179L3C123->56L28C3->... => L5C3 vide => L6C5=3 et 2 placements
(-6L6C4)=>4L6C4->4L5C2->2L5C7->2L1C8->6L5C8->6L6C1->[14L8C18->4L2C6->26L48C6 et 56L2C23-9L3C23->9L1C5]->6L1C4->[1L9C4 et 7L1C6->7L5C4->5L8C4->5L7C2]->1L3C2->... => 1B2 vide => L6C4=6 et 8 placements.
(-4L5C7)=>4L2C7->[4L3C5->2L3C1->1L3C2 et 4L7C9->4L9C2->1L9C4->6L9C5->5L7C5]->... => L7C2 vide => L5C7=4 et fin par induction (candidats uniques).