Tough du 4 février 2012

Bonjour à tous,

j'avais gardé au chaud la "tough" du 04 février 2012. Elle est à peu près du même niveau que celle du 02 février.


000 009 000
082 100 000
060 040 700

100 300 200
050 080 030
003 005 007

001 060 080
000 007 560
000 200 000

http://www.sudoku.com.au/5V4-2-2012-sudoku.aspx

Cordialement
Cenoman

Bonjour à tous,

voilà la solution que j'avais trouvée pour cette grille. Du marquage simple enchaînant pas mal de OU, jusqu'à une position où apparaissent deux ternaires tueurs.

D'abord un interdit et un OU :

_ | a_______ b_____ c______ | d______ e_____ f___ | g_____ h_____ i_______ |
1 | 3457____ ______ 4x57v__ | 56a7e8p 2D3w57 ____ | 3468Q_ 2d45__ 34568___ |
2 | 34j57n9r ______ _______ | _______ 357N__ 3a6A | 3469__ 459___ 34569___ |
3 | 3i59____ ______ 5b9B___ | 5c8C___ ______ 2d8D | ______ 1f2D59 1F3I58p9 |

4 | ________ 47o9__ 4678q9_ | _______ 7e9E__ 4A6a | ______ 45k9__ 45K68Q9_ |
5 | 2d4679__ ______ 4679___ | 467E9__ ______ 1d2D | 1469__ ______ 1469____ |
6 | 2468Q9__ 2t49__ _______ | 469____ 1D2d__ ____ | 1468q9 1F49__ ________ |

7 | 245l7o9_ 2347O9 _______ | 45L9___ ______ 3A4a | 349___ ______ 2h349___ |
8 | 2489____ 2349__ 489____ | 4y8D9__ 1g39__ ____ | ______ ______ 1G2H349_ |
9 | 456m89__ 349___ 45u6M89 | _______ 135l9_ 1D8d | 1s349_ ______ 1349____ |


D/f(h3)-F/D(1L6) =>INTERDIT D=Faux (a5=2, e6=2, f3=2, f5=1, f9=8, h1=2, ...)

4d5/E(d5)-e/a(d1)-A/4d5(4R5) =>OU{E-A} 4d5=Faux

Ensuite on enchaîne quatre OU :

_ | a_______ b______ c_____ | d______ e______ f___ | g______ h___ i_______ |
1 | 3457____ _______ 4x57o_ | 56a7e8c 3w57___ ____ | 3468Q__ ____ 34568___ |
2 | 34j57n9r _______ ______ | _______ 357N___ 3a6A | 3469___ 4â59 34569___ |
3 | 3i59____ _______ 5b9B__ | 5c8C___ _______ ____ | _______ 1f59 1F3I58c9 |

4 | ________ 47o9___ 4678q9 | _______ 7e9E___ 4A6a | _______ 45k9 45K68Q9_ |
5 | ________ _______ 4ê67e9 | 67E9___ _______ ____ | 469____ ____ 469_____ |
6 | 46M8Q9__ 4é9É___ ______ | 4a69___ _______ ____ | 1f468q9 1F49 ________ |

7 | 45l7o9__ 2H347O9 ______ | 45L9___ _______ 3A4a | 349____ ____ 2h349___ |
8 | 48q9____ 2h3H___ 48Q9__ | 4y9Y___ 1g3G___ ____ | _______ ____ 1G2H3___ |
9 | 456m9___ 349____ 45u6M9 | _______ 1G35l9e ____ | 1F349__ ____ 1349____ |

4c4/A(4L4)-a/y(4R8)-Y/Á(4R7)-á/4c4(4R4) =>OU{A-á} 4c4=Faux

4hi4/A(4L4)-a/y(4R8)-Y/Á(4R7)-á/ê(4R4)-Ê/4hi4(4R6) =>OU{A-Ê} 4hi4=Faux Conséquence : 4b4=a

On en déduit un nouveau OU :

3b7/O(b7)-o/a(b4)-A/3b7(3L7) =>OU{O-A} 3b7=Faux Conséquence : 3b9=h

Nouvelle déduction d'un OU (en prolongeant la chaîne précédente)

3e9/A(3R8)-a/o(b4)-O/H(b7)-h/3e9(3L9) =>OU{A-h} 3e9=Faux Conséquence : FUSION G=a


On débloque la grille avec deux interdits ternaires :

_ | a_______ b_____ c_____ | d______ e_____ f___ | g______ h____ i_______ |
1 | 3457____ ______ 4x57o_ | 56a7e8c 3w57__ ____ | 3468Q__ _____ 34568___ |
2 | 34j57n9r ______ ______ | _______ 357N__ 3a6A | 3469___ 4â59_ 34569___ |
3 | 3i59____ ______ 5b9B__ | 5c8C___ ______ ____ | _______ 1f59_ 1F3I58c9 |

4 | ________ 4a7o9_ 678q9_ | _______ 7e9E__ 4A6a | _______ 5k9K_ 5K68Q9__ |
5 | ________ ______ 4ê67e9 | 67E9___ ______ ____ | 469____ _____ 469_____ |
6 | 46M8Q9__ 4é9É__ ______ | 4a69___ ______ ____ | 1f468q9 1F4Â9 ________ |

7 | 45l7o9__ 2H47O9 ______ | 45L9___ ______ 3A4a | 349____ _____ 2h349___ |
8 | 48q9____ 2h3H__ 48Q9__ | 4y9Y___ 1A3a__ ____ | _______ _____ 1a2H3___ |
9 | 456m9___ 3h49__ 45u6M9 | _______ 1a5l9e ____ | 1F349__ _____ 1349____ |


INTERDIT TERNAIRE (F-Â-9h6)/a=>a=Faux -3f2, -6gi2, -6d1, -6f4, -4b4, -4f7, -3e8, -1i8, -1e9, -4d6
F/a(1Ki)
Â/a(4L6)
9h6/É(9L6)-é/a(4Kb)


INTERDIT TERNAIRE (l-a-e)/o=>o=Faux -7a7, -7b4, -7c1
l/o(a7)
a/o(b4)
e/o(7L4)

Fin de la grille.

La longueur des chaînes de conflits m'a incité à donner les chaînes "canoniques" correspondantes. Elles ne sont pas toutes aussi simples.

Premier ternaire :

1h6/1h3-1i3/1i8-1e8/3e8-3f7/4f7-4d78/4d6
|
4h6/4d6
|
9h6/9b6-4b6/4d6

Deuxième ternaire :

5d1/5d7-5a7/7a7-7b7/7b4
|
6d1/6f3-6f4/4f4-4b4/7b4
|
7d1/7e12-7e4/7b4

Cordialement
Cenoman