Une 21 cases (Of184)

Bonjour à tous,

Cela m'étonnerait qu'elle se laisse faire!

500 020 000
010 005 040
300 090 000

004 800 030
000 000 905
070 006 000

060 007 000
002 400 080
000 000 103

N°MC: A124188233762134325501-0f184

André

Bonjour André,

celle-là, elle est 100% coton !!

abi et JC Van Hay devraient s'y intéresser. En tout cas, leurs solutions seront intéressantes.

Cenoman.

Bonsoir Cenoman,

Rapido, j'ai vu une solution en une étape (c'est toujours ce que je cherche lorsque j'aborde une grille)...
Si jamais je trouve un peu de temps (fort improbable, mais KISAI...) je chercherai une solution plus jolie!

Amicalement,

Sophie

Bonjour André, bonjour abi, bonjour à tous,

Sur la situation de départ :

_ | a____ b__ c____ | d____ e___ f___ | g____ h____ i____ |
1 | _____ 489 6789_ | 1367_ ____ 1348 | 3678_ 1679_ 16789 |
2 | 26789 ___ 6789_ | 367__ 3678 ____ | 23678 _____ 26789 |
3 | _____ 248 678__ | 167__ ____ 148_ | 25678 12567 12678 |

4 | 1269_ 259 _____ | _____ 157_ 129_ | 267__ _____ 1267_ |
5 | 1268_ 238 1368_ | 1237_ ____ 123_ | _____ 1267_ _____ |
6 | 129__ ___ 1359_ | 12359 135_ ____ | 48___ 12___ 48___ |

7 | 189__ ___ 13589 | 12359 1358 ____ | 245__ 259__ 249__ |
8 | 179__ 359 _____ | _____ 1356 139_ | 567__ _____ 679__ |
9 | _____ 589 5789_ | 2569_ 568_ 289_ | _____ 25679 _____ |

on a un magnifique coloriage des [7] en boucle :
7h5-7d5/7e4-7e2/7a2-7a8/7c9-7h9
qui élimine 7cdgi2 et 7h13.

A partir de là, cela se corse !

Je commence par une première salve de quatre interdits ternaires dont trois avec des conflits dérivés ternaires :

_ | a_______ b_____ c_______ | d______ e______ f______ | g_____ h_______ i____ |
1 | ________ 4j89__ 6789____ | 1367___ _______ 13é4J8à | 3g678_ 169z____ 16789 |
2 | 2e6w7o89 ______ 689_____ | 3a6A___ 36x7O8y _______ | 23G68_ ________ 2689q |
3 | ________ 2E4J8_ 678_____ | 167____ _______ 14j8â__ | 25k678 125K6___ 12678 |

4 | 126m9___ 25l9__ ________ | _______ 15L7o__ 129r___ | 267___ ________ 1t267 |
5 | 1268____ 2ô3i8ö 136w8___ | 1237O__ _______ 123ê___ | ______ 126m7o__ _____ |
6 | 129_____ ______ 13h5L9__ | 1235v9R 135____ _______ | 4b8B__ 1c2C____ 4B8b_ |

7 | 189_____ ______ 1s3i5î89 | 12f359_ 1358p__ _______ | 24B5__ 259_____ 24b9_ |
8 | 1d7O9___ 3I5ä9ë ________ | _______ 1356n__ 13è9___ | 567___ ________ 679__ |
9 | ________ 5õ8ñ9û 5ï7o89__ | 256x9__ 568____ 2u8y9__ | ______ 2f56n7O9 _____ |

1)________________________________
INTERDIT TERNAIRE (à.y.â)1f3=>-1f3
à.J(f1)+j.1f3(f3)
y.O(e2)+o.e(a2)+E.J(b3)+j.1f3(f3)
â.1f3(f3)

2)_________________________________
DERIVE TERNAIRE (L.î.ï)+L.y+ï.y=>Î.y
L.o(e4)+O.y(e2)=L.y
ï.o(c9)+O.y(e2)=ï.y

DERIVE TERNAIRE (é.ê.è)+ê.3e8+è.3e8=>É.3e8
ê.i(3L5)+I.3e8(3R8)=ê.3e8
è.3e8(3L8)

INTERDIT TERNAIRE (à.y.â)3e8=>-3e8
à.é(f1)+É.3e8(DT)
y.Î(DT)+î.i(c7)+I.3e8(3R8)
â.j(f3)+J.é(f1)+É.3e8(DT)

3)_________________________________
DERIVE TERNAIRE (I.ä.ë)+ä.9a8+ë.9a8=>i.9a8
ä.l(5K2)+L.o(e4)+O.9a8(a8)=ä.9a8
ë.9a8(9L8)

DERIVE TERNAIRE (õ.ñ.û)+õ.9a8+û.9a8=>Ñ.9a8
õ.l(5K2)+L.o(e4)+O.9a8(a8)=õ.9a8
û.9a8(9R7)

INTERDIT TERNAIRE (ô.i.ö)9a8=>-9a8
ô.E(2K2)+e.o(a2)+O.9a8(a8)
i.9a8(DT)
ö.ñ(8K2)+Ñ.9a8(DT)

4)__________________________________
DERIVE TERNAIRE (L.î.ï)+L.9h9+ï.9h9=>Î.9h9
L.o(e4)+O.9h9(h9)=L.9h9
ï.o(c9)+O.9h9(h9)=ï.9h9

DERIVE TERNAIRE (õ.ñ.û)+õ.9h9+û.9h9=>Ñ.9h9
õ.l(5K2)+L.o(e4)+O.9h9(h9)=õ.9h9
û.9h9(9L9)

INTERDIT TERNAIRE (ô.i.ö)9h9=>-9h9
ô.E(2K2)+e.o(a2)+O.9h9(h9)
i.î(c7)+Î.9h9(DT)
ö.ñ(8K2)+Ñ.9h9(DT)


Comme on n'est pas encore très avancé avec ces 4 éliminations, on reprend l'arme de destruction massive et on continue avec encore cinq interdits ternaires (avec conflits dérivés ternaires) :

_ | a_______ b____ c_______ | d______ e______ f_____ | g_____ h______ i____ |
1 | ________ 4b89_ 6789____ | 1367___ _______ 1à34B8 | 3i678_ 169z___ 16789 |
2 | 2g6w7e89 _____ 689_____ | 3a6A___ 36x7E8y ______ | 23I68_ _______ 2689q |
3 | ________ 2G4B8 678_____ | 1f67___ _______ 4b8B__ | 25l678 125L6__ 12678 |

4 | 126n9___ 25m9_ ________ | _______ 15M7e__ 129r__ | 267___ _______ 1t267 |
5 | 1268____ 23k8_ 136w8___ | 1237E__ _______ 123___ | ______ 126n7e_ _____ |
6 | 129_____ _____ 13j5M9__ | 1235v9R 135____ ______ | 4c8C__ 1d2D___ 4C8c_ |

7 | 189_____ _____ 1s3k5é89 | 12h359_ 1358p__ ______ | 24C5__ 259Z___ 24c9_ |
8 | 1e7E____ 3K5û9 ________ | _______ 1ô5ö6o_ 1â3k9ä | 5ù67__ _______ 679á_ |
9 | ________ 589__ 5ê7e89__ | 256x9__ 56õ8___ 2u8y9_ | ______ 2h56o7E _____ |

5)_____________________________
DERIVE TERNAIRE (M.é.ê)+M.5h9+ê.5h9=>É.5h9
M.e(e4)+E.5h9(h9)=M.5h9
ê.5h9(5L9)

DERIVE TERNAIRE (û.ö.ù)+û.ä+ö.ä=>Ù.ä
û.K(b8)+k.ä(f8)=û.ä
ö.V(5R8)+v.R(d6)+r.ä(9K6)=ö.ä

INTERDIT TERNAIRE (â.k.ä)5h9=>-5h9
â.e(1L8)+E.5h9(h9)
k.é(c7)+É.5h9(DT)
ä.Ù(DT)+ù.5h9(5R9)

6)______________________________
DERIVE TERNAIRE (M.é.ê)+M.h+ê.h=>É.h
M.e(e4)+E.h(h9)=M.h
ê.e(c9)+E.h(h9)=ê.h

DERIVE TERNAIRE (ô.ö.o)+ô.h+o.h=>Ö.h
ô.e(1L8)+E.h(h9)=ô.h
o.h(h9)

INTERDIT TERNAIRE (â.k.ä)h=>-2d7, -2h9
â.e(1L8)+E.h(h9)
k.é(c7)+É.h(DT)
ä.r(9K6)+R.v(d6)+V.ö(5R8)+Ö.h(DT)

7)____________________________
DERIVE TERNAIRE (M.é.ê)+M.x+ê.x=>É.x
M.e(e4)+E.x(e2)=M.x
ê.e(c9)+E.x(e2)=ê.x

DERIVE TERNAIRE (ô.ö.o)+ô.x+o.x=>Ö.x
ô.e(1L8)+E.x(e2)=ô.x
o.x(6R8)

INTERDIT TERNAIRE (â.k.ä)x=>-6d9, -6e2
â.e(1L8)+E.x(e2)
k.é(c7)+É.x(DT)
ä.r(9K6)+R.v(d6)+V.ö(5R8)+Ö.x(DT)

8)_________________________________
DERIVE TERNAIRE (M.é.ê)+M.7g8+ê.7g8=>É.7g8
M.e(e4)+E.7g8(7L8)=M.7g8
ê.e(c9)+E.be(7L8)=ê.7g8

