tough du 1/12

Sujet: tough du 1/12 Mer Nov 30 2011, 15:40

Bonjour à tous,

la grille tough du 1/12 est refusée par le solveur de MC : plus d'une solution ???

A+

EDIT 1 : Je ne sais pas ce que j'ai fabriqué, mais ce coup-ci, c'est passé.

EDIT 2 : C'est du béton. Je lâche mon marteau à picorer. Ma langue au chat.

A+

Nombre de messages : 443 Age : 76 Date d'inscription : 20/04/2010

Bonjour Jeanlé, bonjour à tous,

Encore une "pas commode du tout..." Elle m'a donné du fil à retordre !

Rappel de la grille à résoudre (EDIT du 02/12 - insertion de la grille du 01/12 en objet, au lieu de celle du 02/12) :

000 010 000
005 300 014
709 000 200

500 009 000
100 070 006
000 600 005

004 000 301
270 006 400
000 020 000

Je me suis finalement résolu à présenter une solution avec un coup utilisant des EQC/ALS , pour éviter une longue litanie de ternaires. Même ainsi, ma solution n'est pas simple.

Je note que cela n'a rien d'hérétique dans le marquage, puisque GPenet fait de l'utilisation des EQC et des pseudo-cases ce qu'il appelle "le niveau 2" du marquage, avant même l'utilisation des dérivés ternaires, quaternaires, etc.. qu'il place au niveau 3.

_ | a_____ b_____ c_____ | d_______ e______ f_______ | g______ h_____ i_____ |
1 | 34i68_ 234I68 2y36p8 | 2z57U89w _______ 2578____ | 5â6789_ 56789_ 7ã8ä9ç |
2 | 6a8A__ 2f68__ ______ | ________ 6O89W__ 2F7s8___ | 67S89w_ ______ ______ |
3 | ______ ______ ______ | 458_____ 4à5á6o8 458_____ | _______ 5k6O8v ______ |

4 | ______ 346p8_ 36P7t8 | 1d48____ 348____ ________ | 1D78___ 3478__ ______ |
5 | ______ 23489x 238___ | 2Z45l8__ _______ 2345L8__ | 8b9B___ 3489__ ______ |
6 | 34I89æ 23489_ 237T8_ | ________ 348____ 1D2g348_ | 1d789__ 34789_ ______ |

7 | 6q89__ 5m6Q89 ______ | 57u89___ 589____ 57U8____ | _______ ______ ______ |
8 | ______ ______ 1e3h8_ | 1E589___ 3H589__ ________ | _______ 5n89__ 8c9C__ |
9 | 389___ 35M89_ 1E38__ | 14j589__ _______ 1d3h4J58 | 5Â6r789 56R789 7Ã89__ |

On commence donc par une "nice loop" spéciale, utilisant l'EQC f127 [2578] :
578f127-2f12(als)/2f56-2d5/5d5-5f5/5f17-278f127(als)/@
=>-58f39

