28 cases récalcitrante (1f9c3)

Bonsoir à tous,

Une grille récalcitrante. Je n'ai pas avancé d'un pouce !

040 206 000
700 000 250
002 007 840

004 020 900
000 009 010
003 800 007

400 000 620
006 302 090
090 104 000

N° MC : A325180122802045322404-1f9c3

A+

Bonjour Jeanlé,

Après un petit tour de moulin, j'ai trouvé d2=4 (Ternaire des 3 en ligne 2) et puis rien...

A+
André

Bonjour à tous,

Une TM de 7 lignes (liens-conflits des 7/8 + un 5) prouve g8≠1 et l'on termine avec un xy-wing (-5e6).

(Pas eu le temps de raccourcir ou de chercher autre chose, devant m'absenter pour un certain temps...)

Bon week-end à tous

Amicalement,

Sophie

Bonjour Jeanlé, andré, abi et tous,


J'ai un peu cherché à retrouver la solution suggérée par abi, sans y arriver. A défaut, en voici une autre obtenue par marquage.

On part de la situation de blocage, après le cerf-volant des 1 :
1c7-1i7/1g8-1g1 =>-1c1


_ | a_____ b_____ c_____ | d_____ e______ f_____ | g_____ h____ i______ |
1 | 13v58_ ______ 589z__ | ______ 135l8q9 ______ | 1J3ã7a 3a7A_ 139ç___ |
2 | ______ 16n8__ 1J89Z_ | 4b9B__ 13â4B89 1H3F8i | ______ _____ 13k6N9ê |
3 | 13V56w 156___ ______ | 5c9C__ 1359___ ______ | ______ _____ 136n9t_ |

4 | 1d6D__ 1D6î7e ______ | 6e7E__ _______ 3f5F__ | ______ 3g8G_ 35f8g__ |
5 | 568___ 5678__ 57x8__ | 4B6E7_ 3F47y__ ______ | 3f4F__ _____ _______ |
6 | ______ ______ ______ | ______ 1H4F5i_ 1h5H__ | 4f5F__ _____ _______ |

7 | ______ ______ 1j57o8 | 5C7y9u 57è89U__ 5i8I_ | ______ _____ 1J5ú8s_ |
8 | 158___ 157x8_ ______ | ______ 5à7o8r_ ______ | 1j5ä7p _____ _______ |
9 | ______ ______ 5m7p8s | ______ _______ ______ | 357___ 37a8g 358____ |




J'ai choisi d'utiliser dès le départ les dérivés ternaires. De toute façon, il faut y venir à un moment ou un autre.

On commence par deux interdits ternaires presque naturels :

1)______________________________
INTERDIT TERNAIRE (J-ú-s)H=>-5f6 (trio 158i7)
J/H(1L2)
ú/f(5K9)-F/H(f2)
s/I(8L7)-i/H(f2)

On a donc f6=1

2)______________________________
INTERDIT TERNAIRE (â-F-k)B=>-9d2 (triplés 3 ligne 2)
â/B(e2)
F/B(4K5)
k/N(i2)-n/t(i3)-T/B(9R2)

On a donc d2=4

Ensuite, on utilise un interdit ternaire issu de trois dérivés ternaires (merci le moulin !)

3)______________________________
DERIVE TERNAIRE (J-ú-s)+ú/C+s/C=>j/C (trio 158i7)
ú/C(5L7)
s/I(8L7)-i/C(5L7)=s/C

DERIVE TERNAIRE (F-i-H)+F/ä+H/ä=>I/ä (trio 145e6)
F/ä(5R9)
H/J(1L2)-j/ä(g8)=H/ä

DERIVE TERNAIRE (y-è-o)+y/C+è/C=>O/C (triplés 7 colonne e)
y/C(d7)
è/U(e7)-u/C(d7)=è/C

INTERDIT TERNAIRE (j-ä-p)C=>-9d3 (trio 157g8)
j/C(DT)
ä/I(DT)-i/C(5L7)
p/o(7K3)-O/C(DT)

On en déduit d3=5


La situation est déjà un peu éclaircie. On va poursuivre avec deux interdits issus des mêmes ternaires

