assistant-sudoku.com

Commentaires sur cette grille

De Paolo
(Publié le 12/03/2019)

Bonsoir, 6 placements par les TB initiales. P(7L5C3)=>couvre la grille 1)P(7L5C7).P’(3L2C3) => contradiction 2)P(7L5C7).P(3L2C3) => contradiction 3)P(7L5C2) => contradiction=>solution.

De François C.
(Publié le 12/03/2019)

Bonsoir, Les TB donnent 6 placements + 1 alignement + 2 paires Ensuite en partant de la paire 4C5 : P(4L7C5) couvre la grille grâce à une extension par la paire 39L8C2. P(4L9C5) se révèle invalide après une extension par la paire 7B6.

De Claude Renault
(Publié le 13/03/2019)

TB : 6 JP(8-5L3C6) : 2 croisements et 1 doublet JP(17-8L2C5) : 6 croisements JP(39-67)L3C9 ; P(39)L3C9 invalide P(67L3C9).P(1L7C2) couvre la grille. P(67L3C9).P(7L7C2).P(7L6C9) et P(67L3C9).P(7L7C2).P(9L6C9) invalides

De Robert Mauriès
(Publié le 13/03/2019)

@ Claude Renault : Bonjour Claude. Je ne trouve pas les deux placements par croisement des deux pistes de JP(58L3C6). Pouvez-vous préciser de quels placements il s'agit ? Merci.

De Robert Mauriès
(Publié le 13/03/2019)

@ François C : Bonsoir François. Dans votre résolution, si je trouve bien que P(4L7C5).P(3L2C8) est invalide, je ne trouve pas que P(4L7C5).P(9L2C8) couvre la grille.

De François C.
(Publié le 13/03/2019)

@ Robert Mauriès : Bonsoir Robert, Pour P(4L7C5) j’ai obtenu 5 placements, 1 alignement, 4 placements et 1 alignement (dans cet ordre). Ensuite pour la branche P(9L8C2) je ne fais que des placements (règle d’unicité).

De Francis Labetoulle
(Publié le 14/03/2019)

Après TB ( dont 6 placements) j'essaie d'exploiter les promesses de L6 en optant pour la paire de 7 de B6: P1(7L6C9) et P2(7L5C7). P1 se développe bien, et je poursuis avec la case L7C9 ( ou les 2...) par bifurcation. P1.P(2L7C9) et P1.P(4L7C9) se croisent pour grossir P1, jusqu'à constater que la première couvre la grille et que la seconde est invalide. Recherchons une éventuelle autre solution en développant P2, via les 9 (ou les 3) de B6. Il faut, pour chaque piste fille, exploiter les 3-uplets associés L789C9, jusqu'à valider 9L1C7. La suite, aisée, conduit à contradiction de cette branche.

De Claude Renault
(Publié le 14/03/2019)

@ Robert Mauriès : sauf erreur, j'ai trouvé un croisement au 1L6C6 et 7L8C6

De Claude Renault
(Publié le 14/03/2019)

@ Robert Mauriès : voici un lien vers ma grille après le premier jeu de pistes : https://www.dropbox.com/s/2f88pxjo2q259zq/grille%20SP1.pdf?dl=0

De Paolo
(Publié le 14/03/2019)

Bonjour, Il me semble que toutes les résolutions de taille 3 partent de la validation de la piste P (7L6C9) ou de la validation de la piste P (4L7C5). En fait, P (7L6C9) déclenche plusieurs backdoors P (4L7C5), P (2L5C2), P (7L5C3), P (1L7C2), P (2L9C3) et P (2L7C9), dont l’antipiste est invalide, tandis que P (4L7C5) déclenche les backdoors P (9L8C2), P (9L6C1), P (9L1C3), P (9L5C7) et P (9L5C78) dont l’antipiste est invalide.

De François C.
(Publié le 15/03/2019)

@ Paolo : Bonsoir, il y a beaucoup d'autres possibilités: j'ai trouvé une bonne quinzaine d'entités pouvant servir de départ pour une résolution de taille 3.

De Paolo
(Publié le 16/03/2019)

