Retour au calme... (MC 40081)

Bonjour à tous,

histoire de revenir aux fondements, voici une standard bien sympa du site MC.

200 100 006
800 025 004
040 000 300

000 500 000
003 072 060
008 019 040

090 000 400
700 091 002
300 700 008

n° MC : A321963016860050544443-40081

Cordialement

Bonjour Cenoman et à tous,

Calme, hum !!! je dirais agité plutôt. C'est assez laborieux et longuet.

D'abord un Gratte-ciel des 3 => -3h4i7
Interdit g8=6, XY-wing f9d8f6 => -6f4
OU : -1b9, -1a5, -5a7, XY-wing b5a6a7 => -1a4, -1h7, -5a5,
Interdit -9a3c4
OU -5g6, -7b2, -6c9
Interdit ternaire sur case b1 => b5=1
Rebelote a6=5
Interdit b2=3, f3=7
Fusion quatre nappes c2=a3=16, -6cd3
GC 6-6b9, f9=6, XY-wing f7d8d5 => f7=8, e3=e4=68
GC 5 c3i3-c8h8 => -5h1i7, i7=7 etc...
ça occupe bien le temps !

A+

Bonjour Jeanlé, bonjour à tous,

Jeanlé, tu as raison, c'est long et fastidieux.

J'avais porté mon appréciation en négligeant la revue de détail de la partie marquage simple. Elle est lourdingue et on ne peut occulter aucune des éliminations. Je finis d'une manière un peu différente de la tienne.


_ | a_____ b_____ c_______ | d_____ e_____ f____ | g_____ h______ i______ |
1 | ______ 3m57__ 579u____ | ______ 3a4A__ 34a7á | 578s9_ 5z78S9_ _______ |
2 | ______ 13M67_ 1679____ | 3m6p9ã ______ _____ | 179___ 179____ _______ |
3 | 1569â_ ______ 15679___ | 68d9Ã_ 6b8B__ 67Á8_ | ______ _______ 1j5n79ä |

4 | 14d69_ 1267__ 12l67à9â | ______ 3468__ 3468_ | 12k789 13x78s9 1379___ |
5 | 14D59v 1c5C__ ________ | 4d8D__ ______ _____ | 158d9_ _______ 159____ |
6 | 5e6E__ 2k567q ________ | 3f6F__ ______ _____ | 2K57__ _______ 3F57___ |

7 | 156___ ______ 156_____ | ______ 35y68t 368T_ | ______ 1357r__ 13x57R_ |
8 | ______ ______ 4d5o6___ | 3H4D6_ ______ _____ | 5g6G__ 3h5H___ _______ |
9 | ______ 12l56_ 12L4D56_ | ______ 45Y6__ 4i6I_ | 156g9w 159W___ _______ |

f/H(3Kd) =>-3h4i7 (gratte-ciel)

D/i(4R8)-I/É(6R8)=>D/É =>-6c8 (ni d=4c8, ni é=6ac7)

B/d(8L3)-D/i(4R8)=>B/i =>-6f3e79 (ni b=6e3, ni I=6f9)

C/e(5R4)-E/F(6L6)-f/m(3Kd)=>C/m =>-1b2 (ni c=1b5, ni M=3b2)

g/Z(5Kh)-z/S(h1)-s/d(8Kg)=>g/d =>-6d8 (ni G=6g8, ni D=4d8) Il s'ensuit g8=5

m/ã(d2)-Ã/d(d3)-D/L(c9)-l/à(c4)=>m/à =>-7b2 (ni M=3b2, ni À=7c123)

_ | a_____ b_____ c_______ | d_____ e____ f____ | g_____ h_____ i______ |
1 | ______ 3m57à_ 579u____ | ______ 3a4A_ 34a7á | 578s9_ 5z78S9 _______ |
2 | ______ 3M6m__ 1j67ê9__ | 3m6p9ã _____ _____ | 179___ 179___ _______ |
3 | 1ñ569â ______ 15679___ | 68d9Ã_ 6b8B_ 7Á8á_ | ______ ______ 1j5n79ä |

4 | 14d69_ 1267__ 12l67à9â | ______ 346B8 348__ | 12k789 178s9_ 13B79__ |
5 | 14D59v 1c5C__ ________ | 4d8D__ _____ _____ | 158d9_ ______ 159____ |
6 | 5e6E__ 2k567q ________ | 3B6b__ _____ _____ | 2K57__ ______ 3b57___ |

7 | 156___ ______ 156_____ | ______ 35y8t 36i8T | ______ 13d57r 157R___ |
8 | ______ ______ 4d5D____ | 3d4D__ _____ _____ | ______ 3D5d__ _______ |
9 | ______ 1ï2l56 12L4D56_ | ______ 4y5Y_ 4i6I_ | 159w__ 159W__ _______ |

XY-wing 53h8/34d8/45e9 =>-5gh9

