Tough du 18/04/2012

Bonjour à tous,

Occupé à d'autres affaires, j'ai gardé sous le coude la "tough" du 18 avril 2012.
Pas facile, facile...


500 000 010
020 500 000
010 006 093

400 900 000
007 080 200
000 004 001

960 100 030
000 003 050
070 000 004

Je rédige ma propre solution et viendrai la poster sous peu. Ce sera encore pseudo-cases ET dérivés ternaires...

J'ai vu hier soir que kobold a publié une solution sur le site australien. Je vais la regarder et tenter de la transcrire.

A+
Cenoman.

Bonjour à tous,

Voici donc ma solution primitive. Comme d'habitude, j'ai exploité au maximum le premier marquage. La solution publiée par kobold montre que ce n'est pas l'optimum...

Sur le premier marquage, cinq interdits utilisent des dérivés ternaires et des pseudo-cases :

_ | a_____ b______ c______ | d_______ e______ f_____ | g_______ h_____ i____ |
1 | ______ 3â4G89ï 346t89_ | 3ã478___ 3479___ 789___ | 4ç6T7v8ò ______ _____ |
2 | 36é7A8 _______ 34689z_ | ________ 1j3o479 1J789_ | 4Ç678___ 6ê7ì8î 678__ |
3 | 7a8A__ _______ 4b8B___ | 2l478x__ 2L47___ ______ | ________ ______ _____ |

4 | ______ 358____ 1d2m368 | ________ 1J23567 12E57ë | 3ä678___ 678___ 5è678 |
5 | 1D36__ 359H___ _______ | 3c6C____ _______ 1d5D__ | ________ ______ 5È69h |
6 | 2á368_ 35r89__ 23689ï_ | 2367____ 235R67_ ______ | 3Ä6789H_ 678___ _____ |

7 | ______ _______ 2n4q5s_ | ________ 24Q5___ 2e5E__ | 7f8F____ ______ 7F8f_ |
8 | 12Á8__ 4g8G___ 1248___ | 24æ67w8y 2467W9à ______ | 1k69____ ______ 6h9H_ |
9 | 13p8__ _______ 13P5S8_ | 6i8I____ 569____ 58í9ñ_ | 1K6u9à__ ______ _____ |

DERIVE TERNAIRE (9b5-9b6-9c6)+9b6/3e2+9b1/3e2=>!9b5/3e2
9b6/5b6-5e6/5f5-1f5/1f2-1e2/3e2
9b1/9c2-9ef2/3e2(PC ef2)

DERIVE TERNAIRE (5i5-6i5-9i5)+5i5/3e2+6i5/3e2=>!9i5/3e2
5i5/5f5-1f5/1f2-1e2/3e2
6i5/6ghi4-3578bghi4/7f4-7f12/1f2(PC f129)-1e2/3e2

3e2/!9b5(DT)-!9i5/3e2(DT) =>INTERDIT o=Faux (-3e2, -3bc1)
---------------------------------------------------------
DERIVE TERNAIRE (9b5-9b6-9c6)+9b6/8c4+9b1/8c4=>!9b5/8c4
9b6/5b6-5e6/5e79-5e46/5f5-1c4/8c4
9b1/8b18(PC b18)-8b46/8c4

DERIVE TERNAIRE (5i5-6i5-9i5)+5i5/8c4+6i5/8c4=>!9i5/8c4
5i5/5f5-1c4/8c4
6i5/6ghi4-3578bghi4/8c4

8c4/!9b5(DT)-!9i5/8c4(DT) =>INTERDIT 8c4=Faux
----------------------------------------------
DERIVE TERNAIRE (9b5-9b6-9c6)+9i8/6c6+9b1/6c6=>!9b6/6c6
6g89/6g1-6c1/6c6
9c6/6c6

DERIVE TERNAIRE (1a5-3a5-6a5)+5f5/9b6+3a5/9b6=>!6a5/9b6
5f5/5e6-5b6/9b6
3a5/3b456-3b1/3ac2-3e2/1e2-1f2/1f5-5f5/5e6-5b6/9b6

6c6/!9b6(DT)-9b6/!6a5(DT)-6a5/6c6 =>INTERDIT 6c6=Faux
-----------------------------------------------------
DERIVE TERNAIRE (7f1-7f2-7f4)+7f2/6c4+7f4/6c4=>!7f1/6c4
7f2/7def1-7g1/6g1-6c1/6c4
7f4/7ghi4-3568bghi4/6c4

DERIVE TERNAIRE (3b5-5b5-9b5)+5b5/6c4+9i8/6c4=>!3b5/6c4
5b5/5f5-1c4/6c4
6g89/6g1-6c1/6c4

