SUDOKU VARIANTE


 
portailportail  AccueilAccueil  Grilles en lignesGrilles en lignes  Tournois du forumTournois du forum  CalendrierCalendrier  FAQFAQ  RechercherRechercher  MembresMembres  S'enregistrerS'enregistrer  ConnexionConnexion  

Partagez | 
 

 Une MC plutôt Hard (c438c)

Voir le sujet précédent Voir le sujet suivant Aller en bas 
AuteurMessage
COLLIN



Nombre de messages : 445
Age : 87
Date d'inscription : 01/07/2009

MessageSujet: Une MC plutôt Hard (c438c)   Ven Nov 16 2012, 19:03

Bonsoir à tous,

je vous souhaite du plaisir

000 000 042
000 000 087
300 900 500

500 700 200
080 010 000
001 008 000

900 200 700
006 004 000
040 030 000



N° MC:A635101181144132312315-c438c Nishio (2x) et Essai des possibilités (3x)


André
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
Cenoman



Nombre de messages : 414
Age : 69
Date d'inscription : 20/04/2010

MessageSujet: Re: Une MC plutôt Hard (c438c)   Mar Nov 20 2012, 00:02

Bonjour André,

effectivement, cette grille est plutôt hard et elle donne à s'amuser...

Après les éliminations de base on a la grille qui suit :

_ | a___ b____ c____ | d____ e____ f____ | g_ h___ i__ |
1 | 1678 15679 5789_ | 13568 5678_ 13567 | 39 ____ ___ |
2 | 1246 12569 2459_ | 13456 2456_ 12356 | 39 ____ ___ |
3 | ____ 27___ 48___ | _____ 48___ 27___ | __ ____ ___ |

4 | ____ 369__ 349__ | _____ 469__ 369__ | __ ____ ___ |
5 | 2467 _____ 23479 | 3456_ _____ 23569 | 46 3579 359 |
6 | 2467 23679 _____ | 3456_ 24569 _____ | 46 3579 359 |

7 | ____ 135__ 358__ | _____ 568__ 156__ | __ 35__ ___ |
8 | 1278 12357 _____ | 158__ 79___ _____ | 18 2359 359 |
9 | 1278 _____ 2578_ | 158__ _____ 79___ | 18 259_ ___ |


Avant de marquer, elle a encore deux beaux X-wing à ne pas rater, ils sont bien utiles par la suite :

Xwing de [4] lignes 34 =>-4c2, -4e26 (Edit : corrigé coquille)
Xwing de [8] lignes 37 =>-8c19, -8e1

Au marquage, on retient un interdit supplémentaire sur la case e6, avec l'aide d'un dérivé ternaire et d'une pseudo-case.
Les interdits ternaires ne sont d'aucune utilité, il faut aller chercher trois interdits quaternaires pour débloquer la grille, de manière assez radicale (et toujours avec l'aide de dérivés ternaires et de pseudo-cases, souvent les mêmes).


_ | a____ b_____ c____ | d_____ e____ f_____ | g___ h____ i_____ |
1 | 1678C 15679_ 579__ | 13568c 567f_ 13567_ | 3A9a _____ ______ |
2 | 124c6 12569_ 259__ | 134C56 2I56_ 12356_ | 3a9A _____ ______ |
3 | _____ 2B7b__ 4C8c_ | ______ 4c8C_ 2b7B__ | ____ _____ ______ |

4 | _____ 36L9__ 34c9_ | ______ 4C69_ 3K69__ | ____ _____ ______ |
5 | 2467_ ______ 2379_ | 3456__ _____ 2I3569 | 4D6d 357N9 359___ |
6 | 2467_ 23679_ _____ | 3456__ 2i569 ______ | 4d6D 357n9 359___ |

7 | _____ 1H35__ 3O58C | ______ 56M8c 1h56m_ | ____ 3E5e_ ______ |
8 | 1278_ 123E57 _____ | 158___ 7F9f_ ______ | 1G8g 2J359 3P5Q9R |
9 | 1278_ ______ 257__ | 158___ _____ 7f9F__ | 1g8G 2j59f ______ |


DERIVE TERNAIRE (3f4-6f4-9f4)+3f4/6e6 +6f4/6e6 =>!9f4/6e6
3f4/3d56-3d12/6d12(PC d12.e3)-6d56/6e6
6f4/6e6

