Tough du 3 avril

Bonjour à tous,

La grille "tough" datée du 03 avril 2012(www.sudoku.com.au) est assez hard, comme le signalait Jeanlé à la fin de son message sur celle du 1er.

Voici le puzzle d'origine :
000 008 407
350 007 000
000 090 006

000 400 002
007 000 600
100 003 000

500 080 000
000 100 089
401 500 000

Il me faut beaucoup de pseudo-cases pour trouver une solution pas trop longue :


_ | a____ b______ c_______ | d____ e______ f___ | g______ h______ i____ |
1 | 269z_ 1A269__ 269_____ | 23d6b 1a5A___ ____ | _______ 23D5a9w _____ |
2 | _____ _______ 26b8u9w_ | 2b6B_ _______ ____ | 1289à__ 129____ 1c8C_ |
3 | 27s8y 1a24n7S 24N8____ | 2d3D_ _______ 1A5a | 23x8u__ 235A___ _____ |

4 | 689__ 369____ 3f5p689_ | _____ 1567t__ 156g | 13X78v9 1379___ _____ |
5 | 289__ 23m4o9_ ________ | 8e9E_ 125____ 12G5 | _______ 13M49__ 145q8 |
6 | _____ 2469___ 24n5P689 | 8E9e_ 2l56r7T ____ | 789____ 479____ 45Q8_ |

7 | _____ 3f9F___ 3F9f____ | _____ _______ 2g6G | 1h2H___ 124i6g_ 1i4I_ |
8 | 267S_ 267s___ 2j6J____ | _____ _______ ____ | _______ _______ _____ |
9 | _____ _______ ________ | _____ 2G6g___ ____ | 2k7K___ 26G7k__ _____ |

D'abord deux interdits "simples" :

3c4/3g4-3g3/8g3-8c346/3c4(PC c346) =>INTERDIT f=Faux -3b3 -9c3

2b5/4bh5(PC bh5)-4i5/4i7-4h7/6h7-6f7/6f4-15f4/2fh7(PC f47)-2f5/2b5 =>INTERDIT 2b5=Faux

(Nota : cette deuxième chaîne de conflits peut être remplacée par un interdit ternaire :
INTERDIT TERNAIRE (4b5-4h5-4i5)/2b5
4b5/2b5
4h5/3h5-3b5/2b5
4i5/4i7-4h7/6h7-2f5/2b5)

Ensuite trois interdits ternaires vont achever le déblocage :

INTERDIT TERNAIRE (1f4-5f4-6f4)/D =>-3d3 -3h1
1f4/1f3-1e1/3h1(PC eh1)
5f4/5ef5-5ce6/4bc6(PC bce6)-4b5/3b5-3h5/3h1
6f4/6b4-39b47/3b5-3h5/3h1

INTERDIT TERNAIRE (1f4-5f4-6f4)/3h4
1f4/1f3-5f3/5h3-23dh3/3g3-3g4/3h4
5f4/5ef5-5ce6/4bc6(PC bce6)-4b5/3b5-3h5/3h4
6f4/6b4-39b47/3b5-3h5/3h4

INTERDIT TERNAIRE (8i2-8i5-8i6)/a =>-1e1 -5h1 -5f3 -1b3
8i2/8c2-8ac3/1b3(PC abc3)
8i5/89ad5-2a5/2f5-6f4/6b4-39b47/3b5-3h5/3g4-3g3/23dh3-5h3/5f3
8i6/789dgh6-4h6/4hi5-4b5/3b5-3h5/3g4-3g3/23dh3-5h3/5f3


_ | a___ b___ c____ | d___ e___ f___ | g____ h____ i____ |
1 | 2C6c ____ 26C9W | ____ ____ ____ | _____ 2W9w_ _____ |
2 | ____ ____ 2W9w_ | ____ ____ ____ | 18c9à 1à2w9 1c8C_ |
3 | ____ ____ _____ | ____ ____ ____ | _____ _____ _____ |

4 | 6C9c ____ 5c8C_ | ____ ____ 5C6c | 1à8c9 1À9à_ _____ |
5 | 2c9C ____ _____ | 8C9c ____ 2C5c | _____ _____ 5C8c_ |
6 | ____ 2C6c 5C8c_ | 8c9C 2c6C ____ | 7c89c 4c7C_ 4C5c8 |

7 | ____ ____ _____ | ____ ____ 2c6C | 1c2C_ 4C6c_ 1C4c_ |
8 | ____ 2c6C 2C6c_ | ____ ____ ____ | _____ _____ _____ |
9 | ____ ____ _____ | ____ 2C6c ____ | 2c7C_ 6C7c_ _____ |

Deux fois 8c en région 6 =>c=Faux -8g4, ... Fin

Vérification faite : les interdits sur a, D, f suffisent à débloquer la grille. Plus la force de rédiger cela...

Cordialement.
Cenoman

Bonjour Cenoman

Il faut être du niveau superwoman abi pour qualifier le premier interdit de "simple", même entre guillemets. Il fallait voir la PC et le groupe 8U=8c346.
J'ai essayé sur le solveur MC après a, D, f et ça rebloque très vite !

A+

Bonjour Jeanlé,

une petite précision sur le vocabulaire que j'emploie : en général, j'utilise interdit simple pour désigner une interdit du marquage simple, par opposition aux interdits ternaires, quaternaires, ...

Ici, j'ai mis des guillemets justement parce-que l'interdit n'était pas simple, au sens selon l'acception commune du qualificatif. D'ailleurs, rien n'est simple dans cette solution, pas même les trois ternaires qui suivent. Ils sont dopés aux als et aux pseudo-cases !

J'ai mouliné la grille sans les pseudo-cases. Dans ce cas, il faut avoir recours aux dérivés ternaires et la solution est longue comme un jours sans pain ! Pas vraiment plus simple... Sur le site australien, sotir donne la cote SE de la grille : 8.5

EDIT : D'ailleurs, voici la solution donnée par sotir, transcrite en notation "d'ici" :

2f5-f7/6f7-f4/6b4-39b47/3b5-h5/g4-g3/23dh3-5h3/5f3-1f3 =>-1f5
89dg6-7g6/7g9-2g9/e9-f7/f5-5f5/i5-i6 =>-8i6
3g3-g4/h5-b5/39b47-6b4/f4-f7/2f7-f5/a5-89ad5/8i5-i2=>-8g3

Après le ménage fait par ces trois éliminations, il termine :
4b5-c6/5c6-c4/f4-6f4/b4-3b4 =>-3b5
4b5-2b5/f5-f7/6f7-h7/4h7-h6 =>-4i5
6f7-f4/a4-9a4/19gh4-8g4/i5-5i5/f5-2f5 =>-2f7

"Simple is beautiful" disent-ils... Belle illustration ! Mon solveur a encore des progrès à faire...

Cordialement
Cenoman