SUDOKU VARIANTE


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

Partagez | 
 

 oups ! (6d07e)

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: oups ! (6d07e)   Dim Fév 26 2012, 13:51

Bonjour à tous,

Une impossible à digérer !

400 100 078
001 030 000
020 005 000

090 002 000
003 010 000
200 300 065

700 400 012
600 800 039
000 000 000


N° MC : A137532313544131444433-6d07e

Un petit interdit qui donne i3=1, i4=3 et c'est la panne sèche.

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: oups ! (6d07e)   Lun Fév 27 2012, 15:47

Bonjour Jeanlé, bonjour à tous,

Jeanlé, tu ne peux pas imaginer à quel point ta demande déblocage de cette grille tombe à point nommé. Depuis quelques semaines, j'ai ouvert un chantier d'amélioration de mon solveur, notamment pour y introduire les conflits issus des pseudo-cases. J'ai lu attentivement les écrits de Gérard Penet sur ce thème et j'ai essayé de programmer cela.

J'ai mouliné la 6d07e avec différentes versions : il existe une solution que j'aurais donnée jusqu'à ces derniers jours, qui enchaîne pas mal d'interdits ternaires (une solution aussi avec des chaînes d'ALS, dont certaines de longuer 5 !)

Voici donc ce qu'on obtient en explorant assez systématiquement les pseudo-cases (je donne en détail les raisonnements pour être "pédagogique", à l'avenir, je donnerai des explications moins développées) :

I - Démarrage avec l'interdit sur 1i4, que tu as déjà signalé :

_ | a_______ b_____ c_____ | d_____ e_____ f______ | g_______ h_____ i____ |
1 | ________ 3o56__ 569___ | ______ 2l69__ 6a9A___ | 2L3O5r69 ______ _____ |
2 | 589_____ 567v8_ ______ | 2L67V9 ______ 4b8B___ | 24569___ 2m45á9 4c6C_ |
3 | 3O89____ ______ 67V89_ | 67v9__ 4B8b__ _______ | 1E3469__ 4d9D__ 1e3E_ |

4 | 1k58____ ______ 456t78 | 5f6F__ 45à678 _______ | 13E478__ 4g8G__ 1E3e_ |
5 | 5h8H____ 456T78 ______ | 5s69__ ______ 46789__ | 2m4789__ 2M489ä 4i7I_ |
6 | ________ 1K478_ 478___ | ______ 4789__ 4789___ | 1k4789y_ ______ _____ |

7 | ________ 3p58__ 589z__ | ______ 569___ 3P69___ | 56u8x___ ______ _____ |
8 | ________ 1J45__ 2n45__ | ______ 2N57__ 1j7J___ | 4q57w___ ______ _____ |
9 | 1K3o589ã 13458_ 2N4589 | 2l5à69 25679_ 1J3p679 | 45678___ 45Á8â_ 46c7i |


E/O(3L3)-o/K(a9)-k/E(1L4) =>INTERDIT E=Faux i3=3, i4=1, -1g3, -3g4

Cette élimination est nécessaire pour la suite.
Dans la grille résultant de ces éliminations, on repère trois pseudo-cases :

_ | a_______ b_____ c_____ | d_____ e_____ f______ | g_______ h_____ i____ |
1 | ________ 3o56__ 569___ | ______ 2l69__ 6a9A___ | 2L3O5r69 ______ _____ |
2 | 589_____ 567v8_ ______ | 2L67V9 ______ 4b8B___ | 24569___ 2m45á9 4c6C_ |
3 | 3O89____ ______ 67V89_ | 67v9__ 4B8b__ _______ | 3o469___ 4d9D__ _____ |

4 | 1k58____ ______ 456t78 | 5f6F__ 45à678 _______ | 1K478___ 4g8G__ _____ |
5 | 5h8H____ 456T78 ______ | 5s69__ ______ 46789__ | 2m4789__ 2M489ä 4i7I_ |
6 | ________ 1K478_ 478___ | ______ 4789__ 4789___ | 1k4789y_ ______ _____ |

7 | ________ 3p58__ 589z__ | ______ 569___ 3P69___ | 56u8x___ ______ _____ |
8 | ________ 1J45__ 2n45__ | ______ 2N57__ 1j7J___ | 4q57w___ ______ _____ |
9 | 1K3o589ã 13458_ 2N4589 | 2l5à69 25679_ 1J3p679 | 45678___ 45Á8â_ 46c7i |


