Cadeau du Père Noël australien ! Tough du 25/12/2011

Bonjour à tous,

comme je le dis dans mon précédent message, la tough du 25/12/2011 (www.sudoku.com.au) est vraiment difficile. Sans doute pas extrême, mais à tout le moins très, très rébarbative !

Naguère, on aurait dit : c'est une grille pour abi ! Peut-être inspirera-t-elle aussi JC Van Hay ?

060 007 008
001 000 900
700 930 000

027 000 000
000 504 000
000 000 310

000 042 006
006 000 100
500 800 070

Bon courage !
Cenoman

Bonjour à tous,

Je montre la solution de mon solveur, juste pour qu'on croie qu'il en existe bien une. C'est tellement inhumain, qu'on peut se dispenser de la lire. de toute façon, c'est rébarbatif !!! (c'est un autre mot moins poli qui me vient spontanément à l'esprit !) J'ai quand même testé que chacune des éliminations données dans une étape est requise pour obtenir les éliminations suivantes.

Au départ, il n'y a que deux OU à se mettre sous la dent :

_ | a______ b_____ c_____ | d_____ e______ f______ | g____ h______ i____ |
1 | 2349x__ ______ 23459X | 1e24ã_ 1E25___ _______ | 245__ 23k45__ _____ |
2 | 2348___ 3458__ ______ | 24Ã6ä_ 2568ç__ 568____ | _____ 23K456q _____ |
3 | _______ 458___ 2h458_ | ______ _______ 56q8v__ | 2456æ 2456___ _____ |

4 | 1f4n689 ______ ______ | 13l6__ 1689___ 1à3L689 | 46Æ8b 4689___ _____ |
5 | 13689__ 1z389_ 389___ | ______ 1f2i689 _______ | _____ 2è6é8ê9 2a9A_ |
6 | 46r89__ 45o89_ 45O89_ | 2á67t_ 267T89_ 689____ | _____ _______ 2i4n9 |

7 | 1z389__ 137u89 389___ | 1g3m7U _______ _______ | 5b8B_ 5B89y__ _____ |
8 | 2j3489_ 347U89 ______ | 3c7C__ 5p7t9__ 35P9___ | _____ 248w9__ 23â49 |
9 | _______ 1g349_ 2J349_ | ______ 16s9___ 1À36S9_ | 2d4D_ _______ 23Â49 |

6e6/s(6Ke)-S/À(f9)-à/L(f4)-l/c(3Kd)-C/t(7Kd)-T/6e6(e6) =>OU{s-t} 6e6=Faux

4a8/j(a8)-J/d(2R9)-D/N(4R9)-n/4a8(4Ka) =>OU{j-n} 4a8=Faux

On trouve aussi la chaine d'ALS de degré de liberté 0 : [137] d78-13-[135689] f23689
=>-6f4-8f4-9f4-7d6-7e8-1e9

En marquage, on trouve aussi ces éliminations par des fusions ternaires - ternaire (g-m-U) soit (137d7) :

FUSION TERNAIRE U=c
g/À(1R8)-à/L(f4)-l/c(3Kd)=>g/c
m/c(3Kd)
U/C(7Kd)
=>SATURATION 7c-7C en d78 =>-7d6, -7e8

FUSION TERNAIRE g=l
g/À-à/L=>g/L
m/l(3Kd)
U/C-c/l=>U/l

FUSION TERNAIRE g=à
g/À
m/l-L/à=>m/à
U/C-c/l-L/à=>U/à
=>SATURATIONS 1g-3G en f4 =>-689f4 et 1g-1G en d7f9 =>-1e9

Etape suivante, cinq interdits ternaires, avec dérivés ternaires :

_ | a______ b______ c_____ | d_____ e______ f_____ | g____ h______ i____ |
1 | 2349x__ _______ 23459X | 1e24ã_ 1E25___ ______ | 245__ 23k45__ _____ |
2 | 2348___ 3458___ ______ | 24Ã6ä_ 2568ç__ 568___ | _____ 23K456q _____ |
3 | _______ 458____ 2h458_ | ______ _______ 56q8v_ | 2456æ 2456___ _____ |

4 | 1f4n689 _______ ______ | 13g6__ 1689___ 1g3G__ | 46Æ8b 4689___ _____ |
5 | 13689__ 1z389__ 389___ | ______ 1f2i689 ______ | _____ 2è6é8ê9 2a9A_ |
6 | 46r89__ 45o89__ 45O89_ | 2I6i__ _______ 68ç9Ï_ | _____ _______ 2i4n9 |