INTERDIT TERNAIRE (8f1-8f2-8f9)/6c4 =>6c4=Faux
8f1/7f1-!7f1/6c4(DT)
8f2/8ghi2-8g1/6g1-6c1/6c4
8f9/8d9-6d9/6d56-6d89/6d5-3d5/3b5-!3b5/6c4(DT)
--------------------
DERIVE TERNAIRE (2d3-2d6-2d8)+2d6/1a9+2d8/1a9=>!2d3/1a9 (=>conflit 2e3/1a9)
2d6/2ef4-2c4/1c4-1a5/1a9
2d8/2ef7-2c7/5c7-5c9/3c9-3a9/1a9

DERIVE TERNAIRE (3a2-3c2-3e2)+3c2/1a9+3e2/1a9=>!3a2/1a9
3c2/3c9-3a9/1a9
3e2/1e2-1f2/1f5-1a5/1a9

INTERDIT TERNAIRE (2e3-4e3-7e3)/1a9 =>1a9=Faux
2e3/1a9(DT)
4e3/4e7-4c7/5c7-5c9/3c9-3a9/1a9
7e3/7a3-7a2/3a2-!3a2/1a9(DT)

La grille est débloquée et se termine en trois coups, en marquage simple :

_ | a____ b____ c_______ | d_______ e_______ f_____ | g_______ h_____ i____ |
1 | _____ 4G89ï 46t89___ | 3ã478___ 3Ã479___ 789___ | 4ç6T7v8ò ______ _____ |
2 | 3P7A8 _____ 3p46T89z | ________ 1j479___ 1J789_ | 4Ç678___ 6ê7ì8î 678__ |
3 | 7a8A_ _____ 4b8B____ | 2l478x__ 2L47____ ______ | ________ ______ _____ |

4 | _____ 358ô_ 1d2D____ | ________ 1J2356ù7 12E57ë | 3ä678___ 678___ 5è678 |
5 | 1D6d_ 3C59H ________ | 3c6C____ ________ 1d5D__ | ________ ______ 5È69h |
6 | 2d6D_ 35r89 8Ï9ï____ | 2367____ 235R67__ ______ | 3Ä6789H_ 678___ _____ |

7 | _____ _____ 2n4q5s__ | ________ 24Q5____ 2e5E__ | 7f8F____ ______ 7F8f_ |
8 | 1d2D_ 4g8G_ 1248____ | 24æ67w8y 2467W9à_ ______ | 1k69____ ______ 6h9H_ |
9 | 3p8P_ _____ 1k3P5S8_ | 6i8I____ 569_____ 58í9ñ_ | 1K6u9à__ ______ _____ |

4b1/4c3-8c3/8c6-9b1/4b1 =>INTERDIT G=Faux (-4b1, -8b8)

8b1c12/8ac3-8d3/8d8-8bc8/8a9-8a23/8b1c12 =>INTERDIT 8b1c12 =Faux (-8b1, -8c1, -8c2)

_ | a_____ b____ c______ | d______ e______ f____ | g_______ h_____ i___ |
1 | ______ _____ 4T6t___ | 3ã4b78_ 3Ã7ã___ 7Ë8ë_ | 4ç6T7A8x ______ ____ |
2 | 3B7A8x _____ 3b4ç6T_ | _______ 1j9J___ 1J9j_ | 4Ç678___ 6ê7ì8î 7f8F |
3 | 7a8A__ _____ 4b8B___ | 2l4B78x 2L7l___ _____ | ________ ______ ____ |

4 | ______ 3Ô8ô_ 1c2C___ | _______ 1J236ù7 12E7ë | 3ä678___ 678___ ____ |
5 | 1C6c__ 3C5c_ _______ | 3c6C___ _______ 1c5C_ | ________ ______ ____ |
6 | 2c6C__ 35C8Ô _______ | 2367___ 235c67_ _____ | 3Ä678___ 678___ ____ |

7 | ______ _____ 2E5e___ | _______ _______ 2e5E_ | 7f8F____ ______ 7F8f |
8 | 1c2C__ _____ 128Y___ | 27w8y__ 27W9k__ _____ | 1k9K____ ______ ____ |
9 | 3b8B__ _____ 1k3B5E8 | 6i8I___ 5C6I9__ 58Ë9J | 1K9k____ ______ ____ |

6d5/6a5-1a5/1f5-5f5/5e6-5e9/6e9-6d9/6d5 =>INTERDIT C=faux (-2c4, -1a5, -3b5, -6d5, -5f5, -6a6, -5b6, -2a8, -5e9) et FIN.

Cordialement
Cenoman.

Bonjour à tous,

voici la solution de kobold, publiée sur le site www.sudoku.com.au
D'abord, je la donne telle quelle, en ayant simplement transposé leurs notations en notations habituellement utilisées ici :

