Tough du 25 avril 2013

Bonjour abi, bonjour à tous,

La tough du 25 avril 2013 a dû te plaire, abi. Je ne résiste pas au plaisir de reproduire ici la belle solution par RI donnée par Alfred sur le site australien.

La grille de départ :

000 970 005
065 002 000
020 004 000

000 000 150
800 000 009
057 000 000

000 300 060
000 500 280
100 087 000

http://www.sudoku.com.au/5V25-4-2013-sudoku.aspx

Après les techniques de bases, on obtient le tableau suivant :


_ | a____ b___ c___ | d___ e___ f____ | g____ h____ i_____ |
1 | 34___ 1348 1348 | ____ ____ 1368_ | 3468_ _____ ______ |
2 | 3479_ ____ ____ | 18__ 13__ _____ | 34789 13479 3478__ |
3 | 379__ ____ 1389 | 168_ ____ _____ | 36789 1379_ 3678__ |

4 | 23469 349_ 3469 | 4678 369_ 3689_ | _____ _____ 234678 |
5 | _____ 134_ 1346 | 2467 236_ _____ | 3467_ 347__ ______ |
6 | 23469 ____ ____ | 1468 1369 13689 | 3468_ 34___ 23468_ |

7 | _____ 4789 2489 | ____ 1249 19___ | 479__ _____ 147___ |
8 | 3469_ 3479 3469 | ____ 1469 169__ | _____ _____ 1347__ |
9 | _____ 349_ 26__ | 26__ ____ _____ | _____ 349__ 34____ |

Si on a bien vu le "X-wing" des [2] en ai46, et les groupes jumeaux de [6] dans les régions 4 et 6 (i.e. 6a46-6c45 et 6i46-6g56) on en déduit qu'il faut avoir 6c45 OU 6g56, pour éviter le RI 26ai46.

D'où la chaîne d'interdit :
6f1-6g1/6g56-6c45(RI 26ai46)/6c9-6d9 =>-6d3 et fin.

En marquage on trouve un interdit quaternaire équivalent :

INTERDIT QUATERNAIRE 6cdeg5 =>6d3=Faux
6c5/6c9-6d9/6d3
6d5/6d3
6e5/2e5-2d5/2d9-6d9/6d3
6g5/6g1-6f1/6d3

Cordialement.
Cenoman

Bonsoir Cenoman,

Oui, on voit aussi x-wing 2ai46 et 6a468 i346 => RI 26ai46 -> 6i3/6a8:

*(RI 26ai46)6i3-6a8 / 6c9-6d9 -> -6d3 et fin.


J'ai vaguement regardé (ce qui est extrêmement idiot quand on sait que l'on n'aura pas le temps de chercher quelque chose de joli!) l'AS#105 et trouvé cette solution:

*Als dh1(3d1-)*1d1->"xyw 346h19g3:-4g8"->"5b42 h26:-5c6"->contradiction ET *3h1->"3ea3 b29:-3e9"->8/9i7(->xw1cg47->"5b42 h26:-5c6")-> contradiction=>3d1 et fin.

(ou décomposée en 3 étapes : -1d1 <-> -8i7 puis -3h1)

Peut-être trouverez-vous, ton assistant et toi, une belle solution....

Amicalement

Sophie

PS- Piègée par le fameux "OU/ET...ambigu"
Als dh1: (3d1-)->1d1 OU 3h1...et l'analyse prouve: *Als dh1(3d1-)*1d1->contradiction ET(+) *3h1 (&8/9i7)->contradiction => 3d1 et fin.

(ou alors: *Als dh1 (3d1-)->1d1 OU 3h1=> *(Als dh1):(31d1-) *3h1 (&8/9i7) -> contradiction OU *1d1-> contradiction => 3d1 et fin.)
(ou: *(3d1-)1d1-> contradiction ou 6d1->3h1(&8/9i7)-> contradiction=>3d1 et fin.)

Bonsoir Cenoman, bonsoir à tous,

Juste pour le fun, je donne les 3 étapes dont je parlais plus haut, pas très jolies...et qui mériteraient d'être re-travaillées!
(je me rends compte que cette démo ne devrait pas se trouver ici (tough du 25)...pas d'importance...)

Als e123 df2 d1:

9e13__6d1
______6h1_3h1
__________3g3_"3ae3 eab9"
9i7__________________3a7_8i7 (als acgi7)
9e1___1d1___________________19ab1
_________________________8i4______8a4
______________________________2a1_2a4_2a9
__________3a1________3a7______________3a9_3a3
__________________________________________3b12_3b9
479e139___3e1_________________________2e9_3e3__3e9

-> -9e7 => 9i7, 8h8, -5g346


(on peut, si on veut, raccourcir... "9e7 faux (8/9 cps)" avec une impossibilité sur les 3 )


Que l'on peut aussi présenter :

Als e123 df2 d1:

9e13__6d1
______6h1_3h1
__________3g3_"3ae3 eab9"
9i7__________________3a7_8i7 (als acgi7)
9e1___1d1___________________19ab1
_________________________8i4______8a4
_____________________3a7_____23a1_8a6_3a3 (als)
______________________________2a1_2a4_3b12_32ba9
479e139___3e1_________________________3e3__32e9

-> -9e7 => 9i7, 8h8, -5g346


6d1_6f3
1f2_____4f2
____6g3____436g3h19 (xyw)
_______4f8____4g8___4e8
____________________2e8_2b8
________________________5b8_"5b42 h25"
_________________________________5c6_6c6
________________________2b124________6b5_3b12 (als b1245)
_____________________________________6g6______3g6
____6gi3__________________________________3a3__3g3_9a3 (als acgi3)
__________________________________________________9a6__946h569
123abh1___________________________________________9a12__6h1

-> -1d1 => 36dh1, -1bc2


6f3_6d1
___6d8_1d8
___6d7_1d7_38de7
RI_3d1_____38de2_3e3
_______1g8__________1cg47
___________3a7______1a7___5a7
__________________________5b8_"5b42 h25"
___________________________________5c6_6c6
____________6d7________________________6c7_6g7
49ag3____________3ag3_____5a3______________6g3

-> -49f3 et fin.

Amicalement,

Sophie

-qq coquilles...
Suppression d'autres coquilles...il y a un nid!
Défaut d'alignement rectifié!
Un commentaire...
Et....un raton laveur!!!