DERIVE TERNAIRE (û.ö.ù)+û.ä+ö.ä=>Ù.ä
û.K(b8)+k.ä(f8)=û.ä
ö.V(5R8)+v.R(d6)+r.ä(9K6)=ö.ä

INTERDIT TERNAIRE (â.k.ä)7g8=>-7g8
â.e(1L8)+E.7g8(7L8)
k.é(c7)+É.7g8(DT)
ä.Ù(DT)+ù.7g8(g8)

9)____________________________
DERIVE TERNAIRE (o.x.õ)+o.â+x.â=>Õ.â
o.E(h9)+e.â(1L8)=o.â
x.E(e2)+e.â(1L8)=x.â

DERIVE TERNAIRE (M.é.ê)+M.5e9+ê.5e9=>É.5e9
M.5e9(5K5)
ê.5e9(5L9)

INTERDIT TERNAIRE (â.k.ä)5e9=>-5e9
â.Õ(DT)+õ.5e9(e9)
k.é(c7)+É.5e9(DT)
ä.r(9K6)+R.v(d6)+V.5e9(5R8)

On peut maintenant terminer le travail en marquage simple, mais avec encore huit étapes !

_ | a_______ b____ c______ | d______ e______ f_____ | g_____ h______ i____ |
1 | ________ 4b89_ 6789___ | 1367___ _______ 1à34B8 | 3i678_ 169z___ 16789 |
2 | 2g6w7e89 _____ 689____ | 3a6A___ 37E8y__ ______ | 23I68_ _______ 2689q |
3 | ________ 2G4B8 678____ | 1f67___ _______ 4b8B__ | 25l678 125L6__ 12678 |

4 | 126n9___ 25m9_ _______ | _______ 15M7e__ 129r__ | 267___ _______ 1t267 |
5 | 1268____ 23k8_ 136w8__ | 1237E__ _______ 123___ | ______ 126n7e_ _____ |
6 | 129_____ _____ 13j5M9_ | 1235v9R 135____ ______ | 4c8C__ 1d2D___ 4C8c_ |

7 | 189_____ _____ 1s3k589 | 1359___ 1358p__ ______ | 24C5__ 259Z___ 24c9_ |
8 | 1e7E____ 3K59_ _______ | _______ 156e___ 13k9__ | 567___ _______ 679á_ |
9 | ________ 589__ 57e89__ | 259____ 6E8e___ 2u8y9_ | ______ 6e7E___ _____ |

10) Un interdit :

yE(e2)+ey(8Ke) =>y=Faux -8e2, -8f9 (8e7=E)
Conséquences : f13=48 (paire cachée), e2=3e7E, Xwing de [3] colonnes [26] =>-3cd5, -1d567 (alignement des [1] région 2)
Fusion k=J (par les jumeaux [3] colonne c)

_ | a_______ b____ c______ | d______ e______ f_____ | g_____ h______ i____ |
1 | ________ 4b89_ 6789___ | 1367___ _______ 4B8b__ | 3i678_ 169z___ 16789 |
2 | 2g6w7e89 _____ 689____ | 3a6A___ 3e7E___ ______ | 23I68_ _______ 2689q |
3 | ________ 2G4B8 678____ | 1f67___ _______ 4b8B__ | 25l678 125L6__ 12678 |

4 | 126n9___ 25m9_ _______ | _______ 15M7e__ 129r__ | 267___ _______ 1t267 |
5 | 1268____ 23J8_ 16w8___ | 2e7E___ _______ 123___ | ______ 126n7e_ _____ |
6 | 129_____ _____ 13j5M9_ | 235v9R_ 135____ ______ | 4c8C__ 1d2D___ 4C8c_ |

7 | 189_____ _____ 1s3J589 | 359____ 1358E__ ______ | 24C5__ 259Z___ 24c9_ |
8 | 1e7E____ 3j59_ _______ | _______ 156e___ 13J9__ | 56____ _______ 67e9á |
9 | ________ 589__ 57e89__ | 259____ 6E8e___ 2u9U__ | ______ 6e7E___ _____ |


11) Un "OU"

OU (eE) =>-3e7 (ni e=3e2, ni E=8e7) d'où 3d7=j, 3e6=E

_ | a_______ b____ c______ | d______ e______ f_____ | g_____ h______ i____ |
1 | ________ 4b89_ 6789___ | 1367___ _______ 4B8b__ | 3i678_ 169z___ 16789 |
2 | 2g6w7e89 _____ 689____ | 3a6A___ 3e7E___ ______ | 23I68_ _______ 2689q |
3 | ________ 2G4B8 678____ | 1f67___ _______ 4b8B__ | 25l678 125L6__ 12678 |

4 | 126n9___ 25m9_ _______ | _______ 15M7e__ 129r__ | 267___ _______ 1t267 |
5 | 1268____ 23J8_ 16w8___ | 2e7E___ _______ 123j__ | ______ 126n7e_ _____ |
6 | 129_____ _____ 13j5M9_ | 235v9R_ 13E5___ ______ | 4c8C__ 1d2D___ 4C8c_ |

7 | 189_____ _____ 1s3J589 | 3j59___ 158E___ ______ | 24C5__ 259Z___ 24c9_ |
8 | 1e7E____ 3j59_ _______ | _______ 156e___ 13J9__ | 56____ _______ 67e9á |
9 | ________ 589__ 57e89__ | 259____ 6E8e___ 2u9U__ | ______ 6e7E___ _____ |


12) Un interdit :

se(1R7)+Ej(3L6)+Js(c7) =>s=Faux -1c7
Conséquences 1a7=E, -1a456

13) Un "OU"

Ej(3R5) =>OU(eJ) =>-1f8 (ni e=1a8, ni J=3f8)
Conséquences triplet caché e789=168, -5e78, -1e46, -5d6, fusion m=e

14) Un "OU"

jE(3Kd)+eá(i8)=>já =>OU(JÁ) =>-9c7 (ni J=3c7, ni Á=9hi7)

15) Un "OU"

eá(i8) =>OU(EÁ) =>-9a7 (ni E=1a7, ni Á=9hi7)
Conséquences : paire nue ae7=18, -8c7

[font=Courier New]_ | a_______ b____ c______ | d______ e______ f_____ | g_____ h______ i____ |
1 | ________ 4b89_ 6789___ | 1367___ _______ 4B8b__ | 3i678_ 169z___ 16789 |
2 | 2g6w7e89 _____ 689____ | 3a6A___ 3e7E___ ______ | 23I68_ _______ 2689q |
3 | ________ 2G4B8 678____ | 1f67___ _______ 4b8B__ | 25l678 125L6__ 12678 |

4 | 26n9____ 25e9_ _______ | _______ 5E7e___ 129r__ | 267___ _______ 1t267 |
5 | 268_____ 23J8_ 16w8___ | 2e7E___ _______ 123j__ | ______ 126n7e_ _____ |
6 | 29______ _____ 13j5E9_ | 239R___ 3E5e___ ______ | 4c8C__ 1d2D___ 4C8c_ |

7 | 1E8e____ _____ 3J5j___ | 3j59___ 1e8E___ ______ | 24C5__ 259Z___ 24c9_ |
8 | 1e7E____ 3j59_ _______ | _______ 1E6e___ 3J9j__ | 56____ _______ 67e9á |
9 | ________ 589__ 57e89__ | 259____ 6E8e___ 2u9U__ | ______ 6e7E___ _____ |

16) Un "OU" simple :

OU(eE) =>-5c9 (ni e=7c9, ni E=5c6)

Ceci libère la paire cachée c67=35, d'où c5=1 et une cascade d'éliminations qui amène à :

[font=Courier New]_ | a__ b__ c__ | d___ e_ f_ | g__ h_ i___ |
1 | ___ ___ 67_ | 1367 __ __ | 367 __ 167_ |
2 | 789 ___ 689 | 36__ 37 __ | 236 __ 268_ |
3 | ___ ___ 678 | 167_ __ __ | 67_ __ 1678 |

4 | 69_ 59_ ___ | ____ 57 __ | 267 __ 267_ |
5 | 68_ 38_ ___ | 27__ __ 23 | ___ 67 ____ |
6 | ___ ___ 35_ | ____ 35 __ | ___ __ ____ |

7 | 18_ ___ 35_ | 35__ 18 __ | ___ __ ____ |
8 | 17_ 39_ ___ | ____ 16 39 | ___ __ 67__ |
9 | ___ 589 789 | 25__ 68 29 | ___ 67 ____ |

17) Fin de la solution par le XY-wing 5b4-9b4/9b8-3b8/3c7-5c7 =>-5c6

Nul doute qu'on puisse faire plus court...
Cette grille est quand même à classer dans les coriaces !! Elle ne se laisse pas faire du tout !

Merci André de l'avoir dénichée.

Cordialement
Cenoman

Bonsoir à tous,

Malgré l'appel du pied, j'ai maintenu en suspens ce qui suit ...

Seuls les 2 clusters en forme de cerf-volant sur les 7 interagissent. En "testant" sans complexe les jumeaux 7a28 [vu (2-7)a8] : 7a2 résout la grille, alors que 7a8 conduit facilement, mais après une très longue chaîne, à une contradiction.

Cette "solution" est-elle la même que celle d'abi ?

Note : les "tough" récents sur sudoku.com.au ont la même particularité. Quant à trouver une solution plus "présentable" , ... !!!??? Cela devient une torture de l'esprit et cela demande du temps comme l'illustre si bien la solution de Cenoman ! Le jeu en vaut-il la chandelle ?

