assistant-sudoku.com

Commentaires sur cette grille

De Jean
(Publié le 28/05/2025)

Bonjour. Par les techniques de base (plus contradiction et rectangle interdit) j'arrive à une configuration détaillée où l'on remarque qu'en faisant 1 en L1C3 la première ligne se dévoile et le reste de la grille progressivement. Par le solveur, en adoptant les 2 pistes de la cellule L1C3 on remarque que toutes les valeurs d'une des pistes sont indiquées avec la cohérence d'une grille résolue.

De François C.
(Publié le 28/05/2025)

Bonjour, Avec 6 pistes courtes: Placements: 6L9C7, 2L9C8, 4L3C7 Alignement: 3L1B3 => -3L2C8 -3L2C9 Alignement: 9L9B7 => -9L7C1 -9L7C2 -9L7C3 Alignement: 8C7B6 => -8L4C8 -8L4C9 -8L5C8 -8L6C9 Paires cachées: 68L3C89 => -5L3C8 -2L3C9 -5L3C9 PISTE1: 7L4C1->7L7C3->5L1C3->9L3C1->1L2C1 => L9C1 vide => -7L4C1 Placement: 7L4C6 PISTE2: 5L2C1->5L7C3->7L6C3->8L5C3->8L6C4->5L5C4 => 5C8 vide => -5L2C1 Paires: 19C1L29 => -9L3C1 -1L4C1 -9L4C1 -1L6C1 -9L6C1 Alignement: 1L4B6 => -1L5C8 -1L6C9 PISTE3: 5L6C9->5L8C1->5L1C3 => 5C7 vide => -5L6C9 Alignement: 5L6B5 => -5L5C4 -5L5C6 PISTE4: 7L6C1->5L3C1->5L7C3 => 7C3 vide => -7L6C1 Paires: 36C1L46 => -6L7C1 -6L8C1 Alignement: 6C1B4 => -6L5C2 -6L6C2 Triplets: 369L6C159 => -9L6C2 -9L6C3 -3L6C4 -9L6C4 -3L6C6 -6L6C6 -9L6C6 Alignement: 9B4L5 => -9L5C4 -9L5C5 -9L5C6 Alignement: 9C6B2 => -9L2C4 -9L3C5 Placements: 2L3C5, 2L2C9, 2L1C2, 2L4C4, 8L4C7, 9L7C4 Alignement: 1C2B4 => -1L5C3 -1L6C3 PISTE5: 8L8C9->5L8C1->5L3C6->5L2C8->3L7C8->6L5C8->6L8C6 => L8C2 vide => -8L8C9 Placements: 8L8C2, 6L8C6, 6L7C2 PISTE6: 1L4C8->5L2C8->3L2C4->3L8C9->3L5C8 => 3C6 vide => -1L4C8 Placements jusqu’à la fin.

De Francis Labetoulle
(Publié le 28/05/2025)

Bonjour Voici un taille 2 : P(5L1C3) conduit à une invalidité via 6L5C6 -> 3L8C6 ->3L7C8 -> -3L5C8 (ou encore xwing généralisé des 3...) et P(1L1C3) remplit la grille.

De Philippe
(Publié le 28/05/2025)

Bonjour Test sur les trois candidats 1 du Bloc 1 Piste 1L1C2 : Contradiction Piste 1L1C3 : Couvre la grille Piste 1L2C1 & Bifurcation 6L8C3 : Contradiction Piste 1L2C1 & Bifurcation 8L8C3 : Contradiction Unicité vérifiée Bonne journée

De Cenoman
(Publié le 29/05/2025)

