assistant-sudoku.com

Commentaires sur cette grille

De Robert Mauriès
(Publié le 28/03/2020)

Indication : paire 9B5.

De Claude Renault
(Publié le 28/03/2020)

1 placement par procédures de base : P(6L6C5) solution ; P(6L6C8) invalide

De François C.
(Publié le 29/03/2020)

Bonjour, Avec les TB : un candidat unique + plusieurs alignements et paires cachées. Ensuite : la paire 6L6C58 proposée par Claude fait partie d’un très grand réseau de paires équivalentes (par ex 26L1C8). Je n’ai pas trouvé d’autre paire donnant une résolution de taille 1.

De François C.
(Publié le 29/03/2020)

Bonsoir, 1) Application des TB : Candidat unique: 8-C7-L2C7 Alignement: 3-L8-B7-L8C1-L8C2-L8C3 => -3L9C1 -3L9C2 -3L9C3 Alignement: 9-C3-B7-L7C3-L9C3 => -9L7C1 -9L9C1 Alignement: 2-C5-B2-L2C5-L3C5 => -2L1C4 -2L2C4 -2L3C4 Alignement: 7-C8-B9-L7C8-L9C8 => -7L9C7 Paire cachée: 58-B5-L5C6-L6C4 => -3L5C6 -6L5C6 -7L5C6 -6L6C4 Alignement: 3-L5-B4-L5C1-L5C2-L5C3 => -3L4C1 Alignement: 6-B5-C5-L5C5-L6C5 => -6L2C5 -6L3C5 Paire cachée: 16-B6-L5C9-L6C8 => -2L5C9 -5L5C9 -5L6C8 Alignement: 5-B6-C7-L5C7-L6C7 => -5L3C7 -5L9C7 Paire cachée: 15-B3-L2C9-L3C8 => -2L2C9 -6L2C9 -3L3C8 -6L3C8 Alignement: 6-B3-L1-L1C8-L1C9 => -6L1C1 -6L1C2 -6L1C4 -6L1C6 Alignement: 6-C2-B7-L7C2-L9C2 => -6L7C1 -6L9C1 2) P'(8L6C4) = {5L6C4,4L6C7,4L4C1,9L6C1,..} => -8L6C1 car ce candidat voit le 8L6C4 et P’(8L6C4) 3) Application des TB : Candidat unique: 8-L6-L6C4 Candidat unique: 5-L5C6 Candidat unique: 8-L1-L1C6 Candidat unique: 5-L6-L6C7 Alignement: 4-L1-B1-L1C1-L1C2 => -4L3C1 -4L3C3 Alignement: 4-L6-B4-L6C1-L6C2 => -4L4C1 Alignement: 4-C3-B7-L7C3-L8C3-L9C3 =>-4L7C1 -4L7C2 -4L8C1 -4L8C2 -4L9C1-4L9C2 Paire nue: 37-C4-L1C4-L4C4 => -3L2C4 -7L2C4 -3L3C4 -7L7C4 -7L9C4 Paire nue: 16-C4-L2C4-L3C4 => -6L7C4 -1L9C4 -6L9C4 Alignement: 1-C4-B2-L2C4-L3C4 => -1L2C6 -1L3C6 Alignement: 6-C4-B2-L2C4-L3C4 => -6L2C6 -6L3C6 Paire nue: 37-B2-L1C4-L2C6 => -7L2C5 -3L3C6 Candidat unique: 2-L2C5 4) P'(3L4C4) = {7L4C4,6L5C5,6L6C8,3L1C8,..} => -3L1C4 5) Application des TB : candidats uniques jusqu’à la solution

De Robert Mauriès
(Publié le 29/03/2020)

@ François C : Bonsoir François. La paire 9B5 donne aussi une résolution de taille 1.

De Francis Labetoulle
(Publié le 30/03/2020)

Bonjour à tous Un seul placement (8L2C7) et beaucoup d'éliminations, avec présence de 2 4-uplets et 1triplet. La case B6 est "attirante" et particulièrement la case L6C8, mais elle donne une résolution équivalente à celle de Claude. Je choisis donc la paire de 7 : P(7L4C7) et P(7L5C7) donnent, avec un peu de patience, des éliminations et croisements conduisant à couvrir la grille, la première citée étant la bonne piste. Un bon exemple d'application des méthodes de la TDP pour ceux qui voudraient se joindre à nous.

De François C.
(Publié le 30/03/2020)

@ Robert Mauriès : Bonjour, la paire 9B5 fait partie du grand réseau de paires équivalentes dont je parlais. En effet la chaîne réversible (9L6C5,6L6C5) -- (6L6C5-6L6C8) fait que P(9L6C5) = P(6L6C8). D’autre part la chaîne réversible (9L4C6,9L6C5) -- (9L6C5,6L6C5) fait que P(9L4C6) = P(6L6C5). Donc la paire 9B5 est équivalente à la paire 6L6 choisie par Claude. N.B : la paire 7C7 choisie par Francis est aussi équivalente à la paire 6L6.

De Francis Labetoulle
(Publié le 30/03/2020)

@ François C : Bonjour Tout à fait d'accord pour les équivalences, même si elles elles ne sont pas évidentes à priori. Cela pose un problème déjà évoqué depuis un certain temps avec Robert, et j'avoue que je ne me suis pas posé la question. Pour moi l'intérêt de cette grille, concernant la TDP, réside dans les éliminations et validations par interaction des deux pistes. Encore merci pour les études par antipistes qui ouvrent des "portes nouvelles" pour moi.

De François C.
(Publié le 30/03/2020)

@ Francis Labetoulle : j’ai un programme qui affiche tous les réseaux de paires équivalentes, avec une lettre différente pour chaque réseau. Ca correspond au marquage d’un certain «Champagne » sur enjoySudoku, sauf que moi j’utilise ces lettres uniquement pour éviter les résolutions doublon, alors que lui il les utilise dans la logique même de la résolution. Le grand réseau dont je parlais contient environ 35 paires (je dis "environ" parce que je les comptées à la main).

De Francis Labetoulle
(Publié le 30/03/2020)

@ François C : Merci pour ces précisions. Il est clair que la construction de ces "réseaux d'équivalence" simplifie la résolution dans nombre de cas. C'est quasiment trivial pour la grille actuelle. Cela me rappelle bien sûr les réseaux génériques de Bernard Borrely, mais sans doute existe-t-il des différences subtiles comme l'a déjà évoqué Robert. Effectivement on peut supposer qu'ainsi on "compartmente" la grille, ce qui doit permettre l'utilisation de nouvelles méthodes. Champagne est sans doute un pseudonyme, comme l'avait mentionné JC, mais j'ai oublié... Enfin la construction de ces réseaux "à la main", ou avec un logiciel élémentaire, reste une opération un peu rébarbative. Vivement l'utilisation d'un outil plus performant! Bonne soirée

De Robert Mauriès
(Publié le 30/03/2020)

@ Francis Labetoulle et François C: Bonjour Francis, bonjour François. - Champagne est le pseudo de Gérard Penet. Il opère souvent sur le forum de enjoysudoku.com . - L'utilisation d'une seule anti-piste pour faire des éliminations est en fait équivalent à l'utilisation d'un jeu de pistes P(E) et P'(E) dont on ne trace pas P(E), mais dont on sait que un des candidats de E est un candidat de P(E), ce qui permet ces éliminations. - Le réseau des paires équivalentes est exactement le réseau générique du "Coloriage Virtuel" de Bernard Borrelly qui évite d'essayer inutilement des paires équivalentes. Pour moi, il est inutile de repérer ce réseau lorsqu'on travaille avec deux pistes conjuguées, lesquelles passeront forcément par les paires de ce réseau.

Ajouter un commentaire