| | Grille Extra 45 | |
| | Auteur | Message |
---|
Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Grille Extra 45 Mer Juin 24 2009, 11:37 | |
|
Dernière édition par Admin le Sam Juin 27 2009, 20:06, édité 1 fois | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Mer Juin 24 2009, 21:48 | |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:07 | |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:07 | |
| gb Sudoka Expert
Inscrit le: 07 Mai 2006 Messages: 83
| Posté le: Jeu 25/05/2006 1:07 Sujet du message: | |
| Voici un second essai en deux élims et un coloriage. Commentaires préliminaires :
a) Une particularité amusante de l'étape 4 (caractéristique des raisonnements sur les coloriages) est qu'on ne sait pas au bout du compte quel candidat est éliminé !
b) merci à ceux qui veulent chercher par eux-mêmes de ne pas le lire.
c) merci à ceux qui le liront de me dire s'il est compréhensible et de me signaler les coquilles.
C'est parti :
1) choix uniques jusqu'à 41 cases remplies.
2) alignement ef1=6 élimine {e3=6, f3=6}. Grille : (légende : . =case déjà remplie, _=candidats n'intervenant pas dans la preuve, i=lien initial de l'étape 4, f= lien final de l'étape 4)
Code: | *--------------------------------------------------------------------*
| . . . | . 26 26 | . . . |
| . . . | 1248 . . | __ ___ __ |
| . . . | . 18 14 | ___ ___ ___ |
|----------------------+----------------------+----------------------|
| . 57 3f6 | 38 568 67 | . . . |<
| 35 2457 2A36f | 12348 . 12467 | 567 368 378 |<
| . ____ . | 234 256 2467 | i5i6i7f __ . |
|----------------------+----------------------+----------------------|
| . . . | 12 12 . | . . . |
| 35 2A5 . | . . . | 27A . 37 |<
| . . 23A | . . . | __ ___ ___ |
*--------------------------------------------------------------------*
^ ^ ^ | 3) Un coloriage superficiel établit l'équivalence des candidats de la nappe A={c9=3, g8=7, b8=2, c5=2}:
c5=2=>c9=3%c=>b8=2%B=>g8=7%c=>b8=2%L=>c5=2%C.
4) Un des candidats g6=5,g6=6,g6=7 est juste. Or g6=6 donne f5 ou c5=6%L, et g6=5 donne e4=5%C.
Donc un des candidats c5=6, f5=6, e4=5,g6=7 est juste. Or f5=6 donne f3=1%C, e3=8%c.
Donc un des candidats c5=6, g6=7, e3=8, e4=5 est juste. Or e3=8 ou e4=5 donne d4=8%L, c4=3%L.
Donc un des candidats c5=6, g6=7, c4=3 est juste et élimine soit c5=2, soit g8=7, soit c9=3, donc élimine A. Ensuite, choix uniques jusqu'au bout.
Cordialement, gb
Annexe 1 : %L,C,B,c = choix unique dans la Ligne, Colonne, Boite, case considérée. "lien" =groupe de candidats dont au moins un est juste. "candidats équivalents" : candidats qui sont soit tous justes, soit tous faux.
Annexe 2 : pour ceux qui fantasment sur l'extraordinaire efficacité de mon petit esclave logiciel, je copie-colle son diagnostic et leur laisse partager le plaisir qui fut le mien de reconstituer le raisonnement ci-dessus à partir de ces données brutes :
Citation: | evolu1(retire(f(3,5,2),eta_2)):argu;
c4=6%B, a5=3%B, h6=3%B, d4=3%B, e4=8%B, d2=8%B, e6=5%B, g5=5%B, b4=5%B, a8=5%B, f3=4%B, c9=3%B, i8=3%B, g8=7%B, i5=7%B, h5=8%B, i3=8%B, g3=9%B, i9=9%B, b6=7%B, f4=7%B, h3=6%B, g6=6%B, f5=6%B, IMPOSSIBLE! |
|
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:08 | |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:09 | |
| gb Sudoka Expert
Inscrit le: 07 Mai 2006 Messages: 83
| Posté le: Jeu 25/05/2006 20:26 Sujet du message: | |
| Je tente une autre solution, avec plus de coloriage et moins de déplacements de liens. Peut-être G.Penet pourra -t- il mieux la suivre ?
1) Choix uniques jusqu'à 41 cases remplies.
2) Alignements de4=8, ef1=2, ef1=6 éliminent {d5=8, d2=2, f3=6, e3=6}.
3) Etablir les nappes suivantes (nappe = groupe de candidats équivalents) :
{i5=7, i8=3, a8=5, b8=2},
{d4=3,e4=8,b4=5,b8=2,c9=3,c5=2}.
J'ai écrit leurs éléments dans un ordre où leur équivalence est facile à justifier, mais si problème, me demander. Vu le candidat commun b8=2, elles fusionnent.
Etablir la nappe {d7=1,e7=2,e3=1,e4=8}. Elle fusionne avec la précédente via le candidat commun e4=8.
Notons en gras sur la figure les candidats suivant de cette nappe A : c5=2, b4=5, i5=7, d7=1, d4=3.
4 ______8 _____1 ______9 ____26 ______26 _____3 _____7 _____5
9 ______6 _____7 ____148 _____3 _______5 ____12 ___248 ____48
2 ______3 _____5 ______7 ____18 ______14 ___169 ___468 ___489
1 _____57 ____36 _____38 ___568 ______67 _____4 _____9 _____2
35 ___2574 ___236 ___1234 _____9 ___12467 ___567 ___368 ___378
8 ___2457 _____9 ____234 ___256 ____2467 ___567 ____36 _____1
7 ______9 _____4 _____12 ____12 _______3 _____8 _____5 _____6
35 _____25 _____8 ______6 _____4 _______9 ____27 _____1 ____37
6 ______1 ____23 ______5 _____7 _______8 ____29 ___234 ___349
4) Un pti coup d'eqc ! regardant b5 et d5, on constate que l'un des candidats (en rouge)
b5=2, b5=5, b5=7, d5=1, d5=2, d5=3 est forcément juste, on ne sait lequel, mais quel qu'il soit, il élimine de toute façon la nappe A et la grille se termine en choix uniques jusqu'au bout. |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:09 | |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:10 | |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:10 | |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:10 | |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:11 | |
| gb Sudoka Expert
Inscrit le: 07 Mai 2006 Messages: 83
| Posté le: Ven 26/05/2006 11:07 Sujet du message: | |
| Bonjour G.Penet,
j'ai déjà dit ailleurs que je distingue placements forcés (choix uniques) et éliminations, aux fins de mesure de la complexité d'une preuve : dans une grille avec n données de départ, toutes les preuves possibles et imaginables feront toujours 81-n placements forcés, et donc on ne pourra les distinguer que par le nombre d'éliminations.
Voilà pourquoi, aussi simples soient-elles, je mentionne les élims par alignements (ce qui a d'ailleurs provoqué un petit accrochage avec Loumtom sur une grille récente).
Bien sûr, le nombre d'éliminations est encore une mesure très grossière de la complexité d'une preuve, c'est pourquoi je regarde plus finement le nombre de liens à invoquer dans la justification d'une élim (que je signale parfois par un code : ***=config de 3 liens = élim de profondeur 3, ce n'est pas une notion informatique, comme papyg l'a cru une fois). Sur cette grille skf45, on doit pouvoir rédiger une preuve utilisant uniquement 12 liens (ce n'est pas le cas de celles que j'ai données ci-dessus, le coloriage demandant l'examen de nombreux liens, mais sans profondeur, ce qui le rend accessible manuellement).
Cordialement, gb |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:11 | |
| gpenet Sudoka Expert
Inscrit le: 27 Mar 2006 Messages: 174 Localisation: PARIS et BRETAGNE
| Posté le: Ven 26/05/2006 18:44 Sujet du message: | |
| Bonjour GB,
Oublions le point 2, sur le fond, rien à dire, le reste est une question du temps consacré à la lecture.
Jaborde le point 3. Puisque vous recherchez, comme beaucoup, une communication plus efficace, Vous pouvez ici avec profit :
Code: | - remplacer les valeurs connues par le signe -
- utiliser le blanc comme séparateur (et une police de type courrier, ce que fait le « code »)
- séparer les boites par le signe |
- enfin noter les lignes et les colonnes |
Voici alors ce que donnerait votre tableau, (communément appelé tableau des candidats ).
Code: | - - - | - 26 26 | - - - ||1
- - - | 148 - - | 12 248 48 ||2
- - - | - 18 14 | 169 468 489 ||3
- 57 36 | 38 568 67 | - - - ||4
35 2574 236 | 1234 - 12467 | 567 368 378 ||5
- 2457 - | 234 256 2467 | 567 36 - ||6
- - - | 12 12 - | - - - ||7
35 25 - | - - - | 27 - 37 ||8
- - 23 | - - - | 29 234 349 ||9
A B C D E F G H I |
Notons que votre présentation en couleur nécessite un traitement de texte un peu évolué. Ici, jai utilisé Word.
Vous dites ensuite
Code: | 3) Etablir les nappes suivantes (nappe = groupe de candidats équivalents) :
{i5=7, i8=3, a8=5, b8=2},
{d4=3,e4=8,b4=5,b8=2,c9=3,c5=2}.
J'ai écrit leurs éléments dans un ordre où leur équivalence est facile à justifier, mais si problème, me demander. Vu le candidat commun b8=2, elles fusionnent.
Etablir la nappe {d7=1,e7=2,e3=1,e4=8}. Elle fusionne avec la précédente via le candidat commun e4=8. |
Lexpression « candidats équivalents » laisse penser que vous pratiquer un coloriage en liens forts. Si je compare au mien à ce stade, on voit quil nen est rien.
Pour la première chaîne, rien à dire. Elle est notée « D » dans mon coloriage.
La deuxième chaîne démarre en 3C, transite par 7f pour terminer en 2D. Elle nest pas réversible, il ne sagit donc pas à proprement parler déquivalences, mais dimplications.
La troisième chaîne elle est, si je puis dire, en amont de la deuxième. Tous les points sont notés « C ».
Code: |
- - - |- 2A6a 2a6A. |- - - ||1
- - - |1B48C - - |1b2B 2b48 48 ||2
- - - |- 1C8c 14 |1B69E 468 489e ||3
- 5F7f 3c6C |3C8c 5f6A8C 6f7F |- - - ||4
3D5d 2457 2D36c |1234 - 12467 |5g67 368 37D8 ||5
- 2457 - |234 2f5F6 2467 |5G67 36 - ||6
- - - |1C2c 1c2C - |- - - ||7
3d5D 2D5d - |- - - |2d7D - 3D7d ||8
- - 2d3D |- - - |2E9e 2B34 349E ||9
A B C |D E F |G H I |
Jai repris votre tableau pour la suite.
Code: |
- 57 36 | 38 568 67 | - - - ||4
35 2574 236 | 1234 - 12467 | 567 368 378 ||5
- 2457 - | 234 25 2467 | 567 36 - ||6
- - - | 12 12 - | - - - ||7
35 25 - | - - - | 27 - 37 ||8
- - 23 | - - - | 29 234 349 ||9
A B C D E F G H I |
Vous dites
Code: |
Notons en gras sur la figure les candidats suivant de cette nappe A : c5=2, b4=5, i5=7, d7=1, d4=3.
4) Un pti coup d'eqc ! regardant b5 et d5, on constate que l'un des candidats (en rouge)
b5=2, b5=5, b5=7, d5=1, d5=2, d5=3 est forcément juste, on ne sait lequel, mais quel qu'il soit, il élimine de toute façon la nappe A et la grille se termine en choix uniques jusqu'au bout. |
Je pense que vos deux EQC sont
- B4,B5,B6 (candidats 2457)
- D5,D6,D7 (candidats 1234)
Je nen suis pas certain et je préfère attendre vos précisions pour reconstituer votre raisonnement.
Cordialement
G. PENET |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:12 | |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:12 | |
| | |
| | | Admin Admin
Nombre de messages : 3594 Age : 59 Localisation : pas bien loin ... Date d'inscription : 15/01/2009
| Sujet: Re: Grille Extra 45 Sam Juin 27 2009, 20:14 | |
| PhBSudoka Expert
Inscrit le: 14 Déc 2005 Messages: 369Posté le: Sam 27/05/2006 23:52 Sujet du message: COLORIAGE MONOCHROMEBonsoir, Voici un coloriage « mort lente » Les candidates uniques 1.G1=3; A2=9; H4=9; B7=9; F8=9; D8=6; C2=7; C1=1; A1=4; B1=8; C7=4; C8=8; A7=7; E9=7; D9=5; F2=5; Les autres éliminations 2.G2+H2=2 => -2 en D2 3.G3+H3=6 => -6 en E3,F3 4.H5+I5=8 => -8 en D5 Tableau des raps 5. En ligne 4, il y a un début de chaîne D4(83)-C4(36)-F4(67)-B4(75) et une case E4(568) avec 3 candidats. De 2 choses l’une : • Soit la ligne 4 est une chaîne complète, donc E4(58) et on purge le 6 de E4 • Soit la case E4 forme un jumeau avec une autre case de la ligne en éliminant un candidat. Cette option doit être écartée car il n’y a aucune case avec laquelle E4 puisse former un jumeau (58, 56 ou 86). 6. Chaîne éliminant 3 en C5 = C4(36)-F4(67)-B4(75)-A5(53). 7. Recherche de sous-marins : U-26 en C5,E1,F1 ? a. départ C5=6 => F4=6 et E1=6 b. départ C5=2 => C4=6, E6=5 et F5+F6=6 d’où E1=6 E1=6 et une case invariante et F1=2 8. Recherche de sous-marin U-12 en D7,E7,G2 a. départ D7=1 => D2+I2=4x8 => H2=2 et G2=1 b. départ D7=2 => E7=1 => E4=8 qui résout la ligne 4 d’où C9=2, G9=9, H9+I9=3x4, I8=7, G8=2 et G2=1. Donc G2=1 est une case invariante et H2=2 9. Recherche de sous-marin U-25 en B8,E6 a. départ B8=5 résout la ligne 4 d’où E4=8 et E6=2 b. départ B8=2 résout aussi la ligne 4 d’où E4=8 et E6=5 Conclusion E6 est le jumeau de B8 10.Coloriage 11. I3<>4 car on a I2(4A8a) et I3(489a) si a est vrai alors I3<>4 et si A est vrai aussi 12. B4(5A) et A5(5a) éliminent 5 de B5,B6 13. I2(8a) et I3(8A) éliminent 8 de M3 et en colonne I donc H5=8 14. G5<>6 en effet, si a est vrai, G2=6 bat la colonne G. Si A est vrai G5=5 d’où la conclusion et.. 15. G3/H3/G6/H6 forment un chariot a roues de 6 pouces, d’où F6<>6 16. G6<>7 car G6(5a6A7) et F5<>7 et B5<>7 car G5(7a) et I5(7A) 17. D5 et F5 <> 2 ; en effet, si A est vrai, C5(2A) bat la ligne 5 et si a est vrai, E6(2a) bat la maison M5, d’où B5+C5=2 et B6<>2 18. A5(3A) et I5(3a) éliminent 3 de la ligne 5 d’où D5(1a4A) donc D5(4A) et D2(4a) éliminent 4 en D6 19. F6<>2 d’où B6+F6=4x7. En effet D6(2A) et E6(2a) éliminent 2 de F6. 20. On remarque que B4(2a4A) et D4(1a4A) donc A est faux et la grille explose. _________________ PhB | |
| | | Contenu sponsorisé
| Sujet: Re: Grille Extra 45 | |
| |
| | | | Grille Extra 45 | |
|
Sujets similaires | |
|
| Permission de ce forum: | Vous ne pouvez pas répondre aux sujets dans ce forum
| |
| |
| |