SUDOKU VARIANTE


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

Partagez | 
 

 Les tough du 25 et du 26/03

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



Nombre de messages : 737
Age : 77
Date d'inscription : 01/07/2009

MessageSujet: Les tough du 25 et du 26/03   Mar Mar 27 2012, 10:57

Bonjour à tous,

Avez-vous résolu les grilles tough du 25 et du 26 mars ?
Deux OU -1d2 et -1f2 pour celle du 25 ;
et j''ai un peu avancé celle du 26 : interdit a9=1, quatre OU -1f1, -1d1, -4b4, -6g2, avant de caler.
Pas de ternaires ni de pseudo-case en vue !
Ai-je encore raté des marques et des conflits ?

En revanche, pas de difficulté pour celle du 27.
A+
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: Les tough du 25 et du 26/03   Mer Mar 28 2012, 00:05

Bonjour jeanlé, bonjour à tous,

cela fait plusieurs jours que je cherche un bogue dans mon moulin... Ah ! l'informatique... Du coup je me suis moins intéressé aux grilles.

Pour celle du 25, j'ai vu sur le site une solution que tu aimerais beaucoup, à base de RI. Sans le RI elle est assez résistante.

Celle du 26 est une coriace : c'est dérivés ternaires ou pseudo-cases. Entrevue sur le site australien, une solution avec un quaternaire.

Bien entendu, JC Van Hay les a résolues toutes les deux, avec ses raccourcis habituels.

Je reviendrai avec des solutions par marquage...

Cordialement
Cenoman

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: Les tough du 25 et du 26/03   Mer Mar 28 2012, 23:29

Bonjour Jeanlé, bonjour à tous,

Tough du 25/03/2012 (www.sudoku.com.au)

Pour être sûr qu'on parle du même puzzle, je le redonne :
000 006 009
802 040 070
003 000 500

100 000 000
090 804 050
000 000 007

005 000 200
010 020 803
400 300 000


Situation de départ, avec son marquage :

_ | a_____ b_____ c____ | d______ e______ f_____ | g_____ h______ i______ |
1 | 5a7A__ 4m57__ _____ | 2i57___ 3k5ã78t ______ | 3b4B__ 2I3â48T _______ |
2 | ______ 5c6C__ _____ | 159w___ _______ 13K59W | 1z3k6ä _______ 1d6D___ |
3 | ______ 4M6c7r _____ | 127____ 178____ 12à78ç | ______ 12468__ 12á468è |

4 | ______ 35p78_ 4n678 | 25679__ 35679__ 23579_ | 3469x_ 23468__ 2468È__ |
5 | 2j367_ ______ 6e7E_ | _______ 1g367s_ ______ | 136___ _______ 12J6___ |
6 | 2J35A6 358___ 4N68_ | 12569__ 13569__ 12359_ | 13469X 123468u _______ |

7 | 3l67__ 3L78v_ _____ | 14o679_ 16789__ 1789__ | ______ 1469y__ 1ê4ë6ì_ |
8 | 6f7F__ ______ 67æ9é | 4O5q679 _______ 5Q79__ | ______ 4o69___ _______ |
9 | ______ ______ 68V9É | _______ 1689___ 189___ | ______ 1h69___ _______ |


