"Weekly unsolvable" AS#41

Bonjour à tous,

La grille "infaisable de la semaine" d'Andrew Stuart (avec la bonne écriture de son nom, à partir de maintenant...) AS#41 est plus abordable que celle de la semaine dernière.
http://www.sudokuwiki.org/Weekly_Sudoku.asp


Je donne la grille et sa solution en marquage avec dérivés ternaires. C'est l'outil indispensable pour ce genre de grille (je parle du marquage... mais je n'oublie pas les solutions d'abi !!!)

100 060 009
080 005 000
002 000 060

003 006 102
000 012 000
500 900 300

010 000 800
000 800 070
700 040 003



I - Première étape : quatre interdits ternaires


_ | a______ b_____ c_____ | d______ e_____ f_______ | g_____ h______ i______ |
1 | _______ 345___ 45x7z_ | 2g47___ ______ 3478o___ | 2457__ 23w458O _______ |
2 | 346k9__ ______ 46K7Z9 | 1e247__ 2u379q ________ | 247___ 1F23W4_ 147____ |
3 | 349____ 345j9_ ______ | 147____ 378á9_ 1s34789â | 457___ _______ 1e4578o |

4 | 4ä8P9r_ ______ ______ | 4a5A___ 5a8A__ ________ | ______ 489R___ _______ |
5 | 468p9__ 46y9__ 469___ | _______ ______ ________ | 457n9ã 4589___ 457N8O_ |
6 | _______ ______ ______ | _______ 7b8B__ 4A7B8á__ | ______ 4a8A___ _______ |

7 | 2t3i469 ______ 4569__ | 256l7à_ 23579_ 379_____ | ______ 2459___ 4c5C___ |
8 | 2T3469_ 3v4569 4569__ | _______ 2359__ 1f39____ | 2456m9 _______ 1F45___ |
9 | _______ 569___ ______ | 1s2h56L ______ 1d9D____ | 256M9_ 1f259__ _______ |



INTERDIT TERNAIRE (A-5d7-5d9)/7e23=>-7e23
A/B(f6)-b/7e23(7Ke)
5d7/à(d7)-À/7e23(7R2)
5d9/L(d9)-l/à(d7)-À/7e23(7R2)
----------------------------
DERIVE TERNAIRE (5g5-5h5-5i5)+5g5/ã+5i5/ã=>!5h5/ã
5g5/ã(g5)
5i5/N(i5)-n/ã(g5)=5i5/ã

DERIVE TERNAIRE (5b9-6b9-9b9)+5b9/5h1+9b9/5h1=>!6b9/5h1
5b9/X(5R7)-x/5h1(5L1)=5b9/5h1
9b9/D(9L9)-d/f(1Kf)-F/W(h2)-w/5h1(h1)=9b9/5h1

INTERDIT TERNAIRE (ã-9g8-9g9)/5h1=>-5h1
ã/!5h5(DT)-5h5/5h1(5Kh)
9g8/m(g8)-M/6b9(6R7)-!6b9/5h1(DT)
9g9/D(9L9)-d/f(1Kf)-F/W(h2)-w/5h1(h1)
-------------------------------------
DERIVE TERNAIRE (7i2-7i3-N)+7i3/4i5+N/4i5=>!7i2/4i5
7i3/o(i3)-O/4i5(i5)=7i3/4i5
N/4i5(i5)

DERIVE TERNAIRE (a-5e7-5e8)+a/4i5+5e7/4i5=>!5e8/4i5
a/4i5(4R6)
5e7/C(5L7)-c/4i5(4Ki)=5e7/4i5

INTERDIT TERNAIRE (x-5c7-5c8)/4i5=>-4i5
x/z(c1)-Z/7i2(7L2)-!7i2/4i5(DT)
5c7/C(5L7)-c/4i5(4Ki)
5c8/5e8(5L8)-!5e8/4i5(DT)
-------------------------
DERIVE TERNAIRE (A-5d7-5d9)+5d7/h+5d9/h=>a/h
5d7/l(d7)-L/h(d9)=5d7/h
5d9/h(d9)

DERIVE TERNAIRE (ã-9g8-9g9)+ã/O+9g9/O=>!9g8/O
ã/n(g5)-N/O(i5)=ã/O
9g9/D(9L9)-d/f(1Kf)-F/W(h2)-w/O(h1)=9g9/O

INTERDIT TERNAIRE (h-2g9-2h9)/O=>-8h1, -8i5, -8ef3
h/a(DT)-A/O(8Kh)
2g9/M(g9)-m/9g8(g8)-!9g8/O(DT)
2h9/f(h9)-F/W(h2)-w/O(h1)

II - Deuxième étape : encore quatre interdits ternaires, n'utilisant que deux ternaires (7dfg3) et (5bdh9)


_ | a______ b_____ c_____ | d______ e_____ f_________ | g_____ h_____ i_____ |
1 | _______ 3W45__ 45x7z_ | 2g47___ ______ __________ | 245j7_ 23w4__ ______ |
2 | 346k9__ ______ 46K7Z9 | 247____ 2u3æ9q __________ | 247___ 1F23W4 1f4í7n |
3 | 349____ 345j9_ ______ | 1S47___ 3ë9Ë__ 1s3Ê4a7à9â | 45J7ì_ ______ ______ |

4 | 4ä8P9r_ ______ ______ | 4a5A___ 5a8A__ __________ | ______ 489R__ ______ |
5 | 468p9__ 46y9__ 469___ | _______ ______ __________ | 4î7n9ã 45N8P9 5n7N__ |
6 | _______ ______ ______ | _______ 7A8a__ 4A7a______ | ______ 4a8A__ ______ |

7 | 2t3i469 ______ 4569__ | 256l7à_ 2357a9 379_______ | ______ 2459__ 4c5C__ |
8 | 2T3469_ 3v4569 4569__ | _______ 2359__ 1f39______ | 246m9_ ______ 1F45__ |
9 | _______ 569___ ______ | 1s2h56L ______ 1d9D______ | 26M9__ 1f259_ ______ |


INTERDIT TERNAIRE (7d3-à-ì)/P=>-8h5, -8a4
7d3/S(d3)-s/a(f3)-A/P(8L4)
à/a(f3)-A/P(8L4)
ì/n(7Kg)-N/P(h5)
------------------
DERIVE TERNAIRE (5b9-5d9-5h9)+5b9/ì+5h9/ì=>!5d9/ì
5b9/j(5Kb)-J/ì(g3)=5b9/ì
5h9/N(5Kh)-n/ì(7Kg)=5h9/ì

INTERDIT TERNAIRE (7d3-à-ì)/(â+Ê)=>-39f3, -39(e7+e8)
7d3/S(d3)-s/(â+Ê)(f3)
à/(â+Ê)(f3)
ì/!5d9(DT)-5d9/A(5Kd)-a/(â+Ê)(f3)
----------------------------
DERIVE TERNAIRE (5b9-5d9-5h9)+5b9/7g2+5h9/7g2=>!5d9/7g2
5b9/X(5R7)-x/z(c1)-Z/7g2(7L2)=5b9/7g2
5h9/N(5Kh)-n/7g2(7Kg)=5h9/7g2

INTERDIT TERNAIRE (7d3-à-ì)/7g2=>-7g2
7d3/S(d3)-s/5d9(d9)-!5d9/7g2(DT)
à/l(d7)-L/5d9(d9)-!5d9/7g2(DT)
ì/7g2(7Kg)
----------------------------
DERIVE TERNAIRE (5b9-5d9-5h9)+5b9/5h7+5h9/5h7=>!5d9/5h7
5b9/X(5R7)-x/z(c1)-Z/n(7L2)-N/5h7(5Kh)=5b9/5h7
5h9/5h7(5Kh)

INTERDIT TERNAIRE (7d3-à-ì)/5h7=>-5h7
7d3/S(d3)-s/5d9(d9)-!5d9/5h7(DT)
à/l(d7)-L/5d9(d9)-!5d9/5h7(DT)
ì/n(7Kg)-N/5h7(5Kh)



III - Etapes finales de marquage simple


_ | a______ b_____ c____ | d_____ e____ f_____ | g____ h____ i____ |
1 | _______ 3G45__ 45x7g | 2g4ï7_ _____ ______ | 5j7J_ 2G3g_ _____ |
2 | 36k9___ ______ 6K7G9 | 2G7g__ 3Q9q_ ______ | 2F4f_ 1F23G 1f4F_ |
3 | 349____ 345j9_ _____ | 1S47__ 3q9Q_ 1s4a7à | 5J7j_ _____ _____ |

4 | 4R9r___ ______ _____ | 4a5A__ 5a8A_ ______ | _____ 48a9R _____ |
5 | _______ 46y9__ 46Y9_ | ______ _____ ______ | 4R9r_ _____ _____ |
6 | _______ ______ _____ | ______ 7A8a_ 4A7a__ | _____ 4a8A_ _____ |

7 | 2t3i469 ______ 4569_ | 56l7à_ 2T57a 3I79__ | _____ 4R9r_ 4c5C_ |
8 | 2T3469_ 3v4569 4569_ | ______ 2t5T_ 1f3i9_ | 46m9_ _____ 1F45c |
9 | _______ 5ñ69__ _____ | 1s5Ñ6L _____ 1d9D__ | 2f6M9 1f2F_ _____ |


5b1/j(5L1)-J/g(7L1)-G/5b1(b1) =>INTERDIT 5b1=Faux

3b3/j(b3)-J/g(7L1)-G/3b3(3Kb) =>INTERDIT 3b3=Faux

s/Ñ(d9)-ñ/j(5Kb)-J/g(7L1)-G/F(h2)-f/s(1L9) =>INTERDIT s=Faux -1d9

R/f(4Kg)-F/G(h2)-g/x(c1)-X/ñ(5R7)-Ñ/A(5Kd)-a/R(h4) =>INTERDIT R=Faux -4g5


_ | a____ b_____ c____ | d____ e____ f___ | g___ h____ i____ |
1 | _____ 3A4a__ 5A7a_ | 2a4A_ _____ ____ | 5a7A 2A3a_ _____ |
2 | _____ ______ 7A9a_ | 2A7a_ 3a9A_ ____ | 2d4D 1d23A 1D4d_ |
3 | 3a4A_ 5a9A__ _____ | _____ 3A9a_ 4a7A | 5A7a _____ _____ |

4 | _____ ______ _____ | 4a5A_ 5a8A_ ____ | ____ 4A8a_ _____ |
5 | _____ 4Y6y__ 4y6Y_ | _____ _____ ____ | ____ _____ _____ |
6 | _____ ______ _____ | _____ 7A8a_ 4A7a | ____ 4a8A_ _____ |

7 | 2t4T_ ______ 456L_ | 56l7A 2T57a ____ | ____ _____ 4c5C_ |
8 | 2T3A4 3a4569 4569A | _____ 2t5T_ 1D9d | 4d6D _____ 1d45c |
9 | _____ 5L69d_ _____ | 5l6L_ _____ 1d9D | 2D6d 1D2d_ _____ |


T/A(a8)-a/T(e7) =>INTERDIT T=Faux -2e7, -2a8, -4a7

Y/a(4Kb)-A/l(d7)-L/Y(6Kc) =>INTERDIT Y=Faux b5=6, c5=4 FIN.

Cordialement.
Cenoman