Chaîne XY : 56a6/63d6/34d8/45c8 =>-5a7

Chaîne mixte : 56a6/63d6/34d8/4d5-4a5 =>-5a5

Chaîne mixte : 56a6/63d6/34d8/4ef9-4c9/2c9-2b9/2b6-2g6 =>-5g6

Ces trois chaînes utilisent les trois mêmes maillons de départ (lien fort e-D,

c'est à dire qu'elles exploitent le même conflit E/d)

_ | a______ b_____ c______ | d_____ e____ f____ | g_____ h_____ i______ |
1 | _______ 3m57à_ 579u___ | ______ 3a4A_ 34a7á | 5Î78s9 5r78S9 _______ |
2 | _______ 3M6m__ 1j67ê9_ | 3m6p9ã _____ _____ | 179___ 179___ _______ |
3 | 1ñ5E69â ______ 15679__ | 68d9Ã_ 6b8B_ 7Á8á_ | ______ ______ 1j5n79ä |

4 | 4d69___ 1C267_ 2l67à9â | ______ 346B8 348__ | 12k789 178s9_ 13B79__ |
5 | 4D9d___ 1c5C__ _______ | 4d8D__ _____ _____ | 15î8d9 ______ 159____ |
6 | 5e6E___ 2k567q _______ | 3B6b__ _____ _____ | 2K7k__ ______ 3b5C7__ |

7 | 1Ñ6ñ___ ______ 1ñ56___ | ______ 35y8t 36i8T | ______ 3d57r_ 5r7R___ |
8 | _______ ______ 4d5D___ | 3d4D__ _____ _____ | ______ 3D5d__ _______ |
9 | _______ 2l5ë6_ 2L4D56_ | ______ 4y5Y_ 4i6I_ | 1W9w__ 1w9W__ _______ |

Interdit â/d(9R4)-D/L(c9)-l/â(c4) =>â=Faux (-9a3c4)

OU d/î(g5) =>-5c1 (ni D=5c8, ni Î=5g1)

_ | a____ b_____ c_____ | d_____ e____ f____ | g_____ h_____ i______ |
1 | _____ 3m5n7à 7U9u__ | ______ 3a4A_ 34a7á | 5Î78s9 5r78S9 _______ |
2 | _____ 3M6m__ 1j67ê9 | 3m6p9ã _____ _____ | 179___ 179___ _______ |
3 | 1ñ5E6 ______ 15ë679 | 68d9Ã_ 6b8B_ 7Á8á_ | ______ ______ 1j5n79ä |

4 | 4d9D_ 1C267_ 2l67à_ | ______ 346B8 348__ | 12k789 178s9_ 13B79__ |
5 | 4D9d_ 1c5C__ ______ | 4d8D__ _____ _____ | 15î8d9 ______ 159____ |
6 | 5e6E_ 2k567q ______ | 3B6b__ _____ _____ | 2K7k__ ______ 3b5C7__ |

7 | 1Ñ6ñ_ ______ 1ñ56__ | ______ 35y8t 36i8T | ______ 3d57r_ 5r7R___ |
8 | _____ ______ 4d5D__ | 3d4D__ _____ _____ | ______ 3D5d__ _______ |
9 | _____ 2l5ë6_ 2L4D56 | ______ 4y5Y_ 4i6I_ | 1W9w__ 1w9W__ _______ |

ternaire des 5 de la ligne 3 :

INTERDIT TERNAIRE (n-E-ë)/m=>-6b2
n/m(b1)
E/b(6R4)-B/m(3Kd)
ë/D(5Kc)-d/m(3Kd)

INTERDIT TERNAIRE (n-E-ë)/8f4=>-8f4
n/Î(5L1)-î/d(g5)-D/8f4(8R5)
E/b(6R4)-B/t(8Ke)-T/8f4(8Kf)
ë/Y(5L9)-y/t(e7)-T/8f4(8Kf)

La grille s'achève alors simplement :

[font=courier new]_ | a___ b_____ c______ | d____ e___ f___ | g_____ h_____ i_____ |
1 | ____ 5l7L__ 7U9u___ | _____ 3a4A 3A4a | 5Î78s9 5r78S9 ______ |
2 | ____ ______ 1j6P7ê9 | 6p9P_ ____ ____ | 179___ 179___ ______ |
3 | 1ñ6Ñ ______ 15L69__ | 68a9p 6a8A ____ | ______ ______ 1j5l9ä |

4 | 4a9A 26a7__ 2l7L___ | _____ 6A8a 3a4A | 12k789 178s9_ 1J3A79 |
5 | 4A9a ______ _______ | 4a8A_ ____ ____ | 5î8a9_ ______ 5Î9î__ |
6 | ____ 2k6A7q _______ | 3A6a_ ____ ____ | 2K7k__ ______ 3a7A__ |

7 | 1Ñ6ñ ______ 1ñ6Ñ___ | _____ 3A5a ____ | ______ 3a57r_ 5r7R__ |
8 | ____ ______ 4a5A___ | 3a4A_ ____ ____ | ______ 3A5a__ ______ |
9 | ____ 2l5L__ 2L4A5__ | _____ 4a5A ____ | 1W9w__ 1w9W__ ______ |

Gratte ciel 5i3-5c3/5c8-5h8 =>-5h1i7 et Fin

Cordialement
Cenoman

Bonjour Cenoman et à tous,

D'abord je suis un peu surpris par ton OU -6d8, alors qu'il suffit de prolonger la chaîne pour avoir l'interdit
g/Z(5Kh)-z/S(h1)-s/d(8Kg)-Di (4d8f9)-Ig (6f9g9) => g faux, g8=6

Cenoman a écrit:

_ | a_____ b_____ c_______ | d_____ e_____ f____ | g_____ h______ i______ |
1 | ______ 3m57__ 579u____ | ______ 3a4A__ 34a7á | 578s9_ 5z78S9_ _______ |
2 | ______ 13M67_ 1679____ | 3m6p9ã ______ _____ | 179___ 179____ _______ |
3 | 1569â_ ______ 15679___ | 68d9Ã_ 6b8B__ 67Á8_ | ______ _______ 1j5n79ä |

4 | 14d69_ 1267__ 12l67à9â | ______ 3468__ 3468_ | 12k789 13x78s9 1379___ |
5 | 14D59v 1c5C__ ________ | 4d8D__ ______ _____ | 158d9_ _______ 159____ |
6 | 5e6E__ 2k567q ________ | 3f6F__ ______ _____ | 2K57__ _______ 3F57___ |

7 | 156___ ______ 156_____ | ______ 35y68t 368T_ | ______ 1357r__ 13x57R_ |
8 | ______ ______ 4d5o6___ | 3H4D6_ ______ _____ | 5g6G__ 3h5H___ _______ |
9 | ______ 12l56_ 12L4D56_ | ______ 45Y6__ 4i6I_ | 156g9w 159W___ _______ |

g/Z(5Kh)-z/S(h1)-s/d(8Kg)=>g/d =>-6d8 (ni G=6g8, ni D=4d8) Il s'ensuit g8=5



_ | a_____ b_____ c_______ | d_____ e____ f____ | g_____ h_____ i______ |
1 | ______ 3m57à_ 579u____ | ______ 3a4A_ 34a7á | 578s9_ 5z78S9 _______ |
2 | ______ 3M6m__ 1j67ê9__ | 3m6p9ã _____ _____ | 179___ 179___ _______ |
3 | 1ñ569â ______ 15679___ | 68d9Ã_ 6b8B_ 7Á8á_ | ______ ______ 1j5n79ä |

4 | 14d69_ 1267__ 12l67à9â | ______ 346B8 348__ | 12k789 178s9_ 13B79__ |
5 | 14D59v 1c5C__ ________ | 4d8D__ _____ _____ | 158d9_ ______ 159____ |
6 | 5e6E__ 2k567q ________ | 3B6b__ _____ _____ | 2K57__ ______ 3b57___ |

7 | 156___ ______ 156_____ | ______ 35y8t 36i8T | ______ 13d57r 157R___ |
8 | ______ ______ 4d5D____ | 3d4D__ _____ _____ | ______ 3D5d__ _______ |
9 | ______ 1ï2l56 12L4D56_ | ______ 4y5Y_ 4i6I_ | 159w__ 159W__ _______ |


Cenoman

Ensuite tu as deux beaux ternaires sur la case b1 (3m5n7à) :

(mnà) + mB (3d2d6) bC (i6) + nC (5b1b5) + àL (c4) LD (c9) dB (8d3e3) bC (i6) => C faux, b5=1, 5E en b6

et rebelote

(mnà) + mB bE (6d6a6) + nE (5b1b6) + àl LD dB bE => E faux, a6=5

A+

Bonjour Jeanlé,

Au temps pour moi !

Pour le OU éliminant -6d8 plutôt que l'interdit sur g, c'est la faute au solveur : en fait, je travaille encore le marquage simple avec des chaînes, en recherchant les plus courtes jusqu'au blocage (mais je ne lui fais pas afficher toutes les chaînes !) et je les traduis ensuite manuellement en dérivations de conflits. La raison en est que le chantier de programmation n'est pas terminé (j'avais donné la priorité à la programmation des ternaires, le marquage simple et les chaînes AIC sans objet inclus étant strictement équivalents)

Pour le choix du ternaire, j'avais l'impression que (5aci3) donnait une fin de grille plus courte, n'ayant pas fait le tri de ce qui était strictement nécessaire dans la liste de tes éliminations suivant le ternaire.
Il n'en est rien, d'autant que les interdits sur 5b5 et 6a6 apparaissent assez rapidement (après -5a57, qui induit 5a3=e). Ta solution est la plus efficace.

Cordialement.
Cenoman