EDIT : suivant la suggestion de JC Van Hay, je vais rendre à Alfred la primauté de son mat en un coup (que je n'avais pas eu le courage de transcrire) :
5ab1-4b1(als ab1)/4g1-3g1/3g25-2i5(RI gi25)/2a5-2a6/5a6-5b46 =>-5b2 et FIN !


Et maintenant la très belle solution de sotir :

Pour exploiter le RI 16gi25, il commence par une boucle utilisant un als (ou une pseudo-case si on préfère)

3g2-6gi2(als gi2)/6b2-6b3/4b3-4b1/4g1-3g1@ =>-4h1, -7b3, -3h1 (=>-7de1, -3g456)

Le RI 16gi25 permet d'écrire le lien fort 2i5-3g2 d'où la chaîne :

3g2-2i5(RI gi25)/2a5-2a6/5a6-5a1/7a1-7b1/4b1-4g1 =>-3g1 et FIN !

On peut écrire aussi la première chaîne en utilisant la pseudo-case bdf2 :
3g2-3f2/6b2(PC bdf2)-6gi2/6b2-6b3/4b3-4b1/4g1-3g1@

En marquage on écrirait une FUSION : K/C(PC bdf2)-c/M(b3)-m/B(4L1)-b/k(3Kg) =>FUSION m=K=c=b qui donne les mêmes éliminations par les saturations consécutives en b3 et en ligne 1.

Notons aussi que les éliminations -4h1, -7b3 suffisent pour exploiter le RI natif en écrivant le lien fort 3g25-2i5(RI gi25) qui s'utilise de la même manière.

On peut obtenir ces mêmes éliminations sans als ou pseudo-case, avec deux interdits ternaires (ou trois, si on veut éliminer 3h1) par le trio 136g2 (k-z-ä)

INTERDIT TERNAIRE (1g2-3g2-6g2)/7b3 7de1
1g2/1i2-6i2/6b2-6b3/7b3
3g2/3g1-4g1/4b1-4b3/7b3
6g2/6b2-6b3/7b3

INTERDIT TERNAIRE (1g2-3g2-6g2)/4h1
1g2/1i2-6i2/6b2-6b3/4b3-4b1/4h1
3g2/3f2-3e1/8e1-8h1/4h1
6g2/6b2-6b3/4b3-4b1/4h1

INTERDIT TERNAIRE (1g2-3g2-6g2)/3h1 3g456 (facultatif)
1g2/1i2-6i2/6b2-6b3/4b3-4b1/4g1-3g1/3h1
3g2/3f2-3e1/3h1
6g2/6b2-6b3/4b3-4b1/4g1-3g1/3h1

Sans le RI il faut 4 interdits ternaires supplémentaires pour débloquer la grille (plus deux interdits simples). Cette grille est un bel exemple de solution nettement raccourcie par un RI (deux coups au lieu de huit : y a pas photo !) Je ne donne pas la solution longue. Je préfère nettement la première !

Cordialement.
Cenoman


Dernière édition par Cenoman le Jeu Mar 29 2012, 22:24, é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: Les tough du 25 et du 26/03   Jeu Mar 29 2012, 00:07

Bonjour Cenoman et à tous,

La solution d'Alfred est encore plus rapide :

UP27; (57=4)ab9-(4=3)-3g58=[DP(16)gi58]=2i5-2a5=(2-5)a4=5b46 => -5b8; UP81

(Notation Au Sad)

Cordialement,

JC.
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
jeanlé



Nombre de messages : 737
Age : 77
Date d'inscription : 01/07/2009

MessageSujet: Re: Les tough du 25 et du 26/03   Jeu Mar 29 2012, 15:02

Bonjour Cenoman et à tous,

Sauf erreur de ma part, la pseudo-case suffit à débloquer la grille et on peut aller au bout sans ternaire :

_ | a_____ b_____ c____ | d______ e______ f_____ | g_____ h______ i______ |
1 | 5a7A__ 4m57__ _____ | 2i57___ 3k5ã78t ______ | 3b4B__ 2I3â48T _______ |
2 | ______ 5c6C__ _____ | 159w___ _______ 13K59W | 1z3k6_ _______ 1d6D___ |
3 | ______ 4M6c7r _____ | 127____ 178____ 12à78ç | ______ 12468__ 12á468è |

4 | ______ 35p78_ 4n678 | 25679__ 35679__ 23579_ | 3469x_ 23468__ 2468È__ |
5 | 2j367_ ______ 6e7E_ | _______ 1g367s_ ______ | 136___ _______ 12J6___ |
6 | 2J35A6 358___ 4N68_ | 12569__ 13569__ 12359_ | 13469X 123468u _______ |

7 | 3l67__ 3L78v_ _____ | 14o679_ 16789__ 1789__ | ______ 1469y__ 1ê4ë6ì_ |
8 | 6f7F__ ______ 67æ9é | 4O5q679 _______ 5Q79__ | ______ 4o69___ _______ |
9 | ______ ______ 68V9É | _______ 1689___ 189___ | ______ 1h69___ _______ |


1) OU : -1d2 ni d ni w [DC (6i2b2) cM (b3) mB (4b2g2) bk (3g1e1) KW (f2)]
2) OU : -1f2 ni d ni K [DC cM mB bk] => -1hi3
3) Pseudo-case de Cenoman => K/C(PC bdf2)-c/M(b3)-m/B(4L1)-b/k(3Kg) =>FUSION m=K=c=b

_ | a_____ b_____ c____ | d______ e______ f_____ | g_____ h______ i______ |
1 | 5a7A__ 4b57a_ _____ | 2i5I___ 3B5ã8I_ ______ | 3b4B__ 2I8i___ _______ |
2 | ______ 5b6B__ _____ | 5W9w___ _______ 3b59W_ | 1D3B6_ _______ 1d6D___ |
3 | ______ 4B6b__ _____ | 127____ 178____ 12à78ç | ______ 2468___ 2á468è_ |

4 | ______ 35p78_ 4n678 | 25679__ 35679__ 23579_ | 469x__ 23468__ 2468È__ |
5 | 2j3ä67 ______ 6e7E_ | _______ 1g3Ä67s ______ | 1G6g__ _______ (1)2J6j |
6 | 2J35A6 358___ 4N68_ | 12569__ 13569__ 12359_ | 1469X_ 1D23468u_______ |

7 | 3l67__ 3L78v_ _____ | 14o679_ 16789__ 1789__ | ______ 1469y__ 1ê4ë6ì_ |
8 | 6f7F__ ______ 67æ9é | 4O5q679 _______ 5Q79__ | ______ 4o69___ _______ |
9 | ______ ______ 68V9É | _______ 1689___ 189___ | ______ 1h69___ _______ |


RI 16 i2 (16)-g2-g5(16)-i5, 1 jumeaux gi2 => -1i5=2J6j => Dj
4) Interdit DB ((g2) ba (b2) AJ (a6) jD (6i5i2) => D faux, i2=1, g2=3B6b
5) Boucle BÄ (3e1e5) äj (a5) JA (a6) ab (b1) => fusion a=B=J=ä, nettoyage

| | a_____ b_____ c____ | d______ e______ f_____ | g_____ h______ i______ |
1 | 5a7A__ 4A7a _ _____ | 2i5I___ 3a5ã8I_ ______ | 3A4a__ 2I8i___ _______ |
2 | ______ 5A6a__ _____ | 5W9w___ _______ 3A59W_ | 3a6A__ _______ _______ |
3 | ______ 4a6A__ _____ | 127____ 178____ 12à78ç | ______ 2468___ 2á468è_ |