"Honni soit qui mal y pense" !

Cordialement,

JC

Bonsoir à tous,

Oui, JC, c'est ce que j'avais vu !

7e4__7e2
_____8e2__48f13
_____7d123_____136d123
_____7a2______________7a8
______________________7c9_7h9
______*__________6d9______6h9_68e79
_______________13d7___________13e7_13ac7
____________________________________3b8___3b5
_________________3f1_______________________3f5_3f8
1e8________________________________1de7_______1f8
9b89___________________9a8__________9ac7______9f8_9c9i8
_________________________________________________9f89i12_9f4h1
5b4_____(RI)48b13________________________________________9b41____ als b134

-> -15e4 et fin.

Je me suis amusée à "superposer" la couleur 9 finale (j'avais aussi "compressé" l'analyse en 12 coups )

Plus le temps de sudoker et aussi...passion éteinte, je crois

Amicalement,

Sophie

EDIT-Correction d'une coquille et suppression d'une ligne.

Bonsoir à tous,

La même, en supprimant juste les persistances (pas le temps de chercher à faire court!).


*7a2-a8 / c9-h9 / h5-d5 / e4-e2@ -> -7cdgi2 h13

*42b13-2a2 / 7a2-7e2 / 8e2-48f13 / (RI48bf13) 48b13-> -8b13


7a2-7cgi13 / 7d13-136d123 / (als d79 f9) 136d79|-8f9 / 8f13-87ea2
________________________________________|-9d79f9 / 9f8|-97a82
___________________________________________________|-9b8
___________________________________________________|-9i8 / 9h79-9h1 / 9b1-2b3 (als b13)

-> -2a2


3f8 |-3f5 / 3b5-3b8
___|-3f1 / 8f1-8f9 / 8b9-3b8 (als b489)

-> -3e8


9b89_9b4
_____5b4_5e4
_________7e4_7e2
7a8__________7a2
_____________7d13_136d123
138ace7___________13d7

-> -9ac7 -9a8


9f4 / 95b4
|
9f8 / 3f8-3b8
|
9f9 / 9bc9-9b8

-> -5b8


5b4_5e4
____7e4_7e2
________8e2_8f1
____________3f1_|-3f5
3c6____________3de6
_______________|-3f8
5b4_____________3b8 (als b48)

-> -5c6


7a2-7a8 / 7c9-7h9 / 6h9 |-6d9 / 6d123-6e2
____________________|-6e9 / 8e9 |-8e2
_____________________________|-8e7 / 13e7 |-17e84
_______________________________________|-13d7f9 / 1/3d123-7d13


-> -7e2 et fin.


EDIT- Ou, peut-être plus "lisible" :

*7a2-a8 / c9-h9 / h5-d5 / e4-e2@ -> -7cdgi2 h13

*42b13-2a2 / 7a2-7e2 / 8e2-48f13 / (RI48bf13) 48b13-> -8b13

97a82
|
9b8 - - - - - - - - - - - " -
|
9i8 / 9h79-9h1 / 9b1-2b3
|
9f8 / (als d79 f9) 9d79 f9/|-8f9 / 8f13-87ea2
____________________|-1/3/6d79 / 1/3/6d123-7d13 / 7e2-7a2

-> -2a2


3f8
|
3f5 / 3b5-3b8
|
3f1 / 8f1-8f9 / 8b9-3b8 (als b489)

-> -3e8


9b89_9b4
_____5b4_5e4
_________7e4_7e2
7a8__________7a2
_____________7d13_136d123
138ace7___________13d7

-> -9ac7 -9a8


9f4 / 95b4
|
9f8 / 3f8-3b8
|
9f9 / 9bc9-9b8

-> -5b8


3f1 / 8f1-8e2 / 7e2-7e4 / 5e4-5b4
|
3f5 / 3de6-3c6
|
3f8 / 3b8-5b4 (als b48)

-> -5c6


6h9 / 7h9-7h5 / 7d5-7e4
|
6d9 / 6e89-6e2
|
6e9 / 8e9 /|-8e2
_________|-8e7 / 13e7 |-17e84
___________________|-13d7f9 / 1/3d123-7d13

-> -7e2 et fin


Amicalement,

Sophie

PS-Esperant qu'il ne reste plus de coquilles...

Bonjour abi, JC, André, Jeanlé et tous,

Je ne suis pas le mieux qualifié pour entamer un débat sur la "lisibilité" des solutions présentées par les experts, parce que ce genre de débat a déjà eu lieu dans le passé. Vu le petit cercle de participants à ce forum, il n'a pas non plus grand intérêt, pourvu qu'ils se comprennent et soient capables de "lire" les solutions des autres. Néanmoins, il existe peut-être des lecteurs anonymes qui essaient de comprendre comment résoudre des grilles "extrêmes" et je doute que nous les aidions vraiment...

1) Sur une grille comme celle-ci, le marquage est aux limites de ses possibilités. Certes, j'ai exposé une solution qui montre que le déroulement systématique de la technique exposée dans le "Mémento marquage de Jeanlé" conduit à une solution logique que l'on pourrait théoriquement trouver "à la main" J'écris bien théoriquement, car pratiquement c'est inhumain, et il faut l'aide d'un ordinateur.

2) Abi a fait l'effort de présenter deux solutions plus "lisibles", en supprimant systématiquement les "persistances" et en les remplçant par des "dérivations" (introduites par des petits traits verticaux |)

abi, pourquoi prends-tu autant de précautions avec les persistances ? Est-ce à cause des anciennes polémiques qu'elles ont suscitées ? Personnellement, je trouve que ta présentation nuit un peu à la compréhension des logiques présentées, car elle n'est pas homogène dans le traitement des liens forts : les jumeaux sont présentés à l'horizontale, tandis que les ternaires et les quaternaires le sont à la verticale.

Personnellement, je préfère encore les matrices, où ce qui est en ligne ne contient que des liens forts. Je me suis amusé à retranscrire la deuxième des tes présentations dans une forme où je la comprends sans difficulté :



Pas de problème avec tes deux premières chaînes :

*7a2-a8 / c9-h9 / h5-d5 / e4-e2@ -> -7cdgi2 h13

*42b13-2a2 / 7a2-7e2 / 8e2-48f13 / (RI48bf13) 48b13-> -8b13

Je traduis ceci :

Citation :

7a2-7cgi13 / 7d13-136d123 / (als d79 f9) 136d79|-8f9 / 8f13-87ea2
_______________________________________________|-9d79f9 / 9f8|-97a82
_____________________________________________________________|-9b8
_____________________________________________________________|-9i8 / 9h79-9h1 / 9b1-2b3 (als b13)

-> -2a2

en :
7a2_7cgi13
_____7d13_136d123
87ea2 ____________8f13
___________136d79_8f9__9d79f9______________(als d79 f9) Nota : 136d79 signifie 1 OU 3 OU 6 vrai en d7 OU en d9
2b3____________________________9b1
_______________________________9h1____9h79
97a82___________________9f8____9b8____9i8

-> -2a2

Ceci :

Citation :

3f8 |-3f5 / 3b5-3b8
____|-3f1 / 8f1-8f9 / 8b9-3b8 (als b489)

-> -3e8

en :
3b8_3b5
3f8_3f5_3f1
________8f1_8f9
3b8_________8b9 (als b489)

-> -3e8

Je garde ceci :

Citation :

9b89_9b4
_____5b4_5e4
_________7e4_7e2
7a8__________7a2
_____________7d13_136d123
138ace7___________13d7

-> -9ac7 -9a8

Je traduis ce ternaire :

Citation :

9f4 / 95b4
|
9f8 / 3f8-3b8
|
9f9 / 9bc9-9b8

-> -5b8

en :
3b8_3f8
5b4_____9b4
9b8_________9bc9
____9f8_9f4_9f9

-> -5b8

et celui-ci :

Citation :

5b4_5e4
____7e4_7e2
________8e2_8f1
____________3f1_|-3f5
3c6____________3de6
_______________|-3f8
5b4_____________3b8 (als b48)

-> -5c6

en:
5b4_5e4
____7e4_7e2
________8e2_8f1
3c6_____________3de6
5b4__________________3b8 (als b48)
____________3f1_3f5__3f8

-> -5c6

Pour finir, ceci :

Citation :

7a2-7a8 / 7c9-7h9 / 6h9 |-6d9 / 6d123-6e2
____________________|-6e9 / 8e9 |-8e2
_____________________________|-8e7 / 13e7 |-17e84
_______________________________________|-13d7f9 / 1/3d123-7d13

-> -7e2 et fin.

(qui contient une petite coquille : 13d7f9 -> 13d7f8)

devient :
7a2_7a8
____7c9_7h9
6e2_________6d123
________6h9_6d9___6e9
8e2_______________8e9_8e7
17e84_________________13e7_13d7f8
7d13_______________________13d123

-> -7e2 et fin.

Voilà la présentation la plus "lisible pour moi". J'accepte sans problème tes astuces d'ALS et de pseudo-cases

En fait, j'ai des problèmes de compréhension avec ta grande matrice. Je la reproduis ci-dessous et j'ai mis du rouge sur les deux lignes que je ne sais pas lire.

7e4__7e2
_____8e2__48f13
_____7d123_____136d123
_____7a2______________7a8
______________________7c9_7h9
______*__________6d9______6h9_68e79
_______________13d7___________13e7_13ac7
____________________________________3b8___3b5
_________________3f1_______________________3f5_3f8
1e8________________________________1de7_______1f8
9b89___________________9a8__________9ac7______9f8_9c9i8
_________________________________________________9f89i12_9f4h1
5b4_____(RI)48b13________________________________________9b41____ als b134

Ligne 6 : quel est le rôle exact de l'astérisque ? Sur la grille je vois bien un lien fort sur le ternaire des 6 de la ligne 9 :
6d9_6h9_6e9 Comment transformes tu cela en 6d9_6h9_68e79 ? Persistance de 8e2 ? (mais il est à gauche d'une paire de jumeaux ??)


Ligne 11 : que fait 9b89 sur la première colonne ? Comment participe-t-il à l'élimination de 5e4 ?
De plus sur cette ligne je vois aussi un lien fort sur le quaternaire des 9 de la région 7 : 9b89_9a8_9ac7_9c9
De ces quatre groupes l'un au moins est vrai. Je ne décode pas la présence de 9f8 sur la même ligne...

Je pose ces questions sur cette matrice, c'est qu'à ces détails près (où tu as dû faire du concentré trop fort pour moi !) ce serait parfaitement "lisible". Tu as introduit la forme "pas à pas" en disant que c'est la même solution : je te crois sur parole, mais je n'ai pas compris comment tu passes de la première à la deuxième forme (sauf sur quelques bribes)

Encore une fois, ce message n'est dû qu'à mon pauvre niveau pour résoudre ces grilles extrêmes. Il est cependant motivé par le fait que j'essaie de me mettre à la place d'un lecteur anonyme du forum, qui le lirait pour essayer de trouver des méthodes de résolution avancées... C'est ce que j'ai fait par le passé. Il me semble que ce forum-ci est le dernier forum francophone où l'on explique des grilles pas faciles, faciles... Donc, abi, n'y voit aucune espèce de reproche. J'ai juste saisi la perche "lisibilité" que JC et toi-même avez tendue !

Cordialement.

Bonsoir Cenoman,

L'astérisque : mon départ est 7e2, il n'y a plus de 8 en e2 (sinon 7e4)->8e79, et je le repète en ligne suivante, -6dh9 -> 6e9+8e79=68e79.
On peut bien sûr répéter la persistance 8e2 (ou 8e2-> 7e4!) en ligne 6 .


"Ligne 11 : que fait 9b89 sur la première colonne ? Comment participe-t-il à l'élimination de 5e4 ?
De plus sur cette ligne je vois aussi un lien fort sur le quaternaire des 9 de la région 7 : 9b89_9a8_9ac7_9c9
De ces quatre groupes l'un au moins est vrai. Je ne décode pas la présence de 9f8 sur la même ligne..."

9b89___________________9a8__________9ac7______9f8_9c9i8

(je pouvais aussi dire 9b8____________9a8______9ac7_______9f8_9bc9i8, c'est idem!)

Cela correspond à une couleur 9:
soit 9b89 -> -9b41
soit 9c9i8 -> 9f4h1 -> -9b41
Dans les 2 cas => 5b4 als b135 (persistance -48b13 (RI) ) (+1e8->7e4!)

Ces persistances inversent ou "contrarient" le raisonnement.

-9a8 (ou 9a8-> 7a2-> 7e4!)
-9ac7 (ou 9ac7->1/3d7 (car 68e79 etc...)->7d123-> 7e4!)
-9f8 (ou 9f8-> 13e8d7 (car 68e79 etc...) -> 7d123-> -7e4!)


Personnellement, mon etapunik me convient...13 coups pour résoudre cette grille (je ne me sers pas, tu l'auras vu, de la couleur 7 visible au départ).

Pour ce qui concerne ma version en plusieurs étapes, logiquement, chaque analyse, ne comportant aucune persistance, doit pouvoir se lire directement dans les 2 sens.
Vu les als et dérivations, je reconnais que ce n'est pas aisé à suivre, mais en s'accrochant....

En gros c'est bien la même analyse...j'ai supprimé les persistances "RI 48b13" en éliminant 8b13, "9ac7" en éliminant 9ac7 a8, -2a2 élimine l'als et permet de prouver 5b4 plus facilement etc...

Les "traductions" que tu proposes et trouves plus lisibles sont, en gros, mes versions de départ que j'ai "travaillées"

Oh non, je ne prends pas de précautions avec les persistances et ne m'en suis jamais cachée...ct juste un petit amusement


La version, à mon avis, la + lisible...la bonne vieille suite :

*(7e4-)7e2{->48f13}* {->136d123}->7a8->7h9->68e79->13ac7->3b5->3f8{->1e8!}->(ou 9b89)9c9i8->9f4h1->5b4!(b134 -48(RI)*
-> -15e4 et fin.

Bon jeu à tous,

Amicalement,

Sophie

Bonsoir Cenoman,

En un mot : Félicitations!

Amicalement, JC

Bonjour Cenoman, bonjour à tous,

"Néanmoins, il existe peut-être des lecteurs anonymes qui essaient de comprendre comment résoudre des grilles "extrêmes" et je doute que nous les aidions vraiment..."

Oui, je crois décidément que la "lisibilité" est une notion très subjective...
Un débutant ne comprendra que les suites.
Un Pur-Marqueur ne sera pas toujours dans son élément(et rares sont les lecteurs initiés au marquage).
Certains lecteurs de passage ne comprennent pas les matrices.
Certains joueurs n'aiment "strictement" pas les persistances (et disent transformer la grille en boulette et viser la corbeille!)
D'autres veulent pouvoir lire "directement" dans les 2 sens.
Etc...

A mon avis, la forme "suite" ne ment pas, si l'analyse commande que l'on se souvienne, l'on n'aura pas une chaîne "traditionnelle" (sans t ), il faudra dériver, utiliser des als, etc...
ce qui, pour moi, est une forme de persistance (de mémoire): l'analyse "tient la route" SI elle tient compte des implications de chacune des chaînes reliées par dérivation, idem evidemment avec les matrices et autres présentations ou exemples...mais, l'on pourra lire "directement" dans les deux sens! Comme si....

Mes analyses, à plusieurs reprises, ont été "retraduites" (reprenant strictement les mêmes cases et dérivant) pour ôter les persistances.
Et ici, "retraduites" (toujours reprenant strictement les mêmes cases) pour supprimer les dérivations en replaçant les persistances (que j'avais ôtées en dérivant)
(j'avoue que c'était un petit jeu, je l'ai assez répété, je préfère plus concis, donc avec persistances)

"On ne peut plaire à tout le monde et à son père", j'ai donc, dès le départ, pris le parti de présenter ainsi que je l'entendais, quitte à ne plaire à personne...
...il y en aura au moins une qui sera satisfaite

EDIT-

"Personnellement, je trouve que ta présentation nuit un peu à la compréhension des logiques présentées, car elle n'est pas homogène dans le traitement des liens forts :
les jumeaux sont présentés à l'horizontale, tandis que les ternaires et les quaternaires le sont à la verticale."

Je n'ai peut-être pas bien saisi ton propos...

C'est le principe d'un réseau de chaînes (dérivations) que d'avoir des liens forts horizontaux et verticaux.

Comme tu le sais, j'ai presque toujours privilégié les analyses avec persistances que je trouve plus "fluides"...
...mais, personnellement, je ne dirai certainement pas que la présentation d'une analyse par un réseau de chaînes "traditionnelles" peut nuire à la compréhension de sa logique...
A moins que tu ne veuilles dire que toutes mes analyses ne sont pas présentées avec le même traitement des liens forts...
Chaque analyse est autonome, et heureusement, ne commande pas la présentation de l'analyse suivante...

Au fait... BRAVO pour ta Démo-Marquage

Amicalement,

Sophie

Bonjour Cenoman,

Je me joins à JC pour t'adresser mes félicitations pour la résolution de cette grille par la technique du marquage-coloriage. Je ne crois pas qu'il y ait moyen de faire plus court. BRAVO

André

Bonjour abi, bonjour à tous,

Dans la première version de ta réponse, j'ai cru que je t'avais fâchée...

Je vais juste m'expliquer sur deux petits points :

Citation :

"Néanmoins, il existe peut-être des lecteurs anonymes qui essaient de comprendre comment résoudre des grilles "extrêmes" et je doute que nous les aidions vraiment..."

Oui, je crois décidément que la "lisibilité" est une notion très subjective...

Ce que j'ai voulu dire dans cette phrase, c'est que ce qui pourrait éventuellement aider les lecteurs non habituels du forum, ce serait une explicitation totale des conventions d'écriture et de présentation des solutions. Pour les solutions par le marquage, j'estime que c'est le "Mémento marquage" de Jeanlé qui tient lieu de convention d'écriture (en même temps que de guide méthodologique) Pour les chaînes, c'est le mémento "Chaînes de jumeaux/voisins" de papyg (octobre 2005) qui joue le même rôle. Pour les matrices, je n'ai pas connaissance d'un article en français qui donnerait l'équivalent de "Matrices in Sudoku" de Steve Kurzals (en anglais, novembre 2007) Ces conventions ne sont pas toujours respectées (et quand je dis cela, c'est vrai aussi pour les marqueurs !) ou bien sont anciennes et ont été complétées depuis leur origine par des ajouts explicités ou non (ce qui est normal : on ne va pas arrêter le progrès). En outre, les respecter à la lettre peut devenir fastidieux et incite les praticiens de haut niveaux à "condenser" leurs présentations.
Cela dit, les éventuels lecteurs qui auraient de tels besoins ont parfaitement le droit de se manifester !

Citation :

"Personnellement, je trouve que ta présentation nuit un peu à la compréhension des logiques présentées, car elle n'est pas homogène dans le traitement des liens forts : les jumeaux sont présentés à l'horizontale, tandis que les ternaires et les quaternaires le sont à la verticale."

Je n'ai peut-être pas bien saisi ton propos...

Là encore, j'ai juste voulu exprimer ma préférence très nette pour les matrices. Tous les liens forts y sont sur les lignes tandis que les conflits sont sur les colonnes. Tu as pu remarquer que j'essaie de présenter certains ternaires ou quaternaires sous cette forme. Mon objectif est triple :
- avoir une présentation plus lisible
- m'éviter une gestion fastidieuse des marques (prendre une lettre qui ne marque qu'un seul candidat est superfétatoire et le moins qu'on puisse dire, c'est que cela ne rend pas la solution plus lisible !)
- m'entraîner à la technique de présentation par les matrices (si, si, cela m'amuse !)

Finalement :

Citation :

"On ne peut plaire à tout le monde et à son père", j'ai donc, dès le départ, pris le parti de présenter ainsi que je l'entendais, quitte à ne plaire à personne...
...il y en aura au moins une qui sera satisfaite

C'est de toute façon la conclusion qui s'impose à de tels échanges ! Il ne me semble pourtant pas inconvenant d'avoir aussi des ambitions pédagogiques...

Merci à toi, à JC et à André d'avoir lu ma solution marquage. Pas grand mérite, j'ai fait tourner le moulin et j'ai tamisé la mouture !

Cordialement.
Cenoman.

Bonsoir Cenoman,

Fâchée, certainement pas...

Comme je te le disais, les dérivations masquent les persistances (qui ne cessent cependant "logiquement" d'exister)...
...par jeu, j'ai voulu les masquer, mais je suis, bien sûr, d'accord avec toi (et on le voit mieux sur une matrice: soit une ligne se retrouve avec un seul candidat, soit l'on répète (t) le candidat-cause de dérivation..; le traitement des liens forts est vertical et horizontal, présenter par réseau de chaînes est plus conforme, cf. ma 2eme version "plus lisible") ...c'est "cousu de fil blanc", mais c'est le jeu!
EDIT-Rassure-toi, j'ai bien compris que ta préférence va aux matrices (t si besoin), je n'avais seulement pas saisi que cette préférence était si systématique.


Je me suis mal exprimée, sans doute parce que ce n'est pas très facile à dire...
Tes ambitions pédagogiques sont très louables et aideront certainement beaucoup les lecteurs, je t'encourage à poursuivre...
Mais paradoxalement, je ne suis sans doute pas un exemple à suivre, je n'aime pas beaucoup les conventions d'écriture...qui, inévitablement imposent des limites!

"....j'ai pris le parti de présenter ainsi que je l'entendais, quitte à ne plaire à personne..."
N'est, en aucun cas, une position égoïste, j'aime beaucoup lire les analyses présentées par les différents joueurs francophones ou non, mais suis attachée à ma liberté de présentation, qui, je le sais, est loin de faire l'unanimité, ce qui ne me gène absolument pas, n'ayant pas besoin de faire partie d'un "clan".

En conclusion et c'est horrible à dire...je n'ai pas d'ambitions pédagogiques.

Voilà, en espérant avoir été plus claire

Amicalement,

Sophie

Bonjour Abi, bonjour Cenoman, bonjour Jeanlé

abi a écrit:

En conclusion et c'est horrible à dire...je n'ai pas d'ambitions pédagogiques.

Il ne faut pas oublier que le Sudoku est avant touit un jeu. On peut jouer seul ou à plusieurs. Jouer seul ne présente que peu d'intérêt. Jouer à plusieurs c'est "communiquer". Pour cela il faut avoir un langage commun. C'est ce que j'ai toujours eu avec Jeanlé qui a rédigé cet excellent Memento issu des textes rédigés par GPenet et Philippe sur SKF.
En ce qui me concerne j'ai été incapable de comprendre les solutions présentées par Abi et JC par manque d'explications préliminaires. Heureusement, en marquage-coloriage, nous avons eu un théoricien (SORYU) qui nous a édicté des règles strictes de logique pure. A titre d'exemple, je viens seulement d'apprendre par un texte de Cenoman ce que signifie 123a56 (un 1 OU un 2 OU un 3 dans les cases a5 OU a6).
Si l'on souhaite se comprendre et donc progresser ensemble, ce qui est finalement le but, il nous faut des règles et des conventions d'écriture.

André

Bonjour André, bonjour à tous,

"Jouer seul ne présente que peu d'intérêt. Jouer à plusieurs c'est "communiquer". Pour cela il faut avoir un langage commun."...
..."En ce qui me concerne j'ai été incapable de comprendre les solutions présentées par Abi et JC par manque d'explications préliminaires"

Je n'ai pourtant pas l'impression de jouer seule, je présente des démos et lis-comprends les démos des autres joueurs, ce qui me semble être un échange.
Sans idées des règles-conventions, à mes débuts, ce ne fut pas toujours facile mais tellement "jouissif" de découvrir et comprendre comment le joueur s'y était pris...(et l'on "enregistre")
J'ai passé du temps sur les dernières analyses-Marquage de Cenoman, mais quel bonheur! (je me souviens aussi d'une analyse, un peu atypique, de SK...)

Ce ne sont que des "impressions personnelles", une opinion...
...mais l'idée de Cenoman, "une explicitation totale des conventions d'écriture et de présentation des solutions" (renouvelée) est séduisante

Amicalement,

Sophie

Bonjour à tous,

Dans nos échanges sur la "lisibilité" des solutions, j'ai transposé entièrement en matrices une solution d'abi. Je le fais maintenant pour ma propre solution. Je continue vraiment de penser que les matrices (dans leur forme élémentaire*) donne une version des plus lisibles, plus que la sortie brute du marquage, je n'hésite pas à le dire. Il va de soi, qu'ici, c'est bien l'application de la méthode du marquage qui m'a conduit à la solution, mais la mise sous forme de matrices triangulaires** rend chacune des éliminations beaucoup plus patente, notamment parce qu'on y voit très nettement les ternaires utilisés (lignes à trois cases non vides, les autres lignes ne sont que des paires de jumeaux) et qu'une seule matrice combine les dérivés ternaires et les conflits conduisant à l'interdit.

*J'entends par "forme élémentaire" une matrice constituée uniquement des jumeaux, ternaires, quaternaires et conflits de base, directement issus des règles du sudoku, à l'exclusion des liens forts et conflits spéciaux, issus des objets tels que RI, ALS, X-wing, XY-wing, ternaires "alsés" et même pseudo-cases (dans un premier temps). Entendons-nous bien : ces liens forts ou conflits sont tout à fait légitimes. Mon seul souçi est d'être progressif, pour faciliter l'assimilation de ce type de présentation.

**Rappel sur les matrices triangulaires (TM en acronyme anglais : Triangular Matrix)
1 - ce sont des matrices carrées (autant de lignes que de colonnes)
2 - ce sont des matrices de valeurs logiques (Vrai-Faux) (dites aussi booléennes)
3 - les cases laissées vides contiennent implicitement la valeur Faux
4 - les cases situées sur la ligne i dans les colonnes i+2, i+3, ..., n sont obligatoirement vides (d'où leur nom de matrices triangulaires : seul le grand triangle inférieur est occupé)
5 - les lignes contiennent des liens forts (jumeaux, ternaires, ...) Au moins une case à la valeur Vrai
6 - dans les colonnes, chaque case est en conflit avec la case "tête de colonne", c'est à dire avec la case située sur la diagonale la plus haute, soit encore pour la colonne j, avec la case (j-1,j)
7 - conclusion : la première colonne est un lien fort (au moins une case contient la valeur Vrai) C'est le "théorème"

J'ai même tenté de combiner matrices et marquage, en construisant des matrices simplifiées par l'utilisation des nappes de jumeaux. Dans quelques cas, la simplification est significative.
Je reprends ma solution dans la situation à partir de laquelle interviennent les logiques ternaires. Je vais transposer en matrices triangulaires les étapes 1) à 9)Il s'agit d'une transposition "mot à mot", sans même utiliser les abbréviations procurées par les nappes de jumeaux.

_ | a_______ b_____ c_______ | d______ e______ f______ | g_____ h_______ i____ |
1 | ________ 4j89__ 6789____ | 1367___ _______ 13é4J8à | 3g678_ 169z____ 16789 |
2 | 2e6w7o89 ______ 689_____ | 3a6A___ 36x7O8y _______ | 23G68_ ________ 2689q |
3 | ________ 2E4J8_ 678_____ | 167____ _______ 14j8â__ | 25k678 125K6___ 12678 |

4 | 126m9___ 25l9__ ________ | _______ 15L7o__ 129r___ | 267___ ________ 1t267 |
5 | 1268____ 2ô3i8ö 136w8___ | 1237O__ _______ 123ê___ | ______ 126m7o__ _____ |
6 | 129_____ ______ 13h5L9__ | 1235v9R 135____ _______ | 4b8B__ 1c2C____ 4B8b_ |

7 | 189_____ ______ 1s3i5î89 | 12f359_ 1358p__ _______ | 24B5__ 259_____ 24b9_ |
8 | 1d7O9___ 3I5ä9ë ________ | _______ 1356n__ 13è9___ | 567___ ________ 679__ |
9 | ________ 5õ8ñ9û 5ï7o89__ | 256x9__ 568____ 2u8y9__ | ______ 2f56n7O9 _____ |

1)________________________________
INTERDIT TERNAIRE (à.y.â)1f3=>-1f3
à.J(f1)+j.1f3(f3)
y.O(e2)+o.e(a2)+E.J(b3)+j.1f3(f3)
â.1f3(f3)

4f3-4f1
____4b1-4b3
________2b3-2a2
____________7a2-7e2
8f3-8f1________-8e2

=>-1f3

La version "marquage" est sans intérêt (en fait identique, on remplace juste les candidats par des lettres)

2)_________________________________
DERIVE TERNAIRE (L.î.ï)+L.y+ï.y=>Î.y
L.o(e4)+O.y(e2)=L.y
ï.o(c9)+O.y(e2)=ï.y

DERIVE TERNAIRE (é.ê.è)+ê.3e8+è.3e8=>É.3e8
ê.i(3L5)+I.3e8(3R8)=ê.3e8
è.3e8(3L8)

INTERDIT TERNAIRE (à.y.â)3e8=>-3e8
à.é(f1)+É.3e8(DT)
y.Î(DT)+î.i(c7)+I.3e8(3R8)
â.j(f3)+J.é(f1)+É.3e8(DT)


3b8-3b5
3f8-3f5-3f1________________________________ternaire
________4f1-4f3
________8f1-8f3-8e2________________________ternaire
________________7e2-7e4
____________________5e4-5b4
________________7e2________-7a2
____________________________7a8-7c9
_________________________5c6___-5c9-5c7____ternaire
3de7_______________________________-3c7

=>-3e8

Version "marquage" (avec condensation)

_I_-_i
3f8-3f5-3f1______________(nota : 3b58 ET 3f58=W-wing des 3 sur les colonnes b et f !)
________48f13-8e2________(pseudo-case, ou AHS pour JC - AHS="Almost Hidden Set")
_______________O_-o
__________________L___-l
____5c7__________-5c9-5c6



3)_________________________________
DERIVE TERNAIRE (I.ä.ë)+ä.9a8+ë.9a8=>i.9a8
ä.l(5K2)+L.o(e4)+O.9a8(a8)=ä.9a8
ë.9a8(9L8)

DERIVE TERNAIRE (õ.ñ.û)+õ.9a8+û.9a8=>Ñ.9a8
õ.l(5K2)+L.o(e4)+O.9a8(a8)=õ.9a8
û.9a8(9R7)

INTERDIT TERNAIRE (ô.i.ö)9a8=>-9a8
ô.E(2K2)+e.o(a2)+O.9a8(a8)
i.9a8(DT)
ö.ñ(8K2)+Ñ.9a8(DT)


7a8-7a2
____7e2-7e4
________5e4-5b4
9b9________-5b9-8b9
____2a2____________-2b3
________________8b5-2b5-3b5
9b8________-5b8________-3b8

=>-9a8

Version "marquage"

O__-o
____L_-l
9b9__-5b9_8b9
____e_________-E
__________8b5-2b5-3b5
9b8__-5b8________-3b8



4)__________________________________
DERIVE TERNAIRE (L.î.ï)+L.9h9+ï.9h9=>Î.9h9
L.o(e4)+O.9h9(h9)=L.9h9
ï.o(c9)+O.9h9(h9)=ï.9h9

DERIVE TERNAIRE (õ.ñ.û)+õ.9h9+û.9h9=>Ñ.9h9
õ.l(5K2)+L.o(e4)+O.9h9(h9)=õ.9h9
û.9h9(9L9)

INTERDIT TERNAIRE (ô.i.ö)9h9=>-9h9
ô.E(2K2)+e.o(a2)+O.9h9(h9)
i.î(c7)+Î.9h9(DT)
ö.ñ(8K2)+Ñ.9h9(DT)


7h9-7c9
____7a8-7a2
________7e2-7e4
____________5e4-5b4
____5c9________-5c6-5c7
____________________3c7-3c56
________2a2_________________-2b3
_________________________3b5-2b5-8b5
9b9____________-5b9_____________-8b9

=>-9h9

Version "marquage"

O__-o
____L__-l
___5c9-5c6_-5c7
_____________i___-I
____e________________-E
_________________3b5-2b5-8b5
9b9___-5b9______________-8b9



Comme on n'est pas encore très avancé avec ces 4 éliminations, on reprend l'arme de destruction massive et on continue avec encore cinq interdits ternaires (avec conflits dérivés ternaires) :
_ | a_______ b____ c_______ | d______ e______ f_____ | g_____ h______ i____ |
1 | ________ 4b89_ 6789____ | 1367___ _______ 1à34B8 | 3i678_ 169z___ 16789 |
2 | 2g6w7e89 _____ 689_____ | 3a6A___ 36x7E8y ______ | 23I68_ _______ 2689q |
3 | ________ 2G4B8 678_____ | 1f67___ _______ 4b8B__ | 25l678 125L6__ 12678 |

