Du ternaire pour André

Bonjour André,
Toujours dans les grilles issue du jeu, j'ai extrait un lot de 30 grilles qui sont solubles avec du ternaire.

Elles ont toutes, dans la version de mon solveur, une solution courte;
Elles sont peut-être solubles en une étape...

Voici les 5 premières.
Elles ont un inconvénient, le ternaire se fait le plus souvent sur des positions non marquées.
C'est donc un exercice que JEANLE peut ne pas aimer.
Ton petit programme devrait, lui, se délecter.

063000002502000000890400000001073000000104000000580700000007034000000807900000560_1
000080000002304500060000010500000008010507090003000400070090060006000300000050000_2
001002300060030040700000009000900000002070800000004000600000008040050070008300200_3
000000100020003040005060003000200070006080900030004000800010500070800020004000009_4
001020300020030040300105006002000700870000069006000500700204003010070050009080600_5

Je vais regarder les suivantes.
amitiés
G.Penet

PS: les indices du lot complet (30 grilles) vont de 7.5 à 9.4. On est dans la zone des 7.5 pour ces 5.

Bonsoir Gérard,

Ce lot de grilles est au dessus de mes capacités.
La recherche des ternaires dans des grilles comprenant moins de 20 jumeaux est extrêmement laborieuse. En effet, je suis obligé comme Jeanlé de marquer une grande quantité de prétendants. Ensuite, je peux tester si les ternaires marqués sont productifs ou pas.(Je me demande comment Jeanlé fait?)
C'est la que mon "petit programme" intervient. Il me dit si un ternaire produit un Interdit(ou une Fusion) ou Rien du tout. Mais il doit être marqué à l'avance et enregistré comme tel. C'est tout.
C'est au petit bonheur la chance.

J'ai essayé la 1ère et la 2ième. Elles ont toutes les deux moins de 20 jumeaux. Le résultat est nul. Je vais encore regarder les autres mais si elles ont moins de 20 jumeaux. J'abandonne.
Désolé.

A+
André

Bonsoir André,

Je prends note de ton problème, mais je t'invite à découvrir comme moi une réalité assez simple.
Toutes ces grilles semblent avoir la même clé de résolution, celle que j'ai signalé dans le messaqe "mat en un coup".

Regardes la grille 1.

_1
1=063000002
2=502000000
3=890400000
4=001073000
5=000104000
6=000580700
7=000007034
8=000000807
9=900000560

__ A____ B____ C___ |D_____ E_____ F___ |G____ H___ I
1||14___ 6____ 3___ |789___ 159___ 1589 |149__ 4789 2
2||5____ 14___ 2___ |3F6789 1369__ 1689 |13469 4789 3689Ì
3||8____ 9____ 7___ |4_____ 1236__ 126_ |136__ 5___ 36
4||26___ 258__ 1___ |2c69__ 7_____ 3___ |2469_ 2489 5689
5||7____ 2358_ 5689 |1_____ 269___ 4___ |2369_ 289_ 35689
6||2346_ 234__ 469_ |5_____ 8_____ 269_ |7____ 1___ 369
7||126__ 1258_ 568_ |68H9__ 1569__ 7___ |29___ 3___ 4
8||12346 12345 456_ |6o9O__ 14h569 1569 |8____ 2D9d 7
9||9____ 7____ 4h8H |2C3f8_ 23F4H_ 28__ |5____ 6___ 1

La clé est une ligne/colonne boite avec un trio et un duo ayant en commun deux chiffres.
Ici, la clé est D7D8.

Nous avons le conflit étendu HF fC.
69D8 impliquent 8D7-H (une autre formulation de mon ternaire)

et on en déduit cette forme de chaîne alternée à peu près évidente
69D4 -> HF fC c/69D4

D4=2.

Je suis frappé de retrouver exactement les mêmes configurations (pour le moment) dans toutes ces grilles à sortie rapide.

amitiés
G.Penet

gpenet a écrit:

Bonsoir André,

Je prends note de ton problème, mais je t'invite à découvrir comme moi une réalité assez simple.
Toutes ces grilles semblent avoir la même clé de résolution, celle que j'ai signalé dans le messaqe "mat en un coup".

Regarde la grille 1.

_1
1=063000002
2=502000000
3=890400000
4=001073000
5=000104000
6=000580700
7=000007034
8=000000807
9=900000560

__ A____ B____ C___ |D_____ E_____ F___ |G____ H___ I
1||14___ 6____ 3___ |789___ 159___ 1589 |149__ 4789 2
2||5____ 14___ 2___ |3F6789 1369__ 1689 |13469 4789 3689Ì
3||8____ 9____ 7___ |4_____ 1236__ 126_ |136__ 5___ 36
4||26___ 258__ 1___ |2c69C__ 7_____ 3___ |2469_ 2489 5689
5||7____ 2358_ 5689 |1_____ 269___ 4___ |2369_ 289_ 35689
6||2346_ 234__ 469_ |5_____ 8_____ 269_ |7____ 1___ 369
7||126__ 1258_ 568_ |8H69h__ 1569__ 7___ |29___ 3___ 4
8||12346 12345 456_ |6o9O__ 14h569 1569 |8____ 2D9d 7
9||9____ 7____ 4h8H |2C3f8_ 23F4H_ 28__ |5____ 6___ 1

La clé est une ligne/colonne boite avec un trio et un duo ayant en commun deux chiffres.
Ici, la clé est D7D8.

Nous avons le conflit étendu HF fC.
69D8 impliquent 8D7-H (une autre formulation de mon ternaire)

et on en déduit cette forme de chaîne alternée à peu près évidente
69D4 -> HF fC c/69D4

D4=2.

Je suis frappé de retrouver exactement les mêmes configurations (pour le moment) dans toutes ces grilles à sortie rapide.

amitiés
G.Penet

bonjour Gpenet,

J'essaie de comprendre le raisonnement.

Ne pourrait-on pas dire que le 69 de D4, jumeau de 2c, est C, et celui de D7, jumeau de 8H, est h. Les deux 69 sont en conflit Ch. On a alors l'interdit Ch HF fC => C faux. Mon raisonnement, sans ternaire, est-il valable ?

A+

Bonjour JEANLE,

Je crains qu'il n'y ait un os.
On ne peut pas dire que 69D4 et 69D7 sont en conflit. La combinaison 6;9 est a priori acceptable.

Le ternaire est simple (mais double) si on décompose

6D7/6d4
9D7/9D8_6D8/6D4
8D7-H/3E9-F_3D9-f/2D9-C_2D4-c/6D4

6D7/6d8_9D8/9D4
9D7/9D4
8D7-H/3E9-F_3D9-f/2D9-C_2D4-c/9D4


Si on passe par le "soryu"

6D7/6d4
9D7/9D8_6D8/6D4
8D7-H donc 6D4->H

6D7/6d8_9D8/9D4
9D7/9D4
8D7-H donc 9D4->H

et mon raccouci

69D4->HF fC c/69D4

amitiés

G.Penet

Bonjour gpenet,
_
Tout à fait d'accord avec votre solution. On peut présenter un peu différemment, avec une extension de la figure XY-Wing bien connue.
.
_||_D________E______F___|
_
1||789______59_____1589_|
2||36789____1369___1689_|
3||_________1236___126__|
_
4||(X)269_______________|
5||_________269_________|
6||________________269__|
_
7||(Z)689___1569________|
8||(Z)69____14569___1569|
9||238______234____(Y)28|
_
Nous avons déjà rencontré avec jeanlé ce type de XY-Wing, avec 2 cases et un EQC (au lieu de 3 cases).
_
Sur le dessin les 2 cases sont notées X, Y, et l'EQC Z, la cible est 2d9.
Le principe est identique. Il y a forcément un 2 soit en f9 soit en d4 ; en effet si f9=8, alors d78=69 (paire) élimine 69d4 : cqfd.
Donc d9#2, et la grille est résolue.
_
NOTE : un XY-Wing est une petite chaine (3 maillons).
_
Le dessin par XSudo :

_
Cordialement,
.
soryu.

Bonjour soryu,

Simple et efficace, bravo!!

J'ai jeté un oeil sur les suivantres. On retrouve cette configuration trio/duo utile dans la _5, mais il faut un peu plus.

cordialement

G.Penet

gpenet a écrit:

J'ai jeté un oeil sur les suivantres. On retrouve cette configuration trio/duo utile dans la _5, mais il faut un peu plus.

G.Penet

La 5 m'a paru un peu différente.
Le 4d5 est éliminé par un Swordfish vertical des colonnes c-e-g (avec le groupement 4e456).
Ensuite on élimine très facilement 3b9 (par exemple), et la grille est résolue (avec un XWing des 9).
.
Si on ne voit pas l'élimination préliminaire de 4d5, on peut quand même éliminer 3b9, ce qui démolit quasiment la grille.
.
soryu.

Bonjour soryu,

Nos solutions sont assez voisines.

__ A____ B_____ C___ |D_____ E______ F_____ |G____ H____ I____
1||4569_ 456M89 1___ |4j6789 2______ 6789__ |3____ 789__ 578__
2||569__ 2_____ 57N8 |6789__ 3______ 6789__ |189__ 4____ 1578_
3||3____ 489___ 47n8 |1_____ 4J9j___ 5_____ |289__ 27N89 6____
4||1459_ 3459__ 2___ |345689 1456m9_ 13689_ |7____ 138__ 148__
5||8____ 7_____ 3g45 |345___ 145____ 123___ |1r24i 6____ 9____
6||149__ 349___ 6___ |34789_ 149____ 123789 |5____ 1238_ 1248_
7||7____ 56m8Ã_ 58__ |2_____ 1c5l6M9 4_____ |189__ 189__ 3____
8||2f46M 1_____ 3G48 |369___ 7______ 369___ |24I89 5____ 248__
9||2F45_ 3g45__ 9___ |3l5L__ 8______ 1C3c__ |6____ 127p_ 1247P

Le solveur élimine d'abors 9G8;9E7 par une figure voisine de la _1, mais c'est peu utile pour la suite.

Il élimine aussi 4C8 par un ternaire sur la case D5,
ce qui lui est indispensable pour arriver à l'élimination de 4D5; puis de 3B9.
dans la séquence suivante

44. 4.. ...
... ... ...
.44 .4. ...
44. 44. ..4
..4 44. 4..
44. 44. ..4
... ... ...
4.. ... 4.4
44. ... ..4 []4D5-l/4D1-c_4E3-C/4C3-a_4C5-A/4D5-l

->ec2_paire cases 59 chiffres 35 colonne D

... ... ...
... ... ...
... ... ...
.3. ..3 .3.
..3 3.3 ...
.3. ..3 .3.
... ... ...
..3 ..3 ...
.3. 3.3 ...[]3B9-A/3D9-B_3D5-b/3C5-A

1 C8=3 B

G.Penet

Bonjour soryu,

J'ai regardé d'un peu plus près,

L'élimination directe de 4D5 ne pose aucun problème par un ternaire sur les 4 de la colonne C.

J'ai des filtres pour travailler "à l'économie" sur les interdits, c'est sans doute la cause du flitrage, mais je vais vérifier.

J'ais de toutes façons une séquence de tratement en mode "Allan Barker" des tableaux par chiffres qui n'est pas active pour le moment. Elle est prévue pour piéger tous les cas de Fishs non traités par pattern dans mon solveur. C'est un bon moment pour l'activer.


cordialement

G.Penet

gpenet a écrit:

Bonjour soryu,

J'ai regardé d'un peu plus près,

L'élimination directe de 4D5 ne pose aucun problème par un ternaire sur les 4 de la colonne C.

J'ai des filtres pour travailler "à l'économie" sur les interdits, c'est sans doute la cause du flitrage, mais je vais vérifier.

Nos solveurs informatiques ne détectent pas toujours le plus "simple" (XSudo ne fait pas exception, le mien non plus bien sur).
_
Ici la grille des 4 élimine directement 4d5 (dessin ci-dessous) avec un "fish".

En effet si e3=4, alors on a un X-Wing (rectangle XW=c5-c8-g5-g8) ; et si e3#4, alors on a 4 en e456. Dans les 2 cas 4d5 disparait.
Pour le fun, comme vous dites, on pouvait faire la chaine (avec un "objet") 4e456--4e3 / 4c3--XW.
_
Il y a alors une paire 35 colonne d, et ensuite le Gratte-Ciel 3d9--3d5 / 3c5--3b46 élimine 3b9.

_
Cordialement,
_.
soryu.

J'avais fait par un ternaire en utilisant les jumeaux de la boite 2, mais c'est équivalent.
Dans ma solution, les sets sont

colonne C
boite 2
colonne G

cordialement

G.Penet