"Weekly unsolvable" AS#38

Bonjour à tous,

la grille d'Andrew Stuart de cette semaine est un tout petit moins dure que celle de la semaine précédente, mais bon... il faut mouliner des dérivés ternaires pour en venir à bout !

000 020 070
050 097 000
607 300 200

400 000 005
016 000 320
700 000 006

002 009 403
000 470 010
080 050 000

Source : http://www.sudokuwiki.org/Weekly_Sudoku.asp

Cordialement.
Cenoman

Bonjour à tous,

Voici la solution que j'avais en vue.


La grille se bloque très vite, après deux OU :

_ | a_____ b____ c_____ | d______ e_____ f______ | g_____ h_____ i____ |
1 | 3s8w9_ 3t4C9 1A389_ | 15u68__ ______ 14c56x8 | 5f6B89 ______ 1I89_ |
2 | ______ _____ 1a8A__ | 1A6B8__ ______ _______ | 6b8B__ ______ _____ |
3 | ______ 4c9C_ ______ | _______ 14E8__ 145f8__ | ______ 5F89__ 1i89_ |

4 | ______ 2k39_ 389___ | 1267g89 13m6v8 1268___ | 1j7G89 8d9D__ _____ |
5 | 5o8W9_ _____ ______ | 57G89__ 4e8E__ 4E58___ | ______ ______ 7g89_ |
6 | ______ 2K39_ 35O89_ | 12589__ 13M8__ 1258___ | 1J89__ ______ _____ |

7 | 1f5F__ _____ ______ | 168____ 16V8__ _______ | ______ 5f6H8p _____ |
8 | 359___ _____ 3s5o9y | _______ ______ 2l3n8p_ | 5F89__ ______ 2L89_ |
9 | 1F3n9q _____ ______ | 12r6___ ______ 123N6__ | 7g9G__ 6h9H__ 2l7G9 |

5f6/f(5Kf)-F/o(5Ka)-O/5f6(5R5) =>OU{f-O} 5f6=Faux

6f9/h(6L9)-H/f(h7)-F/n(a9)-N/6f9(f9) =>OU{h-N} 6f9=Faux


On peut la débloquer avec les conflits dérivés ternaires et quatre interdits ternaires :

_ | a_____ b____ c_____ | d______ e_____ f______ | g_____ h_____ i____ |
1 | 3s8w9_ 3t4C9 1A389_ | 15u68__ ______ 14c56x8 | 5f6B89 ______ 1I89_ |
2 | ______ _____ 1a8A__ | 1A6B8__ ______ _______ | 6b8B__ ______ _____ |
3 | ______ 4c9C_ ______ | _______ 14E8__ 145f8__ | ______ 5F89__ 1i89_ |

4 | ______ 2k39_ 389___ | 1267g89 13m6v8 126X8__ | 1j7G89 8d9D__ _____ |
5 | 5o8W9_ _____ ______ | 57G89__ 4e8E__ 4E5u8__ | ______ ______ 7g89_ |
6 | ______ 2K39_ 35O89_ | 125o89_ 13M8__ 128____ | 1J89__ ______ _____ |

7 | 1f5F__ _____ ______ | 168____ 16V8__ _______ | ______ 5f6H8p _____ |
8 | 359___ _____ 3s5o9y | _______ ______ 2l3n8p_ | 5F89__ ______ 2L89_ |
9 | 1F3n9q _____ ______ | 12r6H__ ______ 123N___ | 7g9G__ 6h9H__ 2l7G9 |

DERIVE TERNAIRE (A-8d2-B)+A/o+B/o=>!8d2/o
A/w(8R1)-W/o(a5)=A/o
B/f(g1)-F/o(5Ka)=B/o

DERIVE TERNAIRE (c-E-4f3)+c/8e7+E/8e7=>!4f3/8e7
c/x(f1)-X/v(6L4)-V/8e7(e7)=c/8e7
E/8e7(8Ke)

INTERDIT TERNAIRE (8d7-8e7-p)/o=>-5a5, -5d6, -5c8
8d7/8d2(8Kd)-!8d2/o(DT)
8e7/!4f3(DT)-4f3/f(f3)-F/o(5Ka)
p/f(h7)-F/o(5Ka)
-------------------------
DERIVE TERNAIRE (A-8d2-B)+A/1d9+B/1d9=>!8d2/1d9
A/1d9(1Kd)
B/f(g1)-F/1d9(1R8)=B/1d9

INTERDIT TERNAIRE (8d7-8e7-p)/1d9=>-1d9
8d7/8d2(8Kd)-!8d2/1d9(DT)
8e7/!4f3(DT)-4f3/f(f3)-F/1d9(1R8)
p/f(h7)-F/1d9(1R8)
-----------------
DERIVE TERNAIRE (k-2d4-2f4)+2d4/H+2f4/H=>K/H
2d4/g(d4)-G/H(9L9)=2d4/H
2f4/R(2R5)-r/H(d9)=2f4/H

INTERDIT TERNAIRE (K-3b6-9b6)/H=>-9h9, -6d9, -6h7
K/H(DT)
3b6/M(3R4)-m/v(e4)-V/H(6R8)
9b6/C(9Kb)-c/x(f1)-X/H(6Kd)
-----------------
DERIVE TERNAIRE (E-u-8f5)+E/9h3+u/9h3=>!8f5/9h3
E/c(4L3)-C/9h3(9L3)=E/9h3
u/f(5R2)-F/9h3(h3)=u/9h3

DERIVE TERNAIRE (8d7-8e7-p)+8e7/9h3+p/9h3=>!8d7/9h3
8e7/V(e7)-v/X(6L4)-x/c(f1)-C/9h3(9L3)=8e7/9h3
p/f(h7)-F/9h3(h3)=p/9h3

INTERDIT TERNAIRE (A-B-8d2)/9h3=>-9h3
A/w(8R1)-W/8f5(8L5)-!8f5/9h3(DT)
B/f(g1)-F/9h3(h3)
8d2/8d7(8Kd)-!8d7/9h3(DT)


La fin est obtenue en marquage simple (un OU simple, un interdit et un OU mixte)

_ | a____ b_____ c_____ | d______ e_____ f______ | g______ h___ i____ |
1 | 3s8T9 3t4C9_ 138t9s | 15u68__ ______ 14c56x8 | 5f6B89C ____ 189__ |
2 | _____ ______ 1a8A__ | 16B8b__ ______ _______ | 6b8B___ ____ _____ |
3 | _____ 4c9C__ ______ | _______ 148___ 14C5f8B | _______ 5F8f 18C9c |

4 | _____ 2k3K__ 3t8T__ | 167C8__ 13m6v8 12K6X8_ | 1j7c8__ ____ _____ |
5 | 8t9T_ ______ ______ | 5U7c89t 4e8E__ 45u8___ | _______ ____ 7C8c_ |
6 | _____ 2K3m9t ______ | 189T___ 13M8__ 12k8___ | 1J8j___ ____ _____ |

7 | 1f5F_ ______ ______ | 1F6v8__ 16V8á_ _______ | _______ 5f8F _____ |
8 | 35f9s ______ 3s9S__ | _______ ______ 3f8F___ | 5F8f___ ____ _____ |
9 | 1F3f_ ______ ______ | _______ ______ 1f3F___ | 7C9c___ ____ 7c9C_ |


OU simple s/T(a1)-t/s(3L1) =>s=Faux (-3a1, -3c8)

f/g(g1)-G/U(d5)-u/f(5L1) =>INTERDIT f=Faux (h3=5, a7=5,h7=8, f8=8, g8=5, a9=1, f9=3, -5g1, -5f3, ...)

9a1/T(a1)-t/G(d5)-g/c(9Ki)-C/9a1(9R1) =>OU{T-C} 9a1=Faux

Le coup de grâce est donné par un gratte-ciel :

_ | a_ b_ c_ | d__ e__ f___ | g_ h_ i__ |
1 | __ 49 __ | 156 ___ 1456 | 69 __ 19_ |
2 | __ __ __ | 68_ ___ ____ | 68 __ ___ |
3 | __ 49 __ | ___ 148 14__ | __ __ 189 |

4 | __ 23 __ | 167 136 126_ | 17 __ ___ |
5 | __ __ __ | 578 48_ 45__ | __ __ 78_ |
6 | __ 23 __ | ___ 138 12__ | 18 __ ___ |

7 | __ __ __ | 16_ 16_ ____ | __ __ ___ |
8 | __ __ __ | ___ ___ ____ | __ __ ___ |
9 | __ __ __ | ___ ___ ____ | 79 __ 79_ |

Gratte-ciel 8d2-8g2/8g6-8e6 =>-8e3-8d5 et fin.

NB : une autre solution par JC Van Hay sur le site d'Andrew Stewart.

Cordialement
Cenoman.

Bonjour Cenoman,

C'est un véritable festival de dérivés ternaires.
Mon moulin a chauffé à blanc (18 tours dont 5 doubles XX avec dérivés).
Je suis content d'être arrivé au bout.
Ma solution n'est certainement pas la plus courte
Merci pour cette très belle grille qui m'a réconforté dans ma technique.

André
---------------------------------------------------------------------------
X(1)
OU(dl)=>-5f6
OU(Hq)=>-6f9

XX(2)
Interdit de dérivés ternaires
òÚ út Tò ò faux -3c6
-------
òÚ=>Ternaire{1B 6c 8ú}
ùt()
Tò=>Ternaire{1à 6ü 8t}
------
XX(3)
Interdit de dérivés ternaires
âS sd Dâ â faux -8f1
------
âS =>Ternaire{4A 4F 4s}
sd()
Dâ=>Ternaire{5d 6Q 8v}
------
XX(4)
Interdit de dérivés ternaires
û faux 4A 4F 4s

XX(5)
Interdit de dérivés ternaires
w faux 8t 8u 8v

X(7)
Interdit de ternaire
â faux 5ö 5ï 5d

XX(8)
Interdit de dérivés ternaires
L faux 1B 6c 8W

X(9)
Interdit de ternaire
x faux 8j 8û 8B

X(10)
Interdit de ternaire
d faux 9j 9ô 9í
h faux 9j 9ô 9í

X(11)
Interdit de dérivés ternaires
íe Ei Ií í faux

X(12)
Interdits
õj JE eõ õ faux
uw Wi Iu u faux

X(13)
Interdit
le Ei Il l faux

X(14)
Interdit
ök Ki Iö ö faux

X(15)
Interdits de ternaires
ó faux 1B 6c 8W
ñ faux 3v 8j 9y
y faux 2K 3m 9v

X(16)
Interdits
BS sA aJ jB B faux
ãw WA aJ jã ã faux

X(17)
Interdit
iC ci i faux

X(18)
Interdit
En NE E faux

FIN