PC n°1 - [c3, d3] forment une pseudo-case (par les jumeaux 7c3=V, 7d3=v) dans laquelle 6cd3 et 9cd3 sont donc en conflit. Notons aussi le lien fort 6cd3-6g3 (groupes jumeaux du même nombre dans une pseudo-case et dans son ALS dual)

PC n°2 - [d2, d9] forment une pseudo-case (par les jumeaux 2d2=L, 2d9=l) dans laquelle 7d2=V et 9d29 sont donc en conflit.

PC n°3 - [g4, g6] forment une pseudo-case (par les jumeaux 1g4=K, 1g6=k) dans laquelle 9g6=y et 7g46 sont donc en conflit. Notons aussi le lien fort 7g46-7gi5 (groupes jumeaux du même nombre dans une pseudo-case et dans son ALS dual, qui dans ce cas forment un renvoi d'angle ! Il s'agit ici d'un ALS de la région 6 : [h4, ghi5]) Cette pseudo-case existe grâce au premier interdit sur E.


II - De la pseudo-case n°1 résulte l'interdit :

9cd3/D(9L3)-d/c(4R3)-C/6g3(6L3)-6cg3/9cd3(PC cd3) =>INTERDIT 9cd3=Faux
soit sous forme de chaîne : 9cd3/9h3-4h3/4i2-6i2/6g3-6cd3/9cd3(PC cd3) ou encore (façon arpenteurs...) 94h3/46i2/6g3-67cd3 =>-9cd3

Conséquence : lien fort 9d5-9d29 (groupes jumeaux du même nombre dans une pseudo-case et dans son ALS dual)

III - L'existence de ces nouveaux jumeaux, conjuguée avec les pseudo-cases n°2 et 3 induit les deux interdits sur 7b5, 7b6 :

7b6/v(7Kb)-V/9d29(PC d29)-9d5/Y(9R5)-y/k(g6)-K/7b6(b6) =>INTERDIT 7b6=Faux
soit sous forme de chaîne : 7b6/7b2-7d2/9d29(PC d29)-9d5/9ef6-9g6/1g6-1b6/7b6 ou encore 7b2-7d2/29d29-9d5/9ef6-9g6/1g6-1b6 =>-7b6

7b5/v(7Kb)-V/9d29(PC d29)-9d5/Y(9R5)-y/7gi5/7b5 =>INTERDIT 7b5=Faux
soit sous forme de chaîne : 7b5/7b2-7d2/9d29(PC d29)-9d5/9ef6-9g6/7g46(PC g46)-7gi5/7b5 ou encore 7b2-7d2/29d29-9d5/9ef6-9g6/17g46-7gi5 =>-7b5

Conséquences : b2=7, d3=7 et donc b1=t, 6d2=ë, 6ef1=Ë, 6gi2=Ë, 6c3=ê, 6g3=Ê, 8c3=Ê, 8a23=ê

IV - Etape de marquage simple, la situation est maintenant débloquée :

_ | a_______ b____ c______ | d_____ e_____ f______ | g_______ h_____ i____ |
1 | ________ 3o56t 569ã___ | ______ 2l69__ 6a9A___ | 2L3O5r69 ______ _____ |
2 | 5r8b9___ _____ _______ | 2L6ë9é ______ 4b8B___ | 24569___ 2m45á9 4c6C_ |
3 | 3O89è___ _____ 6ê8Ê___ | ______ 4B8b__ _______ | 3o46Ê9__ 4d9D__ _____ |

4 | 1k58____ _____ 456t7í8 | 5f6F__ 45à678 _______ | 1K478___ 4g8G__ _____ |
5 | 5h8H____ 456T8 _______ | 5s69__ ______ 467ì89_ | 2m4789__ 2M489ä 4i7I_ |
6 | ________ 1K48_ 47Í8___ | ______ 4789__ 4789___ | 1k4789y_ ______ _____ |

7 | ________ 3p58_ 589z___ | ______ 569___ 3P69___ | 56u8x___ ______ _____ |
8 | ________ 1J45_ 2n45___ | ______ 2N57__ 1j7J___ | 4q57w___ ______ _____ |
9 | 1K3o589ã 13458 2N4589_ | 2l5à69 25679_ 1J3p679 | 45678___ 45Á8â_ 46c7i |


Deux OU vont maintenant démontrer d5=9 :

6d5/T(6L5)-t/Ë(6L1)-ë/6d5(6Kd) =>OU {T-Ë} -6d5

s/f(5Kd)-F/ë(6Kd)-Ë/Ê(6R3)-ê/H(8Ka)-h/s(5L5) =>OU{f-h} s=Faux -5d5

Conséquence d5=9, ce qui éclaircit considérablement la situation.

V - Etape finale.

_ | a_ b_ c__ | d_ e__ f_ | g_ h_ i_ |
1 | __ 56 56_ | __ ___ __ | __ __ __ |
2 | __ __ ___ | __ ___ __ | 25 25 __ |
3 | __ __ ___ | __ ___ __ | __ __ __ |

4 | __ __ 67_ | __ 67_ __ | __ __ __ |
5 | __ 46 ___ | __ ___ 46 | 28 28 __ |
6 | __ __ 47_ | __ ___ 47 | __ __ __ |

7 | __ 38 59_ | __ 569 36 | 58 __ __ |
8 | __ 45 ___ | __ 57_ __ | 47 __ __ |
9 | __ 38 459 | __ 579 37 | 47 58 __ |


Chaine 4c6-7c6/7f6-7f9/7g9-4g9 =>-4c9 et fin.

Merci pour cette grille test. Le résultat a dépassé toutes mes espérances ! C'est presque magique, les pseudo-cases, non ?

Maintenant, toujours la question qui revient : sauf si on s'appelle abi, une telle solution est-elle accessible en manuel ? Très honnêtement, même en surveillant du coin de l'oeil les jumeaux susceptibles de générer des pseudo-cases, je pense que je n'arriverais pas à voir toutes celles qui sont productives de conflits utiles.

Cordialement.
Cenoman.
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: oups ! (6d07e)   Lun Fév 27 2012, 16:39

Bonjour Cenoman, jeanlé, bonjour à tous,

Je vois que ta solution ressemble à ce que j'avais trouvé "pour faire court" (il y avait plus joli, mais ce n'est pas ce que je cherche)

Als d2345 :

76d23_6ef1
______6bc1_8a23 (als)
56ab5_6b1__8a5_6b2
_______________7b2_72d29
_______________6i2______9h3(als)
9d5________________9d29_9d3

-> 9d5

*74g9 / 4c9-4c6 / 47f6 -> -7f9 et fin.




"_____6bc1_8a23 (als)
56ab5_6b1__8a5_6b2"

-6b1=> 6b5 ou 6b2
Donc soit 56ab5 (-8a5) soit 6b2 etc...

Il y a une belle boucle (pas très utile), éliminant une quinzaine de candidats...

As-tu regardé l'AS #44, elle est amusante...je ne comprends pas comment marche son solveur pour être bloqué sur cette grille, une chaîne de 3 maillons l'achève.


Amicalement,

Sophie










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: oups ! (6d07e)   Lun Fév 27 2012, 20:16

Bonsoir Cenoman et à tous,

Oui, c'est magique. Je trouve que c'est moins terrifiant que les dérivés ternaires, mais il n'empêche que ça me paraît difficile à trouver en manuel. Généralement, je jette un coup d’œil aux pseudo-cases, mais dans des cas comme celui-ci, la difficulté est que ça passe par des groupes jumeaux disjoints, si je peux dire, que l'on ne peut pas marquer, comme 9d5-9d29 par exemple. Les combinaisons sont trop nombreuses.

Mais ton solveur me réconforte, car souvent je me suis dit que, peut-être, une pseudo-case résoudrait magiquement la grille. Maintenant, on saura. Bravo au programmeur, ça ne doit pas être de la tarte.

Gérard Penet, l'initiateur, et le dévoué professeur de nos débuts à tous, doit savourer ce progrès.
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: oups ! (6d07e)   Lun Fév 27 2012, 22:02

Bonsoir Cenoman,

Si tu préfères ainsi, strictement idem:

6b1 / 6ef1-672d239
|
6b2 / [7b2-72d29] / 6i2-9h3
|
65bd5 / 58a5 / 8a23-6bc1 (als) / 6ef1-672d239

->-9d239


*74g9 / 4c9-4c6 / 47f6 -> -7f9 et fin.

C'est exactement ce que j'ai proposé plus haut, les dérivations suppriment les "persistances"...(un leurre...les dérivations sont une autre forme de persistance) cela reste dans tous les cas, une histoire de liens et de conflits Wink
En fait, il y a de nombreuses façons de "tourner" cette analyse...

PS-La dernière ligne peut paraître "glauque" à certains... alors lire:

6b1 / 6ef1-672d239
|
6b2 / [7b2-72d29] / 6i2-9h3
|
6b5/|69d5
__ /|65d5 / 58a5 / 8a23-6bc1 / 6ef1-672d239

->-9d239


Ou encore:

____6b1 / 6ef1-672d239
____|
____6b2 / [7b2-72d29] / 6i2-9h3
____|
(9d5-)65bd5 / 58a5 / 8a23-6bc1 / 6ef1-672d239

->-9d239


Amicalement,

Sophie
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: oups ! (6d07e)   Mar Fév 28 2012, 00:03

Bonjour Jeanlé, bonjour abi, bonjour à tous,

Elle est amusante cette grille dénichée par Jeanlé, n'est-ce pas ? Un vrai morceau d'anthologie pour expliquer les pseudo-cases...

abi, merci des deux rédactions de ta solution. Il est vrai que la deuxième est d'une lecture plus directe. Dans la première, la ligne
Citation :
56ab5_6b1__8a5_6b2
n'était pas des plus simples à comprendre (et d'ailleurs tu avais bien senti le besoin de l'expliquer un peu...) mais comme tu le dis, une persistance, en tableau TM ou en dérivation, cela reste une persistance...

jeanlé, je suppose que tu connais bien mieux que moi les pages de Gérard Penet auxquelles je fais allusion. Si des lecteurs veulent s'y intéresser elles sont ici :
http://gpenet.pagesperso-orange.fr/FM/FM_fichiers/FM501.htm

GPenet était bien conscient de la difficulté que tu évoques, de marquer tous les nouveaux jumeaux générés par les ALS/pseudo-cases : il en parle dans son texte. Il avait intégré ces objets dans son propre solveur depuis longtemps. Je ne fais que le suivre à des années de distance. Il me paraissait indispensable de lui reconnaître la paternité de ces méthodes. Ses reflexions sur la dualité des ALS et des pseudo-cases et sur le rôle particulier des ALS/PC à deux marques sont incontournables. Je regrette de ne pas les avoir lues plus tôt.



Petit aparté pour abi :
Dans l'AS#44, je n'ai pas déniché de chaîne de 3 maillons, j'ai une chaîne de 4 maillons ALS.

_ | a___ b___ c____ | d____ e____ f_____ | g____ h___ i___ |
1 | 3467 3467 3478_ | 3789_ _____ 379___ | 3789_ ____ ____ |
2 | 357_ ____ 12378 | _____ 1238_ 137___ | 3578_ ____ 3578 |
3 | 357_ 237_ 12378 | _____ 12389 1379__ | 35789 578_ ____ |

4 | 3479 ____ _____ | 2389_ 3689_ 3469__ | 3678_ 2678 378_ |
5 | ____ 23__ 239__ | 12359 _____ 13569_ | 356__ 256_ ____ |
6 | 347_ 2347 _____ | 2358_ 38___ 345___ | _____ ____ 3578 |

7 | ____ 367_ 379__ | 3579_ 369__ ______ | _____ 5678 5789 |
8 | 4679 ____ 479__ | 179__ 169__ ______ | _____ ____ 179_ |
9 | ____ ____ 379__ | 13579 _____ 135679 | 567__ 567_ 1579 |


9cdei8-6e8(als cdei8)/6e47-1e23(als e23467)/1f23-8d1(als d1f123)/8c1-9c789(als c1789) =>-9a8 et fin.

EDIT 28/02, 21:15 Correction d'une faute d'inattention signalée par abi : il faut lire 6e47-1e23(als e23467)
Par ailleurs abi a raison : la chaîne 9dei8-6e8(als dei8)/6e47-1e23(als e23467)/1f23-8d1(als d1f123)/8c1-9c789(als c1789) =>-9a8 est un peu plus simple


Je pense que le solveur d'Andrew, en ce qui concerne les chaînes d'ALS est limité aux chaînes de 2 ALS (en effet au-delà de 2, la programmation se complique, car il faut vérifier que les charnières utilisées par un ALS "du milieu" sont différentes...)

Cordialement.
Cenoman


