S'identifier           S'inscrire

assistant-sudoku.com

Grille Sudoku résolue

La grille -527


Afficher les commentaires


Commentaires sur cette grille

De Paolo
(Publié le 30/07/2018)

Bonsoir, 1)3 placements par les TB initiales. 2)P(4L7C2).P(4L6C5)=>contradiction (L9C3=Ø) 3)P(4L7C2).P(7L6C5)=> contradiction (deux 5 dans B3)=>-4L7C2 4)P(8L7C2)=>couvre la grille. 5)P(5L7C2)=> contradiction (L3C2=Ø)=>solution. 6)P(6L7C2)=>contradiction (deux 7 dans B5)=>validation P(8L7C2)=> solution.

De Francis Labetoulle
(Publié le 31/07/2018)

Bonsoir C4 semblant prometteur je pars de P= (2L3C4). Des pistes annexes PA (ou *-wings) permettent des éliminations: PA des 7 de L8 : -7L1C7 et PA des 1 de C8 : -1L1C1. Une première bifurcation avec les 5 de L1 donne de nombreux croisements. Je ne poursuis pas jusqu'à invalidation, préférant une deuxième bifurcation avec les 2 de L7 dont les croisements couvrent la grille. Enfin l'antipiste P' de P s'avère invalide, via la bifurcation des 1 de L4, dont les pistes se croisent jusqu'à l'obtention (obligée) d'une contradiction.

De Claude Renault
(Publié le 31/07/2018)

(b47-j9)L6C6 : b invalide, j valide (b67-j2)L3C4 : b invalide, j valide b2L7C5-j2L8C5 : b couvre la grille ; pour l'unicité : jv2L2C7 et jm6L2C7 invalides

De Robert Mauriès
(Publié le 31/07/2018)

Après réduction de la grille par les TB (3 placements), on étudie les pistes issues des 2C5. - P(2L7C5) couvre la grille (backdoor). - P(2L23C5) dont les branches se croisent sur le 4L5C7 et le 3L9C6 se développe alors suffisamment pour prouver son invalidité. - P(2L8C5).P(3B6) est invalide.

De Francis Labetoulle
(Publié le 01/08/2018)

@ Robert Mauriès : Bonjour Je me permets de revenir une dernière fois sur le sujet central de la précédente grille, en étudiant la solution que vous proposez pour cette grille s527. Cette solution doit être comprise comme présentant 4 invalidités au niveau de son arbre de résolution, selon les conventions adoptées. Ma question est toute simple: pourquoi se compliquer la tâche, alors que les invalidités se voient aisément, de manière séparées bien sûr ; par exemple (2L8C5).(3L5C7) et (2L8C5).(3L5C9) sont respectivement invalides, par vérification quasi immédiate. Cette question me semble cruciale, d'autant que certain sudokiste ne prenait pas de gants pour affirmer ces invalidités. C'est entendu, je m'abstiendrai d'aborder à l'avenir ce sujet sur le forum.

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

@ Francis Labetoulle : Bonjour Francis. Quand j'écris P(2L8C5).P(3B6) est invalide cela veut dire que toutes les branches de l'extension conduisent à invalidité, qu'on le vérifie séparemment où globalement (croisement) quand cela est possible. C'est donc une notation condensée que l'on doit correctement interpréter en matière de calcul de la taille (ici +2).


Ajouter un commentaire

Adresse Mail

Mot secret (Mot secret oublié)
Celui utilisé pour archiver, ou si vous n'avez jamais archivé, un mot secret de votre choix
Prénom et/ou Nom

Pour la sécurité du site,
merci de saisir les lettres et chiffres situés dans ce code : +y1=-#136-

Commentaire



La solution

Après réduction de la grille par les TB (3 placements), on étudie les pistes issues des 2C5. - P(2L7C5) couvre la grille (backdoor). - P(2L23C5) dont les branches se croisent sur le 4L5C7 et le 3L9C6 se développe alors suffisamment pour prouver son invalidité. - P(2L8C5).P(3B6) est invalide.




assistant-sudoku.com est la propriété de Robert Mauriès (assistant.sudoku(AT)free.fr). Toute reproduction interdite sans son autorisation.