7 | 1z389__ 137C89_ 389___ | 1g3m7c _______ ______ | 5b8B_ 5B89y__ _____ |
8 | 2j389__ 34ì7c89 ______ | 3c7C__ 5p9P___ 35P9__ | _____ 248w9__ 23â49 |
9 | _______ 1g349__ 2J34õ9 | ______ 6s9S___ 1G36S9 | 2d4D_ _______ 23Â49 |

INTERDIT TERNAIRE (2g1-4g1-5g1)/9a8=>-9a8
2g1/H(2R3)-h/J(2Kc)-j/9a8(a8)
4g1/D(4Kg)-d/J(2R9)-j/9a8(a8)
5g1/b(5Kg)-B/y(h7)-Y/9a8(9R7)
-----------------------------
DERIVE TERNAIRE (8a8-8b8-w)+8a8/3a8+8b8/3a8=>W/3a8
8a8/3a8(a8)
8b8/ì(b8)-Ì/D(4R9)-d/J(2R9)-j/3a8(a8)=8b8/3a8

INTERDIT TERNAIRE (2g1-4g1-5g1)/3a8=>-3a8
2g1/H(2R3)-h/J(2Kc)-j/3a8(a8)
4g1/D(4Kg)-d/J(2R9)-j/3a8(a8)
5g1/b(5Kg)-B/w(8R9)-W/3a8(DT)
-----------------------------
DERIVE TERNAIRE (2e1-2e2-i)+2e2/2a2+i/2a2=>!2e1/2a2
2e2/2a2(2L2)
i/n(i6)-N/D(4R9)-d/J(2R9)-j/2a2(2Ka)=i/2a2

DERIVE TERNAIRE (2g1-2g3-d)+2g1/2a2+d/2a2=>!2g3/2a2
2g1/ò(2L1)-Ò/2a2(2L2)=2g1/2a2
d/J(2R9)-j/2a2(2Ka)=d/2a2

INTERDIT TERNAIRE (1d4-g-6d4)/2a2=>-2a2
1d4/e(1Kd)-E/2e1(e1)-!2e1/2a2(DT)
g/e(1R5)-E/2e1(e1)-!2e1/2a2(DT)
6d4/Æ(6L4)-æ/2g3(g3)-!2g3/2a2(DT)
---------------------------------
DERIVE TERNAIRE (4b3-5b3-8b3)+4b3/4c6+5b3/4c6=>!8b3/4c6
4b3/ö(4R1)-Ö/4c6(4R4)=4b3/4c6
5b3/o(5Kb)-O/4c6(c6)=5b3/4c6

DERIVE TERNAIRE (2g1-4g1-5g1)+2g1/4c6+4g1/4c6=>!5g1/4c6
2g1/d(2Kg)-D/N(4R9)-n/4c6(4R4)=2g1/4c6
4g1/Ë(4R3)-ë/ö(4R1)-Ö/4c6(4R4)=4g1/4c6

INTERDIT TERNAIRE (8a8-8b8-w)/4c6=>-4c6
8a8/j(a8)-J/d(2R9)-D/N(4R9)-n/4c6(4R4)
8b8/8b3(8Kb)-!8b3/4c6(DT)
w/B(8R9)-b/5g1(5Kg)-!5g1/4c6(DT)
--------------------------------
DERIVE TERNAIRE (B-8h7-y)+B/w+8h7/w=>Y/w
B/w(8R9)
8h7/w(8Kh)

INTERDIT TERNAIRE (8a8-8b8-w)/9b7=>-9b7
8a8/j(a8)-J/d(2R9)-D/Ì(4R9)-ì/c(b8)-C/9b7(b7)
8b8/c(b8)-C/9b7(b7)
w/Y(DT)-y/9b7(9L7)

De nouveau, deux interdits ternaires avec dérivés ternaires :

_ | a______ b______ c_____ | d_____ e______ f_____ | g____ h_______ i____ |
1 | 2J349x_ _______ 23459X | 1e24ã_ 1E25___ ______ | 245__ 23k45___ _____ |
2 | 348____ 3458___ ______ | 24Ã6ä_ 2568ç__ 568___ | _____ 2ò3K456q _____ |
3 | _______ 458____ 2h458_ | ______ _______ 56q8v_ | 2456æ 2456____ _____ |

4 | 1f4n689 _______ ______ | 13g6__ 1689___ 1g3G__ | 46Æ8b 4689____ _____ |
5 | 13689__ 1z389__ 389___ | ______ 1f2i689 ______ | _____ 2è6é8ê9_ 2a9A_ |
6 | 46r89__ 4ö5o89_ 5O89__ | 2I6i__ _______ 68ç9Ï_ | _____ ________ 2i4n9 |

7 | 1z389__ 137C8__ 389___ | 1g3m7c _______ ______ | 5b8B_ 5B89y___ _____ |
8 | 2j8J___ 34ì7c89 ______ | 3c7C__ 5p9P___ 35P9__ | _____ 248w9___ 23â49 |
9 | _______ 1g349__ 2J34õ9 | ______ 6s9S___ 1G36S9 | 2d4D_ ________ 23Â49 |

DERIVE TERNAIRE (3c7-8c7-9c7)+8c7/J+9c7/J=>!3c7/J
8c7/J(8R7)
9c7/X(9Kc)-x/J(a1)=9c7/J

DERIVE TERNAIRE (2e1-2e2-i)+2e1/J+i/J=>!2e2/J
2e1/J(2L1)
i/n(i6)-N/D(4R9)-d/J(2R9)=i/J

INTERDIT TERNAIRE (3c5-8c5-9c5)/J=>-8a8, a8=2
3c5/3c7(3Kc)-!3c7/J(DT)
8c5/Ç(8R4)-ç/2e2(e2)-!2e2/J(DT)
9c5/X(9Kc)-x/J(a1)
------------------
DERIVE TERNAIRE (4c1-4c3-õ)+4c3/2g1+õ/2g1=>!4c1/2g1
4c3/h(c3)-H/2g1(2R3)=4c3/2g1
õ/D(4L9)-d/2g1(2Kg)=õ/2g1

DERIVE TERNAIRE (J-d-2i9)+J/2g1+d/2g1=>!2i9/2g1
J/2g1(2L1)
d/2g1(2Kg)

INTERDIT TERNAIRE (ä-6d4-i)/2g1=>-2g1
ä/Ã(d2)-ã/4c1(4L1)-!4c1/2g1(DT)
6d4/É(6L4)-é/è(h5)-È/2i9(2Ki)-!2i9/2g1(DT)
i/n(i6)-N/D(4R9)-d/2g1(2Kg)

Le duo 45g1 induit un interdit sur D :

_ | a______ b_______ c______ | d_____ e______ f_____ | g_____ h_______ i_____ |
1 | 349x___ ________ 2H3459X | 1e24ã_ 1E25___ ______ | 4ù5Ù__ 23k45___ ______ |
2 | 348____ 3458____ _______ | 24Ã6ä_ 2568ç__ 568___ | ______ 2ò3K456q ______ |
3 | _______ 458_____ 2h458__ | ______ _______ 56q8v_ | 2D456æ 2456____ ______ |

4 | 1f4n689 ________ _______ | 13g6__ 1689___ 1g3G__ | 46Æ8b_ 4689____ ______ |
5 | 13689__ 1z389___ 389____ | ______ 1f2i689 ______ | ______ 2D6é8ê9_ 2a9A__ |
6 | 46r89__ 4ö5o89__ 5O89___ | 2I6i__ _______ 68ç9Ï_ | ______ ________ 2i4n9_ |

7 | 1z389__ 137C8___ 389____ | 1g3m7c _______ ______ | 5b8B__ 5B89y___ ______ |
8 | _______ 34ì7c8W9 _______ | 3c7C__ 5p9P___ 35P9__ | ______ 48w9____ 3â49__ |
9 | _______ 1g349___ 34õ9___ | ______ 6s9S___ 1G36S9 | 2d4D__ ________ 2D3Â49 |

D/ù(4Kg)-Ù/b(5Kg)-B/w(8R8)-W/ì(b8)-Ì/D(4R9) =>D=Faux -4g9, g9=2, -2g3, -2h5, -2i9

Etape suivante, neuf (!!!) interdits ternaires, avec dérivés ternaires :

_ | a______ b_______ c______ | d_____ e______ f_____ | g_____ h_______ i____ |
1 | 349x___ ________ 2H3459X | 1e24ã_ 1E25___ ______ | 4ù5Ù__ 23k45___ _____ |
2 | 348____ 3458____ _______ | 24Ã6ä_ 2568ç__ 568___ | ______ 2ò3K456q _____ |
3 | _______ 458_____ 2h458__ | ______ _______ 56q8v_ | 456æ__ 2H456___ _____ |

4 | 1f4n689 ________ _______ | 13g6__ 1689___ 1g3G__ | 4Ó6Æ8b 4689____ _____ |
5 | 13689__ 1z389___ 389____ | ______ 1f2A689 ______ | ______ 6é8ê9___ 2a9A_ |
6 | 46r89__ 4ö5o89__ 5O89___ | 2a6A__ _______ 68ç9Ï_ | ______ ________ 2A4n9 |

7 | 1z389__ 137C8___ 389____ | 1g3m7c _______ ______ | 5b8B__ 5B89y___ _____ |
8 | _______ 34ì7c8W9 _______ | 3c7C__ 5p9P___ 35P9__ | ______ 4n8w9___ 3â49_ |
9 | _______ 1g349___ 34õ9___ | ______ 6s9S___ 1G36S9 | ______ ________ 3Â4ì9 |


DERIVE TERNAIRE (E-2e1-5e1)+2e1/4h1+5e1/4h1=>e/4h1
2e1/Ò(2R2)-ò/K(h2)-k/4h1(h1)=2e1/4h1
5e1/Ù(5L1)-ù/4h1(4L1)=5e1/4h1

INTERDIT TERNAIRE (e-2d1-ã)/4h1=>-4h1
e/4h1(DT)
2d1/Ò(2R2)-ò/K(h2)-k/4h1(h1)
ã/4h1(4L1)
----------
DERIVE TERNAIRE (E-2e1-5e1)+2e1/5h1+5e1/5h1=>e/5h1
2e1/Ò(2R2)-ò/K(h2)-k/5h1(h1)=2e1/5h1
5e1/5h1(5L1)

INTERDIT TERNAIRE (e-2d1-ã)/5h1=>-5h1
e/5h1(DT)
2d1/Ò(2R2)-ò/K(h2)-k/5h1(h1)
ã/ù(4L1)-Ù/5h1(5L1)
-------------------
DERIVE TERNAIRE (3c7-8c7-9c7)+8c7/4a1+9c7/4a1=>!3c7/4a1
8c7/B(8L7)-b/Ù(5Kg)-ù/4a1(4L1)=8c7/4a1
9c7/X(9Kc)-x/4a1(a1)=9c7/4a1

DERIVE TERNAIRE (8b3-8c3-v)+8c3/8c5+v/8c5=>!8b3/8c5
8c3/8c5(8Kc)
v/ç(8Kf)-Ç/8c5(8R4)=v/8c5

INTERDIT TERNAIRE (3c5-8c5-9c5)/4a1=>-4a1
3c5/3c7(3Kc)-!3c7/4a1(DT)
8c5/!8b3(DT)-8b3/W(8Kb)-w/B(8R9)-b/Ù(5Kg)-ù/4a1(4L1)
9c5/X(9Kc)-x/4a1(a1)
--------------------
DERIVE TERNAIRE (3c9-õ-9c9)+õ/4c1+9c9/4c1=>!3c9/4c1
õ/4c1(4Kc)
9c9/Y(9R7)-y/B(h7)-b/Ù(5Kg)-ù/4c1(4L1)=9c9/4c1

INTERDIT TERNAIRE (3c5-8c5-9c5)/4c1=>-4c1
3c5/3c9(3Kc)-!3c9/4c1(DT)
8c5/!8b3(DT)-8b3/W(8Kb)-w/B(8R9)-b/Ù(5Kg)-ù/4c1(4L1)
9c5/î(9R4)-Î/Y(9R7)-y/B(h7)-b/Ù(5Kg)-ù/4c1(4L1)
-----------------------------------------------
DERIVE TERNAIRE (n-4a6-ö)+n/8b2+ö/8b2=>!4a6/8b2
n/w(h8)-W/8b2(8Kb)=n/8b2
ö/ë(4R1)-Ë/ù(4R3)-Ù/b(5Kg)-B/w(8R9)-W/8b2(8Kb)=ö/8b2

DERIVE TERNAIRE (8e4-8e5-ç)+8e4/8b2+ç/8b2=>!8e5/8b2
8e4/Ê(8L4)-ê/w(8Kh)-W/8b2(8Kb)=8e4/8b2
ç/8b2(8L2)

INTERDIT TERNAIRE (r-A-6f6)/8b2=>-8b2
r/4a6(a6)-!4a6/8b2(DT)
A/8e5(e5)-!8e5/8b2(DT)
6f6/Ä(6R5)-ä/Ã(d2)-ã/ù(4L1)-Ù/b(5Kg)-B/w(8R9)-W/8b2(8Kb)
--------------------------------------------------------
DERIVE TERNAIRE (n-4a6-ö)+n/8b6+ö/8b6=>!4a6/8b6
n/w(h8)-W/8b6(8Kb)=n/8b6
ö/8b6(b6)