4 | ______ 35p78_ 4n678 | 25679__ 5679___ 23579_ | 469x__ 2348____ 248È__ |
5 | 2A3a__ ______ 6e7E_ | _______ 1g3A67e ______ | 1G6g__ ________ 2a6A__ |
6 | 2a5A__ 358___ 4N68_ | 12569__ 13569__ 12359_ | 1g469X 23B48u__ ______ |

7 | 3A6F7_ 3a78v_ _____ | 14o679_ 16789__ 1789__ | ______ 1H469y__ 46____ |
8 | 6f7F__ ______ 7v9V_ | 4O5q679 _______ 5Q79__ | ______ 4o69___ _______ |
9 | ______ ______ 8V9v_ | _______ 1689___ 189___ | ______ 1h69___ _______ |



6) Interdit va (b7) Ae (6i5c5) Ev (7c5c8) => v faux, c8=9, c9=8, i7=h8=46, e9=6, RI 19 h7(19)-h9(19)-f9(19) => -19f7, f7=78

| | a_____ b_____ c____ | d______ e______ f_____ | g_____ h______ i______ |
1 | 5a7A__ 4A7a _ _____ | 2i5I___ 3a5ã8I_ ______ | 3A4a__ 2I8i___ _______ |
2 | ______ 5A6a__ _____ | 5W9w___ _______ 3A59W_ | 3a6A__ _______ _______ |
3 | ______ 4a6A__ _____ | 127____ 178____ 12à78ç | ______ 246f8__ 2á468è_ |

4 | ______ 35p78_ 4n678 | 25679__ 5679___ 23579_ | 469x__ 2348____ 248È__ |
5 | 2A3a__ ______ 6e7E_ | _______ 1g3A67e ______ | 1G6g__ ________ 2a6A__ |
6 | 2a5A__ 358___ 4N68_ | 12569__ 13569__ 12359_ | 1g469X 23B48u__ ______ |

7 | 3A6F7_ 3a7A__ _____ | 14f79__ 1789___ 78____ | ______ 19______ 4F6f__ |
8 | 6f7F__ ______ _____ | 4F5q7__ _______ 57____ | ______ 4f6F____ ______ |
9 | ______ ______ _____ | _______ _______ 19____ | ______ 19_____ _______ |


7) Interdit AF (a7) fA (6h3g2) => A faux, a1=5, etc. au bout.

Une chouette grille, et la pseudo-case est trouvable par un manuel ayant deux neurones et deux yeux en état de marche !

Ton solveur ne tire pas profit de la fusion, me semble-t-il !

A+
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: Les tough du 25 et du 26/03   Jeu Mar 29 2012, 19:43

Bonsoir Cenoman, bonsoir Jeanlé

La solution avec le RI est très belle. Par contre, la grille peut se résoudre très simplement avec les 2 beaux ternaires en X(1) et X(2).
Je m'étonne que ton solveur ne l'ait pas découverte. Peut-être s'est-il compliqué la vie? (marquage incomplet en grille ou quoi ?)
Si tu pouvais vérifier ma solution avec ton solveur, cela me ferait plaisir à moins que Jeanlé ne s'y attaque.
Ce n'est pas la première fois que nos solutions divergent. Je voudrai savoir pourquoi?
C'est très important pour moi.

André

X(1) idem à la grille de départ de Cenoman

1 | 5a7A__ 4m57__ 1____ | 2i57___ 3k5ã78t 6_____ | 3b4B__ 2I3â48T 9______ |
2 | 8_____ 5c6C__ 2____ | 159w___ 4______ 13K59W | 1z3k6ä 7______ 1d6D___ |
3 | 9_____ 4M6c7r 3____ | 127____ 178____ 12à78ç | 5_____ 12468__ 12á468è |

4 | 1_____ 35p78_ 4n678 | 25679__ 35679__ 23579_ | 3469x_ 23468__ 2468È__ |
5 | 2j367_ 9_____ 6e7E_ | 8______ 1g367s_ 4_____ | 136___ 5______ 12J6___ |
6 | 2J35A6 358___ 4N68_ | 12569__ 13569__ 12359_ | 13469X 123468u 7______ |

7 | 3l67__ 3L78v_ 5____ | 14o679_ 16789__ 1789__ | 2_____ 1469y__ 1ê4ë6i_ |
8 | 6f7F__ 1_____ 679é_ | 4O5q679 2______ 5Q79__ | 8_____ 4o69___ 3______ |
9 | 4_____ 2_____ 68V9É | 3______ 1689___ 189___ | 7_____ 1h69___ 5______ |


Fusion k=B 1z 3k 6ä
Fusion k=C 1z 3k 6ä
Fusion z=D 1z 3k 6ä
Fusion k=M 1z 3k 6ä

X(2)
1 | 5a7A__ 4b57a_ 1____ | 2i5I___ 3B5ã8I 6_____ | 3b4B__ 2I8i_____ 9_____ |
2 | 8_____ 5b6B__ 2____ | 5W9w___ 4_____ 3b5ï9W | 1D3B6ä 7________ 1d6D__ |
3 | 9_____ 4B6b__ 3____ | 12ó7___ 178î__ 12à78ç | 5_____ 2ò46r8õ__ 2á468è |

4 | 1_____ 35p78_ 4n678 | 25679__ 35679_ 23579_ | 469x__ 23c468___ 2468È_ |
5 | 2j367ï 9_____ 6e7E_ | 8______ 1g367s 4_____ | 1m6M__ 5________ 1â2J6ñ |
6 | 2J35A6 358___ 4N68_ | 12569__ 13569_ 12359_ | 1469X_ 1ê23C468u 7_____ |

7 | 3l67__ 3L7z8v 5____ | 14o679_ 16789_ 1789__ | 2_____ 1í4ì69y__ 1ê4ë6_ |
8 | 6f7F__ 1_____ 679é_ | 4O5q679 2_____ 5Q79__ | 8_____ 4o69ö____ 3_____ |
9 | 4_____ 2_____ 68V9É | 3______ 1689__ 189___ | 7_____ 1h6t9ô___ 5_____ |


Fusion J=a 1â 2J 6ñ
Fusion J=B 1â 2J 6ñ
Fusion â=D 1â 2J 6ñ
Fusion J=i 1â 2J 6ñ
Fusion ñ=ä 1â 2J 6ñ

X(3)
1 | 5a7A__ 4b57a_ 1____ | 2i5I___ 3B5ã8I 6_____ | 3b4B__ 2I8i_____ 9_____ |
2 | 8_____ 5b6B__ 2____ | 5W9w___ 4_____ 3b5ï9W | 1D3B6ä 7________ 1d6D__ |
3 | 9_____ 4B6b__ 3____ | 12ó7___ 178î__ 12à78ç | 5_____ 2ò46r8õ__ 2á468è |

4 | 1_____ 35p78_ 4n678 | 25679__ 35679_ 23579_ | 469x__ 23c468___ 2468È_ |
5 | 2j367ï 9_____ 6e7E_ | 8______ 1g367s 4_____ | 1m6M__ 5________ 1â2J6ñ |
6 | 2J35A6 358___ 4N68_ | 12569__ 13569_ 12359_ | 1469X_ 1ê23C468u 7_____ |

7 | 3l67__ 3L7z8v 5____ | 14o679_ 16789_ 1789__ | 2_____ 1í4ì69y__ 1ê4ë6_ |
8 | 6f7F__ 1_____ 679é_ | 4O5q679 2_____ 5Q79__ | 8_____ 4o69ö____ 3_____ |
9 | 4_____ 2_____ 68V9É | 3______ 1689__ 189___ | 7_____ 1h6t9ô___ 5_____ |


al LA fusion a=L=====
áA aá á faux
är Rä ä faux
bp PB fusion b=P=====
Dr RD D faux
ïL la Aï ï faux
FIN

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: Les tough du 25 et du 26/03   Jeu Mar 29 2012, 23:32

Bonjour André, Jeanlé, JC et tous,

voilà au moins un puzzle qui nous tous fait phosphorer !!

1) Jetez un coup d'oeil à la solution d'Alfred (joueur du site australien) Elle est superbe ! Je l'ai remise en nos notations habituelles en EDIT de mon deuxième message.

2) Je confirme à Jeanlé que la première pseudo-case suffit à débloquer la grille, qu'on peut terminer en marquage simple comme tu l'as fait.

3) Je confirme également à André que je trouve bien les mêmes fusions ternaires par les ternaires 136g2 et 126i5 et que la grille se termine ensuite rapidement en marquage simple.

Rassurez-vous, le solveur n'est pas en cause : je ne l'ai tout simplement pas fait tourner pour trouver une solution optimisée, j'ai juste cherché des interdits ternaires équivalents de la première pseudo-case et regardé si j'avais assez d'éliminations pour aller au bout.

Si je l'avais fait tourner voilà ce que j'aurais retenu comme solution (en trois coups) :

_ | a_____ b_____ c____ | d______ e______ f_____ | g_____ h______ i______ |
1 | 5a7A__ 4m57__ _____ | 2i57___ 3k5ã78t ______ | 3b4B__ 2I3â48T _______ |
2 | ______ 5c6C__ _____ | 159w___ _______ 13K59W | 1z3k6ä _______ 1d6D___ |
3 | ______ 4M6c7r _____ | 127____ 178____ 12à78ç | ______ 12468__ 12á468è |

4 | ______ 35p78_ 4n678 | 25679__ 35679__ 23579_ | 3469x_ 23468__ 2468È__ |
5 | 2j367_ ______ 6e7E_ | _______ 1g367s_ ______ | 136___ _______ 12J6___ |
6 | 2J35A6 358___ 4N68_ | 12569__ 13569__ 12359_ | 13469X 123468u _______ |

7 | 3l67__ 3L78v_ _____ | 14o679_ 16789__ 1789__ | ______ 1469y__ 1ê4ë6ì_ |
8 | 6f7F__ ______ 67æ9é | 4O5q679 _______ 5Q79__ | ______ 4o69___ _______ |
9 | ______ ______ 68V9É | _______ 1689___ 189___ | ______ 1h69___ _______ |


1) K/C(PC bdf2)-c/M(b3)-m/B(4L1)-b/k(3Kg) =>FUSION m=K=c=b qui donne par SATURATIONS -7b3, -34h1

2) 7b7/7b13-7a1/2a6(PC a16)-2i34/4i34(PC i34)-4i7/4d7-4d8/7df8(PC df8)-7def7/7b7 =>INTERDIT 7b7=Faux