Autre écriture en chaîne d'EQC : [2578] f127-25-[123458] de4,f5,ef6 =>-58f39
(On note que cette chaîne d'EQC a le degré de liberté 0, compte tenu de la double charnière 25). Il y en a d'autres dans cette grille !

On retient également sur cette situation de départ deux OU mixtes utiles pour la suite :

á/o(e3)-O/W(e2)-w/U(d1)=>á/U =>-5d7 (ni Á=5e78, ni u=7d7)

á/o(e3)-O/W(e2)-w/z(d1)-Z/l(d5)=>á/l =>-5f7 (ni Á=5e78, ni L=5f5)

_ | a_____ b______ c_____ | d_______ e____ f_____ | g______ h_____ i_____ |
1 | 34i68_ 234I68_ 2y36p8 | 2z57U89w _____ 25l78_ | 5â6789_ 56789_ 7ã8ä9ç |
2 | 6a8A__ 2f68___ ______ | ________ 6O89W 2F7s8_ | 67S89w_ ______ ______ |
3 | ______ _______ ______ | 5ò8Ò____ 5á6o8 ______ | _______ 5k6O8v ______ |

4 | ______ 346p8__ 36P7t8 | 1d8D____ 34ô8_ ______ | 1D78___ 3478__ ______ |
5 | ______ 234ó89x 238___ | 2Z5l8___ _____ 235L8_ | 8b9B___ 34Ó89_ ______ |
6 | 34I89æ 23489__ 237T8_ | ________ 34Ô8_ 1D2g38 | 1d789__ 34789_ ______ |

7 | 6q89__ 5m6Q89_ ______ | 7u89____ 5M89_ 7U8u__ | _______ ______ ______ |
8 | ______ _______ 1d3D8_ | 1D5á89__ 3d589 ______ | _______ 5M89__ 8c9C__ |
9 | 389___ 35M89__ 1D38__ | ________ _____ 1d3D__ | 5Â6r789 56R789 7Ã89__ |

L'étape suivante est un interdit ternaire sur l par le ternaire des 5 ligne 8 (5deh8) :

INTERDIT TERNAIRE (á-5e8-M)/l=>-5d5
á/l(5Kd)
5e8/d(e8)-D/Ò(8Kd)-ò/l(5Kd)
M/Â(5R9)-â/l(5L1)

Situation réultante :

_ | a_____ b_____ c____ | d______ e____ f____ | g______ h_____ i_____ |
1 | 3I4i__ 3i4I__ 2F6f_ | 5k7U89O _____ 2f78U | 5â6789_ 56789_ 7ã8ä9ç |
2 | 6a8A__ 2f68a_ _____ | _______ 6O9o_ 2F7f_ | 67F9O__ ______ ______ |
3 | ______ ______ _____ | 5ò8Ò___ 5á6o8 _____ | _______ 5k6O8v ______ |

4 | ______ 346f8_ 6F7f_ | 1d8D___ 3ù4ô8 _____ | 1D78___ 3478__ ______ |
5 | ______ 34ó89x 3õ8Õ_ | _______ _____ _____ | 8b9B___ 3ö4Ó89 ______ |
6 | 34I89æ 2F3489 2f7F_ | _______ 34Ô8ú 1D3d_ | 1d789__ 34789_ ______ |

7 | 6A89__ 5m6a89 _____ | 7u89___ 5M89_ 7U8u_ | _______ ______ ______ |
8 | ______ ______ 1d3D8 | 1D5á89_ 3d589 _____ | _______ 5M89__ 8c9C__ |
9 | 389___ 35M89_ 1D38_ | _______ _____ 1d3D_ | 5Â6r789 56R789 7Ã89__ |

Fin de la grille en marquage simple.
On retient d'abord les éliminations suivantes :

OU simple f-F (7c4-7g2) =>-7g4

I/ó(4Kb)-Ó/ö(h5)=>I/ö =>-3b46 (ni i=3b1, ni Ö=3bc5)

O/B(9Kg)-b/Õ(8L5)-õ/D(3Kd) =>-8e3 (ni o=6e3, ni d=8e46)

_ | a______ b_____ c____ | d______ e____ f____ | g______ h_____ i_____ |
1 | 3I4i___ 3i4I__ 2F6f_ | 5k7U89O _____ 2f78U | 5â6789_ 56789_ 7ã8ä9ç |
2 | 6a8A___ 2f68a_ _____ | _______ 6O9o_ 2F7f_ | 67F9O__ ______ ______ |
3 | _______ ______ _____ | 5v8V___ 5O6o_ _____ | _______ 5k6O8v ______ |

4 | _______ 4F6f__ 6F7f_ | 1d8D___ 3Ô4ô_ _____ | 1D8d___ 3ô47F_ ______ |
5 | _______ 34ó89x 3õ8Õ_ | _______ _____ _____ | 8b9B___ 3ö4Ó89 ______ |
6 | 3ö4I89æ 2F489_ 2f7F_ | _______ 34Ô8d 1D3d_ | 1d7ì89_ 34789_ ______ |

7 | 6A89___ 5m6a89 _____ | 7u89___ 5M89_ 7U8u_ | _______ ______ ______ |
8 | _______ ______ 1d3D8 | 1D5O89_ 3d589 _____ | _______ 5M89__ 8c9C__ |
9 | 389____ 35M89_ 1D38_ | _______ _____ 1d3D_ | 5Â6r789 56R789 7Ã89__ |

Suite par un interdit :

ö/d(3L6)-D/u(8Kd)-U/f(f1)-F/ó(4Kb)-Ó/ö(h5) =>ö=Faux (-3a6, -3h5)
Conséquence : 3b5=Õ

... d'où l'interdit final :

F/I(4Kb)-i/Õ(3Kb)-õ/D(3Kc)-d/Ô(3Ke)-ô/F(4L4) =>F=Faux (b4=6, c4=7, c6=2, c1=6, f2=7, ... jusqu'au bout !)

Cordialement
Cenoman.

Nombre de messages : 737 Age : 85 Date d'inscription : 01/07/2009

bonjour Cenoman,

tu t'es trompé de grille de départ.

000 010 000
005 300 014
709 000 200

500 009 000
100 070 006
000 600 005

004 000 301
270 006 400
000 020 000

Le départ est spécial. Concernant le 2e OU,
á/o(e3)-O/W(e2)-w/z(d1)-Z/l(d5)=>á/l =>-5f7 (ni Á=5e78, ni L=5f5)
il élimine aussi 5f9.

Mais il y a mieux : une fois de plus, en m'inspirant de ton EQC, je vois la pseudo-case f569 dont on connaît 1dD et 3hH. Tous les autres candidats sont en conflit : 2z/5L => fusion Lz Zl (d5) => z= l d5=2L5l et la pseudo-case est saturée avec 1dD, 3hH et 2l5L, on élimine les autres candidats, notamment les 4. La grille est morte. Comme la dernière fois. C'est magique.

A+
EDIT 15h51 :
Mais non ! la grille n'est pas morte. Je m'emballe. ça donne f3=4, d9=4

» Tough du 23/01
» Tough du 31/07
» Tough du 28/06
» Tough du 14/05
» Tough du 24/09