Bonsoir Jeanlé, JC et tous,
J'ai rédigé une solution qui illustre mon propos sur les pseudo-cases.
Situation au départ :
_ | a_______ b_____ c____ | d______ e______ f______ | g_____ h______ i____ |
1 | 34579___ 3456u_ _____ | 1a9A___ 5r679__ 1à6v7ç9 | 1479__ 1é3l4ê7 _____ |
2 | 2j379___ ______ 36U79 | 28w9___ 26u78W9 _______ | ______ 3b7B___ 3c9C_ |
3 | 24579___ 2â45__ 579__ | 1h29___ 25R79__ _______ | 1H4o79 _______ _____ |
4 | 2d3D____ ______ _____ | 23M89__ 26v89__ 26V89__ | 128x__ 1235s__ 1á35S |
5 | 239y____ 236U8x 36u9Y | _______ _______ _______ | 248X__ 234____ 3e4E_ |
6 | 1i235___ 2358X_ 1I35_ | 23m4p8_ 24P8___ 2f8F___ | ______ _______ _____ |
7 | ________ ______ 13n7_ | _______ 23N4q7_ 127____ | 12ã47_ 1247___ _____ |
8 | 1I34ä57æ 345___ _____ | _______ 3n479__ 179____ | 1479C_ _______ 145t9 |
9 | ________ 4g5G__ 157__ | 1à24P89 24789__ 1278è9_ | ______ 12k45S7 1459z |
Si on a marqué la grille, on note la présence des jumeaux [8] xX (8b56) en colonne b et wW (8de2) en ligne 2, ainsi que la nappe uU des 6 sur ces deux mêmes unités, les nappes des 2 : jJ en ligne 2 et â en colonne b. Il y a là tout le matériau pour trouver un point d'attaque.
1) Pseudo-case b56 : on y relève les conflits 2b56/6b5 (Â/U), 3b56/6b5, 5b6/6b5, 2b56/3b56, 2b56/5b6
2) Pseudo-case de2 : on y relève les conflits 6e2/2de2 (u/J), 9de2/2de2, 7e2/2de2, 6e2/9de2, 6e2/7e2
On peut donc écrire la chaîne 2b3-2b56/6b5-6b1/6c2-6e2/2de2-2a2/@ : nice loop qui élimine les voisins des liens faibles : 3b56, 5b6, 9de2, 7e2, 2a3
En marquage on écrira : Â/U(PC b56)-u/J(PC de2)-j/â(2R1) : nice loop qui conduit à la fusion des nappes U=â=J, avec les mêmes éliminations par saturation.
Pour qui préfère les ALS on peut aussi écrire la chaîne 2b3-6b1(als b1389)/6c2-379chi2(als chi2)/379a2-2a2/@
Ou encore, sous forme de chaîne d'ALS [23456]b1389-26-[23679]achi2, toujours avec les mêmes cibles.
J'ai laissé tomber les OU de départ : ils ne sont pas utiles pour la suite.
La fin de la grille est obtenue en marquage simple par quelques OU :
_ | a______ b____ c_____ | d_____ e_____ f_____ | g_____ h______ i___ |
1 | 345R79_ 3Ä46j ______ | 1a9A__ 5r679_ 6v7ç9_ | 1479__ 1é3l4ê7 ____ |
2 | 2j379__ _____ 36J79_ | 2W8w__ 26j8W_ ______ | ______ 3b7B___ 3c9C |
3 | 4579___ 2J4j_ 5I79__ | 1A29__ 25R7õ9 ______ | 1a4o79 _______ ____ |
4 | 2C3c___ _____ ______ | 2Ñ8W9ó 26v89_ 26V89_ | 1C2ë8F _______ 1c3C |
5 | 239y___ 26J8F 3ô6j9Y | ______ ______ ______ | 2F8f__ 2C3c___ ____ |
6 | 1i5I___ 2F8f_ 1I5i__ | ______ ______ 2f8F__ | ______ _______ ____ |
7 | _______ _____ 13n7__ | ______ 23N7__ 127___ | 12C4ê7 124Ê7__ ____ |
8 | 1I34ä7æ 3ä4Ä_ ______ | ______ 3n79__ 179___ | 179C__ _______ ____ |
9 | _______ _____ 1ò7Ò__ | ______ 278È9_ 1278è9 | ______ 12k7___ 1C9c |
C/É(1R9) =>-3h1 (ni c=3i2, ni é=1h1)
b/c(3L2)-C/ò(1L9)=>b/ò =>-7h9, -7c2 (ni B=7h2, ni Ò=7c9)
b/c(3L2)-C/É(1R9)=>b/É =>-7h1 (ni B=7h2, ni é=1h1)
b/c(3L2)-C/ê(g7)=>b/ê =>-7h7 (ni B=7h2, ni Ê=4h7)
Il s'ensuit h2=7, h5=3 etc... jusqu'au bout.
Cordialement.
Cenoman.