4 | 126n9___ 25m9_ ________ | _______ 15M7e__ 129r__ | 267___ _______ 1t267 |
5 | 1268____ 23k8_ 136w8___ | 1237E__ _______ 123___ | ______ 126n7e_ _____ |
6 | 129_____ _____ 13j5M9__ | 1235v9R 135____ ______ | 4c8C__ 1d2D___ 4C8c_ |

7 | 189_____ _____ 1s3k5é89 | 12h359_ 1358p__ ______ | 24C5__ 259Z___ 24c9_ |
8 | 1e7E____ 3K5û9 ________ | _______ 1ô5ö6o_ 1â3k9ä | 5ù67__ _______ 679á_ |
9 | ________ 589__ 5ê7e89__ | 256x9__ 56õ8___ 2u8y9_ | ______ 2h56o7E _____ |

5)_____________________________
DERIVE TERNAIRE (M.é.ê)+M.5h9+ê.5h9=>É.5h9
M.e(e4)+E.5h9(h9)=M.5h9
ê.5h9(5L9)

DERIVE TERNAIRE (û.ö.ù)+û.ä+ö.ä=>Ù.ä
û.K(b8)+k.ä(f8)=û.ä
ö.V(5R8)+v.R(d6)+r.ä(9K6)=ö.ä

INTERDIT TERNAIRE (â.k.ä)5h9=>-5h9
â.e(1L8)+E.5h9(h9)
k.é(c7)+É.5h9(DT)
ä.Ù(DT)+ù.5h9(5R9)


7h9-7c9
____7a8-1a8
7h9________-7e4
____________5e4-5b4
____5c9________-5c6-5c7
____________________3c7-3b8
________1f8____________-3f8-9f8
____________________________3f8-3b8
____________________________9f4____-9d6
___________________________________-5d6-5d79
5g8____________________________-5b8____-5e8

=>-5h9

Version "marquage" pour les étapes 5), 6) et 7)

E__-e
____M__-m
___5c9-5c6-5c7
____________k__-K
___1f8_________3f8-9f8
____________________r__-R
________________________v__-V
o_-1e8____________________-5e8__(nota o=6e8)

Cette matrice établit le lien fort E-o => -25h9, -6e2, -6d9
Nota : le lien fort E-o est l'équivalent du conflit eO dont on déduit, dans le "jargon marqueur" le OU mixte {Eo} Comme on a déjà le conflit Eo (en h9) il s'ensuit la fusion o=e (ce qui saute aux yeux après les éliminations -25h9)




6)______________________________
DERIVE TERNAIRE (M.é.ê)+M.h+ê.h=>É.h
M.e(e4)+E.h(h9)=M.h
ê.e(c9)+E.h(h9)=ê.h

DERIVE TERNAIRE (ô.ö.o)+ô.h+o.h=>Ö.h
ô.e(1L8)+E.h(h9)=ô.h
o.h(h9)

INTERDIT TERNAIRE (â.k.ä)h=>-2d7, -2h9
â.e(1L8)+E.h(h9)
k.é(c7)+É.h(DT)
ä.r(9K6)+R.v(d6)+V.ö(5R8)+Ö.h(DT)


7h9-7c9
____7a8-1a8
7h9________-7e4
____________5e4-5b4
____5c9________-5c6-5c7
____________________3c7-3b8
________1f8____________-3f8-9f8
____________________________9f4-9d6
________________________________5d6-5d79
________1e8_________________________-5e8-6e8
6h9_____________________________________-6de9

=>-2d7, -2h9




7)____________________________
DERIVE TERNAIRE (M.é.ê)+M.x+ê.x=>É.x
M.e(e4)+E.x(e2)=M.x
ê.e(c9)+E.x(e2)=ê.x

DERIVE TERNAIRE (ô.ö.o)+ô.x+o.x=>Ö.x
ô.e(1L8)+E.x(e2)=ô.x
o.x(6R8)

INTERDIT TERNAIRE (â.k.ä)x=>-6d9, -6e2
â.e(1L8)+E.x(e2)
k.é(c7)+É.x(DT)
ä.r(9K6)+R.v(d6)+V.ö(5R8)+Ö.x(DT)


7e2_7a2
____7c13-7c9
_________7a8-1a8
7e2_____________-7e4
_________________5e4-5b4
_________5c9________-5c6-5c7
_________________________3c7-3b8
____________-1f8____________-3f8-9f8
__________________________________9f4-9d6
______________________________________5d6-5d79
6e8_________-1e8_________________________-5e8

=>-6e2, -6d9





8)_________________________________
DERIVE TERNAIRE (M.é.ê)+M.7g8+ê.7g8=>É.7g8
M.e(e4)+E.7g8(7L8)=M.7g8
ê.e(c9)+E.be(7L8)=ê.7g8

