assistant-sudoku.com

Commentaires sur cette grille

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

Bonne année 2020 à tous ! Cliquez sur "Voir la résolution" pour accéder à la solution de cette grille.

De Paolo
(Publié le 01/01/2020)

Bonjour et Bonne année à tous 1) 6 placements par les TB initiales. P(4L8C3) => couvre la grille 2) P(4L8C9)=> contradiction=>solution.

De Francis Labetoulle
(Publié le 02/01/2020)

Bonjour à tous et bonne année On peut utiliser les 5 de L8, mais c'est la méthode de Paolo. Partons des pistes conjuguées issues des 1 de B5. P(1L6C5) absorbe complètement P(1L6C5), et s'avère donc invalide. À ce stade un beau XYZ wing des 6 à partir de la case L7C8 élimine 6L9C8 et donc validé 4L9C8, ce qui permet de couvrir la grille. En conformité avec la méthode des pistes on peut également remarquer que 6L9C8 voit la piste P(5L7C8) et son antipiste et donc peut être éliminé.

De Phidippides
(Publié le 02/01/2020)

Tout d'abord, meilleurs voeux à tous les acharnés du sudoku. J'ai une question qui, excusez-moi, n'a rien à voir avec la grille en cours mais que je me pose depuis quelques jours et que je n'ai pas trouvé sur le Web. La voici : Combien de placements de candidats faut-il faire au maximum pour résoudre n'importe quelle grille de sudoku même les plus difficiles ?

De Phidippides
(Publié le 02/01/2020)

J'en reviens à ma question. Mon programme n'a pas trouvé de grilles parmi toutes celles que j'ai découvertes sur le Web (comme étant parmi les plus difficiles) qu'il fallait placer plus de 2 candidats pour trouver la solution par les techniques de base. J'ai été fortement surpris qu'il fallait si peu de placements pour arriver à la solution. J'ai pensé d'abord à un bug dans mon programme mais j'en ai vérifié 3 ou 4 à la main et c'était correct !

De Paolo
(Publié le 02/01/2020)

@ Phidippides. Bonjour.. Si vous envisagez une ”backdoor" comme solution, c'est certainement vrai. Les plus difficiles sont résolus avec trois entrées. Le problème le plus difficile est de prouver que la solution trouvée est unique. Dans ce cas, les étapes logiques à suivre, dans les cas les plus difficiles, dépassent facilement 30.

De Phidippides
(Publié le 02/01/2020)

@ Paolo : Merci Paolo pour votre réponse. Si vous avez une grille où il faut 3 placements pour trouver la solution par les techniques de base, cela m'intéresserait vivement puisque pour moi (= mon programme) cela n'existe pas.

De Paolo
(Publié le 03/01/2020)

@ Phidippides Bonjour. En fait, j'ai moi aussi remarqué que même les grilles difficiles comme le fata morgana et la golden nugget, qui ont des backdoors de taille 3, peuvent également être résolues avec des backdoors de taille 2. À ce stade, je ne suis pas sûr qu'il existe des grilles avec des backdoors de taille minimale égale à trois. Certes, ces backdoors ne sont utiles que pour trouver des solutions, mais elles ne sont jamais proposées comme résolutions acceptables.

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

@ Paolo et Phidippides : Bonsoir, il me semble que Easter Monster ne compte que des backdoors de taille 3 au sens où nous l'entendons. Voir ce que dit Denis Berthier dans son livre "The Hidden Logic of Sudoku" ( https://denis-berthier.pagesperso-orange.fr/HLS/EasterMonster.html) : "It is known that EasterMonster has Singles-backdoor size 3. It was indeed the first example of a puzzle with Singles-backdoor size 3. Before, it was conjectured that the maximum Singles-backdoor size was 2. We now know a little dozen of puzzles with Singles-backdoor size 3."

De François C.
(Publié le 04/01/2020)

@ Robert Mauriès : Bonjour, Ce que vous dites m’étonne car je trouve 3 backdoors de taille 2 pour East monster: (8L3C2, 3L3C8) (3L3C8, 8L9C1) (2L6C7, 8L9C1) J’utilise comme TB les candidats uniques, les bloc/ligne (et bloc/colonne) , les paires nues, les paires cachées et les triplets nus. Notez que si le premier backdoor de taille 2 utilise toute cette panoplie, les 2 autres n’utilisent pas de paire cachée ni de triplet nu. Je trouve 80 backdoors de taille 2 pour l’Escargot et 21 pour Golden nugget.

De François C.
(Publié le 04/01/2020)

@ Robert Mauriès : En lisant la doc. de Denis Berthier que vous indiquez, j’ai vu qu’il appelle T-backdoor de taille k, un backdoor de taille k qui utilise les règles T. Or pour lui : «The usual notion of a backdoor is obtain with T = {rules for singles , nake or hidden} » , il s'agit alors de Singles-backdoor. Dans ces conditions, nous sommes d’accord, je n’obtiens aucun Singles-backdoor de taille 2 pour East-monster.

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

@ François C : En effet, nous devrions distinguer les S-backdoors (S=singles), les TB-backdoors (TB=techniques de base) et les TE-backdoors (TE=techniques expertes).

De Phidippides
(Publié le 04/01/2020)

Mon programme ne trouve que 2 backdoors de taille 2 pour Easter monster. Ce sont les 2 derniers cités par François C, le premier ne donne, en principe, pas la solution directement. En tous cas, le sudoku peut paraître un jeu assez simple puisque apparemment aucune grille n'a de backdoor de taille 3 (en tenant compte des TB qui sont sur ce site) ! Cela reste à prouver évidemment.

De François C.
(Publié le 06/01/2020)

@ Phidippides : Bonjour, Tout d’abord, voici East_monster pour être sûr de quoi on part : 1.......2.9.4...5...6...7...5.9.3.......7.......85..4.7.....6...3...9.8...2.....1 Concernant mon premier backdoor (8L3C2, 3L3C8) de taille 2, il s’agit en fait d’un TB-backdoor de taille 2 où TB désigne les techniques de bases suivantes : candidat unique, intersection (Ligne ou Col)/Bloc, paire nue, paire cachée, triplet nu. Je l’ai vérifié pas à pas et ça donne ceci: Candidat unique 1L2C7 Intersec Col/Bloc 2C2/B4 => 3 cand suppr Paire cachée 89B7 => 6 cand suppr Intersec Bloc/ligne 5B7/L8 => 3 cand suppr Paire cachée 35B9 => 4 cand suppr Intersec Bloc/ligne 4B9/L8 => 3 cand suppr Intersec Bloc/Col 4B7/C2 => 2 cand suppr Candidats uniques 7L1C2, 3L2C3, 2L2C1, 7L2C6 Intersec Bloc/Col 9B9/C8 => 2 cand suppr Candidats uniques 6L1C8, 8L2C9, 6L2C5 Triplet nu 126L5C248 => 7 cand suppr Candidat unique 4L5C6 Paire nue 89C3 => 2 cand suppr Paire nue 12C5 => 4 cand suppr Ensuite, candidats uniques jusqu’à la solution.

De Phidippides
(Publié le 06/01/2020)

@ François C : Vous avez tout à fait raison François. Merci beaucoup, cela va m'aider fortement puisque cela m'a fait découvrir une erreur dans mon programme qui d'ailleurs y était déjà depuis un bon moment mais qui aurait été difficile à trouver sans cette discussion constructive !

Ajouter un commentaire