Dernière édition par Cenoman le Mar Fév 28 2012, 21:19, édité 1 fois
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: oups ! (6d07e)   Mar Fév 28 2012, 00:12

Bonne nuit Cenoman Wink

J'avais:

*(als c1789) 9c789-8c1 / 8d1-82e23 / 1e23-16ae8 -> -9a8 et fin.

(les 6 sont jumeaux en ae8)

PS-

Je n'aime pas beaucoup, mais aussi (la lecture inverse en est plus lisible):

*(als c1789) 9c789-8c1 / 8d1-82e23 / 21e23-16ae8 -> -9a8 et fin.


Amicalement,

Sophie
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: oups ! (6d07e)   Mar Fév 28 2012, 07:40

Bonjour Cenoman,

Venant de regarder ta soluce AS#44, je me demandais s'il y avait une raison particulière pour inclure la case c8 dans le 1er maillon de ta chaîne d'als, cela fonctionne sans elle.

(als 1679dei8) - 6 - (als 123689e23467) - 1 - (als 13789d1f123) - 8 - (als 34789c1789) -> voyeur 9a8 (-> -9a8)

Par contre, il me semble que si tu présentes l'analyse sous forme chaîne (avec ou sans c8-1er maillon), il faut mentionner 6e4 (2eme maillon)

9dei8-6e8 (als dei8) / 6e74-1e23 (als 23467) / 1f23-8d1 (als d1f123) / 8c1-9c789 (als c1789) -> -9a8

