A la mode abi

Bonjour,

voici une grille qui n'est pas simple,
dont je propose, pour l'exemple, un départ un peu particulier.

1=000000000
2=001203400
3=020105060
4=064000780
5=000000000
6=078000120
7=010806050
8=007502300
9=000000000
Le départ nous livre quelques "OU" dans les tableaux par chiffre.
Je retiens seulement les tableaux des '3' et des '4'

333 ... .33
... ... ...
3.3 ... ..3
3.. 33. ..3
333 33. .33
3.. 33. ..3
3.3 .3. ...
... ... ...
333 33. ...[]3A1-h/3A4A5A6-e_3B5C5-E/3H5-A_3H1-a/3A1-h


44. 444 ...
... ... ...
4.. .4. ...
... ... ...
... 444 .44
... 444 ..4
4.. .4. ..4
44. .4. .44
44. 444 .44[]4A9-À/4D9F9-F_4E7E8E9-f/4E3-A_4A3-a/4A9-À


A ce stade, ces deux tableaux ont en réserve des éliminations que soryu appellerait sans doute des swordfishs.
La logique ressemble à des choses auxquelles "Sophie" nous a habitués.
Je prends le tableau des "3". Dans ce tableau, la position 3E5 est invalide.


.33 ... .33
... ... ...
3.3 ... ..3
3.. 33. ..3
333 33. .33
3.. 33. ..3
3.3 .3. ...
... ... ...
333 33. ...

Si je le prends ne mode "essai erreur", je vois facilement

.33 ... .33
... ... ...
3.3 ... ..3
3.. ... ..3
... .3. ...
3.. ... ..3
3.3 ... ...
... ... ...
333 3.. ...
pas la peine d'aller plus loin, les lignes 3,4,6,7 n'ont que 3 colonnes actives, il n'y a pas de solution.
Si on veut une écriture "mode puriste", on dira
1) Pour que les lignes 3,4,6,7 soeint valides,
il faut l'une des valeurs (3D46;3E46;3E7) soit valide.
2) E5 qui voit toutes ces positions est invalide.
c'est un interdit sur lien.

Je vous laisse regarder le tableau des "4" tel que nous l'avons laissé,
il y a presque la même chose.

44. 444 ...
... ... ...
4.. .4. ...
... ... ...
... 444 .44
... 444 ..4
4.. .4. ..4
44. .4. .44
.4. 444 .44

amitiés
G.Penet
PS: Mon solveur utilise les pseudo cases pour aller au bout de cette grille.

Bonsoir gpenet

Je ne résous pratiquement plus, mais je viens de jeter un oeil...j'ai vu, rapido ,YADONCBIENMIEUX:
Eliminer 9c7g3 (3cps), 6i89 (pas vraiment utile,3cps),1h1 (-> conflit 9bg5 ou col.g/b privée de 9, 9 cps) et terminer par une couleur 9.

J'écrirais vos élims d'e5 (je ne les ai pas utilisées)ainsi:

3h5_3h1
3b5_3b1_3b9
3e7_____3ac7

->-3e5

4e3_4a3
4e7_4a7_4i7
4h5_____4h89

->-4e5

6g5_6g9
____6c9_6c1
6e2_____6a2

->-6e5

Amicalement

Sophie

Bonjour abi,

Vos éliminations me ramènent un ou deux jours en arrière.
Les éliminations 3D5 et 4D5 se font effectivement par des ternaires, ce que j'avais vu, mais oublié, sans doute parce que je charchais des formes d'élimination "vraiment de type fish".

Concernant la résolution elle-même, après un début long, mais classique, dans lequel il faudrait trier, mon solveur cale ici

__ A_____ B____ C_____ |D____ E_____ F____ |G____ H___ I______
1||46789_ 34589 369___ |4679_ 46789_ 4789_ |2c5C_ 1a37 1A2C35_
2||5678__ 589__ 1_____ |2____ 68____ 3____ |4____ 79__ 579____
3||3479__ 2____ 3p9P__ |1____ 479___ 5____ |8____ 6___ 3y79___
4||12359_ 6____ 4_____ |39___ 12359_ 19___ |7____ 8___ 359____
5||1259__ 359__ 235g9_ |34679 125789 14789 |5c6k9 349_ 34569__
6||359___ 7____ 8_____ |3469_ 34569_ 49___ |1____ 2___ 34569__
7||2349__ 1____ 239___ |8____ 3479__ 6____ |2t9T_ 5___ 2479___
8||689___ 489__ 7_____ |5____ 149___ 2____ |3____ 149_ 14689__
9||235689 34589 235G69 |3479_ 13479_ 1479_ |26K9_ 1479 1246789


et sort par un interdit court utilisant la pseudo case I8I9

[]6G5-k/5G5-c_2I1-C/1I1-A_ AC:I8I9 (1I8I9-a/6I8I9-k)


amitiés
G.Penet

Bonjour gpenet

J'ai regardé votre grille au stade du blocage de votre solveur.

"et sort par un interdit court utilisant la pseudo case I8I9
[]6G5-k/5G5-c_2I1-C/1I1-A_ AC:I8I9 (1I8I9-a/6I8I9-k)"

Apparemment vous prouvez 6g9, mais je reste ensuite bloquée à 29 cases, je dois louper quelque chose

Amicalement

Sophie

abi a écrit:

Bonjour gpenet

J'ai regardé votre grille au stade du blocage de votre solveur.

"et sort par un interdit court utilisant la pseudo case I8I9
[]6G5-k/5G5-c_2I1-C/1I1-A_ AC:I8I9 (1I8I9-a/6I8I9-k)"

Apparemment vous prouvez 6g9, mais je reste ensuite bloquée à 29 cases, je dois louper quelque chose

Amicalement

Bonjour abi,

Il na va pas au bout, mais si je développe (après un XWing), j'arrive ici.



__ A_____ B____ C_____ |D____ E_____ F____ |G____ H___ I
1||479___ 35___ 6_____ |479__ 4789__ 4789_ |2c5C_ 1a37 1A2C
2||578___ 589__ 1_____ |2____ 6_____ 3____ |4____ 79__ 579
3||3479__ 2____ 3p9P__ |1____ 479___ 5____ |8____ 6___ 3y79
4||12359_ 6____ 4_____ |39___ 12359_ 19___ |7____ 8___ 359
5||1259__ 359__ 25g9__ |4679_ 125789 14789 |5c9__ 349_ 4569
6||359___ 7____ 8_____ |3469_ 34569_ 49___ |1____ 2___ 34569
7||239___ 1____ 239___ |8____ 47____ 6____ |2t9T_ 5___ 47
8||6_____ 489__ 7_____ |5____ 149___ 2____ |3____ 149_ 18
9||25689_ 4589_ 25G69_ |3479_ 13479_ 1479_ |6____ 1479 128

Une fois les fusions de marques faites, il n'y a aucune difficulté pour éliiminer les "9" qui permettront de terminer cette grille

amitiés

G.Penet

Re-bonjour gpenet

OK, il restait donc bien une étape, nous sommes d'accord

Amicalement

Sophie

gpenet a écrit:

[...]
des éliminations que soryu appellerait sans doute des swordfishs.
[...]
_
Je prends le tableau des "3". Dans ce tableau, la position 3E5 est invalide.
_
.33 ... .33
... ... ...
3.3 ... ..3
3.. 33. ..3
333 33. .33
3.. 33. ..3
3.3 .3. ...
... ... ...
333 33. ...
Si je le prends ne mode "essai erreur"
_
[...]
_
Si on veut une écriture "mode puriste", on dira
_
[...]
******

Bonjour gpenet,
Juste quelques précisions.
(1) On peut éliminer 3e5 en "mode puriste" à l'aide d'un tableau (toujours le meme principe) : la 1ère colonne fournit un "lien dérivé". Exactement comme le fait (évidemment) Sophie.
Voici une variante :
_
_3h5___3h1
3d456______3d9
_3b5___3b1_3b9
_
Il n'y a pas d'hypothèse dans cette ECRITURE.
_
(2) Les Anglo-Saxons disent "fish" quand il y a un seul chiffre (voir le "Ultimate Fish Guide"). Ce tableau n'est pas un Swordfish (car sa 1ère colonne n'est pas un conflit). C'est plutot une "Triangular Matrix".
_
(3) D'autres "Fishes" existent dans cette grille (pour les chiffres 3 ou 4 ou 6 ou 7). Par exemple 3a1 est éliminé par le mini-tableau
_
_3h1__3h5
3a456_3bc5,
_
qui est du genre Gratte-Ciel avec groupes si on veut.
_
De meme 7i1 est éliminé par
_
_7i7___7e7
7def1__7e23
.
[etc]
.
Cordialement,
.
soryu.

Bonjour soryu,

Entièrement d'accord avec vos remarques.

Comme mon solveur ne pratique pas les tabeaux, mais reste dans le mode "chaînes", j'ai tendance à chercher une formulation équivalente de ce type.

J'espère trouver en fait, avec ma recherche type "allan Barker" sur les "fishs" des patterns du type XWing boite de niveau supérieur que mon solveur ne recherche pas en mode pattern. (le XWing boite arrive comme un cerf-volant).

Ici, ce sont soit des classiques "turbots, gratte ciel...", soit des ternaires.

Je verrai si je vois des chose interessantes quand je referai un test complet.

cordialement

G.Penet