Bonjour André, bonjour à tous,
Impressionnante cette grille, au premier abord. Il faut l'attaquer d'emblée à l'arme lourde des dérivés ternaires.
_ | a______ b______ c_________ | d___ e___ f________ | g_____ h________ i_____ |
1 | 4a7A___ 1b2B___ __________ | ____ ____ 147a_____ | 2b3c4_ _________ 1c3C__ |
2 | _______ 1269___ 1w2y4á67a9 | 146ç 147r 14678t___ | 248___ 1x2z4â89v ______ |
3 | 469____ 169____ __________ | ____ ____ 146p8T___ | 4d8D__ _________ 189V__ |
4 | 459____ 135ã9__ 1349______ | ____ ____ 1h2j4m7r9 | 2z35æ7 2359_____ 37S9__ |
5 | _______ 1368u9_ 1369______ | 1e3E 17R9 _________ | 36q7r8 389______ ______ |
6 | 45o68U9 _______ 3469______ | 3e4E 2f49 249______ | ______ 2j35O89__ 36Q89_ |
7 | 567a8u_ _______ 2k3l67____ | 15ä6 1f2F 126______ | ______ 1358_____ 1367s8 |
8 | _______ 568U9__ 67s9______ | 45Ä6 4g9G _________ | 4567S8 458______ ______ |
9 | 569____ 2y3à569 2369______ | ____ ____ 1i2k4n69g | 3456__ 1345_____ 136___ |
Trois dérivés ternaires vont être utiles pour la suite :
1) DERIVE TERNAIRE (4h8-5h8-8h8)+5h8/a+8h8/a=>!4h8/a
{5h8/O(5Kh)-o/U(a6)-u/a(a7)=5h8/a
{8h8/U(8R9)-u/a(a7)=8h8/a
2) DERIVE TERNAIRE (a-4f1-4g1)+a/7f2+4g1/7f2=>!4f1/7f2
{a/7f2(7Kf)
{4g1/d(4Kg)-D/T(8R3)-t/7f2(f2)=4g1/7f2
3)DERIVE TERNAIRE (8i3-8i6-8i7)+8i6/r+8i7/r=>!8i3/r
{8i6/Q(i6)-q/r(g5)=8i6/r
{8i7/s(i7)-S/r(7L4)=8i7/r
Ces trois dérivés ternaires vont être utilisés dans trois interdits sur le ternaire des [7] ligne 2 : 7cef2
4) INTERDIT TERNAIRE (a-r-7f2)/m=>-4f4
{a/!4h8(DT)-4h8/N(4R9)-n/m(4Kf)
{r/m(f4)
{7f2/!4f1(DT)-4f1/m(4Kf)
5) INTERDIT TERNAIRE (a-r-7f2)/4f3=>-4f3
{a/!4h8(DT)-4h8/N(4R9)-n/4f3(4Kf)
{r/!8i3(DT)-8i3/D(8L3)-d/4f3(4L3)
{7f2/t(f2)-T/4f3(f3)
6) INTERDIT TERNAIRE (a-r-7f2)/4a3=>-4a3
{a/4a3(4Ka)
{r/!8i3(DT)-8i3/D(8L3)-d/4a3(4L3)
{7f2/t(f2)-T/D(8R3)-d/4a3(4L3)
Ces trois éliminations débloquent la situation. La grille se termine ensuite en marquage simple :
_ | a_____ b______ c_____ | d___ e___ f________ | g_____ h______ i_____ |
1 | 4a7A__ 1b2B___ ______ | ____ ____ 4A7a_____ | 2b3B__ _______ 1B3b__ |
2 | ______ 12b6p9V 4A7a__ | 146ç 147r 14678t___ | 2ë8Ë__ 1x2z89v ______ |
3 | 6ì9Ì__ 169____ ______ | ____ ____ 1í6p8T___ | ______ _______ 18t9V_ |
4 | 4A59__ 35ã9___ 1H34a9 | ____ ____ 1h2j7r9__ | 2z35æ7 2359___ 37S9__ |
5 | ______ 368u9__ 1h369_ | 1e3E 17R9 _________ | 36q7r8 389____ ______ |
6 | 5o68U9 _______ 369___ | 3e4E 2f49 249______ | ______ 2j35O89 36Q89_ |
7 | 567a8u _______ 2k3l67 | 15ä6 1f2F 126______ | ______ 1358___ 1367s8 |
8 | ______ 568U9__ 67s9__ | 45Ä6 4g9G _________ | 567S8_ 4n58___ ______ |
9 | 569___ 3à569__ 2K369_ | ____ ____ 1i2k4n69g | 356___ 134N5__ 136___ |
On a un premier interdit :
7) x/B(1R3)-b/V(b2)-v/x(h2) =>x=Faux (-1h2, -1i79, fh9=14, c9=2, e8=9, -9a46, -9b45)
_ | a_____ b_______ c_____ | d_____ e____ f_______ | g_____ h______ i_____ |
1 | 4a7A__ 1b2B____ ______ | ______ _____ 4A7a____ | 2b3B__ _______ 1B3b__ |
2 | ______ 1í2b6p9V 4A7a__ | 146ç__ 14f7r 14678t__ | 2ë8Ë__ 2z89v__ ______ |
3 | 6ì9Ì__ 169_____ ______ | ______ _____ 1í6p8T__ | ______ _______ 1b8t9V |
4 | 4A5a__ 3Ã5ã____ 1H34a9 | ______ _____ 1h2j7r9ó | 2z35æ7 2359___ 37S9__ |
5 | ______ 368u____ 1h369ò | 1e3E__ 1r7R_ ________ | 36q7r8 389Ò___ ______ |
6 | 5o68U_ ________ 369___ | 3e4E__ 2f4F_ 249Ó____ | ______ 2j35O89 36Q89_ |
7 | 567a8u ________ 3l67__ | 15ä6__ 1f2F_ 12f6ç___ | ______ 1i3Ê58_ 367s8_ |
8 | ______ 568U____ 6S7s__ | 4i5Ä6ô _____ ________ | 567S8_ 4I58___ ______ |
9 | 569ì__ 3L569Ì__ ______ | ______ _____ 1i4I____ | 35É6__ 1I4i___ 3ñ6Ñ__ |
On poursuit avec un autre interdit et trois OU :
8) ô/S(6L8)-s/a(7Kc)-A/I(4Kf)-i/ô(d8) =>ô=Faux (-6d8)
9) A/I(4Kf)-i/Ä(d8)=>A/Ä =>-5a7 (ni a=5a4, ni ä=5d7)
10) ã/a(5L4)-A/f(4R2)-F/E(4L6) =>-3c6 (ni Ã=3b4, ni e=3d6)
11) o/a(5Ka)-A/f(4R2)-F/E(4L6) =>-3h6 (ni O=5h6, ni e=3d6)
_ | a_ b__ c_ | d_ e_ f_ | g__ h___ i_ |
1 | __ 12_ __ | __ __ __ | 23_ ____ 13 |
2 | __ 29_ __ | __ __ __ | 28_ 289_ __ |
3 | 69 169 __ | __ __ __ | ___ ____ 19 |
4 | __ 35_ __ | __ __ 29 | 257 2359 79 |
5 | __ ___ 39 | __ __ __ | ___ 39__ __ |
6 | 56 ___ 69 | __ __ 29 | ___ 259_ __ |
7 | __ ___ 37 | __ __ __ | ___ ____ 37 |
8 | __ 56_ 67 | __ __ __ | 578 58__ __ |
9 | 59 359 __ | __ __ __ | 35_ ____ __ |
L'ultime étape est un XY-Wing
12) 69a3/95a9/56b8 =>-6b3 et fin.
Inutile de préciser que je n'ai pas trouvé cela "manuellement"...
Cordialement
Cenoman.