4)______________________________
DERIVE TERNAIRE (ç-ê-t)+ê/k+t/k=>Ç/k (triplés 9 colonne i)
ê/k(i2)
t/n(i3)-N/k(i2)=t/k

INTERDIT TERNAIRE (J-ã-a)k=>-3i2 (trio 137g1)
J/Z(c2)-z/ç(9L1)-Ç/k(DT)
ã/k(3R3)
a/k(3R3)

5)________________________________
DERIVE TERNAIRE (ç-ê-t)+ê/3i3+t/3i3=>Ç/3i3
ê/N(i2)-n/3i3(i3)=ê/3i3
t/3i3(i3)

INTERDIT TERNAIRE (J-ã-a)3i3=>-3i3
J/Z(c2)-z/ç(9L1)-Ç/3i3(DT)
ã/3i3(3R3)
a/3i3(3R3)

Encore deux étapes utilisant les mêmes ternaires

6)________________________________
DERIVE TERNAIRE (J-ã-a)+ã/î+a/î=>j/î (trio 137g1)
ã/v(3L1)-V/w(a3)-W/î(6R4)=ã/î
a/v(3L1)-V/w(a3)-W/î(6R4)=a/î

DERIVE TERNAIRE (o-x-p)+o/1b2+p/1b2=>X/1b2 (triplés 7 région 7)
o/j(c7)-J/è(1L2)=o/1b2
p/j(g8)-J/è(1L2)=p/1b2

INTERDIT TERNAIRE (D-î-e)1b2=>-1b2 (trio 167b4)
D/1b2(1K2)
î/j(DT)-J/1b2(1L2)
e/x(7K2)-X/è(DT)

7)________________________________
DERIVE TERNAIRE (J-ã-a)+ã/î+a/î=>j/î
ã/v(3L1)-V/w(a3)-W/î(6R4)=ã/î
a/v(3L1)-V/w(a3)-W/î(6R4)=a/î

DERIVE TERNAIRE (o-x-p)+o/1b3+p/1b3=>X/1b3
o/j(c7)-J/1b3(1R1)=o/ë
p/j(g8)-J/1b3(1R1)=p/ë

INTERDIT TERNAIRE (D-î-e)1b3=>-1b3
D/1b3(1K2)
î/j(DT)-J/1b3(1R1)
e/x(7K2)-X/1b3(DT)

On atteint la situation suivante :

_ | a_ b_ c__ | d_ e_ f_ | g__ h__ i__ |
1 | 15 __ 59_ | __ __ __ | 137 37_ 139 |
2 | __ __ 19_ | __ 19 __ | ___ ___ ___ |
3 | __ __ ___ | __ 19 __ | ___ ___ 19_ |

4 | 16 17 ___ | 67 __ __ | ___ 38_ 38_ |
5 | 56 57 ___ | 67 __ __ | ___ ___ ___ |
6 | __ __ ___ | __ __ __ | ___ ___ ___ |

7 | __ __ 157 | __ 57 __ | ___ ___ 15_ |
8 | __ 15 ___ | __ 57 __ | 17_ ___ ___ |
9 | __ __ 57_ | __ __ __ | 37_ 378 358 |

qui se termine par une chaîne simple : 5e7-7e7/7e8-7g8/1g8-1i7 =>-5i7

Plutôt récalcitrante, en effet...
Vous constaterez que j'ai choisi de modifier légèrement mes notations : j'emploie le / pour marquer les conflits et le - pour marquer les liens forts, y compris dans les ternaires, à l'instar de ce qu'on écrit habituellement dans les chaînes (voisins / et jumeaux -)

Cordialement

Cenoman

Bonjour Cenoman, bonjour à tous,

Répons'rapid ! Tu n'es pas parvenu à retrouver ma solution...t'attendant, sans doute, à quelque chose de plus joli

Soit:

1i7_79de7 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ als defi7
_____5d7__5d3
7g8_7e8______7b8
_____________7c79_7c5
__________5b3_____7b4_8b2 _ _ _ _ _ _ als b234
__________________8c5_8c12_8chi79
______________________8f2__8f7

-> -1g8

*58e1 / 8f2-5f4 (als f24) -> -5e6 et fin.

Soit:

1i7__79de7 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ als defi7
_____5d7__5d3
7g8___________7gh9
____7c7_______7c9_7c5
__________5b3_____7b4_8b2 _ _ _ _ _ _ als b234
__________________8c5_8b5f2_8a5f7
15ae8_7e8___________________8ae8

-> -1g8

*58e1 / 8f2-5f4 (als f24) -> -5e6 et fin

Soit :

1i7_79de7 __________________________ als defi7
_____5d7__5d3
7g8___________7gh9
____7c7_______7c9_7c5
__________5b3_____7b4_8b2 _________ als b234
______________________8f2__8f7*
__________________8c5_8c12_8c7_8c9
5gh9*__________________________5c9

-> -58i7

*58e1 / 8f2-5f4 (als f24) -> -5e6 et fin

Soit: etc....lorsque l'on a trouvé le raisonnement, les présentations ne manquent pas.

Amicalement,

Sophie

Bonjour à tous,

Une autre présentation de la solution d'abi :

#1. Dérivation des 8 en ligne 8

8*a8-8a5=78bc5-5b5=gratte-ciel(5b38 5d37)-(58*=7)e8
||
8b8
||
8e8-[(8=5)f7-5d7=5d3-5b3 ET gratte-ciel(8f27 8d28)=8b5-5b5]=5b8

=> ensemble fort [7e8,58b8] => -7b8

#2. 1i7=(1-7)c7=7c9-7gh9=7g8 => -1g8
#3. (5=8)e1-(8=3)f2-(3=5)f4 => -5e6

Amicalement, JC.

Bonjour JC

8*a8-8a5=78bc5-5b5=gratte-ciel(5b38 5d37)-(58*=7)e8
||
8b8...

Je n'ai pas saisi: "-8a5=78bc5" n'est pas direct (8a8=>rien de particulier à lui-seul)...8*a8-8a5(soit 7b4) soit=78bc5 (et cela fonctionnera) non?

Amicalement,

Sophie

Bonjour abi,

Bien observé, je me suis un peu emmêlé les pinceaux en relisant la TM ci-dessous à partir de la dernière ligne.

Je corrige et je complète le #1 :

#1. Dérivation des 8 en ligne 8 :

7b8
7e8_58e8f7
____5d7____5d3
5b8________5b2_5b5
8b8____________8b5_8b2
___________________8f2_8f7
7b4____________7b5_________7c5
_______________8b5_________8c5_8a5
8b8____________________8e8_____8a8

=> SIS[7e8,7b4,58b8] => -7b8



soit :

8*a8-8a5=[78bc5-5b5=gratte-ciel(5b38 5d37)-(58*=7)e8 OU 7b4]
||
8b8
||
8e8-[(8=5)f7-5d7=5d3-5b3 ET gratte-ciel(8f27 8d28)=8b5-5b5]=5b8

=> ensemble fort [7e8,7b4,58b8] => -7b8

Amicalement, JC.

Bonjour à tous,

Je n'ai pas pu empêcher de remettre ça!
Mais je n'ai pas eu le courage de recopier les chaînes de conflits simples et dérivés car je pars en vacances dans une heure.
J'ai indiqué seulement les éliminations résultantes.
Merci à Jeanlé pour cette belle grille qui nécessite l'utilisation des dérivés ternaires.

X(1)
1 | 13n58__ 4_____ 1589o__ | 2_____ 135l8v9â_ 6_____ | 1r3x7a 3a7A__ 139ê___ |
2 | 7______ 16c8ö_ 189O___ | 4b9B__ 13ò4B8è9ô 1j3i8q | 2_____ 5_____ 13ù6C9î |
3 | 13N5ä6f 156ë__ 2______ | 5p9P__ 135ó9ì___ 7_____ | 8_____ 4_____ 136c9w_ |

4 | 1d6D___ 1D6z7g 4______ | 6g7G__ 2________ 3I5i__ | 9_____ 3h8H__ 3y5I8h_ |
5 | 568____ 567ï8_ 57s8___ | 4B6G7ú 3i4é7t___ 9_____ | 3I4i__ 1_____ 2______ |
6 | 9______ 2_____ 3______ | 8_____ 1j4i5í___ 1J5j__ | 4I5i__ 6_____ 7______ |

7 | 4______ 3_____ 1R57û8ü | 5P7t9m 57ã8à9M__ 5q8Q__ | 6_____ 2_____ 1r58___ |
8 | 158____ 157s8_ 6______ | 3_____ 5õ7ñ8u___ 2_____ | 1R57ç_ 9_____ 4______ |
9 | 2______ 9_____ 5k78___ | 1_____ 6________ 4_____ | 357___ 3á7a8h 358____ |

-1c1 (1Rc7 1rg1)
B faux (-9d2) Ternaire 3ò 3i 3ù (les 3 ligne 2)
Marquage 5b ( en b3)

XX(2)
1 | 13n58_ 4_______ 589o___ | 2___ 135l8v9 6_____ | 1r3x7a 3a7A__ 139__ |
2 | 7_____ 16c8____ 1r89O__ | 4___ 13ò89__ 1j3i8q | 2_____ 5_____ 136C9 |
3 | 13N56f 1ú5b6___ 2______ | 5m9M 1359___ 7_____ | 8_____ 4_____ 136c9 |

4 | 1d6D__ 1D6z7g__ 4______ | 6g7G 2______ 3I5i__ | 9_____ 3h8H__ 35I8h |
5 | 5ö6ô8â 5è67ï8ê_ 5ë7s8y_ | 6G7g 3i4I___ 9_____ | 3I4i__ 1_____ 2____ |
6 | 9_____ 2_______ 3______ | 8___ 1j4i5q_ 1J5j__ | 4I5i__ 6_____ 7____ |

7 | 4_____ 3_______ 1R57Ã8ü | 5M9m 57ã89M_ 5q8Q__ | 6_____ 2_____ 1r5ä8 |
8 | 1ù5w8ì 1ç5à7s8î 6______ | 3___ 5õ7Ã8u_ 2_____ | 1R5é7_ 9_____ 4____ |
9 | 2_____ 9_______ 5k7í8ñ_ | 1___ 6______ 4_____ | 3p5t7û 3á7a8h 35ó8_ |

b faux (-5b3) 5I 5ä 5ó
M faux (-9d3 -9e7 -5d7) 5I 5ä 5ó

Marquage 5l 5L (lig 1),9b 9B (lig 3)
XX(3)
1 | 13n5l8 4_______ 5L89o__ | 2___ 138v9_ 6_____ | 1r3x7a 3a7A__ 139___ |
2 | 7_____ 16c8____ 1r89O__ | 4___ 13ò89_ 1j3i8q | 2_____ 5_____ 136C9_ |
3 | 13N6f_ 1ú6Ú____ 2______ | 5___ 139b__ 7_____ | 8_____ 4_____ 136c9B |

4 | 1d6D__ 1D6z7g__ 4______ | 6g7G 2_____ 3I5i__ | 9_____ 3h8H__ 35I8h_ |
5 | 5ö6ô8â 5è67ï8ê_ 5ë7s8y_ | 6G7g 3i4I__ 9_____ | 3I4i__ 1_____ 2_____ |
6 | 9_____ 2_______ 3______ | 8___ 1j4i5q 1J5j__ | 4I5i__ 6_____ 7_____ |

7 | 4_____ 3_______ 1R57Ã8ü | 9___ 57ã8__ 5q8Q__ | 6_____ 2_____ 1r5ä8_ |
8 | 1ù5w8ì 1ç5à7s8î 6______ | 3___ 5õ7Ã8u 2_____ | 1R5é7_ 9_____ 4_____ |
9 | 2_____ 9_______ 5k7í8ñ_ | 1___ 6_____ 4_____ | 3p5t7û 3á7a8h 35ó8__ |

n faux (-3a1) 1r 3x 7a
z faux(-6b4) 1r 3x 7a
Marquage n z g col i

XX(4)
1 | 15l8__ 4_______ 5L89o__ | 2___ 138v9_ 6_____ | 1r3x7a 3a7A__ 139___ |
2 | 7_____ 16c8____ 1r89O__ | 4___ 13ò89_ 1j3i8q | 2_____ 5_____ 13z6C9 |
3 | 3_____ 1c6C____ 2______ | 5___ 1B9b__ 7_____ | 8_____ 4_____ 1n6c9B |