DERIVE TERNAIRE (8e4-8e5-ç)+8e4/8b6+ç/8b6=>!8e5/8b6
8e4/Ê(8L4)-ê/w(8Kh)-W/8b6(8Kb)=8e4/8b6
ç/8b6(8L6)

INTERDIT TERNAIRE (r-A-6f6)/8b6=>-8b6
r/4a6(a6)-!4a6/8b6(DT)
A/8e5(e5)-!8e5/8b6(DT)
6f6/Ä(6R5)-ä/Ã(d2)-ã/ù(4L1)-Ù/b(5Kg)-B/w(8R9)-W/8b6(8Kb)
--------------------------------------------------------
DERIVE TERNAIRE (2d2-2e2-ò)+2d2/8b5+2e2/8b5=>Ò/8b5
2d2/Ã(d2)-ã/ù(4L1)-Ù/b(5Kg)-B/w(8R9)-W/8b5(8Kb)=2d2/8b5
2e2/ç(e2)-Ç/8b5(8R4)=2e2/8b5

INTERDIT TERNAIRE (8b3-8c3-v)/8b5=>-8b5
8b3/8b5(8Kb)
8c3/h(c3)-H/ò(2Kh)-Ò/8b5(DT)
v/ç(8Kf)-Ç/8b5(8R4)
-------------------
DERIVE TERNAIRE (ä-6d4-A)+ä/f+A/f=>!6d4/f
ä/Ã(d2)-ã/e(d1)-E/f(1Ke)=ä/f
A/f(e5)

DERIVE TERNAIRE (z-1b7-g)+z/f+g/f=>!1b7/f
z/f(1Ka)
g/f(1L4)

INTERDIT TERNAIRE (n-4a6-ö)/f=>-1a4
n/f(a4)
4a6/r(a6)-R/6d4(6R5)-!6d4/f(DT)
ö/ë(4R1)-Ë/ù(4R3)-Ù/b(5Kg)-B/w(8R9)-W/c(b8)-C/1b7(b7)-!1b7/f(DT)
----------------------------------------------------------------
DERIVE TERNAIRE (ä-6d4-A)+ä/9c5+A/9c5=>!6d4/9c5
ä/Ã(d2)-ã/ù(4L1)-Ù/b(5Kg)-B/y(h7)-Y/Î(9R7)-î/9c5(9R4)=ä/9c5
A/9c5(9L5)

DERIVE TERNAIRE (B-8h7-w)+B/9c5+8h7/9c5=>W/9c5
B/y(h7)-Y/Î(9R7)-î/9c5(9R4)=B/9c5
8h7/y(h7)-Y/Î(9R7)-î/9c5(9R4)=8h7/9c5

INTERDIT TERNAIRE (4a6-ö-n)/9c5=>-9c5
4a6/r(a6)-R/6d4(6R5)-!6d4/9c5(DT)
ö/ë(4R1)-Ë/ù(4R3)-Ù/b(5Kg)-B/y(h7)-Y/Î(9R7)-î/9c5(9R4)
n/w(h8)-W/9c5(DT)

Encore une étape de cinq interdits ternaires , avec dérivés ternaires :

_ | a_____ b_______ c_____ | d_____ e____ f_____ | g_____ h_______ i____ |
1 | 3X9x__ ________ 2H359X | 1e24ã_ 1E25_ ______ | 4Ã5ã__ 2K3k____ _____ |
2 | 34ö8v_ 345_____ ______ | 24Ã6ä_ 2568ç 568___ | ______ 2ò3K456q _____ |
3 | ______ 458ú____ 2h4ù58 | ______ _____ 56q8v_ | 456æ__ 2H456___ _____ |

4 | 4n689_ ________ ______ | 13g6__ 1e689 1g3G__ | 4Ó6Æ8b 4689____ _____ |
5 | 1Z3689 1z39____ 3õ8Õ__ | ______ 2A689 ______ | ______ 6é8ê9___ 2a9A_ |
6 | 46r89_ 4ö5o9___ 5O89__ | 2a6A__ _____ 68ç9Ï_ | ______ ________ 2A4n9 |

7 | 1z389_ 137C8___ 389___ | 1g3m7c _____ ______ | 5b8B__ 5B89y___ _____ |
8 | ______ 34ì7c8W9 ______ | 3c7C__ 5p9P_ 35P9__ | ______ 4n8w9___ 3â49_ |
9 | ______ 1g349___ 34Ù9__ | ______ 6s9S_ 1G36S9 | ______ ________ 3Â4ì9 |

DERIVE TERNAIRE (E-2e1-5e1)+2e1/3c9+5e1/3c9=>e/3c9
2e1/H(2L1)-h/ù(c3)-Ù/3c9(c9)=2e1/3c9
5e1/p(5Ke)-P/ï(9R8)-Ï/ç(f6)-Ç/Õ(8R4)-õ/3c9(3Kc)=5e1/3c9

DERIVE TERNAIRE (v-ú-8c3)+v/3c9+8c3/3c9=>Ú/3c9
v/ç(8R2)-Ç/Õ(8R4)-õ/3c9(3Kc)=v/3c9
8c3/ù(c3)-Ù/3c9(c9)=8c3/3c9

INTERDIT TERNAIRE (e-2d1-ã)/3c9=>-3c9
e/3c9(DT)
2d1/H(2L1)-h/ù(c3)-Ù/3c9(c9)
ã/b(5Kg)-B/w(8R9)-W/ú(8Kb)-Ú/3c9(DT)
------------------------------------
DERIVE TERNAIRE (9a4-9e4-9h4)+9a4/9c9+9h4/9c9=>!9e4/9c9
9a4/î(9R4)-Î/9c9(9R7)=9a4/9c9
9h4/y(9Kh)-Y/9c9(9R7)=9h4/9c9

INTERDIT TERNAIRE (e-2d1-ã)/9c9=>-9c9
e/9e4(e4)-!9e4/9c9(DT)
2d1/H(2L1)-h/ù(c3)-Ù/9c9(c9)
ã/b(5Kg)-B/y(h7)-Y/9c9(9R7)
---------------------------
DERIVE TERNAIRE (E-2e1-5e1)+2e1/3c1+5e1/3c1=>e/3c1
2e1/K(2L1)-k/3c1(3L1)=2e1/3c1
5e1/p(5Ke)-P/ï(9R8)-Ï/ç(f6)-Ç/Õ(8R4)-õ/3c1(3Kc)=5e1/3c1

DERIVE TERNAIRE (v-ú-8c3)+v/3c1+8c3/3c1=>Ú/3c1
v/ç(8R2)-Ç/Õ(8R4)-õ/3c1(3Kc)=v/3c1
8c3/Õ(8Kc)-õ/3c1(3Kc)=8c3/3c1

INTERDIT TERNAIRE (e-2d1-ã)/3c1=>-3c1
e/3c1(DT)
2d1/K(2L1)-k/3c1(3L1)
ã/b(5Kg)-B/w(8R9)-W/ú(8Kb)-Ú/3c1(DT)
------------------------------------
DERIVE TERNAIRE (v-ú-8c3)+v/ö+ú/ö=>!8c3/ö
v/ö(a2)
ú/W(8Kb)-w/B(8R9)-b/ã(5Kg)-Ã/ö(4L2)=ú/ö

DERIVE TERNAIRE (3c7-8c7-9c7)+3c7/v+8c7/v=>!9c7/v
3c7/õ(3Kc)-Õ/Ç(8R4)-ç/v(8R2)=3c7/v
8c7/Û(8Kc)-û/v(8Ka)=8c7/v

INTERDIT TERNAIRE (3a2-ö-v)/X=>-3a1, -9c1
3a2/X(3Ka)
ö/!8c3(DT)-8c3/h(c3)-H/X(c1)
v/!9c7(DT)-9c7/X(9Kc)
---------------------
DERIVE TERNAIRE (3b2-4b2-5b2)+4b2/9c6+5b2/9c6=>!3b2/9c6
4b2/Ã(4L2)-ã/b(5Kg)-B/y(h7)-Y/Î(9R7)-î/9c6(9R4)=4b2/9c6
5b2/o(5Kb)-O/9c6(c6)=5b2/9c6

DERIVE TERNAIRE (3c7-8c7-9c7)+3c7/v+8c7/v=>!9c7/v
3c7/õ(3Kc)-Õ/Ç(8R4)-ç/v(8R2)=3c7/v
8c7/Û(8Kc)-û/v(8Ka)=8c7/v

INTERDIT TERNAIRE (3a2-ö-v)/9c6=>-9c6
3a2/3b2(3L2)-!3b2/9c6(DT)
ö/o(b6)-O/9c6(c6)
v/!9c7(DT)-9c7/9c6(9Kc)

On peut enfin achever en marquage simple :

_ | a_____ b_____ c____ | d____ e_____ f_____ | g_____ h_____ i____ |
1 | ______ ______ 2H5h_ | 1e24ã 1E25__ ______ | 4Ã5ã__ ______ _____ |
2 | 3G4ö8o 3g45__ _____ | 24Ã6ä 2568ç_ 568___ | ______ 2h456q _____ |
3 | ______ 4ë5Ë__ 2h58O | _____ ______ 56q8o_ | 456æ__ 2H456_ _____ |

4 | 4n68__ ______ _____ | 13g6_ 1e689ü 1g3G__ | 4Ó6Æ8b 4689Ü_ _____ |
5 | 1g68__ 1G9g__ _____ | _____ 2A689_ ______ | ______ 6é8ê9_ 2a9A_ |
6 | 46r8__ 4ö5o9G 5O8o_ | 2a6A_ ______ 68ç9Ï_ | ______ ______ 2A4n9 |

7 | 1G3g__ ______ _____ | 1g3G_ ______ ______ | 5b8B__ 5B8b__ _____ |
8 | ______ ______ _____ | _____ 5p9P__ 3Â5P9_ | ______ 4n9N__ 3â4N9 |
9 | ______ 1g3G__ _____ | _____ 6s9S__ 1G36S9 | ______ ______ 3Â9â_ |

A/g(9L5)-G/Â(3L9)-â/A(9Ki) =>A=Faux -9i5, i5=2...

e/g(1Kd)-G/o(a2)-O/h(c3) =>OU{E-H} -2e1

P/ï(9R8)-Ï/G(9L6)-g/e(1Kd) =>OU{p-E} -5e1

Fin (c'est pas trop tôt !)

Cenoman

Bonjour tout le monde et très bonne année 2012 !
Elle n'était pas très difficile, elle livre ses codes latéraux dans les régions 7, 8 et 9. Mais sympa a faire pour un début d'année !

Bonjour abi, bonjour à tous,
Bonne année à toi aussi, abi ! Bonne année à tous !


Merci de ta réponse. Dans un premier temps, je ne peux qu'en accuser réception, car je n'ai pas encore réussi à la lire (je veux dire la lire en comprenant tout ce que je lis) Pardonne moi donc si je reviens te poser quelques questions de décryptage (j'ai du mal à suivre certaines lignes - liens forts pas évidents pour moi - et aussi certaines colonnes - conflits idem)

Cordialement.
Cenoman.

Bonjour Cenoman,

Il y avait plus simple (plus d'étapes moins longues, mais pas moins de coups au total)...j'ai hésité...et finalement choisi cette solution qui m'amusait.

Bien entendu, je répondrai à tes questions; en attendant, je peux toujours revenir sur les points "sensibles":

+6d4( ligne 3) => / 6def6g4-6a6g3*/ (ligne 6)
/ 2i9c9-2a8g9* / (ligne 8)
/ 4a2(départ,ligne1))4a6g3*4a8g9*-4ag14(x-w)/ (ligne 9)

Ligne 7 :-2g3=> 2g9-g1/gh3-c3 (couleur 2 -> -2c9)
Ligne 8 : (-2i9)et -2c9 (ci-dessus) => 2a8 et 2g9
Ligne 9: (-4a2,-4a6g3)et -4a8 et -4g9 (ci-dessus)=> "4ag14" (alignement 4 ou x-wing 4)
Ligne 10:(-29h8, -2i6, -6h4) et -4h4(x-wing ci-dessus)=>xy-wing :489h84-9-94i6
Ligne 11: (-4g9) et -4i89 (xy-wing ci-dessus) => 4h8
Ligne 13:(-1e1, -6h3, -2a2) et -4h3 (+4h8 ci-dessus) => "52h3 hed2 e1" :config. (ou WW) (52)h3/2h2-2ed2/(25)e1=> 5e1/5h3
Ligne 14: (-6f6 et -6f3) et -5f3(ci-dessus)=>9f6(als f36)



Très peu de temps pour le sudoku, je n'ai pas tout à fait terminé la lecture de ta solution (ce n'est que partie remise), mais je te fais confiance!

Beau travail! j'imagine qu'il doit y avoir aussi un monstrueux travail de tri et de rédaction de ta part.
Ce doit être un peu "frustrant" tout de même de résister à la tentation de dire (par ex.) :
*3h1-3h2 / 2h2-2de2 / 2de1-145deg1-> -45h1 (ou autres présentations)
...pour passer par des dérivés et interdits ternaires.

Il faut se méfier des cadeaux du Père Noël (même australien), chacun sait que "le Père Noël est une ordure"

Amicalement,

Sophie

Bonjour abi,

Merci de tes précisions sur certaines lignes, elles m'ont fait gagner un temps précieux.

En fait, j'avais au départ une question sur ta ligne 6. Maintenant, ce n'est plus une question, ce serait plutôt un commentaire.

Citation :

___________6def6g4________6a6g3

J'ai tendance à considérer qu'un nombre, suivi de deux cases (ou de deux groupes de cases comme ici) est la notation d'un OU : "6 est en def6" OU "6 est en g4" et symétriquement "6 est en a6" OU "6 est en g3"

Or, cette interprétation n'est pas compatible avec la septième colonne (sous 6a6g3) : les conflits entre les éléments de cette colonne avec 6a6g3 ne sont vrais que si on comprend "6a6g3" = "6a6" ET "6g3" (par exemple : il n'y a pas de conflit patent entre 6a6 et 2g3...)

