GN09 col0805 1622

Bonjour,

Je reviens sur la grille col0805 1622
003010005
020400000
100000700
040806000
000049060
002000000
007000100
080900020
500000003
Elle a déjà été traitée partiellement dans le sujet GN09, mais pour plus de clarté, j’ouvre un sujet séparé ayant vocation à la résoudre complètement.
Cette grille est (était) dans ma liste des grilles les plus difficiles
Au blocage, elle présente, sur les couches 1357 un potentiel d’élimination élevé.
A____ B____ C____ |D____ E____ F____ |G____ H____ I
7+___ 7+___ 3____ |7+___ 1____ 7+___ |+____ +____ 5
7+___ o____ 5+___ |o____ 357+_ 357+_ |3+___ 13+__ 1+
1____ 5+___ 5+___ |35+__ 35+__ 35+__ |7____ 3+___ +

37+__ o____ 15+__ |o____ 357+_ o____ |35+__ 1357+ 17+
37+__ 1357_ 15+__ |1357+ o____ o____ |35+__ o____ 17+
37+__ 1357+ o____ |1357_ 357__ 1357_ |35+__ 1357+ 17+

o____ 3+___ 7____ |35+__ 35+__ 35+__ |1____ 5+___ +
3+___ o____ 1+___ |o____ 357+_ 1357+ |5+___ o____ 7+
5____ 1+___ 1+___ |17+__ 7+___ 17+__ |+____ 7+___ 3

1: C5 I6 C9
3: E3 F3 E4 A6 F6 G6 H6 D7 E7
5: C3 E3 F3 E4 B6 G6 E7
7: A1 F1 E4 A6 B6 I6 F8 E9
cases E2 F2 H2 H4 D5 E8 F8

On trouve ensemble de rang 0 assez simple :

1357 lignes 2458 + case E6 = 17 sets de base
37A 15C 357E 35G 17I + cases F2 H2 H4 B5 D5 F8 = 17 sets de couverture
Qui élimine
1: I6 C9
3: E3 A6 G6 E7
5: C3 E3 G6 E7
7: A1 A6 I6 E9
cases F2 H2 H4 D5 F8

il reste à éliminer
1: C5
3: F3 E4 F6 H6 D7
5: F3 E4 B6
7: F1 E4 B6 F8
cases E2 E8

toujours sans quitter cette grille réduite :
En boite 5 ensemble complet
-> En colonne E ensemble complet caché
il reste
1: C5
3: F3 F6 H6 D7
5: F3 B6
7: F1 B6 F8

Dans cette grille qui a progressé par E3=9, E5=2

A__ B____ C__ |D___ E__ F___ |G__ H____ I
+__ 7+___ 3__ |7+__ 1__ 7+__ |+__ +____ 5
7+_ o____ 5+_ |o___ 357 357_ |3+_ 13___ 1+
1__ 5+___ +__ |35+_ o__ 35+_ |7__ 3+___ +

37+ o____ 15+ |o___ o__ o___ |35+ 1357_ 17+
37+ 1357_ 15+ |1357 o o___ |35+ o____ 17+
+__ 1357+ o__ |1357 357 1357 |+__ 1357+ +

O__ 3+___ 7__ |35__ +__ 35+_ |1__ 5+___ +
3+_ o____ 1+_ |o___ 357 1357 |5+_ o____ 7+
5__ 1+___ +__ |17+_ +__ 17+_ |+__ 7+___ 3

En rouge les positions qui sont en principe encore à éliminer dans cette grille partielle

En ce point, ronk voit ce qui n’échappera pas à abi. 1F9 crée une structure à double solution en EF268. 1F9 est donc invalide, ce qui entraîne 1F6 invalide. Je prends en compte ce fait, non compris dans le modèle standard d’Allan Barker, celui que je pratique. Cette élimination nous facilitera la vie. Nous démarrons donc dans cette position.

A__ B____ C__ |D___ E__ F___ |G__ H____ I
+__ 7+___ 3__ |7+__ 1__ 7+__ |+__ +____ 5
7+_ o____ 5+_ |o___ 357 357_ |3+_ 13___ 1+
1__ 5+___ +__ |35+_ o__ 35+_ |7__ 3+___ +

37+ o____ 15+ |o___ o__ o___ |35+ 1357_ 17+
37+ 1357_ 15+ |1357 o o___ |35+ o____ 17+
+__ 357+_ o__ |1357 357 1357 |+__ 1357+ +

O__ 3+___ 7__ |35__ +__ 35+_ |1__ 5+___ +
3+_ o____ 1+_ |o___ 357 1357 |5+_ o____ 7+
5__ 1+___ +__ |17+_ +__ 7+__ |+__ 7+___ 3

Et toujours en rouge nos cibles d’élimination.
Cette position rappelle un peu Fata Morgana.
Quelle que soit le chiffre de départ en D5, on le retrouve en B6 ou H6, l’autre position ne contenant aucun des chiffres 1357.
Si on développe un peu, on s’aperçoit que l’on a pratiquement une seule solution valide dans cette sous grille par départ (surtout après l’élimination que nous venons de faire).

Si on part du principe que là se trouve la source des éliminations, le fait que 57B6 et 3H6 soient éliminables identifie le branches mortes de cet arbre. La logique veut que l’on charche à les « liminer en priorité.

Comme l’élimination ensuite de 3D7 est tentante, j’ai pris la séquence suivante :
1) éliminer 57B6 (l’ordre importe peu)
2) éliminer 3D7

Aucune de ces éliminations n’est difficile. Elles sont faciles à suivre sur le tableau précédent.
Je ne garantis pas proposer ici la voie la plus courte.
5B6/5DEF6_5D5/5D7_3D7/3B7_3A8/3A45(B6)_3B5/3G5
5B6/5B3_5C2/5EF2_37EF2/3G2H2_3H3/3H46(3G5)_3G4/5G4
5B6->5D5/5D2(5EF2)_5F3/5F78(5D7)_5E8/5G8_5H7/5H46
5B6->5D5/5G5
Pas de 5 en boite 6 donc 5B6 invalide

7B6/7DEF6_7D5/7D1
7B6/7B1_7A2/7EF2_35EF2/3GH2_3H3/3H2_1H2/1H46
7B6->7D5/7E6_35E6;(35E2)/35E8_7E8/7I8_7H9/7H4I4(/7I5)_7I4/1I4
7B6->35E2/5C2_5C1/5B5
7B6->7F1/7F268_135F268/35F7
7B6->1H2;3H3;7H9/137H4_5H4/5H7_5G8/35EF8(/5F7)_5D7/3D7(/3F7)_3B7/3B5
7B6/3B5;5B5;7B5_1B5/1I5
Pas de 1 en boite 6, 7B6 invalide
On peut maintenant passer à la phase 2, l’élimination de 3D7 avec cette grille

A__ B____ C__ |D___ E__ F___ |G__ H____ I
+__ 7+___ 3__ |7+__ 1__ 7+__ |+__ +____ 5
7+_ o____ 5+_ |o___ 357 357_ |3+_ 13___ 1+
1__ 5+___ +__ |35+_ o__ 35+_ |7__ 3+___ +

37+ o____ 15+ |o___ o__ o___ |35+ 1357_ 17+
37+ 1357_ 15+ |1357 o o___ |35+ o____ 17+
+__ 3+_ o__ |1357 357 1357 |+__ 1357+ +

O__ 3+___ 7__ |35__ +__ 35+_ |1__ 5+___ +
3+_ o____ 1+_ |o___ 357 1357 |5+_ o____ 7+
5__ 1+___ +__ |17+_ +__ 7+__ |+__ 7+___ 3

3D7->3B5 (via la colonne B), je commence en préliminaire par les conséquences de B5

3B5/57B5_57B13/57DF24_57EF2/3EF2_3GH2/3H3
3B5/3B7_3A8/3EF8(/3E2)_3E6/3F6
3B5/3F2;3F6;3F8_157F268/7F9;5F7

On peut maintenant avancer
3B7/3D7
3B6/3DEF6_3D5/3D7
3B5/3D5_|5D5/5DEF6_5H6/5H9_5G8/5EF8 (/5F7;/5D7) invalide
|7D5/7DEF6-7H6/7H9_7I8/7EF8 (/7F9;/7D9) invalide
|1D5/1DEF6_1H6/1H2_3H2/3H46 (/3H5)_3G4/5G4
/1BC5_1C4/5C4 (/5G4)_5H4/5H7_5G8/5EF8 (/5F7)_5D7_3D7
3D7 est éliminé, donc 5D7;5G8 valides.

Il ne se passé rien de spectaculaire sur la grille complète.
Normalement, dans la même logique, la prochaine élimination à faire sera 3H6, la dernière branche morte, avant de viser 5F3 qui nous permet d’avancer encore un peu cette grille.
Faute de temps, j’arrête la la mise en forme de cette solution que je reprendrai sans doute dans une quinzaine, sauf si quelqu’un a terminé entre temps.

Gpenet
PS : la grille suivante devrait être tarx0104, mais il y a encore beaucoup de travail dessus, avec des percées d’abi, de ttt et une structure de départ particulière.
J’ai par contre un bon paquet de grilles de ce type, plus ou moins complexes après le départ.

Bonjour,
Finalement, j’ai eu le temps de terminer, voici donc la fin, toujours en privilégiant les couches 1357
3D7 est éliminé, donc 5D7 valide et on vient vite ici

__ A___ B___ C___ |D__ E__ F___ |G____ H_____ I
1||4689 679_ 3___ |267 1__ 278_ |24689 489___ 5
2||6789 2___ 5689 |4__ 357 357_ |3689_ 13____ 689
3||1___ 56__ 468_ |236 9__ 2358 |7____ 348___ 2468

4||379_ 4___ 19__ |8__ 2__ 6___ |239__ 5_____ 1279
5||378_ 1357 158_ |137 4__ 9___ |238__ 6_____ 1278
6||689_ 369_ 2___ |137 357 1357 |489__ 134789 1489

7||2___ 369_ 7___ |5__ 68_ 34__ |1____ 489___ 4689
8||346_ 8___ 146_ |9__ 37_ 137_ |5____ 2_____ 467
9||5___ 169_ 469_ |127 68_ 247_ |4689_ 4789__ 3

A__ B____ C__ |D___ E__ F___ |G__ H___ I
+__ 7+___ 3__ |7+__ 1__ 7+__ |+__ +___ 5
7+_ o____ 5+_ |o___ 357 357_ |3+_ 13__ 1+
1__ 5+___ +__ |3+__ o__ 35+_ |7__ 3+__ +

37+ o____ 1+_ |o___ o__ o___ |3+_ 5___ 17+
37+ 1357_ 15+ |137_ o__ o___ |3+_ o___ 17+
+__ 3+___ o__ |137_ 357 1357 |+__ 137+ +

O__ 3+___ 7__ |5___ +__ 3+__ |1__ +___ +
3+_ o____ 1+_ |o___ 37_ 137_ |5__ o___ 7+
5__ 1+___ +__ |17+_ +__ 7+__ |+__ 7+__ 3

Nous voulons faire maintenant
1) 3H6 invalide prélude à
2) 5F3 invalide

L’élimination de 3H6 est devenue facile

I2/1H2_3H2/3H6
1I4/7I4_7A4/3A4_3AB5C6/3H6
1I5/1B5_1B9/1D9_1F9/7F9_7I9/7H8/3H6

Et on a alors

1D5/1DF6_1H6/1H2_3H2/3EF2_5EF2/5F3
3D5/3DEF6_3B6/3B7_3F7/3F268_157F268/5F3
7D5/7DEF6_7H6/7H9(/7D9)_7F9/7F268_135F268/5F3

__ A__ B__ C__ |D__ E__ F___ |G____ H____ I
1||469 679 3__ |267 1__ 278_ |24689 489__ 5
2||679 2__ 689 |4__ 357 357_ |3689_ 13___ 689
3||1__ 5__ 468 |236 9__ 238_ |7____ 348__ 2468

4||379 4__ 19_ |8__ 2__ 6___ |239__ 5____ 1279
5||378 137 5__ |137 4__ 9___ |238__ 6____ 1278
6||689 369 2__ |137 357 1357 |489__ 14789 1489

7||2__ 369 7__ |5__ 68_ 34__ |1____ 489__ 4689
8||346 8__ 146 |9__ 37_ 137_ |5____ 2____ 467
9||5__ 169 469 |127 68_ 247_ |4689_ 4789_ 3

A__ B__ C_ |D___ E__ F___ |G_ H__ I
+__ 7+_ 3_ |7+__ 1__ 7+__ |+_ +__ 5
7+_ o__ +_ |o___ 357 357_ |+_ 13_ 1+
1__ 5__ +_ |3+__ o__ 3+__ |7_ 3+_ +

37+ o__ 1+ |o___ o__ o___ |3+ 5__ 17+
37+ 137 5_ |137_ o__ o___ |3+ o__ 17+
+__ 3+_ o_ |137_ 357 1357 |+_ 17+ +

O__ 3+_ 7_ |5___ +__ 3+__ |1_ +__ +
3+_ o__ 1+ |o___ 37_ 137_ |5_ o__ 7+
5__ 1+_ +_ |17+_ +__ 7+__ |+_ 7+_ 3

On peut sans doute reprendre le fil général, mais le tableau global nous montre que l’élimination de 7F1 et 3F3 fera avancer.

Pour 7F1
1D5/1DEF6-1H6/1H1_3H1/35EF2_7EF2/7F1
7D5/7B5_7A45/7A2_7B1/7F1
3D5/3DEF6/3B6/3B7_3A8/3EF8_3F7/3F268_157F268/7F1

Pour 3F3
3;7D5/3;7DEF6_1DEF6/1H6_1H2/3H2_1H3/3H3
1D5/1B5_|3B5/3B7_3F7/3F3
________|7B5/7B1_7A2/7EF2_35EF2/3F3

La paire 28F13 qui nous donne D9=2 F8=1 B9=1 C4=1

__ A__ B__ C__ |D__ E__ F___ |G____ H____ I
1||469 679 3__ |67_ 1__ 28__ |24689 489__ 5
2||679 2__ 689 |4__ 357 357_ |3689_ 13___ 689
3||1__ 5__ 468 |36_ 9__ 28__ |7____ 348__ 2468

4||379 4__ 1__ |8__ 2__ 6___ |239__ 5____ 279
5||378 37_ 5__ |137 4__ 9___ |238__ 6____ 1278
6||689 369 2__ |137 357 357_ |489__ 14789 1489

7||2__ 369 7__ |5__ 68_ 34__ |1____ 489__ 4689
8||346 8__ 46_ |9__ 37_ 1___ |5____ 2____ 467
9||5__ 1__ 469 |2__ 68_ 47__ |4689_ 4789_ 3

A__ B__ C_ |D___ E__ F___ |G_ H__ I
+__ 7+_ 3_ |7+__ 1__ +___ |+_ +__ 5
7+_ o__ +_ |o___ 357 357_ |+_ 13_ 1+
1__ 5__ +_ |3+__ o__ +___ |7_ 3+_ +

37+ o__ 1_ |o___ o__ o___ |3+ 5__ 17+
37+ 37 5_ |137_ o__ o___ |3+ o__ 17+
+__ 3+_ o_ |137_ 357 357 |+_ 17+ +

O__ 3+_ 7_ |5___ +__ 3+__ |1_ +__ +
3+_ o__ + |o___ 37_ 1___ |5_ o__ 7+
5__ 1__ +_ |o___ +__ 7+__ |+_ 7+_ 3

Ici, on place facilement quelques chiffres
7H4/7H9_7F9/7E8_7E6/7H4 7H9=7 7E8=7 7F7=3 7A8=3
La grille globale nous donne F9=4 A1=4 C8=4 . . .

On peut considérer que c’est terminé

Voici donc une grille que l’on pouvait considérer comme très très difficile que l’on a résolu pratiquement sans quitter la grille réduite des chiffres 1357

gpenet

Nombre de messages : 148 Age : 61 Date d'inscription : 11/07/2009

Je reposte le résultat du "Swordfish" de col0805 1622 qui était incomplet dans un message précedent.
.
soryu.

soryu a écrit:: Je reposte le résultat du "Swordfish" de col0805 1622 qui était incomplet dans un message précedent.
.
soryu.

Bonjour soryu,

Mon départ, vérifié sur le modèle de Allan Barker était le suivant

Mon premier ensemble de rang 0 est assez simple :
1357 lignes 2458 + case E6 = 17 sets de base
37A 15C 357E 35G 17I + cases F2 H2 H4 B5 D5 F8 = 17 sets de couverture . .

Votre image, bien plus complexe, contient des candidats marqués en rouge sombre, et non en rouge orangé, dont je ne connais pas bien la signification, mais que j’ai générés aussi dans des essais de construction de SLGs.

L’ensemble n’est certainement pas de rang 0. Il me laisse perplexe.
Cordialement
gpenet

Sujet: Re: GN09 col0805 1622 Mer Sep 02 2009, 09:11

gpenet a écrit:

soryu a écrit:: Je reposte le résultat du "Swordfish" de col0805 1622 qui était incomplet dans un message précedent.
.
soryu.

Bonjour soryu,

Mon départ, vérifié sur le modèle de Allan Barker était le suivant

Mon premier ensemble de rang 0 est assez simple :
1357 lignes 2458 + case E6 = 17 sets de base
37A 15C 357E 35G 17I + cases F2 H2 H4 B5 D5 F8 = 17 sets de couverture . .

Votre image, bien plus complexe, contient des candidats marqués en rouge sombre, et non en rouge orangé, dont je ne connais pas bien la signification, mais que j’ai générés aussi dans des essais de construction de SLGs.

L’ensemble n’est certainement pas de rang 0. Il me laisse perplexe.
Cordialement
gpenet

Bonjour gpenet,
.
Ce schéma est le Swordfish 21x21 (avec le lien des 2 en boite 5) qui était sur un autre fil.
On a e4=2 (pastille verte) parce que 2d5 a été éliminé.
Mais on constate alors que e4=2 donne e7=e9=68 (paire visible), et ensuite que e3=9, lequel à son tour élimine des 9 : donc j'avais rajouté plusieurs sets et linksets pour voir apparaitre ces résultats.
Les pastilles orange sont les éliminations initiales, les pastilles rouges sont celles qui vienent ensuite ("cannibales").
.
Cordialement,
.
soryu.

» GN09 XSUDO1
» GN09 grilles à thème "multi fishes"