4 | 1d6D__ 1D7d____ 4______ | 6d7D 2_____ 3I5i__ | 9_____ 3h8H__ 3g5I8h |
5 | 5ö6d8â 5è7ï8ê__ 5ë7s8y_ | 6D7d 3i4I__ 9_____ | 3I4i__ 1_____ 2_____ |
6 | 9_____ 2_______ 3______ | 8___ 1j4i5q 1J5j__ | 4I5i__ 6_____ 7_____ |

7 | 4_____ 3_______ 1R57Ã8ü | 9___ 57ã8__ 5q8Q__ | 6_____ 2_____ 1r5ä8_ |
8 | 1ù5w8ì 1ç5È7s8î 6______ | 3___ 5õ7Ã8u 2_____ | 1R5é7_ 9_____ 4_____ |
9 | 2_____ 9_______ 5k7í8ñ_ | 1___ 6_____ 4_____ | 3p5t7û 3á7a8h 35ó8__ |

z faux (-3i2) 1r 3x 7a
Marquage 8z 8ò lig2

XX(5)
1 | 15l8__ 4_______ 5L89o__ | 2___ 18v9__ 6_____ | 1r3x7a 3a7A__ 139___ |
2 | 7_____ 16c8ò___ 1r8z9O_ | 4___ 13I89_ 1j3i8q | 2_____ 5_____ 16C9__ |
3 | 3_____ 1c6C____ 2______ | 5___ 1B9b__ 7_____ | 8_____ 4_____ 1n6c9B |

4 | 1d6D__ 1D7d____ 4______ | 6d7D 2_____ 3I5i__ | 9_____ 3h8H__ 3g5I8h |
5 | 5ö6d8â 5è7ï8ê__ 5ë7s8y_ | 6D7d 3i4I__ 9_____ | 3I4i__ 1_____ 2_____ |
6 | 9_____ 2_______ 3______ | 8___ 1j4i5q 1J5j__ | 4I5i__ 6_____ 7_____ |

7 | 4_____ 3_______ 1R57Ã8ü | 9___ 57ã8__ 5q8Q__ | 6_____ 2_____ 1r5ä8_ |
8 | 1ù5w8ì 1ç5È7s8î 6______ | 3___ 5õ7Ã8u 2_____ | 1R5é7_ 9_____ 4_____ |
9 | 2_____ 9_______ 5k7í8ñ_ | 1___ 6_____ 4_____ | 3p5t7û 3á7a8h 35ó8__ |

öU uì Ìö ö faux (-5a5)
XX(6)
1 | 15l8__ 4_______ 5L8w9o_ | 2___ 18v9__ 6_____ | 1r3x7a 3a7A__ 139___ |
2 | 7_____ 1â6c8ò__ 1r8z9O_ | 4___ 13I89_ 1j3i8q | 2_____ 5_____ 16C9__ |
3 | 3_____ 1c6C____ 2______ | 5___ 1B9b__ 7_____ | 8_____ 4_____ 1n6c9B |

4 | 1d6D__ 1D7d____ 4______ | 6d7D 2_____ 3I5i__ | 9_____ 3h8H__ 3g5I8h |
5 | 6d8D__ 5è7ï8ê__ 5È7s8y_ | 6D7d 3i4I__ 9_____ | 3I4i__ 1_____ 2_____ |
6 | 9_____ 2_______ 3______ | 8___ 1j4i5q 1J5j__ | 4I5i__ 6_____ 7_____ |

7 | 4_____ 3_______ 1R57Ã8ü | 9___ 57ã8__ 5q8Q__ | 6_____ 2_____ 1r5ä8_ |
8 | 1ù5L8ì 1ç5È7s8î 6______ | 3___ 5õ7Ã8u 2_____ | 1R5é7_ 9_____ 4_____ |
9 | 2_____ 9_______ 5k7í8ñ_ | 1___ 6_____ 4_____ | 3p5t7û 3á7a8h 35ó8__ |

ü faux (-8c7) 1â 6c 8ò
Marquage ü
XX(7)
1 | 15l8ü_ 4_______ 5L8w9o | 2___ 18v9__ 6_____ | 1r3x7a 3a7A__ 139___ |
2 | 7_____ 1â6c8ò__ 1r8z9O | 4___ 13I89_ 1j3i8q | 2_____ 5_____ 16C9__ |
3 | 3_____ 1c6C____ 2_____ | 5___ 1B9b__ 7_____ | 8_____ 4_____ 1n6c9B |

4 | 1d6D__ 1D7d____ 4_____ | 6d7D 2_____ 3I5i__ | 9_____ 3h8H__ 3g5I8h |
5 | 6d8D__ 5è7ï8ê__ 5È7s8y | 6D7d 3i4I__ 9_____ | 3I4i__ 1_____ 2_____ |
6 | 9_____ 2_______ 3_____ | 8___ 1j4i5q 1J5j__ | 4I5i__ 6_____ 7_____ |

7 | 4_____ 3_______ 1R57Ã_ | 9___ 57ã8__ 5q8Q__ | 6_____ 2_____ 1r5ä8_ |
8 | 1ù5L8ì 1ç5È7s8î 6_____ | 3___ 5õ7Ã8u 2_____ | 1R5é7_ 9_____ 4_____ |
9 | 2_____ 9_______ 5k7í8u | 1___ 6_____ 4_____ | 3p5t7û 3á7a8h 35ó8__ |

üY yu UL lü ü faux (-8a1)
Marquage ü ì

XX(8)
1 | 1L5l__ 4_______ 5L8w9o | 2___ 18W9__ 6_____ | 1r3x7a 3a7A__ 139___ |
2 | 7_____ 1â6c8ò__ 1r8z9O | 4___ 13I89_ 1j3i8q | 2_____ 5_____ 16C9__ |
3 | 3_____ 1c6C____ 2_____ | 5___ 1B9b__ 7_____ | 8_____ 4_____ 1n6c9B |

4 | 1d6D__ 1D7d____ 4_____ | 6d7D 2_____ 3I5i__ | 9_____ 3h8H__ 3g5I8h |
5 | 6d8D__ 5è7ï8ê__ 5È7s8y | 6D7d 3i4I__ 9_____ | 3I4i__ 1_____ 2_____ |
6 | 9_____ 2_______ 3_____ | 8___ 1j4i5q 1J5j__ | 4I5i__ 6_____ 7_____ |

7 | 4_____ 3_______ 1R57Ã_ | 9___ 57ã8__ 5q8Q__ | 6_____ 2_____ 1r5ä8ü |
8 | 1ù5L8d 1ç5È7s8î 6_____ | 3___ 5õ7Ã8u 2_____ | 1R5é7_ 9_____ 4_____ |
9 | 2_____ 9_______ 5k7í8u | 1___ 6_____ 4_____ | 3p5t7û 3á7a8h 35ó8ì_ |

äì Ìä ä faux (-5i7)
marquage ä ü ó
Ternaire naturel {k í R} en c9 et g8

XX(9)
1 | 1L5l__ 4_______ 5L8w9o | 2___ 1é8W9_ 6_____ | 1r3x7a 3a7A__ 139___ |
2 | 7_____ 1â6c8ò__ 1r8z9O | 4___ 13I89_ 1j3i8q | 2_____ 5_____ 16C9__ |
3 | 3_____ 1c6C____ 2_____ | 5___ 1B9b__ 7_____ | 8_____ 4_____ 1n6c9B |

4 | 1d6D__ 1D7d____ 4_____ | 6d7D 2_____ 3I5i__ | 9_____ 3h8H__ 3g5I8h |
5 | 6d8D__ 5è7ï8ê__ 5È7s8y | 6D7d 3i4I__ 9_____ | 3I4i__ 1_____ 2_____ |
6 | 9_____ 2_______ 3_____ | 8___ 1j4i5q 1J5j__ | 4I5i__ 6_____ 7_____ |

7 | 4_____ 3_______ 1R57Ã_ | 9___ 5ä7ã8ü 5q8Q__ | 6_____ 2_____ 1r8R__ |
8 | 1ù5L8d 1ç5È7s8î 6_____ | 3___ 5õ7Ã8R 2_____ | 1R5k7í 9_____ 4_____ |
9 | 2_____ 9_______ 5k7í8R | 1___ 6_____ 4_____ | 3p5t7û 3á7a8h 35i8ì_ |

Rw WR R faux
c2=1 c1=9 a1=5 etc...
FIN

Bonnes vacances à tous

André

Bonsoir JC,

Profitant d'une connexion...

8*a8-8a5=[78bc5-5b5=gratte-ciel(5b38 5d37)-(58*=7)e8 OU 7b4]
||
8b8
||
8e8-[(8=5)f7-5d7=5d3-5b3 ET gratte-ciel(8f27 8d28)=8b5-5b5]=5b8

=> ensemble fort [7e8,7b4,58b8] => -7b8



En suivant strictement (coquille sur les 8) votre analyse, en rédigeant lien par lien :

8a8 / 8a5|-87bc5 / 5b5|-5b8
__________________|-5b3 / 5d3-5d7 / 5e8-7e8 (8e8#1)
________|-7b4
|
8b8
|
8e8 / {8f7-5f7 / 5d7-5d3} / 8f7-8f2 / 8b2-8b5(8b8#1) / 5b5-5b8 (5b3#3)

=> ensemble fort [7e8,7b4,58b8] => -7b8

(je ne vois pas de "gratte-ciel des 8" : soit l'on a 3x8 colonne b et 2x8 colonne f soit l'on a directement 8e8->8f2->8b5 car -8b8#1 )

Sans doute quelque chose m'a-t-il échappé...sinon la présentation par dérivation des 8 ne me semble pas apporter d'amélioration à votre TM plutôt sympa.

Amicalement,

Sophie

Bonsoir abi,

La justification d'une élimination par un ensemble fort de TM est simple, claire et précise.
Elle est exempte de controverses. Ce n'est pas le cas de la présentation de cette élimination en
notation Eureka (voir Weekly Extreme Sudoku #243 sur le forum Eureka pour une récente âpre
discussion à ce sujet).

Citation :

"la présentation par dérivation des 8 ne me semble pas apporter d'amélioration à votre TM"

Tout à fait d'accord dans le cas présent. La TM contient pas mal d'éléments dans la 1ère colonne!
Néanmoins, pour les joueurs peu familier avec les TM, j'en présente une traduction en notation
Eureka en utilisant le plus d'objets possibles. Ce qui ne se fait pas sans risque.

Citation :

"je ne vois pas de "gratte-ciel des 8" : soit l'on a 3x8 colonne b et 2x8 colonne f soit l'on a directement 8e8->8f2->8b5 car -8b8#1"

Il est vrai que 8e8-gratte-ciel(8f27 8b28) n'est pas immédiat! Mais bien : 8b5=gratte-ciel(8f27 8b28)-8e8.
J'ai juste écris l'inverse dans la dérivation des 8! Est-ce un abus de logique ? Ou bien l'utilisation
d'un lien faible dérivé... On comprendrait certainement mieux 8b5 Faux => 8e8 Faux <-> 8e8 Vrai => 8b5 Vrai.
Et tout cela pour éviter 1) une dérivation directe que j'ai jugée trop longue et 2) une persistance ...

Quoi qu'il en soit, merci abi, d'avoir pris la peine d'écrire en Eureka le "#1" d'une façon lisible
sans ambiguité.

Amicalement, JC.

Bonjour JC

"Il est vrai que 8e8-gratte-ciel(8f27 8b28) n'est pas immédiat! Mais bien : 8b5=gratte-ciel(8f27 8b28)-8e8.
J'ai juste écris l'inverse dans la dérivation des 8! ..."

J'avais bien compris!!! Mais il manque, à mon avis, un lien qui le dise.

"Et tout cela pour éviter 1) une dérivation directe que j'ai jugée trop longue et 2) une persistance"

1)C'est l'ennui avec les chaînes, qui doivent se lire lien-à-lien et allongent, de ce fait, l'analyse.
2)Il y a déjà une persistance (5b3) tel qu'énoncé (le lot des dérivations)...

Evitant les persistances et écrivant TOUS les liens (y compris ceux du "gratte-ciel", être une "figure" ne dispense pas de se décliner clairement ), il faudrait (suivant votre raisonnement):

8a8 / 8a5|-87bc5 / 5b5|-5b8
__________________|-5b3 / 5d3-5d7 / 5e8-7e8 (8e8#1!)
________|-7b4
|
8b8
|
8e8 / 8f7-5f7 / 5d7-5d3 / 5b3|-5b5 / 8b5|-8b8
________________________________|-8b2 / 8f2-8f7 / 8e8
_______________________|-5b8


=> ensemble fort [7e8,7b4,58b8] => -7b8


Les chaînes ne sont, à mon avis, pas toujours l'outil le plus puissant, ni le plus court

Amicalement,

Sophie

Bonjour Jeanlé, abi, JC, André, bonjour à tous,

un peu d'absence pour ce long week-end, et il s'en passe des choses !

Pour Jeanlé : dans mon message du 10/06 j'ai oublié de te dire un grand merci pour avoir déniché cette grille très intéressante !
A plusieurs titres : par les techniques de résolutions qu'elle exige et par l'intérêt des débats qu'elle suscite...

Pour abi qui a écrit :

Citation :

Tu n'es pas parvenu à retrouver ma solution...t'attendant, sans doute, à quelque chose de plus joli

Soit:

1i7_79de7 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ als defi7
_____5d7__5d3
7g8_7e8______7b8
_____________7c79_7c5
__________5b3_____7b4_8b2 _ _ _ _ _ _ als b234
__________________8c5_8c12_8chi79
______________________8f2__8f7

-> -1g8

J'étais parti avec les quatre mêmes premières lignes, mais j'ai coincé sur 7b8, 7c5 (marque x dans mon tableau) Je ne risquais pas de trouver quelque chose d'aussi joli. Tu es trop modeste ! Tes trois présentations utilisent toutes le "ternaire alsé" 5b3-7b4-8b2, et c'est bien le moment d'utiliser le qualificatif joli. Bravo !
Sous cette forme de tableau triangulaire, c'est clair, lisible, incontestable.

Pour JC Van Hay : la présentation de son coup #1 sous forme de TM est également on ne peut plus claire, lisible, incontestable. Je la préfère très nettement à la notation "Eureka", qui de toute façon présente peu d'intérêt pour nous, lecteurs français (je n'ose pas dire francophones...) habitués aux notations Figaro, SDK et le présent forum.

Encore pour JC Van Hay : j'ai téléchargé Xsudo. Je n'ai pas encore compris comment on arrive à obtenir le tableau de liens qui illustre la TM. J'ai un peu de mal avec les menus et aides en anglais (je pratique cependant un peu cette langue) Quelles options ou configurations faut-il choisir ?

Pour André : pas le temps de vérifier sa solution. De toute façon, une autre récalcitrante nous attend.
Merci à tous, et à bientôt pour une autre aventure [ cf. elle promet ! (ae625)]

Cordialement.
Cenoman

Bonjour Cenoman, bonjour à tous,

...j'ai téléchargé Xsudo. Je n'ai pas encore compris comment on arrive à obtenir le tableau de liens qui illustre la TM.

Pour illustrer une TM dans Xsudo, il suffit d'introduire tous les liens forts en ligne de la TM.

Par sous-menu
Double-clic à droite sur un candidat puis "Add/Sub Truth (Link)" pour insérer un lien fort (faible).
Recommencer pour le soustraire.

Avec la souris
Cliquer sur 2 candidats du lien pour l'insérer.
Recommencer pour le retirer.
En mode bouton A enfoncé (sous la barre des menus), tous les liens faibles entre les liens forts sont insérés automatiquement
jusqu'à l'obtention d'une élimination.
En mode bouton T enfoncé (sous la barre des menus), un double-clic à gauche dans un espace libre de la fenêtre Xsudo change
la forme du pointeur : flèche (croix) pour les liens forts (faibles).
Si on passe du mode "T" au mode "A" sans avoir insérer de liens faibles, "des" liens faibles sont introduits automatiquement.
Par exemple, si en mode "T", on introduit les duos et les jumeaux, on obtient toutes les éliminations par marquage simple en passant en mode "A".

Cordialement, JC.