6e6/2e6-2f5/2f3-7f3/7f9-9f9/9f4-!9f4/6e6(DT) =>INTERDIT 6e6=Faux
--------------------------------------
INTERDIT QUATERNAIRE (1a2-1b2-1d2-1f2)/1b1 =>1b1=Faux
1a2/1b1
1b2/1b1
1d2/4d2-8e7/6e7-6f7/1f7-1b7/1b1
1f2/1f7-1b7/1b1
--------------------------------------
DERIVE TERNAIRE (3f4-6f4-9f4)+3f4/1b2+6f4/1b2=>!9f4/1b2
3f4/3d56-3d12/1d12(PC d12.e3)-1b7/1b2
6f4/6d56-6d12/1d12(PC d12.e3)-1b7/1b2

INTERDIT QUATERNAIRE (2b2-2b3-2b6-2b8)/1b2 =>1b2=Faux
2b2/1b2
2b3/2f3-7f3/7f9-9f9/9f4-!9f4/1b2(DT)
2b6/2ac5-2f5/2f3-7f3/7f9-9f9/9f4-!9f4/1b2(DT)
2b8/2h8-2h9/9h9-9f9/9f4-!9f4/1b2(DT)
--------------------------------------
DERIVE TERNAIRE (2c2-2c5-2c9)+2c2/9e6+2c5/9e6=>!2c9/9e6
2c2/2e2-2e6/9e6
2c5/2f5-2e6/9e6

INTERDIT QUATERNAIRE (1a8-2a8-7a8-8a8)/9e6 =>9e6=Faux
18a8/18dg8-5d8(als dg8)/5d56-5f5.e6 /9e6(PC f5.e6)
2a8/2c9-!2c9/9e6(DT)
7a8/7e8-9e8/9e6

Et c'est fini ! On va jusqu'au bout avec les techniques de base !
Tu nous souhaitais du plaisir. Il y en a eu, effectivement ! Merci André pour cette grille peu ordinaire.

Cordialement,
Cenoman.


Dernière édition par Cenoman le Mar Nov 20 2012, 13:19, édité 1 fois
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
JC Van Hay



Nombre de messages : 99
Age : 69
Date d'inscription : 04/05/2010

MessageSujet: Re: Une MC plutôt Hard (c438c)   Mar Nov 20 2012, 09:57

Bonjour à tous,

Les RI simplifient considérablement la solution ...

#1. Techniques de base :
    LC et LS -> UP27

    Kite(2bf3+2e26) :=> -2b6 [non requis]
    XW(4ce34) :=> -4ce256
    Kite(7bf3+7e18) :=> -7b8 [non requis]
    XW(8ce37) :=> -8ce19
#2. Tests d'unicité :
    RI(18cg89) :=> -5d1256.ef3; NQ(3469)d56.ef4
    RI(46dg56) :=> -3d12.f4
#3. Chaîne de jumeaux de longueur 4 :
    9fe4 4e43 8e37 6ef7 :=> -6f4; UP58
#4. Techniques de base :
    SS(1b17+1f27) :=> -1a2.d1
    ER(6b14+6e4.d5) :=> -6d1; UP81
Cordialement,
JC.
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
Cenoman



Nombre de messages : 414
Age : 69
Date d'inscription : 20/04/2010

MessageSujet: Re: Une MC plutôt Hard (c438c)   Mar Nov 20 2012, 13:23

Bonjour JC, André et tous,

Magnifique solution JC ! Si Jeanlé nous lit, je suis sûr que c'est celle qu'il préfére.

En ce qui me concerne, cela me persuade définitivement qu'il faut que j'apprenne à chercher les RI avant les logiques ternaires ou quaternaires...

Finalement, André, malgré son aspect résistant, cette grille n'est pas si compliquée :
- deux X-wing ,
- deux RI,
- une chaîne AIC
- deux coloriages simples
...et le tour est joué.

(Nota 1: j'ai corrigé une coquille -4e26 et non pas -4e46)
(Nota 2: une coquille dans le message de JC : lire -5d1256.ef7 aulieu de -5d1256.ef3)

Une petite question à JC Van Hay : que veulent dire vos acronymes LC & LS, NQ, SS et ER ?

Cordialement
Cenoman
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
JC Van Hay



Nombre de messages : 99
Age : 69
Date d'inscription : 04/05/2010

MessageSujet: Re: Une MC plutôt Hard (c438c)   Mar Nov 20 2012, 15:04

Bonjour Cenoman et à tous,
Cenoman a écrit:
(Nota 2: une coquille dans le message de JC : lire -5d1256.ef7 aulieu de -5d1256.ef3)

Une petite question à JC Van Hay : que veulent dire vos acronymes LC & LS, NQ, SS et ER ?
Décidément, il y a encore trop souvent à mon goût une coquille dans mes messages ... Ici, inversion partielle notations AU/Sudokuvariante Sad

Acronymes : à défaut de leurs correspondants en français,
    LC = Locked Candidates (Pointing et Claiming)
    LS = Locked Subsets (Naked et Hidden Singles, Pairs, Triples, Quadruples, ...)
    NQ = Naked Quad(ruple)
    SS = Skyscraper
    ER = Empty Rectangle
Cordialement,
JC.

Revenir en haut Aller en bas
Voir le profil de l'utilisateur
COLLIN



Nombre de messages : 445
Age : 87
Date d'inscription : 01/07/2009

MessageSujet: Re: Une MC plutôt Hard (c438c)   Mer Nov 21 2012, 15:27

Cenoman a écrit:
Bonjour JC, André et tous,

En ce qui me concerne, cela me persuade définitivement qu'il faut que j'apprenne à chercher les RI avant les logiques ternaires ou quaternaires...


Je crois que tu as raison.
Je ne suis pas un spécialiste de la question. A ce sujet,j'ai retrouvé un petit texte sur les RI qui pourrait t'intéresser.
J'essaie de comprendre les RI de JC. C'est loin d'être évident
André

FORMES RI---------------------------------------------------------------------------------------------------------------------------
Le cas général : RI avec 3 chiffres ajoutés + 2 liaisons de jumeaux, où 5 variantes ont été répertoriées.
Rappel : comme pour tous les RI, toujours sur 2 lignes, 2 colonnes, 2 blocs/maisons.
Code:
ab-----abX 1 - Jumeaux identiques en parallèle
a
.
a
abY-----abZ
............. a éliminé des voisins communs de ab-abY (X-wing)
............. a éliminé des voisins communs de abX-abZ (X-wing)
............. b éliminé de abZ

ab-----abX 2 - Jumeaux différents en parallèle
a

b
abY-----abZ
............. a éliminé de abY

ab abX 3 - Jumeaux identiques en équerre opposée à la base ab
|
a|
a |
abY-----abZ
.............. b éliminé de abZ

ab abX 4 - Jumeaux différents en équerre opposée à la base ab
|
b|
a |
abY-----abZ

............... a éliminé des voisins communs de ab-abY
................ b éliminé des voisins communs de ab-abX
................Z éliminé de abZ

ab-----abX 5 - Jumeaux différents en équerre incluant la base ab
a |
b|
|
abY abZ
.............. a éliminé de abY
.............. traiter comme un RI type 3

Revenir en haut Aller en bas
Voir le profil de l'utilisateur
abi



Nombre de messages : 525
Age : 63
Date d'inscription : 30/06/2009

MessageSujet: Re: Une MC plutôt Hard (c438c)   Jeu Nov 22 2012, 15:01

Bonjour André,

"J'essaie de comprendre les RI de JC. C'est loin d'être évident"

Juste, en passant, une petite réponse qui va peut-être choquer Wink

Personnellement, je ne cherche pas à savoir quels sont les types de RI que je peux rencontrer et je me demande si cette "théorisation" des formes de RI ne complique pas un fait tout simple:
un RI est une superposition de 2 x-wing dans 2 maisons, dont on peut, parfois simplement, chercher logiquement à éliminer la possibilité ou que l'on peut utiliser de diverses manières pour la résolution d'une grille.
(quelques élims (parfois inutiles), "gardiens", gardiens-liens => dérivations, inclusion de RI dans les analyses etc...)

Ici, c'est plutôt simple:
18g89 et 185d89 : 5d89 (<-> élims des 5 en colonne-maison: chacun d'eux -> RI) sinon RI 18
46g56 et 463d56 : 3d56 (<-> élims des 3 en colonne-maison: chacun d'eux -> RI) sinon RI 46.

(on peut commencer par n'importe quel RI : RI 46 -> 3/5d56 et RI 18 -> 5d89 => 3d56)

(ou:*(RI18 dg89) 18d89-5d89* / (RI46 dg56)5d56-3d56* -> -5ef7 d1256 -3ef4 d12)

On peut faire sans x-wing 4 & 8:

*RIs dg89&56 -> 5d89&3d56
*(als bcfh7) 8 (als c7) 4 (als bc4) -> -6f4
*1f27 b71 -> -1d7 et Perle "6d2"-> Fin.

Amicalement,

Sophie
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
Fred76
Admin
avatar

Nombre de messages : 2925
Age : 41
Localisation : Ailleurs
Date d'inscription : 16/01/2009

MessageSujet: Re: Une MC plutôt Hard (c438c)   Jeu Nov 22 2012, 15:20

abi a écrit:
Juste, en passant, une petite réponse qui va peut-être choquer Wink

Personnellement, je ne cherche pas à savoir quels sont les types de RI que je peux rencontrer et je me demande si cette "théorisation" des formes de RI ne complique pas un fait tout simple:
un RI est une superposition de 2 x-wing dans 2 maisons, dont on peut, parfois simplement, chercher logiquement à éliminer la possibilité ou que l'on peut utiliser de diverses manières pour la résolution d'une grille.

J'ai exactement le même point de vue Very Happy .
Ce que j'apprécie particulièrement avec les RI et autres boucles interdites, c'est qu'on peut assez facilement les utiliser sans candidater la grille (je parle évidemment de grilles plus faciles que celles qu'on trouve dans cette rubrique). C'est donc très rapide quand on a l'habitude de les repérer. Et sans candidat, le fait de savoir de quel type de RI il s'agit n'a vraiment plus d'importance.

Fred

____________________________________________________
http://sudokuvariante.blogspot.com/
Revenir en haut Aller en bas
Voir le profil de l'utilisateur http://sudokuvariante.blogspot.fr/
COLLIN



Nombre de messages : 445
Age : 87
Date d'inscription : 01/07/2009

MessageSujet: Re: Une MC plutôt Hard (c438c)   Ven Nov 23 2012, 18:52

abi a écrit:


Ici, c'est plutôt simple:
18g89 et 185d89 : 5d89 (<-> élims des 5 en colonne-maison: chacun d'eux -> RI) sinon RI 18
46g56 et 463d56 : 3d56 (<-> élims des 3 en colonne-maison: chacun d'eux -> RI) sinon RI 46.


Bonsoir Sophie,

Le 1er RI 18g89 pas de problème.C'est le second 46g56 qui me chipote. J'ai 4635 en d56 et pas 463 Il doit y avoir une élimination des 5 que je n'ai pas.

André
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
abi



Nombre de messages : 525
Age : 63
Date d'inscription : 30/06/2009

MessageSujet: Re: Une MC plutôt Hard (c438c)   Ven Nov 23 2012, 18:56

Bonsoir André,

"Le 1er RI 18g89 pas de problème"

Donc d89=5 -> -5d56 => 346d56 non?
(<-> 5d56->RI 18)

En gros (comme dit plus haut):

RI 46 -> 3/5d56
RI 18 -> 5d89

Donc 5d89 et...plus que 3d56 (comme Pince-mi et Pince-moi dans un bateau... Wink ) => élims en colonne et maisons.


Il y a d'ailleurs d'autres élims (tout à fait inutiles) par RI:

RI 46 ag56 -> 2/7a56 + RI 18ag89-> 2/7a89 => -27a12

Amicalement,

Sophie
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
COLLIN



Nombre de messages : 445
Age : 87
Date d'inscription : 01/07/2009

MessageSujet: Re: Une MC plutôt Hard (c438c)   Sam Nov 24 2012, 11:31

Bonjour Sophie,

OK, j'ai compris.Merci

André
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
Contenu sponsorisé




MessageSujet: Re: Une MC plutôt Hard (c438c)   

Revenir en haut Aller en bas
 
Une MC plutôt Hard (c438c)
Voir le sujet précédent Voir le sujet suivant Revenir en haut 
Page 1 sur 1

Permission de ce forum:Vous ne pouvez pas répondre aux sujets dans ce forum
SUDOKU VARIANTE :: Grilles et techniques :: Grilles classiques :: Grilles classiques supérieures-
Sauter vers: