assistant-sudoku.com

Commentaires sur cette grille

De Paolo
(Publié le 26/09/2020)

1)10 placements par les TB initiales. P(98)L5C2=>couvre la grille 2)P(5L5C2)=>contradiction 3) P(1L5C2)=> contradiction =>solution. Après élimination de L5C2 = 5, les deux pistes P (1L5C2) et P (98) L5C2 se croisent avec des éliminations communes qui résolvent l'énigme si sont appliquée. ou 1) 10 placements par les TB initiales. P(9)L7C1=>couvre la grille 2)P(1L7C1)=>contradiction 3)P(4L7C1)=> contradiction =>solution.

De Claude Renault
(Publié le 26/09/2020)

P(9L7C1) solution ; P(9L7C9).JP(4-8L9C2) invalide autre solution : colonne 2 : 1L35C2 invalide, 1L9C2 solution autre solution ne développant que les antipistes : P'(467L2C4) suivie de P'(348L5C5)

De Francis Labetoulle
(Publié le 26/09/2020)

Bonjour L.´énoncé mentionnant taille 2 je choisis la case L7C9, ou encore les 1 de C9, après l'application des TB, ceci en accord avec la "potentialité" de cette case. Soient donc P1(1L7C9) et P2(49L7C9). P1 couvre la grille (bingo mais pur hasard...). Je ' valide' les candidats de P2 dans l'optique de trouver une éventuelle deuxième solution. Je complète cette piste avec la boucle des 1: P2.P(1L7C1) et P2.P(1L7C3) sont toutes deux invalides donc unicité et solution de taille 2.

De Phidippides
(Publié le 26/09/2020)

Salut Je place ce commentaire qui n'a rien à voir avec la grille en cours mais comme il n'y a pas d'espace non lié à des résolutions de grilles... J'ai développé un programme qui voit si une grille de sudoku fait partie de la même famille qu'une autre grille. Par exemple la grille -77 (Publiée le 08/09/2014) est liée à Easter Monster par sa grille solution à quelques transformations près.

De Robert Mauriès
(Publié le 26/09/2020)

@ Phidippides : Bonjour Phidippides. Détrompez-vous, il existe un forum général indépendant des grilles où l'on peut aborder un sujet non lié à une grille. Il faut pour cela choisir "Forum général par date" dans le menu déroulant "Choisissez le mode d'affichage", puis utiliser le lien "Ajouter un commentaire général ou posez une question". C'est pourquoi aussi il faut régulièrement utiliser ce mode d'affichage pour voir si des sujets généraux y sont abordés. Bravo pour votre programme. Vous constaterez certainement que de nombreuses grilles sont équivalentes au sens qu'elles se déduisent les une des autres par des transformations (permutations, rotations, symétries, etc). Concernant votre remarque sur les backdoors pour la grille N°678, 8L1C9 est un U-backdoor (U pour seulement l'utilisation des candidats uniques pour couvrir la grille), mais il en existe 5 autres. Il est possible aussi qu'il existe des TB-backdoors. Cordialement Robert

De François C.
(Publié le 27/09/2020)

@ Phidippides : Bonjour, j'ai aussi écrit un programme (il y a 18 mois) qui donne toutes les grilles équivalentes mais il ne trouve pas que la 77 est équivalente à East Monster. Il trouve comme seule grille équivalente à East Monster la 183 (ces 2 grilles sont même identiques). N.B: la 77 est beaucoup moins difficile (niveau 3 TDP).

De Phidippides
(Publié le 27/09/2020)

@ François C : Ce n'est pas la grille problème qui est apparentée à Easter Monster mais la grille solution (grille complète). Effectivement dans la grille problème 77, il y a des dévoilés supplémentaires.

De François C.
(Publié le 27/09/2020)

@ Phidippides : Ok, en fait mon programme recherche les grilles équivalentes après exécution des TB et non après résolution complète. A première vue, de telles grilles doivent avoir des solutions équivalentes, donc votre programme devrait trouver toutes les équivalences que je trouve, plus d’autres éventuellement. Etant donné que je trouve 6 grilles de ce site équivalentes à la 23 (qui est l’Escargot), vous devriez en trouver au moins 6 avec votre programme. Ca serait intéressant de vérifier ça.

De Phidippides
(Publié le 27/09/2020)

@ François C : Je veux bien mais je devrais pouvoir charger toutes les grilles sans devoir les encoder manuellement. De plus, mon programme de résolution refuse les grilles à solution multiple.

De Phidippides
(Publié le 27/09/2020)