1. 1a5-f5/e4-1e2/3e2-XW(3)ac.29 # -3a5
2. KCell B4 # -5e7
8b4/8b8-4b8/4c7-4e7
||
[(5-*3)b4/MW(93)b5/i5g6.g4-(5)b5] / (5)b6-e6
3. KColumn (6)E # -6d5
6e8/6i8-9i8/(9-156)afi5
||
6e9/5e9-5f79/(156-3)adf5
||
6e46
4. (1-569)bfi5/SS(6)a25.h246-a6/de6-e4 # -1e4
// ahs-xz:(5-9)b5/c6-(39*)bg6 # -5b6
5. (7)e8-(67)d68/(169')deg9-(1/3)a9-(3/7)a2-a3 # -7e3

Et maintenant, étape par étape, voici ce qu'un marqueur aurait pu écrire pour obtenir la même séquence d'éliminations.


_ | a_____ b______ c______ | d_______ e______ f_____ | g_______ h_____ i____ |
1 | ______ 3â4G89ï 346t89_ | 3ã478___ 3479___ 789___ | 4ç6T7v8ò ______ _____ |
2 | 36é7A8 _______ 34689z_ | ________ 1j3o479 1J789_ | 4Ç678___ 6ê7ì8î 678__ |
3 | 7a8A__ _______ 4b8B___ | 2l478x__ 2L47___ ______ | ________ ______ _____ |

4 | ______ 358____ 1d2m368 | ________ 1J23567 12E57ë | 3ä678___ 678___ 5è678 |
5 | 1D36__ 359H___ _______ | 3c6C____ _______ 1d5D__ | ________ ______ 5È69h |
6 | 2á368_ 35r89__ 23689ï_ | 2367____ 235R67_ ______ | 3Ä6789H_ 678___ _____ |

7 | ______ _______ 2n4q5s_ | ________ 24Q5___ 2e5E__ | 7f8F____ ______ 7F8f_ |
8 | 12Á8__ 4g8G___ 1248___ | 24æ67w8y 2467W9à ______ | 1k69____ ______ 6h9H_ |
9 | 13p8__ _______ 13P5S8_ | 6i8I____ 569____ 58í9ñ_ | 1K6u9à__ ______ _____ |

1. 1a5-f5/e4-1e2/3e2-XW(3)ac.29 # -3a5

On obtient cette élimination de manière simple, par un interdit :
3a5/3b456-3b1/3ac2-3e2/1e2-1f2/1f5-1a5/3a5 =>INTERDIT 3a5=Faux

2. KCell B4 # -5e7
8b4/8b8-4b8/4c7-4e7
||
[(5-*3)b4/MW(93)b5/i5g6.g4-(5)b5] / (5)b6-e6

Il s'agit d'un interdit ternaire qu'un marqueur présenterait ainsi :

DERIVE TERNAIRE (3b5-5b5-9b5)+3b5/3b4+9i8/3b4=>!5b5/3b4
3b5/3b4
9g6/3g6-3g4/3b4

INTERDIT TERNAIRE (3b4-5b4-8b4)/5e7 =>5e7=Faux
3b4/!5b5(DT)-5b5/5b6-5e6/5e7
5b4/5b6-5e6/5e7
8b4/8b8-4b8/4c7-4e7/5e7

_ | a_____ b______ c______ | d_______ e______ f_____ | g_______ h_____ i____ |
1 | ______ 3â4G89ï 346t89_ | 3ã478___ 3479___ 789___ | 4ç6T7v8ò ______ _____ |
2 | 36é7A8 _______ 34689z_ | ________ 1j3o479 1J789_ | 4Ç678___ 6ê7ì8î 678__ |
3 | 7a8A__ _______ 4b8B___ | 2l478x__ 2L47___ ______ | ________ ______ _____ |

4 | ______ 358____ 1d2m368 | ________ 1J23567 12E57ë | 3ä678___ 678___ 5è678 |
5 | 1D6d__ 3C59H__ _______ | 3c6C____ _______ 1d5D__ | ________ ______ 5È69h |
6 | 2á368_ 35r89__ 23689ï_ | 2367____ 235R67_ ______ | 3Ä6789H_ 678___ _____ |

7 | ______ _______ 2n4q5e_ | ________ 2q4Q___ 2e5E__ | 7f8F____ ______ 7F8f_ |
8 | 12Á8__ 4g8G___ 1248___ | 24æ67w8y 2467W9à ______ | 1k69____ ______ 6h9H_ |
9 | 13p8__ _______ 13P5E8_ | 6i8I____ 5Õ69___ 58í9ñ_ | 1K6u9à__ ______ _____ |

3. KColumn (6)E # -6d5
6e8/6i8-9i8/(9-156)afi5
||
6e9/5e9-5f79/(156-3)adf5
||
6e46

Cette étape est un classique ternaire avec groupe (ou un interdit quaternaire si on préfère ainsi) :

INTERDIT TERNAIRE (6e8-6e9-6e46)/6d5 =>6d5=Faux
6e8/6i8-9i8/9i5-9b5/6d5(PC bd5)
6e9/5e9-5f79/5f5-6a5/6d5
6e46/6d5

_ | a_____ b______ c______ | d_______ e______ f_____ | g_______ h_____ i_____ |
1 | ______ 3â4G89ï 346t89_ | 478_____ 3O479__ 789___ | 4ç6T7v8ò ______ ______ |
2 | 36é7A8 _______ 34689z_ | ________ 1j3o479 1J789_ | 4Ç678___ 6ê7ì8î 678___ |
3 | 7a8A__ _______ 4b8B___ | 2l478x__ 2L47___ ______ | ________ ______ ______ |

4 | ______ 358____ 1d2m368 | ________ 1J256ù7 12E57ë | 3ä678___ 678___ 5è678_ |
5 | 1D6d__ 5h9H___ _______ | ________ _______ 1d5D__ | ________ ______ 5È6D9h |
6 | 2á368_ 35r89__ 23689ï_ | 26ö7____ 25R67__ ______ | 3Ä6789H_ 678___ ______ |

7 | ______ _______ 2n4q5e_ | ________ 2q4Q___ 2e5E__ | 7f8F____ ______ 7F8f__ |
8 | 12Á8__ 4g8G___ 1248___ | 24æ67w8y 2467W9à ______ | 1k69____ ______ 6h9H__ |
9 | 13p8__ _______ 13P5E8_ | 6i8I____ 5Õ69___ 58í9ñ_ | 1K6u9à__ ______ ______ |

4. (1-569)bfi5/SS(6)a25.h246-a6/de6-e4 # -1e4 {SS(6)a25.h246 = gratte-ciel des 6 a2a5.h2h46}
// ahs-xz:(5-9)b5/c6-(39*)bg6 # -5b6

En marquage, la première ligne s'écrirait :

DERIVE TERNAIRE (6a2-6a5-6a6)+6a2/6i5+6a5/6i5=>!6a6/6i5
6a2/6h2-6h46/6i5
6a5/6i5

1e4/1f5-6i5/!6a6(DT)-6a6/6de6-6e4/1e4 =>INTERDIT J=Faux (-1f2, -1e4)

Conséquences : e2=1, e1=3, -3b1 =>-3a6, -3c46
Compte tenu de ces éliminations, la ligne suivante (-5b6) peut s'écrire :
5b6/5b5-9b5/9c6-9bg6/5b6(PC bg6) =>INTERDIT r=Faux (-5b6, e6=5)

_ | a____ b_____ c________ | d________ e______ f___ | g_______ h_____ i____ |
1 | _____ 4G89ï_ 46t89____ | 4b78_____ _______ 789z | 4ç6T7v8ò ______ _____ |
2 | 3P7A8 ______ 3p4ç6T89z | _________ _______ 789Z | 4Ç678___ 6ê7ì8î 678__ |
3 | 7a8A_ ______ 4b8B_____ | 2l478x___ 2L4æ7__ ____ | ________ ______ _____ |

4 | _____ 3Ä5H8ô _________ | _________ 2e6Ó7__ 2E7e | 3ä678___ 678___ 5h678 |
5 | _____ 5h9H__ _________ | _________ _______ ____ | ________ ______ 5H9h_ |
6 | 2á8Á_ 3ä89__ 2Á89ï____ | 6ó7Ó_____ _______ ____ | 3Ä6789H_ 678___ _____ |

7 | _____ ______ 2n4q5e___ | _________ 2q4Q___ 2e5E | 7f8F____ ______ 7F8f_ |
8 | 1i2Á8 4g8G__ 248______ | 2L4æ67w8y 2467W9à ____ | 1I69____ ______ 6h9H_ |
9 | 1I3p8 ______ 3P5E8____ | 6i8I_____ 6à9À___ 5e8E | 1i6u9à__ ______ _____ |

5. (7)e8-(67)d68/(169')deg9-(1/3)a9-(3/7)a2-a3 # -7e3

Dernière étape, simple à écrire en marquage :
7e3/7e8-7d8/7d6-6d6/6d9-6eg9/1g9(PC eg9)-1a9/3a9-3a2/7a2-7a3/7e3 =>INTERDIT 7e3=Faux (FIN)

Très belle solution de kobold, donc, tout à fait compatible avec les techniques du marquage.

Cordialement
Cenoman.