assistant-sudoku.com

Commentaires sur cette grille

De Robert Mauriès
(Publié le 23/12/2017)

Bonne fête de Noël à tous !

De Paolo
(Publié le 23/12/2017)

Bonjour Joyeux Noël à tous. 1) 7 placements par les TB iniziales. 2) 1L1C4=>couvre la grille 3) 8L1C4=> piste comportant 3 candidats virtuels Bifurcation de (3) avec 5L5C8,5L6C8,5L9C8 ou avec 5L5C7,5L8C7 et 5L9C7 4) 8L1C4+5L5C8=> contradiction (L3C7=Ø) 5) 8L1C4+5L6C8=>contradiction (L4C3=Ø) 6) 8L1C4+5L9C8=>contradiction (L7C6=Ø)=>-8L1C4=>solution. ou 4) 8L1C4+5L5C7=> contradiction (L4C4=Ø) 5) 8L1C4+5L8C7=>contradiction (L4C4=Ø) 6) 8L1C4+5L9C7=>contradiction (L5C5=Ø)=>-8L1C4=>solution.

De Robert Mauriès
(Publié le 23/12/2017)

@ Paolo : En effet Paolo, on ne peut pas manquer le backdoor 1L1C4, mais on peut vérifier l'unicité avec moins de contradictions en prenant successivement pour la piste P(8L1C4), une bifurcation issue de la paire 7B1 puis une bifurcation issue de la paire cahée 7L4C56. On ramène ainsi la taille de la résolution à 3.

De Paolo
(Publié le 23/12/2017)

@ Robert Mauriès : Oui, votre résolution est plus immédiate et suggère une autre résolution. 1) 7 placements par les TB iniziales. 2) 7L2C1=> contradiction (L9C5=Ø)=>validation piste 7L2C3 (deux candidats) 3) 7L4C6=> contradiction (L5C8=Ø)=>-7L4C6 5) 7L4C5=> contradiction (L3C3=Ø)=>validation 7L4C7=>solution ou 3) antipiste 7L4C7=> piste comportant 1 candidat virtuel Bifurcation de (3) avec 7L4C6 et 7L4C5 4) antipiste 7L4C7+7L4C6=>contradiction (L5C8=Ø) 5) antipiste 7L4C7+7L4C5=>contradiction (L3C3=Ø)=> validation 7L4C7=>solution. ou 5) croisement des pistes 7L4C7 et 7L4C5=>solution.

De Paolo
(Publié le 23/12/2017)

Une autre résolution. 1) 7 placements par les TB iniziales. 2) 2L5C5=> piste comportant 13 candidats virtuels Bifurcation de (2) avec la case L7C5 3) 2L5C5+3L7C5=>contradiction (L1C2=Ø) 4) 2L5C5+5L7C5=>contradiction (L4C4=Ø)=> -2L5C5+ 2 placements 5) résolution par le croisement de deux pistes conjuguées 2L4C5 et 2L2C5.

De Richard
(Publié le 23/12/2017)

Bonsoir, 7 placements initiaux également. Autre solution de taille 3. On étudie la paire de 2 de la ligne 2 : (1) 2L2C4 => petite piste composée de 2 candidats virtuels. (2) 2L2C5 => contradiction. On place donc les chiffres de la piste (1) : 2L2C4, 6L2C5 et 6L4C6. On étudie maintenant la paire de 1 du bloc 2 : (3) 1L1C4 => résolution de la grille. (4) 1L2C6 => piste composée de 9 candidats virtuels. Bifurcation de (4) avec la paire de 4 du bloc 5 : (5) 1L2C6 + 4L4C4 => contradiction. (6) 1L2C6 + 4L5C6 => contradiction.

De Francis Labetoulle
(Publié le 24/12/2017)

P(1L1C4) couvre la grille bien sûr. Etudions son antipiste en "validant" 8L1C4. Dans ce cadre: P(1L2C6) et P(6L2C6) se croisent pour valider la première ("superposition partielle"). Enfin P(8L3C3) et P(9L3C3) se croisent à souhait pour conduire à une contradiction.

De Paolo
(Publié le 24/12/2017)

@ Francis Labetoulle : Je crois que dans votre résolution il y a un manque de preuve de l'invalidité de la piste 1L3C3. Je ne peux pas chercher la contradiction créée par le croisement des deux pistes P (8L3C3) et P (9L3C3) si je ne prouve pas d'abord qu'elles sont conjuguées.

De Francis Labetoulle
(Publié le 24/12/2017)

@ Paolo : Bonjour Sauf erreur antérieure, la présence dans ma grille des deux paires 13 en L1C1 et L1C2 élimine le 1 de L3C3. Bonnes fêtes à tous Francis

De Paolo
(Publié le 24/12/2017)

@ Francis Labetoulle : Oui, en fait ce que vous dites est correct. Cependant, la question que je me pose est la suivante: est-il correct d'utiliser le croisement des deux pistes P (8L3C3) et P (9L3C3), qui après le développement de la piste P (8L1C4 + 1L2C6) sont invalides et donc non conjuguées? Si cela est correct, une contradiction de cette nature dans le calcul du TDP applique une ou deux comme les deux contradictions des pistes P (8L1C4 + 1L2C6 + 8L3C3) et P (8L1C4 + 1L2C6 + 9L3C3). Bonnes fêtes à tous Paolo

De Francis Labetoulle
(Publié le 25/12/2017)

Bonjour Mon seul but était de prouver (ou non) l'unicité de la solution. Concernant la taille la méthode que je propose est de taille 3, comme les 4 ou 5 déjà obtenues, tout en recherchant un peu d'originalité...

Ajouter un commentaire