En souvenir la Léon 2 ( pas celui des frites!)

Bonjour à tous,

En 2006, une grille nous a fait souffrir c'est la Léon 2 (voir Historique de Sudoku Factory).
Mais on ne connaissait pas encore le coloriage sous sa forme actuelle.

020 040 030
100 600 800
005 001 000

000 020 040
800 500 600
003 000 009

040 090 020
500 800 900
000 000 000

André

Bonjour à tous ! j'arrive a poser aucuns chiffres, à peine des paires (2.4) en région : 3-4 et 8 !
Pas envie aujourd'hui !

bonjour à tous,

Cette grille dépasse mes capacités de marquage.
J'ai quand même avec beaucoup de difficultés dénicher un ternaire mais cela n'a pas suffit pour débloquer la grille. Je n'ai plus de munitions. Peut-être Jeanlé ou Cenoman va dénicher un autre ternaire

X(2)

1 | 679_____ 2_______ 678b9 | 7j9J___ 4_____ 5m78B9y_ | 1a57__ 3______ 1A56z7___ |
2 | 1_______ 3t79____ 4D79_ | 6______ 3à5õ7è 2d35ì79_ | 8_____ 5m7ï9g_ 2D4d_____ |
3 | 3v4d6â79 3ü678B9_ 5____ | 2D3u79ò 3ó7ù8b 1_______ | 2d4D__ 6ô7ö9G_ 6k7K_____ |

4 | 679_____ 15i679__ 1679_ | 13é79x_ 2_____ 3q6n78b9 | 13r57_ 4______ 13578B___ |
5 | 8_______ 179h____ 2D4d_ | 5______ 137___ 34D79H__ | 6_____ 1l7L___ 12d3p7___ |
6 | 2d4D____ 15I6n7__ 3____ | 14d7___ 16ê78B 6f7F____ | 12D5í7 15e78b_ 9________ |

7 | 367_____ 4_______ 1678B | 1o3ä7ë_ 9_____ 356î7___ | 1357__ 2______ 13s56û78b |
8 | 5_______ 1367____ 12d67 | 8______ 1367__ 2D4d____ | 9_____ 167____ 134D67___ |
9 | 2D3679__ 13w678b9 1679_ | 2d4D___ 135Õ67 3567____ | 134d57 15á678B 13567____ |


Ternaire des 5 {m e á} en colonne h
mB eb áB=>e=B (fusion ternaire)

h6=5B8b

C'est maigre!!!

André

Bonjour André, bonjour à tous,

Au départ, on a la paire cachée [24] en région 4 (vue par Zanet 57)=> a6c5=24
Situation de départ :

_ | a____ b_____ c_____ | d____ e____ f_____ | g____ h____ i______ |
1 | 679__ ______ 6789__ | 79___ _____ 5789__ | 157__ _____ 1567___ |
2 | _____ 379___ 479___ | _____ 357__ 23579_ | _____ 579__ 2457___ |
3 | 34679 36789_ ______ | 2379_ 378__ ______ | 247__ 679__ 2467___ |

4 | 679__ 15679_ 1679__ | 1379_ _____ 36789_ | 1357_ _____ 13578__ |
5 | _____ 179___ 24____ | _____ 137__ 3479__ | _____ 17___ 1237___ |
6 | 24___ 1567__ ______ | 147__ 1678_ 4678__ | 1257_ 1578_ _______ |

7 | 367__ ______ 1678__ | 137__ _____ 3567__ | 1357_ _____ 135678_ |
8 | _____ 1367__ 1267__ | _____ 1367_ 23467_ | _____ 167__ 13467__ |
9 | 23679 136789 126789 | 12347 13567 234567 | 13457 15678 1345678 |

On part à la pêche au gros !
Cette situation contient 3 swordfishes (3 espadons pour faire plaisir à Loumtom !) :

- swordfish de [2] sur les lignes 2,5,8 => -2i3, -2c9, -2f9

- swordfish de [4] sur les mêmes lignes 2,5,8 => -4i3, -4f6, -4f9, -4i9

- swordfish de [8] sur les lignes 1,4,7 => -8f6, -8c9, -8i9

Ces poissons ont appâté deux nouvelles paires cachées [24] en région R3 et en région R8 => i2g3=24, d9f8=24

La situation est alors :

_ | a____ b_____ c___ | d___ e____ f____ | g____ h____ i_____ |
1 | 679__ ______ 6789 | 79__ _____ 5789_ | 157__ _____ 1567__ |
2 | _____ 379___ 479_ | ____ 357__ 23579 | _____ 579__ 24____ |
3 | 34679 36789_ ____ | 2379 378__ _____ | 24___ 679__ 67____ |

4 | 679__ 15679_ 1679 | 1379 _____ 36789 | 1357_ _____ 13578_ |
5 | _____ 179___ 24__ | ____ 137__ 3479_ | _____ 17___ 1237__ |
6 | 24___ 1567__ ____ | 147_ 1678_ 67___ | 1257_ 1578_ ______ |

7 | 367__ ______ 1678 | 137_ _____ 3567_ | 1357_ _____ 135678 |
8 | _____ 1367__ 1267 | ____ 1367_ 24___ | _____ 167__ 13467_ |
9 | 23679 136789 1679 | 24__ 13567 3567_ | 13457 15678 13567_ |

Là, j'ai encore la chaine d'ALS de longueur 3 (1 liberté)
abdefg6 -8- d1e2f2d3e3 -5- h2358
=>-1h6-7h6

...et puis je cale ! (le solveur d'Andrew Stewart aussi...)

Donc, comme on dit au bureau, l'important est déjà fini, l'urgent est en train de se faire, mais pour les miracles on demande un délai !

A partir de là, il va vraiment falloir partir à la recherche des ternaires. Mais comme je ne l'ai jamais fait, il va falloir être patient !

Cordialement

Bonjour André, bonjour à tous,

vous avez écrit :

Citation :

Cette grille dépasse mes capacités de marquage.

Et les miennes donc !

J'ai fait le coucou (qui s'installe dans les nids des autres oiseaux...) J'ai essayé de comprendre les éliminations de Joel64, sur l'archive SKF.
L'ennui, c'est que Joel64, qui disait avoir résolu la grille, n'a pas donné la fin de sa résolution.
C'est très frustrant, car après son début, qui élimine cinq candidats supplémentaires, on en est toujours au même point : la grille n'a toujours aucun rap décisif, ni aucune chaîne binaire, ni aucune chaîne d'ALS.

Ce qui est intéressant en revanche, c'est que ces cinq éliminations sont obtenues rien qu'avec du ternaire. Du ternaire, il y en a !

Joel64 avait manifestement un outil informatique entre les mains. Sa rédaction donne le résultat d'un traitement assez complexe d'équations logiques, dans lesquelles on retrouve cependant très bien les dérivations binaires et ternaires et les interdictions ternaires, ainsi que les OU mixtes.

J'ai entrepris de remettre cela en forme, selon les codes du marquage employés sur ce forum, mais c'est un travail de Romain ! Au bout du compte, on n'aura toujours pas résolu la grille, mais on aura de beaux exemples des techniques de dérivation ternaire (le "théorème de Soryu" ??) et d'interdit ternaire.

PS1 :je n'ai rien compris à la méthode de Leon1789 lui-même...

PS2 : existe-t-il ailleurs une solution publiée, complète ?

Cordialement.

Bonjour à tous,

Komdab' dans ces cas-là....après avoir colorié les 2,4,8...un bon GROS "coup complexe!", avec l'aimable participation des 3,8,9...

((2d9-)2d3 permet une dérivation des 3 d47 qui éliminent l'un 4d9, l'autre 2a9 => 2d9)


2d9_2d3
____2g3_2i2
________2i5_9b5 ______________________________________________ als behi5
____3d3________|-3d4
_____*______9f5__3ef5_8e6 _____________________________________ als def6 ef5
________________9d4______9d1
_____*______9b2__________9f2_9h2 ______________________________ als befh2
_____________________8e3____9h3_3e3
________________________________3e89a3_3af79
_______________________________________3gi79_3i7
4f8_________________________________________4i7
________________|-3d7
____________9a4__3a7_9a1
__________________*__9f1__8f1 __________________________________ als f1679
_____________________9d1_8e3_3e3
3a9_______________*__________3a1

-> -4d9 ou -2a9 => 2d9

(Les 3,8,9 étant sympas, je continue...avec par ex.: -3e23 (7cps), -8b3 (7-8cps)... l'on termine assez facilement.
Je n'ai pas conservé ma solution, à part l'étape plus haut, qui doit pouvoir être améliorée!)

Bon courage aux marqueurs

Amicalement,

Sophie

bonjour Cenoman, bonjour à tous,

Si la solution ne figure pas sur SKF, elle ne se trouve nulle part à ma connaissance.
On a la solution d'Abi.

Je crois que définitivement on ne peut pas attaquer par marquage les grilles HARD. Cependant certaines peuvent être résolue par les Ternaires mais la recherche est laborieuse et pas toujours efficace. Il faut tester tous les Ternaires de la grille sans exeption pour voir s'il n'ont pas un conflit du type Interdit ( 3 fois la même lettre et la même casse ) ou du type Fusion (3 fois la même lettre mais deux fois la même casse).

Ce n'est pas très difficile théoriquement mais il faut que les ternaires ET la cîble doivent être marqués. Tout cela prend beaucoup de caractères dans le système alphabétique. Je reste persuadé cependant qu'avec un peu de chance et beaucoup de technique( en particulier dans le choix des Raps à marquer), on peut descendre encore quelques HARD.

Je ne trouve pas que ce soit les plus intéressantes.

André

Bonjour à tous,

comme promis, j'ai remis en forme les travaux de Joel64, sur le site SKF. Le marquage est le même pour les cinq éliminations. J'ai fait les choix de marques suivants : des consonnes pour les marques binaires, des voyelles pour les triplés (pour pouvoir utiliser les accents !) sauf pour les triplés "case" qui sont marqué de trois consonnes qui se suivent (ex. jkl) Enfin j'ai réservé les dernières lettres de l'alphabet (v,w,x,y,z) pour marquer les cibles.

Nota : tous les jumeaux ne sont pas marqués (seulement ceux qui entrent dans les dérivations et/ou interdictions.

Voilà donc la situation après les éliminations par les swordfishes et les ALS (ou par le ternaire d'André qui supprime les même candidats, si vous n'aimez pas les ALS...).


_ | a________ b______ c_____ | d_____ e_____ f_______ | g_____ h_____ i______ |

1 | 679______ ________ 678f9 | 79____ ______ 5j78F9__ | 157___ ______ 1567___ |
2 | _________ 3e79v___ 4b79_ | ______ 3ê57__ 2B3ë57w9 | ______ 5j7k9l 2b4B___ |
3 | 3a4B6z7x9 3678F9__ _____ | 2b3â79 3ä7g8f ________ | 2B4b__ 6m7n9L 6c7C___ |

4 | 679______ 15679___ 1679_ | 13ã79u ______ 3678f9û_ | 1357__ ______ 13578F_ |
5 | _________ 179d____ 2b4B_ | ______ 13î7__ 3ï4b79D_ | ______ 17____ 12B3i7_ |
6 | 2B4b_____ 1567____ _____ | 14B7__ 1678F_ 67______ | 12b57_ 5F8f__ _______ |

7 | 3à67_____ ________ 1678F | 13å7__ ______ 3567____ | 1357__ ______ 135678f |
8 | _________ 13o67___ 12B67 | ______ 13ô67_ 2b4B____ | ______ 167___ 13ö4b67 |
9 | 2b3á679__ 13y678f9 1679_ | 2B4b__ 13567_ 3567____ | 134B57 15678F 13567__ |


I - Première élimination :

Conflits natifs binaires : ev(b2) ëB(f2) bD(f5) dv(9col.b) iB(i5) ïD(f5) êî(3col.e)
Conflits natifs ternaires : (iîï)(3lg.5) (eêë)(3lg.2)

Dérivations :

ëB+bD+dv => ëv
iB+bD+dv => iv
ïD+dv => ïv
(iîï)+iv+ïv => Îv
êî+Îv => êv

D'où l'interdiction (eêë)+ev+êv+ëv => v=Faux, soit -9b2

Conséquence 7b2=E On obtient la grille marquée suivante (seule la case b2 est modifiée)

_ | a________ b______ c_____ | d_____ e_____ f_______ | g_____ h_____ i______ |

1 | 679______ ________ 678f9 | 79____ ______ 5j78F9__ | 157___ ______ 1567___ |
2 | _________ 3e7E____ 4b79_ | ______ 3ê57__ 2B3ë57w9 | ______ 5j7k9l 2b4B___ |
3 | 3a4B6z7x9 3678F9__ _____ | 2b3â79 3ä7g8f ________ | 2B4b__ 6m7n9L 6c7C___ |

4 | 679______ 15679___ 1679_ | 13ã79u ______ 3678f9û_ | 1357__ ______ 13578F_ |
5 | _________ 179d____ 2b4B_ | ______ 13î7__ 3ï4b79D_ | ______ 17____ 12B3i7_ |
6 | 2B4b_____ 1567____ _____ | 14B7__ 1678F_ 67______ | 12b57_ 5F8f__ _______ |

7 | 3à67_____ ________ 1678F | 13å7__ ______ 3567____ | 1357__ ______ 135678f |
8 | _________ 13o67___ 12B67 | ______ 13ô67_ 2b4B____ | ______ 167___ 13ö4b67 |
9 | 2b3á679__ 13y678f9 1679_ | 2B4b__ 13567_ 3567____ | 134B57 15678F 13567__ |

II - Deuxième élimination :

Conflits natifs binaires :
ax(a3) âb(d3) Ao[3col.3 par groupe 3(b2+b3)A] öb(i8) Bx(a3) Bw(f2) eo(3col.b) Ex(7reg.1) Ew(7lg.2)
ôä(3col.e)

Conflits natifs ternaires :
(oôö)(3lg.8) (Eâä)[3lg.3 par groupe 3(a3+b3)E]

Dérivations :

oA+ax => ox
öb+Bx => öx
oe+Ew => ow
öb+Bw => öw
(oôö)+ox+öx => Ôx
(oôö)+ow+öw => Ôw

âb+Bx => âx
(Eâä)+âx+Ex => Äx

âb+Bw => âw
(Eâä)+Ew+âw => Äw

D'où le OU mixte ôä => OU{ÔÄ} => x=Faux et w=Faux, soit -7a3, -7f2

III - Troisième élimination :

Conflits natifs binaires :
Cg(7lg.3) cm(6lg.3) Fj(5col.h) fg(e3) gn(7lg.3) kE(7lg.2) ye(3col.2) yf(b9)

Conflits natifs ternaires :
(mnL)(h3) (jkl)(h2) (ägf)(e3)

Dérivations :
mc+Cg => mg
jF+fg => jg
(mnL)+mg+ng => lg
(jkl)+lg+jg => Kg
gK+kE => gE
(ägf)+äE+gE => FE

D'où le OU mixte EF => OU{ef} => y=Faux, soit -3b9

IV - Quatrième élimination

Conflits natifs binaires :
àå(3lg.7) áb(a9) âb(d3) ãu(d4) az(a3) bD(f5) Bz(a3) Ck(7reg.3) Cn(7lg.3) cz(6lg.3) Fj(f1) fû(f4)

Conflits natifs tertiaires :
(mnL)(h3) (jkl)(h2) (aàá)(3col.1) (âãå)(3col.4) (uûD)(9reg.5)

Dérivations :
nC+cz => nz
(mnL)+mz+nz => lz
kC+cz => kz
(jkl)+kz+lz => Jz
Fj+Jz => Fz

áb+Bz => áz
(aàá)+az+áz => Àz
åà+Àz => åz
âb+Bz => âz
(âãå)+åz+âz => Ãz
uã+Ãz => uz
Db+Bz => Dz
(uûD)+uz+Dz = Ûz
fû+Ûz => fz

D'où l'interdiction fz+Fz => z=Faux, soit -6a3

V - Quelques conclusions :

On voit que si on cherche bien des conflits ternaires, on en trouve. Encore faudrait-il que cela serve à résoudre la grille, ce qui n'est pas le cas ici (en tout cas pas encore). Ici, j'ai vraiment envie de conclure : "Tout ça pour ça !" Cette grille était vraiment inhumaine...
En tout cas, comme illustration de ce que les solveurs ne peuvent pas tout résoudre, elle est efficace (je ne parle évidemment pas des solveurs par "essais-erreurs")

On a aussi une parfaite illustration des propos d'André : on arrive vite à l'impossibilité de gérer les marques avec le seul alphabet, compte tenu de la nécessité de marquer les triplés, mais aussi les cibles. Ici, j'ai dû faire une gestion manuelle très rigoureuse des marques utiles.
Suggestion : on pourrait peut-être adopter les caractères chinois : il paraît qu'ils ont plus de 2000 idéogrammes, cela devrait couvrir les grilles de sudoku jusqu'à un certain niveau de difficulté !

Bon, je vais m'arrêter là, tant que je ne dispose pas d'un outil équivalent à celui dont disposait Joel64.

Bon courage à ceux qui vont l'achever, cette grille !!!

Bonjour abi,

-4d9 est effectivement un gros coup, mais je ne vois pas du tout la suite : comment obtenez-vous -3e23 et -8b3 ?

Ensuite, même en forçant ces retraits, je coince de nouveau là :

_ | a__ b____ c___ | d__ e____ f__ | g__ h___ i___ |
1 | 67_ _____ ____ | 79_ _____ 579 | 157 ____ 1567 |
2 | ___ _____ 79__ | ___ 57___ ___ | ___ 579_ ____ |
3 | ___ 679__ ____ | ___ _____ ___ | ___ 679_ 67__ |
4 | 679 15679 1679 | 179 _____ ___ | ___ ____ 157_ |
5 | ___ 179__ ____ | ___ 137__ 379 | ___ 17__ ____ |
6 | ___ 157__ ____ | ___ 167__ 67_ | 157 ____ ____ |
7 | ___ _____ 167_ | 17_ _____ 567 | 157 ____ ____ |
8 | ___ 167__ ____ | ___ 1367_ ___ | ___ 167_ 137_ |
9 | 79_ _____ 1679 | ___ 13567 367 | ___ 1567 1367 |


et après le dépouillement que je viens de faire, j'avoue ne plus avoir envie de creuser la Leon2 !
Cordialement.

Bonsoir cenoman,

Je ne résous plus depuis début janvier et j'avoue ne plus me souvenir précisément de ma solution trouvée au mois d'août!

Cela devait ressembler, en gros, à cela :

3d3_3d7
____3f79_3f5
____1d7_9f5_91df4
_____*_______9a4_9a1 ____________ als a147
3b2______________9bc2
____________91c4_9c2_8c1 ________ als c124
8e3__________________8b3

-> -3e23

8e3__7e3
_____7i3_6i3
_____8e3____8e6
________6h3_6e6_6eh89
________6b3_____6b89__65b46
____________1e6________1b6_1gh6
____________________________1h5_7h5
79c2b3_*________________________7h2

-> -8b3

Et je terminais, "bâclant le travail", (utilisant le RI 67hi38) en prouvant 5h2...un peu long mais radical

(il me semblait pourtant avoir vu plusieurs étapes pas très compliquées terminant la grille plus sagement!)

Amicalement,

Sophie

Bonsoir cenoman

Un peu dommage de ne pas donner une solution entière détaillée

J'ai, mais rapidement (il y a donc mieux à trouver ! ) cherché une fin, après "-8b3", sans unicité (ni autre inclusion d'objet) et pas trop complexe...

*x-wing 5eh29 -> -5fi9

3a7_3a9
____9a9_9a4
________9b5_ 3e5 _____________ als beh5
3i8__________3e8
________9b45____9b3
________________9c2_5e2
5f7_________________5f1

-> -3gf7

5h2_5h9
____5g7_5f7
________5f1_6a1 ______________ als adf1
________6f7_____6c7
___________6a4_6c4_6b4
5i4________________5b4

-> -5i1

*1g6-e6 / d4-d7 -> -1g7

9c2_9h2
____5h2_5h9
________5g7_7g7
____________7g6_7ef6
____________7d7_7d4_9d4
9b5_________________9f5

-> -9b3

*1g1-1g6 / 17h5 / 75h2 -> -5g1

*x-wing 7 bh58 -> -7b3 h9 et fin.

Amicalement,

Sophie

Bonjour abi,

un grand merci pour cette solution complète et à ma portée...

Merci d'avoir rompu votre voeu d'abstinence pour éclairer ma pauvre lanterne. Bien entendu, je vous promets de n'en rien dire à personne : je ne veux pas être tenu pour responsable de votre excommunication !

Je vais travailler sur ces matériaux pour essayer d'améliorer mes connaissances techniques. Pour ce qui concerne les tactiques, il y a tellement à faire que c'en est décourageant !

Encore merci.
Cordialement.

Bonjour Cenoman,

L'on avait intérêt, me semble-t-il, à procéder autrement, les 3 sont intéressants:
On pouvait supprimer "3df4", puis "3d7" (-> 3d3 et donc 2d9)...flemme de recommencer, mais je pense que c'était plus court!

Amicalement,

Sophie