_ | a_____ b_____ c____ | d______ e______ f_____ | g_____ h_______ i______ |
1 | 5a7A__ 4b57a_ _____ | 2i5I___ 3B5ã8I_ ______ | 3b4B__ 2I8i____ _______ |
2 | ______ 5b6B__ _____ | 159w___ _______ 13b59W | 1z3B6ä ________ 1d6D___ |
3 | ______ 4B6b__ _____ | 127____ 178____ 12à78ç | ______ 12468___ 12á468è |

4 | ______ 35p7A8 4n678 | 25679__ 35679__ 23579_ | 469x__ 23ö468__ 2468È__ |
5 | 2j3õ67 ______ 6e7E_ | _______ 1g3Õ67s ______ | 1ô6Ô__ ________ 12J6___ |
6 | 2J35A6 358___ 4N68_ | 12569__ 13569__ 12359_ | 1469X_ 123Ö468u _______ |

7 | 3l67ï_ 3L8l__ _____ | 14o679_ 16789__ 1789__ | ______ 1469y___ 1ê4ë6ì_ |
8 | 6f7F__ ______ 67æ9é | 4O5q679 _______ 5Q79__ | ______ 4o69____ _______ |
9 | ______ ______ 68L9É | _______ 1689___ 189___ | ______ 1h69____ _______ |


3) Õ/B(3Ke)-b/a(b1)-A/S(7R4)-s/Õ(e5) =>INTERDIT Õ=Faux -3e5 et FIN

Cela ne vaut pas la solution d'Alfred, mais c'est un peu mieux que les 6 ternaires évoqués !

Cordialement
Cenoman
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: Les tough du 25 et du 26/03   Jeu Avr 05 2012, 20:26

Bonjour Jeanlé et tous,

Je suis un peu à la bourre pour la grille du 26 mars, que vous avez peut-être déjà passée aux pertes et profits... Elle est très plaisante et bien adaptée au marquage, c'est pourquoi j'y reviens.
Le solveur m'a donné la même solution que celle de sotir sur le site australien.
Nota : une belle solution de JC Van Hay existe aussi sur le site australien. Je lui laisse le soin de la transcrire s'il le souhaite.

Rappel du puzzle d'origine (www.sudoku.com.au Tough du 26/03/2012)
400 000 200
000 092 080
803 000 007

900 700 008
000 010 000
600 005 001

200 000 503
070 480 000
009 000 006


Pas mal d'éliminations sont possibles en marquage simple. On ne retient que trois OU qui participent au déblocage.


_ | a____ b_____ c_____ | d_____ e____ f_____ | g_____ h_____ i___ |
1 | _____ ______ 1a6A__ | 1368q_ 3y67d 167D8Q | ______ 13l6__ ____ |
2 | 1H57o 15à6á_ 1567O_ | 13l6__ _____ ______ | 13L6__ ______ ____ |
3 | _____ ______ ______ | 15i6__ 4m5I6 14M6__ | 169t__ 169T__ ____ |

4 | _____ 1j345_ 1J245_ | ______ 2346_ 4b6B__ | 346___ 235n6_ ____ |
5 | 3x57O 3458__ 24578_ | 23689_ _____ 468q9v | 3467p9 235N69 2c9C |
6 | _____ 348___ 247p8_ | 238r9u 234__ ______ | 347P9_ 239___ ____ |

7 | _____ 146Á8s 14z68S | 1w69v_ 6d7D_ 1679V_ | ______ 4e7E__ ____ |
8 | 3f5F_ ______ 5f6F__ | ______ _____ 3F6f__ | 1g9G__ 1G2c9_ 2C9c |
9 | 1h3H_ 13x4e_ ______ | 2i5I__ 2I5i_ 1k3f7E | ______ 4E7e__ ____ |


F/Á(6R7)-á/à(b2) =>OU{f-À}
5c45/5c8-6c8/6b7-6b2/5b2-5b45/5c45 => 5c45=Faux

A/F(6Kc)-f/d(6R8) =>OU{a-D}
1f1/1c1-6c1/6c8-6f8/6e7-7f1/1f1 =>1f1=Faux

A/F(6Kc)-f/d(6R8)-D/Q(f1) =>OU{a-q}
1d1/1c1-6c1/6c8-6f8/6e7-7f1/8f1-8d1/1d1 =>1d1

Et maintenant, le coup de déblocage de sotir. C'est un interdit quaternaire qui utilise deux conflits de pseudo-cases (ou deux als, si on préfère le dire comme cela)


_ | a_____ b_____ c_____ | d_____ e____ f_____ | g_____ h_____ i___ |
1 | ______ ______ 1a6A__ | 368q__ 3y67d 67D8Q_ | ______ 1A3l6_ ____ |
2 | 1H57o_ 15à6á_ 15F67O | 1Â3l6_ _____ ______ | 13L6__ ______ ____ |
3 | ______ ______ ______ | 15i6__ 4m5I6 1w4M6_ | 169t__ 169T__ ____ |

4 | ______ 1j345N 1J24__ | ______ 2346_ 4b6B__ | 346___ 235n6_ ____ |
5 | 3x5à7O 3458__ 2478__ | 23689_ _____ 468q9v | 3467p9 235N69 2c9C |
6 | ______ 348___ 247p8_ | 238r9u 234__ ______ | 347P9_ 239___ ____ |

7 | ______ 146Á8s 14z68S | 1w69v_ 6d7D_ 1679V_ | ______ 4e7E__ ____ |
8 | 3f5F__ ______ 5f6F__ | ______ _____ 3F6f__ | 1g9G__ 1G2c9_ 2C9c |
9 | 1h3H__ 13x4e_ ______ | 2i5I__ 2I5i_ 1k3f7E | ______ 4E7e__ ____ |


INTERDIT QUATERNAIRE
6e1-6e3-6e4-6e7)/A =>A=Faux -1h1 -6c1
{6e1/6c1-1c1/1h1
{6e3/69gh3-1gh3/1h1________(als gh3)
{6e4/46fg4-3g4/3g2-3h1/1h1__(als fg4)
{6e7/6f8/6c8/6c1-1c1/1h1

On termine maintenant en marquage simple (tout simple, sans pseudo-case), en deux étapes :


_ | a_____ b____ c_____ | d_____ e_____ f_____ | g_____ h____ i___ |
1 | ______ _____ ______ | 368q__ 3y67d_ 67D8Q_ | ______ 3l6L_ ____ |
2 | 5O7o__ 5à6À_ 5d6à7O | 1L3l__ ______ ______ | 1l3L__ _____ ____ |
3 | ______ _____ ______ | 15i6__ 4m5I6_ 1V4M6_ | 16ä9t_ 1g69T ____ |

4 | ______ _____ 2æ4Æ__ | ______ 2Æ3ç46 4b6B__ | 3Ç46Ã_ _____ ____ |
5 | 3d5à7O 345À8 2478__ | 236è89 ______ 468q9v | 3467p9 236ä9 2c9C |
6 | ______ 3ê48_ 247p8_ | 238r9u 234___ ______ | 347P9_ 2é39_ ____ |

7 | ______ 46à8s 4z6O8S | 1V9v__ 6d7D__ 1v9V__ | ______ 4D7d_ ____ |
8 | 3D5d__ _____ 5D6d__ | ______ ______ 3d6D__ | 1g9G__ 1G2c9 2C9c |
9 | ______ 3d4D_ ______ | 2i5I__ 2I5i__ 3D7d__ | ______ 4d7D_ ____ |


Gratte ciel y/l(3R2)-L/Ç(3Kg)-ç/y(3Ke) INTERDIT y=Faux -3e1 -3d56
3e1/3d2-3g2/3g4-3e4/3e1 =>3e1=Faux

t/G(9Kg)-g/T(h3) FUSION t=g =>SATURATIONS en h3 : -6h3 et [9] colonne g : -9g56
9g8-1g8/1h8-1h3/9h3-9g3@ =>-6h3, -9g56



_ | a_____ b____ c_____ | d____ e____ f_____ | g____ h____ i___ |
1 | ______ _____ ______ | 3L68q 6D7d_ 67D8Q_ | _____ 3l6L_ ____ |
2 | 5O7o__ 5à6À_ 5d6à7O | 1L3l_ _____ ______ | 1l3L_ _____ ____ |
3 | ______ _____ ______ | 15i6_ 4i5I_ 1V4I6_ | 16l9g 1g9G_ ____ |

4 | ______ _____ 2æ4Æ__ | _____ 2Æ3ç4 4b6B__ | 3Ç46b _____ ____ |
5 | 3d5à7O 345À8 2478__ | 26è89 _____ 468q9v | 3467p 236l9 2c9C |
6 | ______ 3ê48_ 247p8_ | 28r9u 23Ç4_ ______ | 347P_ 2é39U ____ |

7 | ______ 46à8s 4z6O8S | 1V9v_ 6d7D_ 1v9V__ | _____ 4D7d_ ____ |
8 | 3D5d__ _____ 5D6d__ | _____ _____ 3d6D__ | 1g9G_ 1G2c9 2C9c |
9 | ______ 3d4D_ ______ | 2i5I_ 2I5i_ 3D7d__ | _____ 4d7D_ ____ |


X-Wing D/È(6R2)-è/l(6L5)-L/D(6L1) =>INTERDIT D=Faux -6e1
6e1/6d13-6d5/6h5-6h1/6e1

L/V(1Kd)-v/u(9Kd) =>OU{l-U}
3h6/3h1-3d1/3d2-1d2/1d7-9d7/9d6-9h6/3h6 =>3h6=Faux et FIN.

Cordialement.
Cenoman
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
jeanlé



Nombre de messages : 737
Age : 77
Date d'inscription : 01/07/2009

MessageSujet: Re: Les tough du 25 et du 26/03   Ven Avr 06 2012, 11:35

Bonjour Cenoman et à tous,

Je cale sur la solution par ALS. Pour moi, ce n'est pas accessible en marquage. La pseudo-case n'est pas équivalente à un ALS, sauf cas particulier. Ainsi gh3 est un ALS (trois candidats pour deux cases) et une pseudo-case (deux cases avec un candidat tT connu) : je peux marquer le groupe 6Ä et le groupe 1ä, par exemple et reconstituer en marquage la chaîne que tu donnes. Mais pour fg4 : c'est un ALS mais pas une pseudo-case, pas de candidat forcé, donc je ne peux pas marquer et enchaîner. C'est bien là la faiblesse inhérente du marquage (qui impose que dans tout conflit, si l'un est vrai, l'autre/tous les autres sont faux, ce qui n'est pas le cas dans l'ALS).

Cenoman a écrit:


Et maintenant, le coup de déblocage de sotir. C'est un interdit quaternaire qui utilise deux conflits de pseudo-cases (ou deux als, si on préfère le dire comme cela)


_ | a_____ b_____ c_____ | d_____ e____ f_____ | g_____ h_____ i___ |
1 | ______ ______ 1a6A__ | 368q__ 3y67d 67D8Q_ | ______ 1A3l6_ ____ |
2 | 1H57o_ 15à6á_ 15F67O | 1Â3l6_ _____ ______ | 13L6__ ______ ____ |
3 | ______ ______ ______ | 15i6__ 4m5I6 1w4M6_ | 169t__ 169T__ ____ |

4 | ______ 1j345N 1J24__ | ______ 2346_ 4b6B__ | 346___ 235n6_ ____ |
5 | 3x5à7O 3458__ 2478__ | 23689_ _____ 468q9v | 3467p9 235N69 2c9C |
6 | ______ 348___ 247p8_ | 238r9u 234__ ______ | 347P9_ 239___ ____ |

7 | ______ 146Á8s 14z68S | 1w69v_ 6d7D_ 1679V_ | ______ 4e7E__ ____ |
8 | 3f5F__ ______ 5f6F__ | ______ _____ 3F6f__ | 1g9G__ 1G2c9_ 2C9c |
9 | 1h3H__ 13x4e_ ______ | 2i5I__ 2I5i_ 1k3f7E | ______ 4E7e__ ____ |


INTERDIT QUATERNAIRE
6e1-6e3-6e4-6e7)/A =>A=Faux -1h1 -6c1
{6e1/6c1-1c1/1h1
{6e3/69gh3-1gh3/1h1________(als gh3)
{6e4/46fg4-3g4/3g2-3h1/1h1__(als fg4)
{6e7/6f8/6c8/6c1-1c1/1h1

Cenoman

A+
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
jeanlé



Nombre de messages : 737
Age : 77
Date d'inscription : 01/07/2009

MessageSujet: Re: Les tough du 25 et du 26/03   Ven Avr 06 2012, 16:44

Je reprends car j'ai en mémoire que Gpenet et Soryu disaient qu'EQC (ALS) et pseudo-case sont complémentaires (blanc bonnet et bonnet blanc). Je marque 6e4 ï et 3g4 ë et je considère la pseudo-case bceh4 (complément de fg4) : quatre cases avec trois candidats obligés : le 1jJ, le 2 non marqué et le 5nN. Dans cette PC, 6e4 est en conflit avec 3bceh4=3Ë et on retrouve la sortie de Sotir (mouais !) : ïË ëL lA, et c'est gagné. Youpee ! le quaternaire en marquage pur y est. Vive Sotir ! merci Cenoman !

A+
Revenir en haut Aller en bas
Voir le profil de l'utilisateur
jeanlé



Nombre de messages : 737
Age : 77
Date d'inscription : 01/07/2009

MessageSujet: y a un os !   Ven Avr 06 2012, 17:31

Cenoman, c'est encore moi.
En retrouvant mon ancienne feuille, je m'aperçois (à mon grand étonnement, et j'ai vérifié deux fois ! la berlue comme dirait André ?)que ton solveur n'a pas sorti au départ l'interdit Hf (3a9a8) FA (6c8c1) aH (1c1a2) => H faux, a9=1, d7=f7=19, et ça change tout. D'autre part, il y a un RI 19 en gh38, g8=19, 1 gh8 jumeaux et 9 gh3 jumeaux => -1g3. J'ai trouvé les OU sur -1f1, -1d1, -4b4, -6g2, -6e3, et j'ai raté la sortie avec le ternaire (sans ALS ni PC) gros comme une maison sur les 6 de la colonne e qui tue A évidemment. A+

EDIT : J'ai regardé trop vite. Je viens de refaire la grille après l'interdit sur H. Il n'y a pas conflit simple entre 6e4 et A. Il faut bien passer par la pseudo-case bceh4. Fallait la trouver celle-là !
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: Les tough du 25 et du 26/03   Ven Avr 06 2012, 21:57

Bonjour Jeanlé,

je m'apprêtais à t'expliquer mes retouches manuelles sur la sortie brute du solveur, mais tu as retrouvé l'explication par toi-même. Je livre quand même ce que j'avais préparé.

Supposons une grille dans laquelle on a déjà appliqué les techniques de bases.
Quand on a un als de degré de liberté 1 (p cases contenant p+1 nombres), dans les n-p cases restantes de l'unité (ligne, colonne ou région), les n-(p+1) nombres qui ne sont pas dans les cases de l'als son imposés. Il ne reste comme possibilité de former un ensemble complet dans ces n-p cases que de choisir une seule valeur parmi les nombres non imposés, que j'appellerai "valeurs d'échange" (il y en a au moins deux, sinon on aurait un ensemble complet qui n'aurait pas été vu...) Ces n-p cases forment une pseudo-case de degré de contrainte 1. Une au plus des "valeurs d'échange" de cette pseudo case est vraie, ce qui est très exactement la définition d'un conflit en marquage. De manière duale, une au moins des "valeurs d'échange" de l'als complémentaire est vraie, ce qui est la définition d'un OU mixte (ou lien fort) Quand ces valeurs d'échanges sont au nombre de deux, elles sont à la fois en OU et en conflit, c'est à dire qu'elles fusionnent (ce sont de vrais jumeaux - cas des ensembles de cases qui sont à la fois als à 1 liberté et pseudo-cases). De toute façon, un groupe-nombre "valeur d'échange" dans une pseudo-case est jumeau du groupe du même nombre dans l'als

Relire au besoin la théorie exposée par GPenet : http://gpenet.pagesperso-orange.fr/FM/FM_fichiers/FM501.htm

Mon solveur est une aide au marquage, c'est à dire qu'il travaille sur les éléments suivants :
- les couples de jumeaux (je veux dire "vrais jumeaux" : un et un seul est vrai) qui sont donc marqués de "lettres" ayant des casses opposées, un des jumeaux ou les deux pouvant être un groupe,
- la table des conflits entre ces jumeaux : cette table comprend deux lignes et deux colonnes pour chaque marque (une pour la "minuscule", une pour la "majuscule") Elle est enrichie progressivement : d'abord les conflits natifs vus sur la grille, puis les conflits dérivés, puis les conflits de pseudo-cases, les nouveaux conflits dérivés, et ensuite les dérivés ternaires, quaternaires et les nouveaux conflits dérivés.
- pour les pseudo-cases à deux "valeurs d'échange", les groupes-nombres correspondants sont marqués directement comme jumeaux

Dans la présentation des solutions, les pseudo-cases sur trois ou quatre cases ne sont pas faciles à décrypter. Bien souvent, l'als complémentaire est plus simple à lire (et probablement aussi à détecter en marquage manuel ?) Dans ces cas là, je remplace la pseudo-case par l'als complémentaire. Je le fais dans un souci de rendre mes solutions lisibles aussi par des non-marqueurs.

Voilà la sortie brute du solveur :

INTERDIT QUATERNAIRE (6e1/6e3/6e4/d)/A=>-6c1
6e1/6c1
6e3/6gh3-1d2/1abc2
6e4/6fg4-6eh4/3beh4(PC bceh4)-3g4/3g2-3h1/1h1
6e7/6b7-6b2/6c1

Je l'ai retravaillée en manuel pour arriver à :

INTERDIT QUATERNAIRE (6e1-6e3-6e4-6e7)/A =>A=Faux -1h1 -6c1
{6e1/6c1-1c1/1h1
{6e3/69gh3-1gh3/1h1_________(als gh3)
{6e4/46fg4-3g4/3g2-3h1/1h1__(als fg4)
{6e7/6f8/6c8/6c1-1c1/1h1

qui me semble plus lisible (surtout pour un non-marqueur), mais qui occulte un peu la pratique orthodoxe selon la théorie pure... Je crois cependant que la publication du lien jumeau 6gh3-1d2 aurait suscité des questions de compréhension ?

Je complète maintenant mon message pour répondre à ton troisième message de 17:31. Le solveur trouve bien l'interdit sur H. Je l'ai occulté, n'ayant pas cherché à exploiter son utilité. A vrai dire, j'étais obnubilé à tester sa capacité à retrouver le quaternaire de sotir. Mais tu as bel et bien trouvé la séquence la plus simple en marquage manuel (bien que je n'aie pas compris comment le RI élimine 1g3... pas grave, on peut s'en passer)

La séquence complète serait :
-1a2, -1d1, -1f1, -5c45, -3e3, ternaire 6e147/1h1 (avec pseudo-case), et la fin identique -3e1, -6h3, -9g56 puis -6e1, -3h6

Bravo à toi pour ce perfectionnement !

Petit commentaire sur la pseudo case : elle n'est pas évidente à trouver en manuel(sur 4 cases !!!) En revanche, l'als complémentaire [346]fg4 me semble plus facile à dénicher, et on sait d'avance qu'il faudra exploiter le lien fort 3g4-46fg4, donc les conflits 3bceh4/6bceh4 ou 3bceh4/4bceh4 de la pseudo-case. Plus facile à dire qu'à faire, néanmoins.

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



Nombre de messages : 737
Age : 77
Date d'inscription : 01/07/2009

MessageSujet: Re: Les tough du 25 et du 26/03   Ven Avr 06 2012, 22:49

Bonsoir Cenoman,

D'abord je suis très mauvais en théorie, ça me fait fuir. C'est bien pour ça que je m'étais fait mon mémento pour mettre en pratique le peu que j'avais compris des théories de Soryu, Gpenet et autres cracks. j'ai eu bien du mal à assimiler tout ça. Heureusement que Gpenet avait une patience angélique.
Tout à fait d'accord que l'ALS est plus facile à voir que la pseudo-case, surtout quand Sotir l'amène sur un plateau. Mais je ne suis pas sûr de moi avec ces engins et ne les recherche donc pas.

Pour le RI69, compte tenu des jumeaux indiqués, on voit que g3=1 donnerait la configuration interdite

1=9


9=1

car si elle était vraie, on pourrait la permuter en
9=1

1=9
sans perturber les autres candidats ligne/colonne/région (c'est bien pour ça qu'il faut que les sommets soient dans seulement deux régions).

Dès que j'ai trois liens forts duo/jumeaux dans une configuration potentielle de RI (donc au moins un duo de départ), je vérifie s'il n'y a pas une élimination.

Je suis quelque peu sidéré par les exposés compliqués et longuets sur le RI. Il n'y a qu'une seule chose à retenir : tout candidat amenant la configuration sur deux régions

a=b

b=a
est faux. Et c'est tout (sans parler du RI à pseudo-case qui amènerait cette configuration).

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




MessageSujet: Re: Les tough du 25 et du 26/03   

Revenir en haut Aller en bas
 
Les tough du 25 et du 26/03
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: