assistant-sudoku.com

Commentaires sur cette grille

De Robert Mauriès
(Publié le 08/02/2017)

JP(5B1), P(5L3C2) couvre la grille, P(5L12C1) invalides.

De Richard
(Publié le 08/02/2017)

Bonjour, Jeu piste/anti-piste en L3C9 : * piste bleue la paire 1-4 de L3C9 : on arrive à la résolution de la grille (au passage le 4 de la paire est invalidé). * piste rouge le 5 de L3C9 : la piste rouge n'est pas très facile à établir, il y a de nombreuses paires virtuelles à voir (3-8 en L5C48, 4-6 en L5C36, 2-3 en L46C1). On aboutit à une impasse. On fait une bifurcation avec la case L4C2 qui contient la paire 4-6. La grille aboutit à une contradiction dans les 2 cas. J'ai donc TDP=2.

De Francis Labetoulle
(Publié le 08/02/2017)

JPA (9L4C9). La piste P est un backdoor taille 1. Le cheminement suivant est-il acceptable? L' antipiste A est à construire avec l'hypothèse génératrice 9L4C9 non valide. Sans candidat de départ de la piste A peut-on utiliser Bif-A (19L1C5) dont on vérifie que les 2 branches sont invalides ? Il est possible en outre qu'elles se croisent pour constater l'invalidité mais ça ne change pas le niveau TDP.

De rene
(Publié le 08/02/2017)

JP a partir des 1 de L3 L3C45 vs L3C39 L3C45 couvre la grille L3C39 entraine une contradiction Solution unique avec TDP egal a 1 On peut aussi resoudre la grille en utilisant plusieurs jeux de pistes successifs sans utiliser de contradictions Mais le TDP est de 6 au moins

De rene
(Publié le 08/02/2017)

Desole j'ai du me tromper

De Robert Mauriès
(Publié le 08/02/2017)

@ Francis Labetoulle : Une antipiste est une piste au sens large, on peut donc faire un bifurcation de l'antipiste au départ d'une paire visible ou cachée comme on peut le faire avec toute piste, même si aucun des candidats de la piste n'est encore identifié. Dans le cas présent l'antipiste issue du 9L4C9 (qui n'est rien d'autre que la piste issue de l'ensemble 17L4C9) passe forcément soit par le 1 soit par le 9 de 19L1C5, ce qui permet de tracer deux branches de cette antipiste au départ de ces deux candidats.

De Francis Labetoulle
(Publié le 09/02/2017)

@ Robert Mauriès : merci pour ces précisions. En fait il est sans doute plus simple de procéder ainsi: JPC (1L1C5) et (9L1C5). La première est invalide, ce qui valide la seconde et simplifie la grille. JPC (9L4C9) et (9L5C9) : la seconde couvre la grille et la première est invalide, donc unicité et niveauTDP au plus égal à 2.

De Robert Mauriès
(Publié le 09/02/2017)

@ Francis Labetoulle : Oui Francis cette résolution est plus directe. D'ailleurs, et je dis cela pour tous ceux qui nous lisent, avant de rechercher des résolutions originales utilisant des ensembles, des bifurcations, etc... il est souvent plus simple (et logique, pour les grilles pas trop difficiles) de construire la solution d'une grille avec des jeux de pistes successifs issues de paires de candidats disponibles, voire en utilisant les paires qui apparaissent au fur et à mesure de l'exploitation des jeux de pistes. Ici, c'est le cas de la paire de 9L45C9 qui n'existait pas avant l'exploitation du jeu de pistes JP(19L1C5).

De Robert Mauriès
(Publié le 09/02/2017)

@ rene : Votre résolution à partir des 1 de L3 est intéressante pour la raison suivante : P(1L3C45) issue de l'ensemble 1L3C45 est invalide puiqu'elle conduit à une impossibilité. Son antipiste ou sa piste conjuguée P(1L3C39) issue de l'ensemble 1L3C39 est donc valide. Or, puisque P(1L3C9) couvre la grille sans contradiction on peut affirmer, sans le vérifier physiquement, que P(1L3C39) couvre aussi la grille avec les mêmes candidats que P(1L3C9). Cela ne suffit pas hélas à affirmer que le niveau TDP est égal à 1, car cela ne prouve pas l'unicité de la solution. En effet ce type de raisonnement peut être fait sur des grilles ayant plusieurs solutions. Pour être certain de l'unicité il faut de surcroît, soit construire physiquement P(1L3C39) jusqu'à couvrir la grille, soit montrer l'invalidité de la piste P(1L3C3).

De Claude Renault
(Publié le 09/02/2017)

Le 5L3C2 est un backdoor

Ajouter un commentaire