(PS-A mon avis, c'est un oubli!)

Amicalement,

Sophie

-1 coquille, hé oui...même en recopiant j'y arrive! Wink


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: oups ! (6d07e)   Mer Fév 29 2012, 17:38

Bonjour Cenoman,

"Je vois que ta solution ressemble à ce que j'avais trouvé "pour faire court" (il y avait plus joli, mais ce n'est pas ce que je cherche)", je m'explique:

J'avais:

*76cd3-64g3i2 / 49h3 -> -9cd3

*67d3 / 7d2-7b2 / 6b2-6b51 ef1d23 -> -6d5

*58a5 / 8a23-6bc1 (als) / 6ef1-6d23 / 65d4 -> -5d5

( Etapes que j'avais "groupées"(direct 9d5), voici la chaîne idem la TM, ce sont presque les mêmes cases, la couleur 6 devenant un "soit-soit" ne les modifiant que très légèrement :

Als d2345:*76d23-6ef1 / 6bc1-8a23 / 8a5{|-56ab5}-6b2 (b1#1) / {7b2-72d29} / 6i2-9h3 / 9d3-9d5(d29#4) -> 9d5 et fin avec -7f9)


Je me demandais si tu pouvais (ou avais l'intention de) intégrer les objets dans tes chaînes.
Avec les pseudo-cases, tu peux prouver -9cd3, ensuite -5d5 (7b2c3 => b2c3 ≠ 68: évitant l'als 8a23-6bc1: 58a5 / 8a23-78b2c3 / 6b2c3...), non?

En intégrant l'objet-couleur 6 tu pourrais prouver -6d5 =>9d5
Cela t'éviterait de passer par -1i4 et -7b56, possible?

PS-Sinon, bien sûr, il reste toujours le ternaire 6b125 qui élimine 6d5....il me semble que tu peux te passer de -1i4 et -7b56...mais le marquage et moi... Wink


Amicalement,

Sophie
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: oups ! (6d07e)   Jeu Mar 01 2012, 00:03

Bonjour abi,

merci de l'intérêt que tu portes aux performances de mon solveur.
J'ai un problème de vocabulaire pour suivre ta proposition : qu'appelles-tu "l'objet-couleur 6" exactement ? Ce n'est pas la première fois que je me pose la question car tu l'as déjà employé dans tes présentations. Sur les grilles particulières concernées, j'ai compris tes logiques, mais je ne suis pas en mesure de donner une définition générique de l'objet-couleur... Donc il m'est difficile de dire si je saurais l'intégrer au programme.

Pour cette grille-ci (6d07e) j'ai essayé de comprendre pourquoi les éliminations -6d5 et -5d5 ne sont sorties qu'après -1e4, -7b5, -7b6.

- pour -6d5, la réponse est simple. Je n'ai pas ce fameux "objet-couleur". Mais manuellement ou avec l'aide de mon assistant, j'écrirais la chaîne que tu proposes 67d3 / 7d2-7b2 / 6b2-6b51 ef1d23 -> -6d5 de la manière suivante, sous la forme d'un bon vieil interdit ternaire :

6b2/7b2-7d2/76d3/6d5
|
6b5/6d5
|
6b1/6ef1-6d23/6d5

PS : au moment de poster, je vois que c'est ce que tu suggères toi-même dans ton propre PS !

- pour -5d5, la réponse est plus compliquée. Pour le moment, il me manque dans la chaîne que tu proposes 58a5 / 8a23-6bc1 (als) / 6ef1-6d23 / 65d4 -> -5d5 le maillon 8a23-6bc1 (als) pour la raison que j'ai suivi la position de Gérard Penet, de représenter les chaînes d'als de manière "canonique", c'est à dire en représentant le conflit sur les valeurs jumelles dans la pseudo-case (voir son exposé sur ce qu'il appelle le "native OR" dans la partie anglaise de son site) Dans le cas présent, je n'ai pas inclus le conflit 8b2c3/6b2c3 dans ma table de conflit car j'avais fait l'impasse jusqu'à présent sur les groupes "obliques" (type 6b2c3...) Le chantier n'est pas encore clos ! (Ma précédente version traitait correctement ce cas en ne travaillant que sur le "native OR" de l'als)

En résumé, pour répondre à ta question sur les objets-couleurs : j'ai l'impression qu'ils sont équivalents à des ternaires. Je suis preneur de ta définition de l'objet-couleur.
Et pour répondre à ta question est-ce possible de faire sortir pour cette grille une solution en quatre coups (-9cd3, -6d5, -5d5, -7f9) : clairement,oui c'est possible, moyennant l'ajout du traitement des pseudo-cases "obliques".

Cordialement
Cenoman.

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: oups ! (6d07e)   Jeu Mar 01 2012, 06:56

Bonjour Cenoman,

Merci de ta réponse...quant à la mienne, concernant l'objet-couleur, elle ne va pas t'aider Wink

Une inclusion d'objet, je l'avais déjà dit, correspond à une mini dérivation (ou persistance):

ex: 67d3 / 7d2-7b2 / 6b2-"6b51 ef1d23" -> -6d5 = 67d3 / 7d2-7b2 / 6b2{|-6b5}-6b1 / 6ef1-6d23 ->-6d5 => donc,ici, le ternaire revient au même.

Pour ce qui est de l'objet-couleur ce n'est qu'une inclusion de "motif mono-candidat", j'entends par là de configuration: "6b51 ef1d23" en est une et je ne lui donne pas de nom, elle parle d'elle-même.

Je sais qu'il existe une interminable liste de noms pour chaque configuration ("motif" ou "pattern") "native" ou donnée par l'analyse (inclusion), aussi bien pour les "couleurs" (analyses mono-candidats: GC, SWF, JF etc...) que pour d'autres configurations (WW, MR etc...je mentionne les xy-w mais ce n'est pas utile)...
...pour moi, et c'est un avis très personnel, dans la mesure où l'on doit prouver par description de liens (ex: "6b51 ef1d23" ) ce que l'on avance, tous ces noms sont superflus...mais pour un programmateur, c'est évidemment tout différent!

Désolée de cette réponse un peu "brute", mais je suis déjà en retard...fok'je file!


(02/03:8h50)PS-On pouvait d'ailleurs raccourcir:

*67d23-7b2 / 6b2-"6b51 ef1d23" -> -6d5 (lecture inverse:*"6d23ef1 b15"-6b2 / 7b2-76d23 -> -6d5)

Mais en effet, je pense qu'en marquage (sauf ici ou cela correspond directement au ternaire 6), ce genre d'excercice est assez difficile à "anticiper".


PS-2 Bien que le cas se soit souvent présenté, j'ai toujours hésité à employer la pseudo-case (n candidats/n+ cases) ainsi, pourtant rien ne s'y oppose:

*58a5 / 8a23-6bc1 (als) / 6ef1-(PC)65d234 -> -5d5 (lecture inverse :*(PC)56d234-6ef1 / 6bc1-8a23(als) / 85a5 -> -5d5)


Amicalement,

Sophie


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




MessageSujet: Re: oups ! (6d07e)   

Revenir en haut Aller en bas
 
oups ! (6d07e)
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: