17 cases en deux coups (94393)

Bonjour à tous,

Retour aux grilles lambda, sans symétrie !

Une 17 cases à démolir en deux coups (ou trois si on compte le RI avant marquage)

000 900 300
002 000 700
800 400 000

000 002 507
900 008 000
400 000 000

100 000 000
007 605 000
000 000 090

N° MC : A121969300046102140251-94393

A+

Bonjour jeanlé,
.
Pour changer un peu, je vous propose une solution avec un seul coup (un peu particulier).
.
Le schéma suivant
.
______16|.....
36______|.....
___xx___|.....
_
3?_xxxxx|.....
___xx_13|.....
__[etc]___
est typiquement un XY-Wing pour les cases a2-c1-c5, qui élimine le candidat 3a4. Le principe est connu : 3a2 et 3c5 ne peuvent pas être faux tous les deux (sinon c1 serait vide).
.
Mais au lieu de faire un XY-Wing uniquement avec des cases, on peut le faire avec 2 cases et un ensemble (pseudo-case ?) comme dans le dessin ci-dessous.


Il est composé des 2 cases a2 et c1 et du groupe c56 (EQC). Le raisonnement est exactement le même : si a2 et c56 ne contiennent pas 3, alors a2=6 et c56=15 (paire) : c1 serait vidée.
Ce XY-Wing "avec groupe" élimine donc 3a4, et la grille est résolue.
.
NOTE : un coloriage résout immédiatement la grille.
.
Cordialement,
.
soryu.

Bonjour soryu,

Votre façon de voir le XY-wing est nouvelle pour moi. Jusqu'ici, je me disais que le pivot c1, qu'il soit 1 ou 6, donne soit 3a2 soit 3c5, ce qui tue le 3 de a4.
Votre démo est très intéressante, et je tâcherai de m'en resservir à l'occasion, si j'y arrive.

Edit : On peut aussi voir un XY-wing classique avec la pseudo-case c56=13 (le 5 étant forcé), qui tue le 3 de a4.

Il est bien possible que le marquage donne la solution d'un coup, à vrai dire je l'ai faite à la paresseuse, je n'ai pas dérivé les conflits. J'aurais dû vérifier ce point avant de proposer la grille.

J'avais trouvé :
- RI 68 qui élimine le 6 de b9.
- OU sur le 6 de c4 avec le conflit de la case b4, qui entraîne marquage du 6 de c9 jumeau du 6c1.
- Interdit sur le 3 de b3.

A+

Bonsoir Jeanlé, bonsoir Soryu,

Je pense que la chaîne CB bp PC=>C Faux tue la grille en un seul coup.

c Vrai=>f Vrai=>D Vrai=>k Vrai etc....

X(2)
1 | 7___ 5_____ 1b6B_ | 9_____ 2______ 1B6b__ | 3____ 8____ 4____ |
2 | 3c6C 4_____ 2____ | 8_____ 1d5D___ 13C6__ | 7____ 15d6_ 9____ |
3 | 8___ 1B3C6_ 9____ | 4_____ 15d6K7f 13c67F | 1j26_ 125D6 126__ |
4 | 3C6c 1b368g 1368G | 1p3P__ 9______ 2_____ | 5____ 4____ 7____ |
5 | 9___ 2i7I__ 3h5H_ | 135h7i 4______ 8_____ | 1J26_ 1236_ 123A6 |
6 | 4___ 2I7i__ 135h_ | 135H7_ 16k7___ 16K7f_ | 9____ 12i3_ 8____ |
7 | 1___ 6l8L__ 4____ | 2_____ 3______ 9_____ | 6L8l_ 7____ 5____ |
8 | 2___ 9_____ 7____ | 6_____ 8______ 5_____ | 4____ 1a3A_ 1A3a_ |
9 | 5___ 3o68__ 3O68g | 1m7M__ 1M7m___ 4_____ | 2n68L 9____ 2N6n_ |

A+
André

Oui, bien sûr. J'aurais dû quand même regarder avant de la poster. Je suis trop fainéant.

Mais au moins j'aurais vu le bien beau XY-wing avec pseudo-case grâce à l'intervention de Soryu. A+

edit : André, ton solveur a éliminé le 1 de c5, comment ?

jeanlé a écrit:

edit : André, ton solveur a éliminé le 1 de c5, comment ?

Bonsoir Jeanlé,
C'est grâce à un gratte-ciel des 1 que Sudokuxwing élimine le 1 en c5.(col27)

1 | __ 1A | _ _ 1a | __ _ _ |
2 | __ __ | _ 1 1_ | __ 1 _ |
3 | 1a __ | _ 1 1_ | 1b 1 1 |
4 | 1A 1_ | 1 _ __ | __ _ _ |
5 | __ 1_ | 1 _ __ | 1B 1 1 |
6 | __ 1_ | 1 1 1_ | __ 1 _ |
7 | __ __ | _ _ __ | __ _ _ |
8 | __ __ | _ _ __ | __ 1 1 |
9 | __ __ | 1 1 __ | __ _ _ |

A+
André

Ben oui ! je dors !