@ François C : Bonjour, Étant donné que le mien fait simplement sensation, je n'ai pas mené d'enquête exhaustive, ce qui demanderait naturellement très longtemps, même avec un software ad hoc. J'essaie de mieux expliquer ce que j'ai essayé de décrire. Partant de l'hypothèse que dans ce cas toutes les résolutions de taille 3 sont réglées par des backdoors de taille 1 et 2 et qu'elles contiennent deux contradictions qui valident une piste et une dernière qui valide le backdoor, j'ai remarqué que toutes les pistes validées par deux les contradictions créent une trace contenant toujours l'élément L6C9 = 7 ou L7C5 = 4 et, par conséquent, valident indirectement les deux pistes P (7L6C9) ou u P (4L7C5). Je voudrais comprendre de votre part que vous avez fait une enquête complète si c’est seulement une sensation ou si même dans les quinze entités que vous déterminez, des validations sont créées dont les traces ont L6C9 = 7 ou L7C5 = 4.

De François C.
(Publié le 17/03/2019)

@ Paolo : Bonjour, Si j’ai bien compris ce que vous voulez dire par « pistes validées par deux contradictions », il me paraît difficile de répondre à votre question vu le très grand nombre de possibilités (à moins de faire un programme …). En tous cas je vous donne ci-dessous tous les résultats de taille 3 que j’ai obtenus pour cette grille, mais uniquement de profondeur 2 (avec des P1.P2) car il doit y avoir aussi de nombreuses possibilités de profondeur 3 (avec des P1.P2.P3). Ex : la résolution que j’ai donnée sur le forum correspond à la 2ème ligne : 1+1 4C5 7,9, S1,F1, S1 correspond au 7 (ligne 7) et F1 au 9 (ligne 9). (S = Solution, F = Faux) S1 signifie que P(4L7C5) aboutit à une solution via une extension de taille 1, c’est-à-dire une paire de candidats ou une paire d’ensembles (j’ai choisi l’entité L8C2 pour cette extension mais il y a d’autres entités possibles). F1 signifie que P(4L9C5) aboutit à une contradiction via une extension de taille 1 (l’entité 7B6 pour cette extension est la seule possible). D’une façon générale, S0 représente un backdoor, S2 une extension qui mène à une solution via un triplet, F0 mène directement à une contradiction, etc. Pour les blocs, les candidats sont repérés par leur rang dans le bloc. Ex en ligne 3 : 7B6 4,9 correspond aux deux 7 de B6 dont les rangs sont 4 et 9. 1+1 9L6 1,9, S2,F0, 1+1 4C5 7,9, S1,F1, 1+1 7B6 4,9, F1,S1, 1+3 L3C2 3,179, S1,F1, 1+3 L5C2 7,239, F0,S2, 1+3 L5C3 3,279, F0,S2, 1+3 L5C3 7,239, S0,F2, 1+3 L5C3 9,237, F0,S2, 1+2 L6C9 3,79, F0,S2, 1+3 L8C2 9,137, S1,F1, 2+2 L5C3 23,79, F1,S1, 2+2 L5C3 29,37, F1,S1, 2+2 L6C1 19,37, S2,F0, 2+2 3L5 23,78, F0,S2, 2+2 9L5 23,78, F0,S2, 3+2 3L2 238,79, F1,S1, 2+3 3L2 23,789, F1,S1, 3+2 1L9 137,45, F1,S1, 1+1+1 L6C9 3,7,9, F0,S1,F0, 1+1+1 7L5 2,3,7, F0,S0,F1, 1+1+2 L5C3 7,9,23, S0,F0,F1,

De François C.
(Publié le 17/03/2019)

@ Paolo : Il y a 2 autres résolutions qui ne sont pas apparues dans mon message précédent: 1+1+2 L5C3 3,7,29, F0,S0,F1, 1+1+3 7B4 5,6,137, F0,S0,F1,

De Paolo
(Publié le 17/03/2019)

@ François C : Votre message montre clairement que ce que je disais est faux. Votre première résolution indique déjà que vous pouvez atteindre la résolution avec des traces qui ne contiennent pas comme éléments L6C9 = 7 ou L7C5 = 4. Cependant, mon erreur a une justification liée à la logique simplifiée que j’utilise pour parvenir plus rapidement à une résolution.

Ajouter un commentaire