17 cases à déboucher (86bde)

Bonjour à tous,

Les cracks vont pouvoir se délecter avec cette 17 cases trop hermétique pour moi.

000 009 000
018 000 030
003 007 000

000 000000
740 000 002
000 030 050

000 000 004
020 000 709
000 580 000

N° MC : A136973316798043355333-86bde

Je démarre par deux gratte-ciel : GC5 b4b13-f4f2 => -5a2 => -5e13
GC9 g2a2-g6abc6 => -9a4,

et c'est bouché.!.

A+

Bonjour jeanlé, bonjour à tous,

Deux dérivés ternaires font faire office de déboucheur !!

Marquage de la grille de départ (comme à mon habitude, je ne prends plus de lettre au-delà des jumeaux simples ou en groupe) :


_ | a________ b______ c_______ | d____ e______ f_____ | g______ h______ i_____ |
1 | 2456_____ 567p___ 2f4w567P | _____ 1d2456_ ______ | 1268q__ 124x6__ 15à68Q |
2 | 24j5m69s_ _______ ________ | 2E46_ 2456___ 45z6__ | 269S___ _______ ______ |
3 | 24569____ 569è___ ________ | _____ 1D2456_ ______ | 1269___ 124X69ä 15À6__ |

4 | 13h5689__ 3H5y689 1569____ | 12e46 2E4569ã 145Z6_ | 14k689_ _______ 168___ |
5 | _________ _______ 15n69___ | 1a6A_ 5N69Ã__ ______ | _______ 169Ä___ ______ |
6 | 12f689___ 689____ 12F69___ | _____ _______ 14k6__ | 14K689t _______ 168___ |

7 | 1368_____ 3h68á__ 1b6B____ | _____ _______ 12g3i6 | _______ 12G68r_ ______ |
8 | 13i45o68r _______ 145O6___ | 1u46_ 4c6C___ 13I46_ | _______ 168R___ ______ |
9 | 1469_____ 67P9___ 1467p9â_ | _____ _______ 12G4l6 | 1å2v6ç_ 126____ ______ |

On a bien évidemment l'interdit sur m :
y/Z(5L4)-z/m(5L2)=y/m et Y/m(5R1),
et le OU mixte S/t(9Kg),
qui éliminent 5a2 et 9a4, signalés par Jeanlé.

Ils ne participerons pas à l'opération de débouchage.