DERIVE TERNAIRE (û.ö.ù)+û.ä+ö.ä=>Ù.ä
û.K(b8)+k.ä(f8)=û.ä
ö.V(5R8)+v.R(d6)+r.ä(9K6)=ö.ä

INTERDIT TERNAIRE (â.k.ä)7g8=>-7g8
â.e(1L8)+E.7g8(7L8)
k.é(c7)+É.7g8(DT)
ä.Ù(DT)+ù.7g8(g8)


E__-e
____M__-m
___5c9-5c6-5c7
____________k__-K
___1f8_________3f8-9f8
____________________r__-R
________________________v__-V
5g8____________5b8________-5e8__(matrice identique à la précédente sauf la dernière ligne)

=>-7g8





9)____________________________
DERIVE TERNAIRE (o.x.õ)+o.â+x.â=>Õ.â
o.E(h9)+e.â(1L8)=o.â
x.E(e2)+e.â(1L8)=x.â

DERIVE TERNAIRE (M.é.ê)+M.5e9+ê.5e9=>É.5e9
M.5e9(5K5)
ê.5e9(5L9)

INTERDIT TERNAIRE (â.k.ä)5e9=>-5e9
â.Õ(DT)+õ.5e9(e9)
k.é(c7)+É.5e9(DT)
ä.r(9K6)+R.v(d6)+V.5e9(5R8)


5e46-5d6
_____9d6-9f4
5e4_________-5c4
5c9_________-5c6-5c7
_________________3c7-3b8
_________9f8________-3f8-1f8
_________________________1a8-7a8
_____________________________7a2-7e2
_____________________________7c9____-7h9
_____________________________________6h9-6de9
6e9______________________________-6e2___-6e8

=>-5e9

Version "marquage"

V__-v
____R__-r
M__________-m
5c9_______-5c6-5c7
________________k__-K
______-9f8________-3f8-1f8
________________________e__-E
____________________________o__-O
6e9_______________________-6e2-6e8




Voilà un exercice qui convaincra, je l'espère, que tout cela se tient.
A titre d'illustration, je renvoie à des discussions passionnantes déjà anciennes, entre soryu et gpenet :
http://forums.lefigaro.fr/user/non-frames/message.asp?forumid=258&messageid=1515701&ar=&parentid=5.

Dernière précision : j'ai choisi les matrices triangulaires parce que ce sont celles qu'utilisent abi et JC. La mise en "tableaux-tiroirs" (excellente traduction de soryu) sera pour une autre fois (une autre grille) peut-être.
Vous aurez compris que, finalement, ma version préférée, c'est celle que j'ai appelée "version marquage"
Cordialement.
Cenoman

Bonjour Cenoman, bonjour à tous.

Juste une petite précision,

Soryu écrit le 13/07/2009 sur le forum du figaro (et depuis, sur ce site)

"-2- La petite pointe d''humour ne m''a pas échappé...L''écriture en T-tableau n''a pas pour but de paraitre savant ni de fanfaronner (ce n''est pas le genre de la maison).
C''est simplement (à mon avis) la plus claire possible puisqu''elle montre tous les liens et tous les conflits utilisés, lisibles sans effort par le lecteur."

Dire "T-tableau"...c'est aussi reconnaître le phénomène de persistance dans les Triangular Matrix


Plus sérieusement, pour la recherche de solution...je crois qu'il fallait l'écrire, "noir sur blanc" :

========================================================================
Est-ce ainsi qu''il faut chercher? ...et comme par hasard découvrir[...]
========================================================================
Il n''y a aucun mystère : quand les techniques connues ne suffisent pas, on est OBLIGE de faire des "Essais-erreurs",
c''est-à-dire d''essayer des chaines, ou mieux des T-chaines (le "T" veut dire avec un effet Domino).

Est-ce un pis-aller, ou pire un déguisement honteux de la méthode "Essai-Erreur" ? Oui et non car

-1- je redis qu''on est OBLIGE : on n''a pas le choix.

-2- au lieu de "déguisement", il vaut mieux dire "formalisation". Dans l''écriture A--a / b--B / c--C / d--D (qui est une chaine simple), IL N''Y A PAS D''HYPOTHESE :
c''est une succession "formelle" de liens et de conflits, une "figure", pour laquelle on a un théorème : {A,D} est un lien.
Je ne vois rien de honteux à l''utiliser...et c''est vieux comme le Sudoku !

=======================
Essai-erreur = T-chaine
=======================
Ce que fait le joueur humain quand il fait un essai (hypothèse) avec son papier et sa gomme peut immédiatement être formalisé comme ci-dessus,
sous la FORME d''une T-chaîne (ou mieux d''un T-tableau) : c''est enfantin. Une T-chaine n''est RIEN D''AUTRE que cela !

En fait cette formalisation est à la fois indispensable et inutile.
C''est indispensable car il n''est pas question de laisser trainer le mot maudit "hypothèse" sous peine de se faire lyncher.
C''est inutile car ce n''est pas la T-chaine qui permet (ô miracle) de "découvrir" un candidat éliminé, c''est EVIDEMMENT le contraire :
c''est en ESSAYANT ce candidat qu''on a découvert une chaine se terminant par une absurdité.

Donc pour trouver ben il faut...chercher. Que dire d''autre ?

Cordialement,
soryu.
========================================================================

(Valable, aussi pour l'étapunik: killers, backdoors ....on cherche!)

Amicalement,

Sophie

Bonsoir Cenoman,

Encouragé et guidé par ta solution, je me suis lancé dans la résolution de cette grille avec un peu de retard.
C'est aussi pour tester mon système de recherche des dérivés ternaires lorsque les conflits ternaires sont en panne.
En résumé voila ce que ça donne:

X(2)
â=J Ternaire 8à 8â 8y
-1f3
XX(3)
ç faux Ternaire 8à 8J 8y
-3e8
XX(4)
ù faux Ternaire 2ô 3i 8ö
-9a8
XX(5)
d faux Ternaire 2ô 3i 8ö
-9h9
X(6)
è faux Ternaire 1ô 3i 9ö
X(7)
y faux Ternaire 1ô 3i 9ö
-8f9
á faux Ternaire 1ô 3i 9ö
-3c5
é faux Ternaire 1ô 3i 9ö
-3f1
L faux Ternaire 6x 6è 6n
-5c6 -5e4
ä faux Ternaire 6x 6è 6n
-5b8
õ faux Ternaire 6x 6è 6n
-5b9
X(8)
îo OV vR rU uî => î faux
-2d9
Vo OV => V faux
-5e6 -1e8 -5g8
fu Ur Rv Vo O =>f f faux
-2h9
FIN

C'est loin d'être "rédibitoire".
En définitive
"Elle s'est quand même laissé faire"
A+

André

Bonjour André, abi et tous,

c'est effectivement un bon test pour les moulins !
André, j'essaie de suivre ta solution pas à pas, mais sans succès.
Tu as écrit :

Citation :

X(6)
è faux Ternaire 1ô 3i 9ö

sans donner le candidat représenté par è... Difficile de deviner, en l'absence de ton tableau de marques.

Plus loin tu as écrit :

Citation :

Vo OV => V faux
-5e6 -1e8 -5g8

alors que 5e6 fait partie de la solution ! Bogue du moulin ou erreur de recopie ?

Finalement, "elle s'est quand même laissé faire" Manquerait plus que cela ! On ne va quand même pas laisser un puzzle de sudoku avoir le dernier mot !

Pour abi : merci de tes recherches de citations de Soryu. Il n'y a vraiment plus rien à ajouter.

Cordialement.
Cenoman

Bonjour Cenoman,

X()=1 tour de moulin
XX()=2 tours de moulin (+intégration des dérivés ternaires)

X(1)
1 | ________ 4j89__ 6789____ | 1367___ _______ 13é4J8à | 3g678_ 169z____ 16789 |
2 | 2e6w7o89 ______ 689_____ | 3a6A___ 36x7O8y _______ | 23G68_ ________ 2689q |
3 | ________ 2E4J8_ 678_____ | 167____ _______ 14j8â__ | 25k678 125K6___ 12678 |

4 | 126m9___ 25l9__ ________ | _______ 15L7o__ 129r___ | 267___ ________ 1t267 |
5 | 1268____ 2ô3i8ö 136w8___ | 1237O__ _______ 123ê___ | ______ 126m7o__ _____ |
6 | 129_____ ______ 13h5L9__ | 1235v9R 135____ _______ | 4b8B__ 1c2C____ 4B8b_ |

7 | 189_____ ______ 1s3i5î89 | 12f359_ 1358p__ _______ | 24B5__ 259_____ 24b9_ |
8 | 1d7O9___ 3I5ä9ë ________ | _______ 1356n__ 13è9___ | 567___ ________ 679__ |
9 | ________ 5õ8ñ9û 5ï7o89__ | 256x9__ 568____ 2u8y9__ | ______ 2f56n7O9 _____ |

â=J Ternaire 8à 8â 8y
-1f3 f3=4j8J
+Marquage

XX(3)
1 | ________ 4j89__ 6789____ | 1367___ ________ 13é4J8à | 3g678_ 169z____ 16789 |
2 | 2e6w7o89 ______ 689_____ | 3a6A___ 3â6x7O8y _______ | 23G68_ ________ 2689q |
3 | ________ 2E4J8ã 678_____ | 167____ ________ 4j8J___ | 25k678 125K6___ 12678 |

4 | 126m9___ 25l9__ ________ | _______ 15L7o___ 129r___ | 267___ ________ 1t267 |
5 | 1268____ 2ô3i8ö 13á6w8__ | 1237O__ ________ 123ê___ | ______ 126m7o__ _____ |
6 | 129_____ ______ 13h5L9__ | 1235v9R 135ó____ _______ | 4b8B__ 1c2C____ 4B8b_ |

7 | 189_____ ______ 1s3i5î89 | 12f359_ 1358p___ _______ | 24B5__ 259_____ 24b9_ |
8 | 1d7O9ù__ 3I5ä9ë ________ | _______ 13ç56n__ 13è9___ | 567___ ________ 679__ |
9 | ________ 5õ8ñ9û 5ï7o89__ | 256x9__ 56ò8ú___ 2u8y9__ | ______ 2f56n7O9 _____ |

ç faux Ternaire 8à 8J 8y
-3e8

XX(4)
1 | ________ 4j89__ 6789____ | 1367___ ________ 13é4J8à | 3g678_ 169z____ 16789 |
2 | 2e6w7o89 ______ 689_____ | 3a6A___ 3â6x7O8y _______ | 23G68_ ________ 2689q |
3 | ________ 2E4J8ã 678_____ | 167____ ________ 4j8J___ | 25k678 125K6___ 12678 |

4 | 126m9___ 25l9__ ________ | _______ 15L7o___ 129r___ | 267___ ________ 1t267 |
5 | 1268____ 2ô3i8ö 13á6w8__ | 1237O__ ________ 123ê___ | ______ 126m7o__ _____ |
6 | 129_____ ______ 13h5L9__ | 1235v9R 135ó____ _______ | 4b8B__ 1c2C____ 4B8b_ |

7 | 189_____ ______ 1s3i5î89 | 12f359_ 1358p___ _______ | 24B5__ 259_____ 24b9_ |
8 | 1d7O9ù__ 3I5ä9ë ________ | _______ 156n____ 13i9___ | 567___ ________ 679__ |
9 | ________ 5õ8ñ9û 5ï7o89__ | 256x9__ 5è6ò8ú__ 2u8y9__ | ______ 2f56n7O9 _____ |

ù faux Ternaire 2ô 3i 8ö
-9a8

XX(5)
1 | ________ 4j89__ 6789____ | 1367___ ________ 13é4J8à | 3g678_ 169z_____ 16789 |
2 | 2e6w7o89 ______ 689_____ | 3a6A___ 3â6x7O8y _______ | 23G68_ _________ 2689q |
3 | ________ 2E4J8ã 678_____ | 167____ ________ 4j8J___ | 25k678 125K6____ 12678 |

4 | 126m9___ 25l9__ ________ | _______ 15L7o___ 129r___ | 267___ _________ 1t267 |
5 | 1268____ 2ô3i8ö 13á6w8__ | 1237O__ ________ 123ê___ | ______ 126m7o___ _____ |
6 | 129_____ ______ 13h5L9__ | 1235v9R 135ó____ _______ | 4b8B__ 1c2C_____ 4B8b_ |

7 | 189_____ ______ 1s3i5î89 | 12f359_ 1358p___ _______ | 24B5__ 259ù_____ 24b9_ |
8 | 1o7O____ 3I5ä9ë ________ | _______ 156n____ 13i9___ | 567___ _________ 679__ |
9 | ________ 5õ8ñ9û 5ï7o89__ | 256x9__ 5è6ò8ú__ 2u8y9__ | ______ 2f56n7O9d _____ |

d faux Ternaire 2ô 3i 8ö
-9h9

X(6)
1 | ________ 4j89__ 6789____ | 1367___ ________ 13é4J8à | 3g678_ 169z____ 16789 |
2 | 2e6w7o89 ______ 689_____ | 3a6A___ 3â6x7O8y _______ | 23G68_ ________ 2689q |
3 | ________ 2E4J8_ 678_____ | 167____ ________ 4j8J___ | 25k678 125K6___ 12678 |

4 | 126m9___ 25l9__ ________ | _______ 15L7o___ 129r___ | 267___ ________ 1t267 |
5 | 1268____ 23i8__ 13á6w8__ | 1237O__ ________ 123ê___ | ______ 126m7o__ _____ |
6 | 129_____ ______ 13h5L9__ | 1235v9R 135ó____ _______ | 4b8B__ 1c2C____ 4B8b_ |

7 | 189_____ ______ 1s3i5î89 | 12f359_ 1358p___ _______ | 24B5__ 25ù9Z___ 24b9_ |
8 | 1o7O____ 3I5ä9ë ________ | _______ 1ã56n___ 1ô3i9ö_ | 567___ ________ 679__ |
9 | ________ 5õ8ñ9û 5ï7o89__ | 256x9__ 5è6ò8ú__ 2u8y9__ | ______ 2f5d6n7O _____ |

è faux Ternaire 1ô 3i 9ö
-5e9

X(7)
1 | ________ 4j89__ 6789____ | 1367___ ________ 13é4J8à | 3g678_ 169z____ 16789 |
2 | 2e6w7o89 ______ 689_____ | 3a6A___ 3â6x7O8y _______ | 23G68_ ________ 2689q |
3 | ________ 2E4J8í 678_____ | 167____ ________ 4j8J___ | 25k678 125K6___ 12678 |

4 | 126m9___ 25l9__ ________ | _______ 1ì5L7o__ 129r___ | 267___ ________ 1t267 |
5 | 1268____ 23i8__ 13á6w8__ | 1237O__ ________ 123ê___ | ______ 126m7o__ _____ |
6 | 129_____ ______ 13h5L9__ | 1235v9R 135ó____ _______ | 4b8B__ 1c2C____ 4B8b_ |

7 | 189_____ ______ 1s3i5î89 | 12f359_ 1358p___ _______ | 24B5__ 2ü5ù9Z__ 24b9_ |
8 | 1o7O____ 3I5ä9ë ________ | _______ 1ã56n___ 1ô3i9ö_ | 567___ ________ 679__ |
9 | ________ 5õ8ñ9û 5ï7o89__ | 256x9__ 6è8È____ 2u8y9ú_ | ______ 2f5d6n7O _____ |

y faux Ternaire 1ô 3i 9ö
-8f9 -8e2
á faux Ternaire 1ô 3i 9ö
-3c5
é faux Ternaire 1ô 3i 9ö
-3f1
L faux Ternaire 6x 6è 6n
-5c6 -5e4 b4=5 -5b8 -5b9

X(9)
1 | ________ 4j8ê9á 6789____ | 1Ë3G67 ______ 4J8j__ | 3g678_ 169z____ 16789 |
2 | 2e6w7o89 ______ 689_____ | 3a6A__ 3â6x7O ______ | 23G68_ ________ 2689q |
3 | ________ 2E4J8í 678_____ | 1ë67__ ______ 4j8J__ | 25k678 125K6___ 12678 |

4 | 126m9R__ 5_____ ________ | ______ 1O7o__ 129r__ | 267___ ________ 1t267 |
5 | 1268____ 2e3i8_ 16w8____ | 2o7O__ ______ 123I__ | ______ 126m7o__ _____ |
6 | 129_____ ______ 13I9____ | 235v9R 135V__ ______ | 4b8B__ 1c2C____ 4B8b_ |

7 | 189_____ ______ 1s3i5î89 | 2f359_ 1358p_ ______ | 24B5__ 2ü5ù9Z__ 24b9_ |
8 | 1o7O____ 3I9i__ ________ | ______ 1ã5h6n 1ô3i9ö | 5H67__ ________ 679__ |
9 | ________ 8l9L__ 5Î7o89__ | 256x9_ 6p8P__ 2o9O__ | ______ 2f5d6n7O _____ |

ãO oã =>ã faux
-1e8
fO of =>f faux
-2d7 -2h9
mR rO om =>m faux
-6h5 -6a4
êj JE eo OL lê =>ê faux
-8b1
íE eo OL lí =>í faux
-8b3

X(10)
1 | 5_______ 4j9J_ 6789____ | 1Ë3G67 2_____ 4J8j__ | 3g678_ 169z__ 16789 |
2 | 2J6w7o89 1____ 689_____ | 3a6A__ 3â6x7O 5_____ | 23G68_ 4_____ 2689q |
3 | 3_______ 2j4J_ 678_____ | 1ë67__ 9_____ 4j8J__ | 25k678 125K6_ 12678 |

4 | 129R____ 5____ 4_______ | 8_____ 1O7o__ 129r__ | 267___ 3_____ 1t267 |
5 | 126W8___ 2J3i8 16w8____ | 2o7O__ 4_____ 123I__ | 9_____ 127o__ 5____ |
6 | 129_____ 7____ 13I9____ | 35v9R_ 135V__ 6_____ | 4b8B__ 1c2C__ 4B8b_ |

7 | 189_____ 6____ 1s3i5î89 | 359___ 1358p_ 7_____ | 24B5__ 2ü5ù9Z 24b9_ |
8 | 1o7O____ 3I9i_ 2_______ | 4_____ 5h6H__ 1O3i9ö | 5H67__ 8_____ 679__ |
9 | 4_______ 8l9L_ 5Î7o89__ | 2O56x9 6p8P__ 2o9O__ | 1_____ 5d6H7O 3____ |

X(11)

iO oÎ îi =>i faux
OH hV vR rO =>O faux
-9f9 -7h9 -7e2 -7a8
JL lP pH hV vR rO oJ =>J faux
-8f3 -4b3 -9b1 -4f1
etc..etc...

André