assistant-sudoku.com

Commentaires sur cette grille

De Robert Mauriès
(Publié le 16/12/2016)

Indication : 2L7C1. Niveau TDP=5.

De JC
(Publié le 16/12/2016)

Hub Cell(245)L7C7 : 1 solution unique [TDP=2]

De Francis Labetoulle
(Publié le 17/12/2016)

5L7C7 est un backdoor de taille 1, mais ensuite, partant de 5L9C9, puis les 3 de L3, puis les 5 de L4, puis les 8 de L4 puis enfin les 7 de L3, il m'a fallu 5 pistes invalides pour prouver l'unicité. À revoir... Méthode de Jean-Claude bien plus performante. Montrer que (4L7C7) est invalide n'est pas immédiat. Que signifies Hub Cell?

De rene
(Publié le 17/12/2016)

Je confirme la remarque de Francis Je n'arrive pas a trouver pourquoi le 4 en L7C7 est invalide :-( Bravo JC

De JC
(Publié le 17/12/2016)

@ Francis Labetoulle : Hub Cell : voir http://forum.enjoysudoku.com/new-multi-spoke-pattern-t5251.html + recherche 'hub' sur ce site. Ici, les 3 contraintes à 2 éléments 2C7, 4B9 et 5B9 ont un élément dans L7C7. Lorsqu'une telle configuration se présente dans un puzzle, la case concernée devient le premier point de départ naturel d'analyse du puzzle avant tout autre. Détails : 2L7C7 : 0 solution 4L7C7 : 0 solution via HP(14-3679)L2C48 5L7C7 : 1 solution via analyse des 9, 5 et 6

De rene
(Publié le 17/12/2016)

J'ai enfin trouve pourquoi le 4 etait invalide :-) Encore Bravo JC

De Robert Mauriès
(Publié le 17/12/2016)

@ JC : Belle résolution Jean-Claude, qui ramène à 3 le niveau TDP et non à deux, car une fois le 2 et le 4 L7C7 invalidés, il faut encore au moins une invalidation pour que la piste issue du 5LC7 couvre la grille. Merci pour votre remarque sur le HUB.

De JC
(Publié le 17/12/2016)

@ Robert Mauriès : TDP=2 car 5L7C7 : 1 solution via Alignements{9B8, 5L9}, L8C3=6 et Alignement{6L3} Question : que signifient les candidats indiqués en rouge dans vos grilles ?

De Francis Labetoulle
(Publié le 17/12/2016)

@ JC : Un grand merci. C'est un aspect que je découvre. Encore bravo pour cette solution.

De Robert Mauriès
(Publié le 17/12/2016)

@ JC : Effectivement Jean-Claude, alors encore bravo ! Les candidats en petit caractère rouge sur la grille dynamique de l'assistant sudoku sont les paires de bloc. Une question qui n'a rien à voir avec cette grille : connaissez-vous des écrits sur l'utilisation de la théorie des groupes (au sens de l'algèbre) en sudoku ?

De rene
(Publié le 17/12/2016)

J'ai essaye une autre methode pour profiter du Hub J'ai trace les trois pistes et elimine les candidats qui se trouvent sur les 3 pistes Cela a suffit a resoudre la grille Une question pour Robert ca fait un TDP de combien ? est ce que cela peut etre une methode generale pour les grilles qui ne permettent pas d'eliminer assez de candidats en tracant uniquement les pistes a partir de doublet ?

De Robert Mauriès
(Publié le 17/12/2016)