Considèrons d'abord le ternaire des [9] ligne 9 (9abc9)
DERIVE TERNAIRE (9a9-9b9-â)+9b9/4c9+â/4c9=>!9a9/4c9
{9b9/P(b9)-p/4c9(c9)=9b9/4c9
{â/4c9(c9)

On utilise ce conflit pour en déduire un nouveau conflit dérivé 4c9/t :
4c9/!9a9(DT)-9a9/s(9Ka)-S/t(9Kg)=4c9/t

Considèrons maintenant le ternaire des [4] de la colonne c (4c189)
DERIVE TERNAIRE (w-4c8-4c9)+w/t+4c8/t=>!4c9/t
{w/x(4L1)-X/ä(h3)-Ä/t(9R6)=w/t
{4c8/L(4R7)-l/k(4Kf)-K/t(g6)=4c8/t

Ce conflit dérivé ternaire !4c9/t et le conflit précédemment obtenu 4c9/t produisent un INTERDIT sur t :
t/4c9-!4c9/t => t=Faux (-9g6)

Il s'ensuit -9c45, -9ab4 (par l'interaction ligne 6-région 4), d'où le triplet nu 156c457 qui induit c8=4 etc. jusqu'au bout !)

Merci Jeanlé, pour cette excellente illustration de l'intérêt des dérivés ternaires.

EDIT du 26/08 :
On peut remarquer encore une fois ici qu'un dérivé ternaire donne un conflit équivalent à celui d'une pseudo-case :
- compte tenu de la présence des jumeaux 7bc9, on peut écrire le lien fort 9a9-79bc9
- la pseudo-paire 79bc9 est en conflit avec 4c9

D'où l'écriture "chaîne" qu'on peut proposer :
9g2-9a2/9a9-79bc9/4c9_|-4c8/4ac9-4f9/4f6-4g6
______________________|-4c1/4h1-4h3/9h3-9h5

ou encore, sous forme d'interdit ternaire, toujours par le ternaire des [4] de la colonne c (4c189) ("kraken column" comme le diraient nos amis des forums anglophones) :

4c1/4h1-4h3/9h3-9h5
|
4c8/4ac9-4f9/4f6-4g6
|
4c9/79bc9-9a9/9a2-9g2

9g6 est en conflit avec 9h5, 4g6, 9g2 dont l'un au moins est vrai, d'où son élimination.
J'insiste sur le fait que ces deux écritures sont celles de la solution que j'ai présentée ci-dessus par marquage.

Cordialement.
Cenoman

Bonjour jeanlé, bonjour à tous,

Juste une soluce en passant...on repère assez rapidement l'als c4578 :
(je sais, jeanlè, que vous n'aimez guère les als, mais ils sont bien pratiques)


Als c4578 (14569)-> 9c4/c5/4c8 (c'est un lien, au moins un est vrai sinon l'als est incomplet) =>

*9ce45-4c8 / 4ac9-4f9 / 4f46-9e5 (als f46 de5) -> -9h5 et fin

Ou:

9c5
|
9c4 / 9e4-9e5
|
4c8 / 4ac9-4f9 / 4f46-42de4 / 9e4-9e5

-> -9h5 et fin.

Idem:

9c5|-9c4 / 9e4-9e5
___|-4c8 / 4ac9-4f9 / 4f46-9e5 (als f46 de5)

-> -9h5 et fin.

(ou : *x-wing 9ce45-4c8 (als c4578) / 4ac9-4f9 / 4f46-9e5 (als f46 de5) -> -9h5 et fin )


(J'ai décliné la même soluce sous plusieurs formes presqu'identiques...mais j'ai remarqué qu'il suffit de pas grand chose pour qu'une analyse échappe au lecteur)


Amicalement,

Sophie

Bonjour abi, cenoman et à tous,

Abi, j'adore les als mais je ne peux pas les utiliser en marquage. Lorsque vous dites au moins un est vrai, cela signifie aussi qu'il peut y avoir aussi deux (ou plus) vrais. Or en marquage, si j'ai bien tout compris, on ne peut utiliser que le lien "un seul peut être vrai, et s'il y a un vrai, les autres sont faux". Lien fort [aA] ou ternaire (abc) etc., un est forcément vrai, l'autre (les autres) forcément faux. Lien faible (= conflit) ab ou abc, etc. les deux, ou plus, peuvent être faux, mais si l'un est vrai, l'autre (les autres) sont faux. C'est bien pour ça que vos solutions ne sont généralement pas traduisibles en marquage.

Et bravo pour l'infaisable et sa TM de 19 lignes. Vous devez avoir des lunettes à infrarouge ou amplification de lumière, des neurones en rab, et un câblage en conséquence ! C'est impressionnant.

Cenoman, bravo pour la solution, assez courte, facile à suivre mais impossible à dénicher en manuel. Ces dérivés ternaires en cascade, faut les dénicher ! J'admire en particulier l'efficacité des groupes jumeaux de candidat-case !4c9 par exemple. C'est une notation puissante.

A+

Bonjour Jeanlé, abi et tous,

j'ai édité mon précédent message pour y ajouter deux écritures simplifiées de ma solution, après avoir remarqué que mon premier dérivé ternaire décrit en réalité une configuration de pseudo-case.
Dans cette écriture, j'ai remplacé les lettres du marquage par les candidats, pour rendre la solution lisible par les non-marqueurs.

Cordialement.
Cenoman.