@ François C : Mon programme de détection des grilles frères est assez simple. Il se base sur une liste de toutes les transformations possibles (que j'ai établies à partir de 15 transformations de base) sur les grilles complètes de sudoku. Il y en a 3359232 (transformation identique comprise). Je suis actuellement en train de détecter toutes les familles de grilles complètes contenues dans me base de données.

De François C.
(Publié le 28/09/2020)

@ Phidippides : Bonjour, A mon avis le nombre de possibilités est beaucoup plus grand: -Les symétries, les rotations (+ ou - 90 deg),les permutations de bandes horizontales et les permutations de bandes verticales donnent 72 transformations distinctes. -Ensuite il faut combiner toutes ces transfos avec les permutations de lignes dans une même bande horizontale (6x6x6 = 216) et avec les permutations de colonnes dans une même bande verticale (6x6x6 = 216) -Enfin il faut combiner avec les 362880 permutations possibles des chiffres 1 à 9. Tout cela donne en tout 1 218 998 108 160 grilles équivalentes à une grille donnée.

De Phidippides
(Publié le 28/09/2020)

@ François C : Quand je parle de 3359232 transformations, c'est sans compter le réétiquetage. Pour de plus amples renseignements voir : http://pi.math.cornell.edu/~mec/Summer2009/Mahmood/Symmetry.html http://zanotti.univ-tln.fr/ALGO/I51/SudokuNbGrilles.pdf

De François C.
(Publié le 28/09/2020)

@ Phidippides : Je viens de me rendre compte que 72 x 216 x 216 = 3 359 232. Nous sommes donc d’accord sur le nombre de transformations géométriques.

De Claude Renault
(Publié le 02/10/2020)

@ Robert Mauriès : : Bonjour Robert J'ai beaucoup de mal à comprendre votre façon d'utiliser l'antipiste à partir de la proposition suivante que vous avez développée dans les commentaires : "Tout candidat qui voit à la fois le générateur de l'antipiste et l'antipiste peut être éliminé" et ce que le générateur E soit ou pas dans une entité" Partant d'une case K qui contient par exemple abcd, P'(abc) peut être développée à partir de l'origine d ; d'après votre théorème, tout candidat a (par exemple) qui voit K et P'(abc) peut être effacé ; or E= abc est soit vrai soit faux ; s'il est faux c'est effectivement P'(E) qui est solution mais s'il est vrai, c'est qu'au moins l'un des composants de E est vrai et pas forcément le candidat a Sur la grille 679 en cours, cela peut se vérifier : dans la case L1C5 contenant 3478, P'(478) est développée en tant que P(3) ; le 4L3C5 voit à la fois l'ensemble générateur 478L1C5 et P'(478) ; on devrait donc pouvoir le supprimer et pourtant il est solution ; il est probable que j'ai dû mal interpréter votre théorème mais je n'arrive pas à voir où est l'erreur

De Robert Mauriès
(Publié le 04/10/2020)

@ Claude Renault : Bonjour Claude. Votre erreur vient de la définition de "voir un ensemble E". Pour moi un candidat voit une ensemble E s'il voit tous les candidats de cet ensemble. Dans l'exemple que vous prenez, 4L5C5 ne voit pas E=478L1C5 mais seulement un seul des trois candidats. L'énoncé du théorème, pour éviter toute confusion doit donc s'écrire : Si B est un candidat contenu dans P'(E), alors tout candidat C qui voit tous les candidats de E et B peut être éliminé (Voir Théorie des pistes 1 ci-contre). Amicalement Robert

De Claude Renault
(Publié le 04/10/2020)

@ Robert Mauriès : merci Robert pour votre réponse ; malgré vos précisions, pour moi, l'ambiguïté demeure ; j'ai toujours utilisé les définitions suivantes : - un candidat est un élément dans une case solution possible - voir un candidat ou un ensemble, c'est trouver ce candidat ou cet ensemble sur la ligne ou sur la colonne ou dans le bloc ; or, dans vos définitions, il n'est jamais précisé s'il s'agit d'un candidat quelconque ou identique ou placé ; Par exemple : quand vous dites " voit la piste" est-ce que ça concerne les candidats identiques placés par la piste ou des candidts identiques dans un ensemble de la piste ? Je pense qu' il serait judicieux de préciser la notion de "voir" ; voir un candidat, c'est en fait voir un candidat identique placé sur la grille ; voir une piste, c'estaussi voir un candidat identique placé sur la piste ; quant à voir un ensemble, c'est voir tous les candidats de l'ensemble (identiques ou differents selon le type d'ensemble) placés sur la grille

Ajouter un commentaire