Sans logique multiple, une séquence de six CAI (Chaînes d'Inférence Alternées) 1. (5)L1C3 = L7C3 - L8C1 = L8C9 => -5 L1C9 2. (5)L5C7 = L1C7 - (5=1)L2C8 - L45C8 = (19)L46C9 => -5 L6C9 3. (6=87)L78C2 - (7=295)L3C256 - L6C6 = (5-8)L6C4 = L6C23 - (8=195)L159C3 - L7C3 = (54)L78C1 => -6 L78C1; TB, 7 placements 4. (3=5)L5C7 - L1C7 = L2C8 - L2C4 = (5-8)L6C4 =(84)L5C45 =>-3L5C45 5. (6=83)L37C8 - L7C5 = L46C5 - L5C6 = (35)L5C78 => - 6L5C8 6. (3=1)L1C9 - (1=53)L2C48 - (3=45)L8C14 - L8C9 = (5)L7C9 =>-3L7C9 Tentative de traduction 5L1C9->5L7C3->5L8C9->...contradiction => -5L1C9 5L6C9->5L1C7->1L2C8->(19)L46C9->...contradiction => -5L6C9 6L78C1->87L78C2->295L3C256->5L6C4->8L6C23->195L159C3->54L78C1->...contradiction => -6L78C1; TB, 7 placements 3L5C45->5L5C7->5L2C8->5L6C4->84L5C45->...contradiction => -3L5C45 6L5C8->83L37C8->3L46C5->35L5C78->...contradiction => -6L5C8 3L7C9->1L3C9->53L2C48->45L8C14->5L7C9->...contradiction => -3L7C9; placements jusquà la fin

De Francis Labetoulle
(Publié le 30/05/2025)

@Robert Je n'avais pas vu les paires cachées 68 dans les cases L3C89. Suite sans grand intérêt.

De François C.
(Publié le 30/05/2025)

@ Cenoman : Bonjour Bernard, j'ai décortiqué vos pistes et j'ai constaté qu'elles sont développées un peu de la même façon que vos AIC c'est à dire sans utiliser la mémorisation. Mais vous compensez ce manque par une utilisation astucieuse des ensembles aussi bien comme ensemble de départ de pistes qu'à l'intérieur de pistes. C'est un bel exercice mais je crois que personne sur ce site ne se prive de la mémorisation. Je donnerai d'ici peu les pistes que j'obtiens en faisant les mêmes éliminations que vous en 6 étapes.

De Alain
(Publié le 30/05/2025)

Bonjour, Paire 29L3C5 : 9 invalide d'où 2L3C5 Paire 34L8C4 : piste 3, bifurcation 3L1C9 couvre la grille

De François C.
(Publié le 30/05/2025)

@ Cenoman : Comme promis voici mes pistes: Après les TB initiales : P1 : 5L1C9->5L7C3 => 5L8 vide => -5L1C9 P2 : 5L6C9->5L1C7->5L7C3 => 5L8 vide => -5L6C9 Ensuite il y a un alignement possible (5L6B5 => -5L5C4 -5L5C6) mais je n’en tiens pas compte puisque vous ne l’avez pas utilisé. P3 : 6L78C1->8L8C2->7L7C2->7L3C1->5L3C6->5L6C4->8L6C3 => 7C3 vide => -6L78C1 Ensuite beaucoup de TB dont 7 placements => |--------------------------------------------------| | 8 2 15 | 6 7 4 | 35 9 13 | | 159 4 6 | 35 8 359 | 7 15 2 | | 579 79 3 | 1 2 59 | 4 68 68 | |--------------------------------------------------| | 36 5 4 | 2 369 7 | 8 136 1369 | | 2 189 89 | 348 346 136 | 35 356 7 | | 36 178 78 | 58 369 15 | 2 4 369 | |--------------------------------------------------| | 457 678 578 | 9 346 2 | 1 38 358 | | 45 68 2 | 34 1 36 | 9 7 358 | | 19 3 19 | 7 5 8 | 6 2 4 | |--------------------------------------------------| P4 : 3L5C45->348B5p457->5L2C4->5L5C8 => L5C7 vide => -3L5C45 P5 : 6L5C8->69B5p28->3L7C5->8L7C8 => L3C8 vide => -6L5C8 Là il y a 5 TB mais elles ne sont pas nécessaires pour la dernière piste. P6 : 3L7C9->1L1C9->5L2C8->3L2C4->4L8C4->5L8C1 => 5L7 vide => -3L7C9 N.B : le 2eme élément de votre piste est 1L1C9 et non 1L3C9. Remarque: mon logiciel de recherche des pistes contradictoires les plus courtes (issues d’un candidat ou d’un ensemble de candidats) ne prend pas en compte les paires ou triplets dont une case n’a qu’un seul candidat possible. Ceci afin de limiter l’explosion combinatoire. C’est ce qui fait que pour P3 et P6 il n’ait pas trouvé de piste plus courte.

De Cenoman
(Publié le 31/05/2025)

@François C. Merci pour vos investigations de comparaison. J'ai besoin d'un peu de temps pour étudier tout cela. Je reviendrai dès que possible pour poursuivre ces échanges.

De Cenoman
(Publié le 02/06/2025)

Commentaires généraux: Vos pistes sont développées un peu de la même façon que vos AIC c'est à dire sans utiliser la mémorisation. Personne sur ce site ne se prive de la mémorisation. (citation) Dans une chaîne alternée a=b-c=d-...-w=x-y=z, soit la variable logique a est Vraie, soit toutes les variables situées à droite des symboles de lien fort '=' sont Vraies, y compris la dernière. La chaîne produit une élimination si a ET z sont en conflit avec un ou plusieurs candidat(s). Dans un piste A->B->C->...->Z toutes les variables A, B,... Z sont supposées Vraies. Je construis mes traductions en utilisant les noeuds à droite des liens forts '=' La ressemblance n'est pas fortuite. Je n'utilise effectivement jamais la mémorisation. C'est un parti pris. Quand j'ai commencé à aborder des puzzles nécessitant des techniques au-delà des TB, en lisant des solutions sur les forums, je n'aimais pas les "memory chains". Je les ai détestées quand un personnage très déplaisant s'est mis à dénigrer les CAI et à insulter leurs utilisateurs. Je me garde bien d'adopter une attitude inverse. Les techniques que j'utilise, là où sont utilisées des mémorisations, sont de deux sortes : d'une part les ALS (et leurs duals, les AHS) et d'autre part les liens forts multiples (alias 'krakens', alias Ternaires, Quaternaires en français) Mes pistes ne sont que des traductions des mes CAI, pour rendre mes solutions lisibles aux utilisateurs du site "Assistant Sudoku". Elles n'ont aucunement l'ambition de donner de meilleures pistes que celles postées par les experts de la TDP. Dernier détail : en ce qui concerne les TB, je les exécute systématiquement à la fin de chaque étape, sans pour autant en lister les résultats. Commentaires spécifiques à la grille #751 J'ai essayé moi aussi de donner en CAI votre solution en 6 étapes (en fait il n'en reste que 5): Votre piste 1 élimine aussi 7L6C1: 1. (7)L6C3 = (7-5)L7C3 = L1C3 - (5=197)L239C1 => -7 L46C1 Pour votre piste 2, dans cet état de résolution, il me faudrait un Ternaire, mais en inversant l'ordre des étapes 2 et 3, deux CAI suffisent: 3. (5)L5C7 = L1C7 - (5=1)L2C8 - L45C8 = (19)L46C9 => -5 L6C9 2. (5)L2C4 = (5-8)L6C4 = L6C23 - (8=195)L159C3 => -5 L2C1 Après ces trois étapes l'état de résolution est identique à celui obtenu après mes trois premières étapes, Pour finir comme vous: 4. TERNAIRE (6)L345C8 (6)L3C8 - (6=8)L3C9 (6-1)L4C8 = (1-5)L2C8 = L1C7 - L1C3 = L23C1 - L8C1 = (5)L8C9 (6)L5C8 - L5C6 = L8C6 - (6=8)L8C2 => -8 L8C9 5. (1=53)L2C48 - L8C4 = L8C9 - (3=86)L37C8 - L5C8 = (64-8)L5C45 = (89-1)L59C3 = L1C3 - L1C9 = (1)L4C9 => -1 L4C8

De Robert Mauriès
(Publié le 03/06/2025)

@ Cenoman : Bonjour Bernard et François, Très occupé ces temps-ci, je participe tardivement aux discussions très intéressantes à propos de vos résolutions. La résolution de Bernard à l'aide des AIC trouve mieux son équivalent en TDP si on utilise des anti-pistes et la condition suivante : "tous les candidats qui voient à la fois le générateur de l'anti-piste et un élément de l'anti-piste peuvent être éliminés". J'ai souvent présenté des résolutions sur cette base. Voici donc l'équivalent avec des anti-pistes des AIC de Bernard : (-5L1C3)->5L7C3->5L8C9->... => -5L1C9 (-5L5C7)->5L1C7->1L2C8->19L46C9->... => -5L6C9 (-6L78C2)->8L8C2->7L7C2->7L3C1->5L3C6->5L6C4->8L6C23->19L59C3->5L1C3->45L78C1->... => -6L78C1 (-3L5C7)->5L5C7->5L2C8->5L6C4->8L5C4->4L5C5->... => -3L5C45 (-6L3C8)->8L3C8->3L7C8->3L46C5->35L5C78->... => -6L5C8 (-3L1C9)->1L1C9->5L2C8->3L2C4->4L8C4->5L8C1->5L7C9->... => -3L7C9 et fin Robert

Ajouter un commentaire