Il se trouve (voir mon premier tableau de marques) que 6a6 est jumeau de 6def6 et 6g4 jumeau de 6g3, autrement dit "6a6" = NON "6def6" et "6g3" = NON "6g4" et donc que NON ("6def6" OU "6g4") = (NON "6def6") ET (NON "6g4") = "6a6" ET "6g4"

In fine, la logique est respectée, mais les notations sont ambiguës. Je préfèrerais qu'on distingue les deux significations en écrivant par exemple 6def6/g4____6a6.g3 ou 6def6|g4______6a6&g3, mais il est bien trop tard pour définir de telles conventions ...
Au reste, il me semble avoir compris tes trois tableaux.

Citation :

... j'imagine qu'il doit y avoir aussi un monstrueux travail de tri et de rédaction de ta part.
Ce doit être un peu "frustrant" tout de même de résister à la tentation de dire (par ex.) :
*3h1-3h2 / 2h2-2de2 / 2de1-145deg1-> -45h1 (ou autres présentations)
...pour passer par des dérivés et interdits ternaires.

Merci d'avoir lu un listing aussi rébarbatif ! Tu remarqueras que je n'ai pas fait de grands efforts de rédaction, me contentant de "copier-coller" des sorties brutes de l'assistant. Si je l'avais fait, j'aurais sans doute vu et corrigé la présentation de l'ANS que tu donnes en exemple. Pas vraiment de frustration : ce qui serait frustrant ce serait de ne pas trouver, or je n'ai pas cherché... En revanche, oui le travail de tri est monstrueux. J'ai bien conscience qu'il me faut "éduquer" l'assistant pour qu'il m'aide à trouver les ALS, pseudo-cases et autres objets... qui raccourcissent les chaînes.

Cordialement.
Cenoman

Bonsoir Cenoman,

___________6def6g4________6a6g3 :

6d4 => directement -6def6 -6g4 qui => directement +6a6 +6g3 (leur jumeau), idem (avec les persistances):-2i9 -2c9 =>+2a8 +2g9 et donc -4a6 -4g3 -4a8 -4g9=> +4ag14 (xw)

Je comprends bien que tu trouves tout cela ambigu...mais pour moi, c'est une combinaison de jumeaux-doubles, de liens-doubles et logiques...
6def6g4-6a6g3*
2i9c9-2a8g9*
4a6g3*4a8g9*-4ag14

Et c'était justement, en tant que particularité de la grille, ce que je trouvais amusant...

Ce n'est que pure logique...mais je conçois que l'on trouve cela trop "original"

Amicalement,

Sophie


PS-

"J'ai tendance à considérer qu'un nombre, suivi de deux cases (ou de deux groupes de cases comme ici) est la notation d'un OU : "6 est en def6" OU "6 est en g4" et symétriquement "6 est en a6" OU "6 est en g3"
Or, cette interprétation n'est pas compatible avec la septième colonne (sous 6a6g3)...."

Je ne comprends tout de même pas vraiment... lorsque l'on lit le tableau, il ne peut y avoir de confusion : 6d4 ne peut qu'entraîner (directement) -6def6 ET -6g4, tous deux en CONFLIT avec 6d4 (pas de OU possible) => +6a6 ET +6g3 (leur jumeau, LIEN). L'on a donc bien Conflit (double) en colonne et Lien (double) en ligne...

(de plus, à tout moment de l'analyse, dès que l'on "empêche" 6 en a6 OU g3 => 6def6 OU 6g4=> -1d1 (als d478) et l'analyse s'arrête...donc, par exemple, pas de problème en 7eme colonne : 2g3 / 6g3-6g4)