Une infaisable ?

Bonjour à tous,

alerté par une allusion de JC Van Hay, il y a quelques jours, j'ai eu la curiosité d'aller voir, de temps à autre, la grille "tough" du jour sur le site australien www.sudoku.com.au

Voici celle datée 28/june/2011

Elle est à la limite de l'infaisable. Mon moulin patine là-dessus comme si c'était du caillou.

abi, JC, c'est pour vous !

Bien entendu, tout le monde a aussi le droit de s'y mettre !

000 000 090
060 001 800
800 900 040

020 400 007
600 070 004
400 002 080

010 009 003
005 100 060
070 000 000

Cordialement.
Cenoman

Bonsoir Cenoman,

(En 2 étapes, ct trop complexe! , j'ai donc trouvé autre chose, mais pas le temps de raccourcir...)

*x-wing 7fg38 -> -7fg17


*RI 12gh59 -> 1/2i9 / 1c5 / 2i8 / 2g8

1/2i9 / 8i9-8i8 / 8b8-5b13 (als b138)
|
1c5 / 15a4
|
2i8 / 25i8
|
27gf8 / 4fg8-4b8 / 4b1-53b13

-> -5a2


8b8_8b5
____8c45_2c3
____8c4______8f4
_____________6f4_6g4
_____________8f1____8e1
_________2c1_______2e1_2gi1
_______________________2i2_5i2
_________________6i6_______5i6_19ei6
4b1____________________________9b6 - - - - - - als b136

-> -4b8


*2i8-e8 / d9-d2 -> -2i2

*5a1-a4 / b6-d6 / d9-e9 -> -5e1

*5a1-5f1 / 8f1-8e1 / 86e7 / 6d7-6d6 / 5d6-5b6 -> -5a4 b3

RI 12gh59 (encore!) -> 9g9 et fin.



PS-La 2eme étape autrement

2c1 / 4c1-48b18
|
2e1 / 8e1-8f1 / 8f4-8c4
|
2gi1 / 25i2 / 5i6|-19ei6 / 9b6-9b5
_____________|-6i6 / 6g4-6f4 / 8f4-8c4

-> -8b5


Amicalement,

Sophie

Bonjour Cenoman, abi et à tous,

Une solution n'utilisant pas de test d'unicité par Jiminoregon, ici : http://sudoku.com.au/5V28-6-2011-sudoku.aspx. Bonne lecture .
Attention cependant : les lignes sont numérotées de bas en haut !

Amicalement, JC

Bonjour à tous, bonjour JC,

Ma TM pouvait être raccourcie (suivant mon étape dérivée):

8c45_2c3
8c4______8f4
_________6f4_6g4
_________8f1____8e1
_____2c1_______2e1_2gi1
___________________2i2_5i2
_____________6i6_______5i6_19ei6
9b5_______________________9b6

-> -8b5

Et après vérif, Le x-wing 7 n'est pas utile mais...ça ne mange pas de pain



Belle démo de jiminoregon!

Amicalement,

Sophie

Bonjour JC, bonjour abi, bonjour à tous,

Grille très riche d'enseignement (pour nous autres pauvres marqueurs) !

Merci à JC pour le lien vers la solution de jiminoregon. D'accord avec abi : c'est une belle démo !
J'ai eu du mal à la suivre à cause de la notation et des coquilles... Mais j'ai tout de suite perçu la parenté avec ce qu'on présente ici comme solutions "marquées" Du coup, je l'ai transcrite à la façon de ce forum (en rectifiant les coquilles et en supprimant quelques étapes inutiles)

1)On garde le X-Wing 7fg38 => -7f1g17 pour partir de :

_ | a__ b___ c___ | d_____ e____ f____ | g_____ h___ i____ |
1 | 157 345_ 1234 | 235678 23568 3568_ | 12356_ ____ 1256_ |
2 | 57_ ____ ____ | 2357__ _____ _____ | ______ 2357 25___ |
3 | ___ 35__ 123_ | ______ 2356_ 3567_ | 123567 ____ 1256_ |

4 | 15_ ____ 138_ | ______ 19___ 3568_ | 13569_ 135_ _____ |
5 | ___ 3589 138_ | 358___ _____ 358__ | 12359_ 1235 _____ |
6 | ___ 359_ ____ | 356___ 19___ _____ | 13569_ ____ 1569_ |

7 | ___ ____ 468_ | 5678__ 568__ _____ | 45____ 57__ _____ |
8 | 39_ 48__ ____ | ______ 238__ 3478_ | 2479__ ____ 289__ |
9 | 39_ ____ 468_ | 23568_ 23568 34568 | 12459_ 125_ 12589 |

2) INTERDIT TERNAIRE (3b6-d6-g6)/7h2 =>-7h2
{3b6/3b3-5b3/5a2-7a2/7h2
{3d6/3d2-3h2/7h2
{3g6/3g13-3h2/7h2

D'où h7=7, f8=7, f9=4, g3=7, ...

3) INTERDIT TERNAIRE (356f3)/9e6 =>-9e6
{3f3/3bc3-3bc1/3g1-3h2/3h4-15ah4(als ah4)/1e4-9e4/9e6
{5f3/5b3-3b3/3b6-9e4(XY-Wing 159b6ae4)/9e6
{6f3/6f4-6g4/9g4-9e4/9e6

D'où e6=1, e4=9, ...

Pour qui voudrait éviter les liens forts venant de l'als ah4 et du XY-Wing 159b6ae4, voici deux dérivés ternaires qui disent la même chose :

{1h4/1e4
{5h4/5a4-1a4/1e4
DERIVE TERNAIRE (135h4)+1h4/1e4+5h4/1e4 =>!3h4/1e4

{5b6/5a4-1a4/1e4-9e4/9e6
{9b6/9e6
DERIVE TERNAIRE (359b6)+5b6/9e6+9b6/9e6 =>!3b6/9e6

4) INTERDIT TERNAIRE (569i6)/5i9g456 =>-5i9g456
{5i6/5i9g456
{6i6/6g4-6f4/8f4-8c4/8b5-8b8/4b8-4c7/4g7-5g7/5i9g456
{9i6/9b6-9b5/8b5-8b8/4b8-4c7/4g7-5g7/5i9g456

5) INTERDIT TERNAIRE (2e8-g8-i8)/3568d1 =>d1=27
{2e8/2d9-27d12(AHS 27d12)/3568d1
{2g8/4g8-4b8/4b13-35b13(als b13)/5a2-7a2/7d2-7d1/3568d1
{2i8/2i2-5i2/5a2-7a2/7d2/7d1/3568d1

Je n'ai pas trouvé ici de dérivé ternaire équivalent !

A partir de là, ma présentation diverge un peu de la solution de jiminoregon : je néglige ses étapes 6, 7 et 9 qui sont inutiles.

6) 358cdf5-1c5(als cdf5)/1a4-5a4 =>-5b5

7) L'étape 10 de jiminoregon est assez extraordinaire. Quel coup ! Un lien fort à cinq valeurs (ou comme on le verra finalement, un quaternaire avec groupe !!)

INTERDIT A CINQ BRANCHES (2c1-d1-e1-g1-i1)/5g1 =>-5g1
{2c1/4c1-4b1/4b8-4c7/4g7-5g7/5g1
{2d1/7d1-7a1/1a1-1a4/1c54-38c54(als c54)/8b5-8b8/4b8-4c7/4g7-5g7/5g1
{2e1/8e1-8f1/8f4-8c4/8b5-8b8/4b8-4c7/4g7-5g7/5g1
{2gi1/2i2-5i2/5g1

Le regroupement 2g1+2i1 dans la même chaîne de conflits en fait en réalité un quaternaire (avec groupe) !

7bis) 1i3-1c3/2c3-2c1/4c1-4b1/4b8-8b8/8i8-8i9 =>-1i9 (=>-1g1)

8) INTERDIT TERNAIRE (1g4-g5-g9)/5g9 =>-5g9
{1g4/6g4-6f4/8f4-8c4/8b5-8b8/4b8-4c7/4g7-5g7/5g9
{1g5/9g5-9b5/8b5-8b8/4b8-4c7/4g7-5g7/5g9
{1g9/5g9

Il s'ensuit g7=5.

_ | a__ b__ c__ | d___ e____ f___ | g___ h___ i___ |
1 | 157 ___ 123 | 27__ 23568 3568 | 236_ ____ 1256 |
2 | 57_ ___ ___ | 2357 _____ ____ | ____ 235_ 25__ |
3 | ___ 35_ 123 | ____ 2356_ 356_ | ____ ____ 1256 |

4 | 15_ ___ 138 | ____ _____ 3568 | 136_ 135_ ____ |
5 | ___ 39_ 138 | 358_ _____ 358_ | 1239 1235 ____ |
6 | ___ 359 ___ | 356_ _____ ____ | 369_ ____ 569_ |

7 | ___ ___ ___ | 68__ 68___ ____ | ____ ____ ____ |
8 | 39_ ___ ___ | ____ 23___ ____ | ____ ____ 29__ |
9 | 39_ ___ ___ | 235_ 235__ ____ | 129_ 12__ ____ |


9) Une chaîne AIC faisant appel deux fois aux "quasi paires cachées" (ahp)
23dh2-2i2(ahp dh2)/2i8-2e8/2d9-27d12(ahp d12)/3d2-3h2 =>-5dh2

En fait il faut comprendre que -5d2 résulte de 23dh2-2i2/2i8-2e8/2d9-27d12 et que -5h2 résulte de 23dh2-2i2/2i8-2e8/2d9-27d12/3d2-3h2

10) INTERDIT QUATERNAIRE (5f5-f6-f7-f9)/39b6 =>-39b6 (b6=5)
{5f1/8f1-8e1/8e7-6e7/6d7-6d6/5d6-5b6/39b6
{5f3/5b3-5b6/39b6
{5f45/5d6-5b6/39b6

En réalité, il s'agit d'un "ternaire avec groupe" qui permet d'atteindre une position qui se termine facilement :

_ | a_ b_ c_ | d__ e__ f__ | g__ h_ i___ |
1 | 57 __ 12 | 27_ 38_ 38_ | 26_ __ 1256 |
2 | 57 __ __ | 27_ ___ ___ | ___ __ 25__ |
3 | __ __ 12 | ___ 56_ 56_ | ___ __ 12__ |

4 | __ __ 38 | ___ ___ 368 | 36_ __ ____ |
5 | __ __ 38 | 358 ___ 358 | 12_ 12 ____ |
6 | __ __ __ | 36_ ___ ___ | 369 __ 69__ |

7 | __ __ __ | 68_ 68_ ___ | ___ __ ____ |
8 | 39 __ __ | ___ 23_ ___ | ___ __ 29__ |
9 | 39 __ __ | 35_ 235 ___ | 129 12 ____ |

11) XY-chain 3d6-6d6/6i6-9i6/9i8-2i8/2e8-3e8 =>-3d9 et Fin.

J'ai transcrit cette solution pour mon propre compte d'abord (pour être sûr de l'avoir bien comprise et assimilée), ensuite pour la rendre accessible à mes compagnons marqueurs, et enfin parce que cette grille illustre parfaitement mes propos sur les restrictions du marquage.
J'aime cette présentation de jiminoregon pour sa très grande parenté avec les présentations issues du marquage.
Il est maintenant clair pour moi que je n'ai pas obtenu une solution similaire de mon moulin parce qu'il ne manipule pas les liens forts "spéciaux" issus des ALS, pseudo-cases, pseudo-paires cachées, XY-Wing, ... (même si j'ai pu en compenser quelques-uns par des dérivés ternaires...)

Merci abi pour ta très belle solution. Merci JC pour le lien vers celle de jiminoregon. Tout cela est instructif !

C'est mon tour de prendre des vacances sans ORDI ! Bon été à tous. A+
Cenoman.

Bonjour Cenoman,

"1)On garde le X-Wing 7fg38 => -7f1g17 "

Il est vrai que lorsque je vois un x-wing j'élimine automatiquement, même si, comme ici, c'est inutile.

Par contre, il me semble que l'étape 9 (pour ce forum:-1i9 -> -1g1) de jiminoregon est importante pour le ternaire " (1g4-g5-g9)/5g9 =>-5g9" (ton étape 8).

Bonnes vacances à tous...le forum se vide..."Venez armé, l'endroit est désert"

Amicalement,

Sophie

Bonjour abi,

tu as raison, comme d'habitude ! Sans l'élimination de 1g1, le ternaire n'existe tout simplement pas ! Désolé, je n'avais fait de vérification que sur l'existence de tous les jumeaux...

J'ai édité ma présentation en insérant une étape 7bis.

Bonnes vacances.
Cenoman

Bonjour à tous,

Voici une nouvelle traduction-transposition de la solution de Jiminoregon, celle qu'il aurait pu proposer s'il était un marqueur !
Dans ma précédente transposition, j'avais calé sur la version marquage de certains als ou de certains ahs (pseudo-cases pour les francophones) En fait, ils ont tous un équivalent sous forme de dérivé ternaire ou d'interdit ternaire.

1)X-Wing 7fg38 => -7f1g17 qui fait partir de :

_ | a____ b_____ c_____ | d______ e_____ f_____ | g______ h_____ i_____ |
1 | 1D57a 34I5__ 12v34i | 23567A8 23568z 3568__ | 12356__ ______ 1256__ |
2 | 5a7A_ ______ ______ | 2l3o57_ ______ ______ | _______ 23O57g 2b5B__ |
3 | _____ 3c5C__ 1j2V3_ | _______ 2356__ 3567g_ | 123567G ______ 1256__ |

4 | 1d5D_ ______ 138r__ | _______ 1e9E__ 356p8R | 1356P9e 135___ ______ |
5 | _____ 358i9t 1k38__ | 358â___ ______ 358___ | 12m359T 12M35_ ______ |
6 | _____ 359T__ ______ | 356P___ 1E9e__ ______ | 13569__ ______ 156y9á |

7 | _____ ______ 4F6q8s | 567g8__ 568___ ______ | 4f5F___ 5g7G__ ______ |
8 | 3h9H_ 4i8I__ ______ | _______ 2n38__ 34x7G8 | 247g9__ ______ 28à9__ |
9 | 3H9h_ ______ 46Q8__ | 2w3568_ 23568_ 34X568 | 12459__ 1u25__ 1258À9 |

2) INTERDIT TERNAIRE (3b6-d6-g6)/g =>g=Faux
3b6/c(3Kb)-C/a(5R1)-A/g(7L2)
3d6/o(3Kd)-O/g(h2)
3g6/o(3Kg)-O/g(h2)

D'où h7=7, f8=7, f9=4, g3=7, ...

_ | a____ b_____ c_____ | d______ e_____ f_____ | g_______ h____ i_____ |
1 | 1D57a 34F5__ 12v34f | 23567A8 23568z 3568â_ | 1ë23o56y _____ 1256__ |
2 | 5a7A_ ______ ______ | 2l3o57a ______ ______ | ________ 23O5_ 2b5B__ |
3 | _____ 3c5C__ 1j2V3_ | _______ 2356__ 356___ | ________ _____ 1J256ä |

4 | 1d5D_ ______ 138r__ | _______ 1e9E__ 356p8R | 1356P9e_ 135__ ______ |
5 | _____ 358f9t 1k38__ | 358â___ ______ 358___ | 12m359T_ 12M35 ______ |
6 | _____ 359T__ ______ | 356P___ 1E9e__ ______ | 13569___ _____ 156y9á |

7 | _____ ______ 4F6q8s | 568____ 568___ ______ | 4f5F____ _____ ______ |
8 | 3h9H_ 4f8F__ ______ | _______ 2n3H8_ ______ | 24F9____ _____ 28à9__ |
9 | 3H9h_ ______ 6Q8q__ | 2w3è568 23568_ ______ | 1259____ 1u25_ 1258À9 |

3)
1h4/e
5h4/D(5L4)-d/e(1L4)
DERIVE TERNAIRE (135h4)+1h4/e+5h4/e =>!3h4/e

5b6/D(5R4)-d/e(1L4)
9b6/e
DERIVE TERNAIRE (359b6)+5b6/e+9b6/e =>!3b6/e

INTERDIT TERNAIRE (356f3)/e =>e=Faux
3f3/3bc3(3L3)-3bc1/o(3L1)-O/3h4(3Kh)-!3h4/e(DT)
5f3/C(5L3)-c/3b6(3Kb)-!3b6/e(DT)
6f3/p(6Kf)-P/e(g4)

D'où e6=1, e4=9, ...

_ | a____ b_____ c_____ | d______ e_____ f_____ | g_______ h____ i______ |
1 | 1D57a 34F5__ 12v34f | 23567A8 23568z 3568â_ | 1ë23o56y _____ 1256___ |
2 | 5a7A_ ______ ______ | 2l3o57a ______ ______ | ________ 23O5_ 2b5B___ |
3 | _____ 3c5C__ 1j2V3_ | _______ 2356__ 356___ | ________ _____ 1J256ä_ |

4 | 1d5D_ ______ 138r__ | _______ ______ 356p8R | 1356P___ 135__ _______ |
5 | _____ 358f9t 1k38__ | 358â___ ______ 358___ | 12m359T_ 12M35 _______ |
6 | _____ 359T__ ______ | 356P___ ______ ______ | 3569____ _____ 56y9á__ |

7 | _____ ______ 4F6q8s | 568____ 568___ ______ | 4f5F____ _____ _______ |
8 | 3h9H_ 4f8F__ ______ | _______ 2n3H8_ ______ | 24F9____ _____ 28à9___ |
9 | 3H9h_ ______ 6Q8q__ | 2w3è568 23568_ ______ | 1259____ 1u25_ 1ë258À9 |

4)
INTERDIT TERNAIRE (5i6-y-á)/5i9g456 =>-5i9g456
5i6/5i9g456(5Ki et 5R6)
y/P(6R6)-p/R(f4)-r/f(8R4)-F/5i9g456(5R9 et 5Kg)
á/T(9L6)-t/f(b5)-F/5i9g456(5R9 et 5Kg)

5)
2d1/3568d1(d1)
2d2/a(d2)-A/3568d1(d1)
DERIVE TERNAIRE (2d1-d2-w)+2d1/3568d1+2d2/3568d1 =>W/3568d1

3b1/c(3Kb)-C/a(5R1)
5b1/a(5R1)
DERIVE TERNAIRE (3b1-F-5b1)+3b1/a+5b1/a =>f/a

INTERDIT TERNAIRE (n-2g8-2i8)/3568d1 =>d1=27
n/w(2R8)-W/3568d1(DT)
2g8/F(g8)-f/a(DT)-A/3568d1(d1)
2i8/b(2Ki)-B/a(5L2)-A/3568d1(d1)

6)
Ici, la chaîne 5df5-1c5(als cdf5)/1a4-5a4 =>-5b5 est remplacée par :

INTERDIT TERNAIRE (k-1g5-1h5)/5b5 =>-5b5
k/d(1R4)-D/5b5(R4)
1g5/T(g5)-t/5b5(b5)
1h5/M(h5)-m/T(g5)-t/5b5(b5)

_ | a____ b_____ c_____ | d______ e_____ f_____ | g_______ h____ i______ |
1 | 1D57a 34F5__ 12v34f | 23567A8 23568z 3568â_ | 1ë23o56y _____ 1256___ |
2 | 5a7A_ ______ ______ | 2l3o57a ______ ______ | ________ 23O5_ 2b5B___ |
3 | _____ 3c5C__ 1j2V3_ | _______ 2356__ 356___ | ________ _____ 1J256ä_ |

4 | 1d5D_ ______ 138r__ | _______ ______ 356p8R | 1356P___ 135__ _______ |
5 | _____ 358f9t 1k38__ | 358â___ ______ 358___ | 12m359T_ 12M35 _______ |
6 | _____ 359T__ ______ | 356P___ ______ ______ | 3569____ _____ 56y9á__ |

7 | _____ ______ 4F6q8s | 568____ 568___ ______ | 4f5F____ _____ _______ |
8 | 3h9H_ 4f8F__ ______ | _______ 2n3H8_ ______ | 24F9____ _____ 28à9___ |
9 | 3H9h_ ______ 6Q8q__ | 2w3è568 23568_ ______ | 1259____ 1u25_ 1ë258À9 |

7)
1g5/T(g5)
1h5/M(h5)-m/T(g5)
DERIVE TERNAIRE (k-1g5-1h5)+1g5/T+1h5/T =>K/T

INTERDIT A CINQ BRANCHES (v-2d1-2e1-2g1-2i1)/5g1 =>-5g1
v/f(c1)-F/5g1(5Kg)
2d1/A(d1)-a/D(a1)-d/k(1R4)-K/T(DT)-t/f(b5)-F/5g1(5Kg)
2e1/z(e1)-Z/R(8Kf)-r/f(8R4)-F/5g1(5Kg)
2g1/5g1(g1)
2i1/b(2Ki)-B/5g1(5R3)

8)INTERDIT ë/J(1Ki)-j/V(c3)-v/f(c1)-F/à(8L8)-À/ë(i9) =>ë=Faux (-1i9, -1g1)

9)
INTERDIT TERNAIRE (1g4-g5-g9)/5g9 =>-5g9
1g4/P(g4)-p/R(f4)-r/f(8R4)-F/5g9(5Kg)
1g5/T(g5)-t/f(b5)-F/5g9(5Kg)
1g9/5g9(g9)

Il s'ensuit g7=5.

_ | a____ b____ c____ | d______ e_____ f_____ | g_____ h_____ i_____ |
1 | 1C57a _____ 12v3ì | 2a7A___ 23568P 3568p_ | 23o6y_ ______ 1j256_ |
2 | 5a7A_ _____ _____ | 2l3o57a ______ ______ | ______ 23O5ñ_ 2b5B__ |
3 | _____ 3c5C_ 1j2V3 | _______ 2356__ 356___ | ______ ______ 1J256ä |

4 | 1c5C_ _____ 138r_ | _______ ______ 356p8R | 136P__ 135___ ______ |
5 | _____ 3T9t_ 1k38R | 358p___ ______ 358___ | 12m39T 12M35ï ______ |
6 | _____ 35c9T _____ | 356P___ ______ ______ | 369___ ______ 5ñ6y9H |

7 | _____ _____ _____ | 6p8P___ 6P8p__ ______ | ______ ______ ______ |
8 | 3h9H_ _____ _____ | _______ 2h3H__ ______ | ______ ______ 2H9h__ |
9 | 3H9h_ _____ _____ | 2w3è5é_ 235É__ ______ | 1U29H_ 1u2U__ ______ |

10)
a/5d2(d2)
2d2/5d2(d2)
DERIVE TERNAIRE (a-2d2-w)+a/5d2+2d2/5d2 => W/5d2

INTERDIT TERNAIRE (2d2-2h2-b)/5d2
2d2/5d2(d2)
2h2/O(h2)-o/5d2(d2)
b/H(2Kh)-h/w(2R8)-W/5d2(DT)

et

a/o(d2)
2d2/o(d2)
DERIVE TERNAIRE (a-2d2-w)+a/o+2d2/o => W/o

INTERDIT TERNAIRE (2d2-2h2-b)/ñ =>ñ=Faux (-5h2, -5i6)
2d2/o(d2)-O/ñ(h2)
2h2/ñ(h2)
b/H(2Kh)-h/w(2R8)-W/o(DT)-O/ñ(h2)

_ | a____ b____ c____ | d_____ e_____ f_____ | g_____ h_____ i_____ |
1 | 1C57a _____ 12v3ì | 2a7A__ 23568P 3568p_ | 23o6h_ ______ 1j256_ |
2 | 5a7A_ _____ _____ | 2l3o7a ______ ______ | ______ 2o3O__ 2a5A__ |
3 | _____ 3c5C_ 1j2V3 | ______ 2356__ 356___ | ______ ______ 1J256ä |

4 | 1c5C_ _____ 138r_ | ______ ______ 356p8R | 136P__ 135Ï__ ______ |
5 | _____ 3T9t_ 1k38R | 358p__ ______ 358___ | 12m39T 12M35ï ______ |
6 | _____ 35c9T _____ | 35C6P_ ______ ______ | 369___ ______ 6h9H__ |

7 | _____ _____ _____ | 6p8P__ 6P8p__ ______ | ______ ______ ______ |
8 | 3h9H_ _____ _____ | ______ 2h3H__ ______ | ______ ______ 2H9h__ |
9 | 3H9h_ _____ _____ | 2w3è5é 235É__ ______ | 1U29H_ 1u2U__ ______ |


11)
INTERDIT QUATERNAIRE (5f1-f3-f4-f5)/C =>C=Faux (-5b3, b6=5, ...)
5f1/p(f1)-P/C(d6)
5f3/C(5L3)
5f45/C(5R5)

_ | a_ b_ c_ | d__ e__ f__ | g__ h_ i___ |
1 | 57 __ 12 | 27_ 38_ 38_ | 26_ __ 1256 |
2 | 57 __ __ | 27_ ___ ___ | ___ __ 25__ |
3 | __ __ 12 | ___ 56_ 56_ | ___ __ 12__ |

4 | __ __ 38 | ___ ___ 368 | 36_ __ ____ |
5 | __ __ 38 | 358 ___ 358 | 12_ 12 ____ |
6 | __ __ __ | 36_ ___ ___ | 369 __ 69__ |

7 | __ __ __ | 68_ 68_ ___ | ___ __ ____ |
8 | 39 __ __ | ___ 23_ ___ | ___ __ 29__ |
9 | 39 __ __ | 35_ 235 ___ | 129 12 ____ |

12) XY-chain 3d6-6d6/6i6-9i6/9i8-2i8/2e8-3e8 =>-3d9 et Fin.

Conclusions :

1) sur la grille elle-même : elle n'était pas du tout hors de la portée des méthodes du marquage. Le fond de la solution présentée ici est la solution de Jiminoregon sur le site http://www.sudoku.com.au (même si lui-même ne s'y reconnaitrait probablement pas), avec notamment son coup génial d'interdit à cinq branches ! La séquence d'éliminations est identique et les chaînes de conflits également (même si cela ne saute pas aux yeux des non-marqueurs !) On peut constater que, pour rester conforme aux "restrictions" du marquage j'ai remplacé tous les objets "exotiques" du type jumeaux issus d'als et conflits issus de pseudo-paires : ils sont remplacés par des dérivés ternaires et des interdits ternaires.

2) sur l'efficience du marquage pour résoudre ce type de grille : je n'ai réussi à remplacer les "objets exotiques" par des dérivés ternaires que parce que ces objets sont ici relativement simples : als de 2 ou 3 cases, pseudo-cases sur deux cases (pseudo-paires). Avec des pseudo-cases sur trois cases, cela ne serait plus possible (par exemple, il faut des petites matrices pour justifier les conflits induits par un pseudo-triplet).

Néanmoins, ces rapprochements entre les pseudo-cases et les dérivés ternaires m'ont bien intéressé, et c'est même la raison principale de publication de cette nouvelle transposition d'une solution trouvée par quelqu'un d'autre. Avec la bd00a proposée par Jeanlé en fevrier 2011, et sur laquelle abi m'avait suggéré des fonctionnalités à prévoir dans mon "assistant", je tiens deux grilles des plus intéressantes pour tester des évolutions de programmation (je vais essayer d'intégrer les pseudo-cases dans mes calculs de conflits)

Cordialement.
Cenoman