@ rene : Je pense René que vous vouliez écrire "valide les candidats qui sont sur les 3 pistes issues du hub 245L7C7". Les candidats que l'on peut éliminer sont ceux qui voient les 3 pistes à la fois. Cela ne change pas le niveau TDP qui est de 2, puisque sur ces 3 pistes 2 sont invalides. Le croisement de 3 pistes compte pour 2 comme le croisement de 2 pistes compte pour 1. Ce que vous avez fait n'est pas vraiment une méthode nouvelle. Tracer 3 pistes simultanément revient à dire que l'on trace une piste issue d'un des 3 candidats et l'autre piste issue de l'ensemble formé par les deux autres candidats. Je vous rappelle que la piste issue d'un ensemble de deux candidats est formée des candidats communs aux deux pistes issues des deux candidats de l'ensemble. Vous avez donc utilisé un jeu de pistes conjuguées issues d'une partition d'une case. On sait que cela offre des possibilités nouvelles par rapport à des jeux de pistes issues d'une paire de candidats (voir les documents sur les pistes conjuguées et les antipistes que se trouvent dans votre espace personnel sur ce site).

De rene
(Publié le 17/12/2016)

@Robert Effectivement, je me suis mal exprime J'ai elimine les candidats qui sont elimines dans chacune des 3 pistes Je comprends que ce n'est probablement pas nouveau Mais j'ai ete surpris que cela suffise a resoudre la grille J'ai, depuis, essaye (pour cette grille) pratiquement toutes les cases contenant 3 candidats. Aucune case ne permet d'eliminer plus de 3 candidats Est ce que le fait d'en eliminer autant est une propriete de la cellule HUB ou est ce un cas particulier ?

De Robert Mauriès
(Publié le 17/12/2016)

@ rene : le HUB offre plus de possibilités que les autres cases qui n'ont pas cette propriété d'être un point de rencontre de 3 paires car il offre plus de chance de pouvoir développer les 3 pistes, mais on ne peut pas pour autant en faire une généralité. Certains Hubs ne donneront donc rien et d'autres comme celui-ci faciliteront la résolution. Mais à tout coup les HUB sont à regarder de près.

De JC
(Publié le 18/12/2016)

@ Robert Mauriès : 1. Dommage que les paires de lignes et de colonnes ne sont pas représentées. 2. Théorie des groupes : à part son utilisation pour déterminer l'équivalence de 2 grilles, je ne vois pas, à priori, son utilité dans la résolution d'une grille.

De rene
(Publié le 19/12/2016)

@Robert Merci Robert C'etait clair,simple et logique

De Robert Mauriès
(Publié le 19/12/2016)

@ JC : Je peux représenter en rouge aussi les paires de lignes et de colonnes, mais j'ai supprimé ces mises en couleur car cela surchargeait la grille et finalement la rendait moins lisible. Mais de n'avoir pas vu le doublet caché 1/4L2 dans la résolution de la grille 294, parce que je n'avais pas remarqué la paire de 1, me dit que peut-être je devrais refaire cette mise en couleur. Concernant la théorie des groupes, c'est plus dans un esprit de comprendre la structure d'une grille que je m'y intéresse que de l'appliquer à sa résolution. Je réfléchi notamment à un éventuel prolongement systématique du théorème de Tuleja qui permettrait de concevoir des grilles. C'est la lecture de cet article qui m'a conduit à cette réflexion : http://www-liphy.ujf-grenoble.fr/pagesperso/bahram/Math/groupe_theory_exercice.pdf

De JC
(Publié le 19/12/2016)

@ Robert Mauriès : Théorème de Tuleja : Autres noms : Mr. Hamilton's Travelling Pairs/Triples and David P Bird's Braid Analysis. Références : http://forum.enjoysudoku.com/collection-of-solving-techniques-t3315.html http://forum.enjoysudoku.com/follow-the-numbers-t768.html http://forum.enjoysudoku.com/traveling-pairs-and-triples-t3522.html http://www.sudoku.org.uk/SudokuThread.asp?fid=4&sid=6433 [n'existe plus] Recherches : +Travelling +Pairs, +Braid +Analysis sur forum.enjoysudoku.com

De Robert Mauriès
(Publié le 22/12/2016)

@ JC : Merci Jean-Claude, je vais regarder de près.

Ajouter un commentaire