Grille du mois

Niveau 26 C23

Télécharger
Grille du mois.pdf
Document Adobe Acrobat 90.4 KB
Télécharger
C1.txt
Document texte 81 Bytes
Télécharger
Solution de la grille du mois.pdf
Document Adobe Acrobat 119.6 KB

Écrire commentaire

Commentaires: 21
  • #1

    rene odeide (dimanche, 26 février 2017 09:18)

    Ca doit etre la grille de l'annee. Merci Bernard :-)
    J'ai commence par le RG issu de la case L8C1 en partageant les 3 candidats en deux ensembles 48 vs 5
    Seul le sous ensemble 48 conduit a une solution
    Cela selectionne le 6 en L3C1
    RG1 Paire 59 en L5C1
    RG2 Paire 8 en L9
    RG3 Paire 29 en L9C1
    Triplet 569 en L5C5
    Triplet Les 6 en L5
    RG6 Paire de 4 en C2
    Triplet les 9 en C8
    RG8 Paire 17 en L9C2

  • #2

    JC (dimanche, 26 février 2017 09:30)

    3 placements

    A noter : une seul case résolue pour le chiffre 2 en L6C9, pivot 4C2, ... :

    RG1=(46)L2C9 + CD=5B69
    4L2C9 + 5L5C9|5L9C9 -> 0 solution; L2C9=6

    RG2=4C2 + CD=5B25
    4L1C3 -> 1 solution
    4L2C3 + 5L2C5|5L2C6 -> 0 solution

  • #3

    rene odeide (dimanche, 26 février 2017 09:40)

    Une autre maniere plus rapide
    La colonne 3 comporte une paire de 3 en L12
    Seuls les candidats 2, 4, 7 peuvent partager ces deux cases avec le 3
    Si on essaie les candidats 2 et 4 on n'obtient pas de solution a la grille
    Si on essaye le candidat 7 la grille se simplifie
    il suffit d'etudier le triplet 569 de la case L5C5 Le 6 couvre la grille

  • #4

    rene odeide (dimanche, 26 février 2017 10:33)

    Desole, j'ai fait une erreur Il etait aussi necessaire d'envisager le candidat 8 pour occuper les deux cases avec le candidat 3
    Je l'ai oublie :-(
    D'autre part quand j'ai propose une solution plus rapide, c'etait par rapport a ma premiere proposition Je n'avais pas encore lu la solution de JC

  • #5

    JC (dimanche, 26 février 2017 10:37)

    Le commentaire #2 se rapporte à le grille du dimanche. Désolé !

  • #6

    JC (dimanche, 26 février 2017 11:34)

    Grille du mois :

    XWing{2C18} -> -{2L4C9, 2L6C23}

    A noter : Exocets Potentiels : (3569)L46C4 et (3569)L45C5; C4 et C5 contiennent 4 et 2 cases résolues, respectivement.

    NP(35)L46C4 -> 0 solution via TB et Swordfish{9L167}
    NP(36)L46C4 -> 0 solution via TB et Swordfish{9L167}
    NP(39)L46C4 -> 0 solution via TB

    NP(56)L46C4 -> 0 solution via TB, Swordfish{9L167}, soit CD=Hub Cell(456)L5C1 ou soit XWing{3L39}, XYWing(137)L8C49.L9C5 et WWing(56)L5C8.L8C6,5C1

    NP(59)L46C4 -> 1 solution via TB

    NP(69)L46C4 -> 0 solution

  • #7

    Robert Mauriès (dimanche, 26 février 2017 14:28)

    Belle résolution Jean-Claude basée sur la construction de RVC (pistes) issues de paires virtuelles formées à partir de toutes les combinaisons possibles des 4 valeurs 3569.

  • #8

    Richard (dimanche, 26 février 2017 18:03)

    Bonjour,

    Solution uniquement pour les joueurs intéressés par les exocets donc basée également sur un exocet :
    Base de l'exocet : cases L5C56.
    2 cases cibles : L4C1 et L6C8.
    On commence déjà par supprimer les candidats des cases cibles qui ne sont pas contenus dans les cases de la base L5C56. Donc on supprime le 4 de L4C1 et le 3 de L6C8.

    On voit que l'une des cases de la base contient un chiffre donné (le 2 de L5C6), donc l'une des cases cibles contiendra forcément un 2 !
    On peut alors construire un RG basé sur les 2 de L4C1 et de L6C8 (malgré que les 2 cases ne se voient pas mais il y a un lien fort entre les 2 pour le candidat 2).
    On a 2 de L4C1 rouge générique, 2 de L6C8 bleu générique, 2 de L9C1 bleu générique, 2 de L9C8 rouge générique et 2 de L7C9 bleu générique.
    Ce RG permet de supprimer les candidats 2 de L6C23, de L4C9 et de L9C2.
    On obtient alors une petite extension du RG avec 2 de L6C9 rouge.

    Attention à partir de maintenant les RV ne pourront pas donner lieu à des suppressions de couleurs ou placements !

    Une case cible contiendra 2, l'autre contiendra alors soit 5, soit 6, soit 9.

    1) supposons que le 5 est la bonne solution.
    Au RG basé sur les 2 qu'on a précédemment défini on rajoute 5 de L4C1 bleu générique, 5 de L6C8 rouge générique et 5 de L5C5 doté à la fois des couleurs rouge et bleu.
    Le RV rouge arrive rapidement à une contradiction (pas de 5 possible dans le bloc 2.
    Le RV bleu est un peu plus difficile à établir mais on arrive également à une contradiction (pas de 6 possible dans le bloc 2).

    Le 5 ne peut donc pas être solution donc on supprime le candidat 5 de L4C1, de L5C5 et de L6C8.

    2) Supposons que le 6 est bonne solution.
    Au RG basé sur 2 qu'on a précédemment défini on rajoute 6 de L4C1 bleu générique, 6 de L6C8 rouge générique et 6 de L5C5 doté à la fois des couleurs rouge et bleu.
    Le RV bleu arrive rapidement à une contradiction (pas de 6 possible dans le bloc 2).
    Le RV rouge s'installe. Tous les 6 de la grille sont trouvés plus le 4 de L8C2 rouge virtuel. Il y a également 7 de L7C9 rouge virtuel mais qui n'est pas évident à voir : dans le bloc 4 les 1 sont cantonnés dans la colonne 3, du coup pas de 1 rouge virtuel possible en L8C3, ce qui fait que les 1 rouges virtuels possibles pour la ligne 8 sont cantonnés dans le bloc 9. Donc pas de 1 rouge virtuel possible en L7C9, d'où le 7 de cette même case qui est rouge virtuel.

    On créé un CD basé sur la paire 1-3 de L8C8 (1 orange, 3 vert).
    Le RV orange s'installe bien.
    Pour le RV vert bien voir que le 1 de L8C9 est vert virtuel (voir une partie de l'explication pour le 7 de L7C9 rouge virtuel juste au-dessus).
    Les 2 RV s'installent bien. Un moment donné le 5 de L3C8 est doté des 2 couleurs virtuelles. Il passe donc au statut de rouge virtuel, ce qui permet d'ajouter encore d'autres rouges virtuels.

    Au final l'orange couvre la grille sans contradictions alors que le vert lui aboutit à une contradiction.

    Il est extrêmement laborieux de trouver une solution à cette grille avec le coloriage virtuel à lui seul mais on voit que la cohabitation entre le coloriage virtuel et les techniques expertes peut aboutir à des solutions originales et intéressantes.

  • #9

    Robert Mauriès (dimanche, 26 février 2017 19:05)

    @ Richard. Vous annoncez une exocet de base L5C56 ! A quelle grille faîtes vous référence, car pour la grille du mois la case L5C6 est résolue !!

  • #10

    Richard (dimanche, 26 février 2017 19:33)

    @Robert : oui je parle bien de la grille du mois. Je me rappelle avoir vu quelque part qu'on pouvait utiliser une case résolue dans un exocet.
    Si mes souvenirs sont bons j'ai vu ça en consultant les solutions des grilles "weekly unsolvable sudoku" du site sudowiki. J'ai vu David P. Bird parler de ça.

  • #11

    Robert Mauriès (dimanche, 26 février 2017 20:27)

    @ Richard : Sans doute avez vous raison sur le fait qu'une case base d'un exocet puisse être résolue, je n'ai pas étudié cet aspect. Mais ce que je sais, c'est qu'il ne suffit pas d'avoir identifié des cases bases et des cases cibles pour qu'un exocet fonctionne effectivement. D'autres conditions doivent être réalisées en complément de ces deux premières, sans lesquelles on ne peut parler, comme le fait Jean-Claude (JC), que d'exocet potentiel. Avez-vous vérifié que ces conditions complémentaires sont satisfaites ?

  • #12

    Richard (dimanche, 26 février 2017 20:30)

    RG avec les 2 du bloc 9 (2 de L9C8 rouge).
    2 virtuels rouges trouvés : les 2 de L4C1 et de L6C9.

    CD du rouge avec le couple 8-9 de L9C1 :
    Avec le 8 on arrive à une contradiction donc le 9 de L9C1 est rouge virtuel.

    Nouveau CD du rouge avec le couple 6-8 de L3C1 :
    Avec le 8 on arrive à une contradiction donc le 6 de L3C1 est rouge virtuel.

    Nouveau CD du rouge avec le couple 7-8 de L3C2 :
    Avec le 7 on arrive à une contradiction donc le 8 de L3C2 est rouge virtuel.
    Mais cette fois le RV rouge s'étend un peu : tous les 8 rouges virtuels de la grille sont définis plus le 4 de L2C1 plus le 5 de L5C1.

    Nouveau CD du rouge avec le couple 3-7 de L2C3 :
    Avec le 7 on arrive à la résolution de la grille.

  • #13

    Richard (dimanche, 26 février 2017 20:38)

    @Robert : en fait j'ai lu les explications sur le compendium de David P. Bird. Je connais pas mal de conditions d'existence d'un exocet (notamment les positionnements des candidats de la base dans les cellules "S", le fait que les cellules compagnons ne doivent contenir aucun des candidats de la base...).
    Du coup vous me mettez le doute à l'esprit lol, j'espère que la résolution de la grille n'est pas un coup de chance. :)

  • #14

    Robert Mauriès (dimanche, 26 février 2017 21:25)

    @ Richard : Je vous rassure ces conditions complémentaires sont satisfaites, puisque les 3 pistes (RVC uniques) issues des 3 candidats de la case base passent bien par les 2 cases cibles, encore faut-il les tracer pour s'en rendre compte. On sort des conditions habituelles que vous rappelez (cellules S, etc..).
    Mon point de vue sur les exocets est leur caractère potentiel qui doit attirer l'attention, mais il bien rare que les conditions complémentaires se décèlent de visu, ce qui nécessite leur vérification systématique sans laquelle on risque de faire une mauvaise conclusion. C'est pour cela que je trouve remarquable la résolution de JC.

  • #15

    JC (dimanche, 26 février 2017 23:32)

    Bien vu Richard,

    Les chiffres 569 sont absents de la ligne 2 des blocs -> AALS(569)L5C5 est donc un exocet potentiel.

    Détermination des cibles éventuelles :
    5L5C5 -> L8C4=L4C1=5, L9C1=L6C8=2
    6L5C5 -> L8C4=L6C8=6, L9C8=L4C1=2
    9L5C5 -> Boucle[2L9C1=(2-9)L4C1=9L9C1-9L9C4=9L2C4-9L2C8=(9-2)L6C8=2L9C8] -> contraintes dérivées {9L4C1, 9L6C8} et {2L9C1, 2L9C8}

    Conclusions :
    1. L4C1 ne peut contenir que les candidats 2, 5 et 9 [exclusion de (46)L4C1]
    2. L6C8 ne peut contenir que les candidats 2, 6 et 9 [exclusion de (35)L6C8]
    3. Soit L9C1=2, soit L9C8=2 -> exclusion de 2L9C2

    Synthèse :
    Exocet E={AALS(569)L5C5, 2C18, 5C14, 6C48, 9C148} [base=L5C5, cible=L4C1.L6C8]
    Les solutions de E excluent {(46)L4C1, (35)L6C8, 2L9C2} et {2L4C9, 2L6C23} à cause du XWing{2C18} inclus dans E.

    Malheureusement, cet exocet ne simplifie pas le puzzle de manière significative. Il reste donc à continuer l'analyse du puzzle à partir de L5C5. Ce faisant, on obtient une solution apparemment plus simple que celle que j'ai proposée :

    XWing{2C18} -> -{2L4C9, 2L6C23}

    5L5C5 -> 0 solution
    6L5C5 + 1L8C9 -> 1 solution
    6L5C5 + 3L8C9 -> 0 solution via Alignement{1B4}
    9L5C5 + 9L2C4 + 5L58C1 -> 0 solution
    9L5C5 + 9L9C4 -> 0 solution via XWing{5L1, 5C8}, XWing{6L1, 6C1} et WWing(56)L5C1.L8C6,6C8

  • #16

    rene odeide (lundi, 27 février 2017 06:02)

    @Richard et aux autres amateurs d'exocet
    Bonjour a vous
    J'aimerais bien ne pas mourir aveugle aux exocets
    Pourriez vous m'eclairer un peu
    Si je choisis le 5 ou 6 de la case L5C5 je vois bien que les cases cibles doivent contenir 5-2 ou 6-2
    Mais ma piste qui part du 9 n'arrive pas aux cases cibles
    J'ai bien essaye de comprendre la boucle de JC Mais je n'y arrive pas
    Merci de votre aide

  • #17

    rene odeide (lundi, 27 février 2017 06:20)

    @ aux amateurs d'exocet
    les 4 cases contenant les 4568 en C1 m'avaient echappe
    Merci a tous

  • #18

    Richard (lundi, 27 février 2017 12:15)

    Bonjour,

    @René : ce qu'une chaîne d'inférences alternées peut faire, le CV peut le faire aussi !

    Supposons que le 9 de L5C5 soit solution, alors on voit dans la colonne 1 qu'on a une paire cachée 2-9 en L49C1.
    Du coup établissons un RG à partir de cette paire cachée : 2 de L4C1 et 9 de L9C1 rouges génériques, 9 de L4C1 et 2 de L9C1 bleus génériques.
    Comme nous supposons que le 9 de L5C5 est solution alors nous colorons ce 9 de L5C5 en bleu et rouge virtuel.
    Il ne reste plus maintenant qu'à poursuivre le RV :
    Le 2 bleu de L9C1 implique 2 bleu virtuel en L7C9 qui implique 2 bleu virtuel L6C8.
    Le 9 rouge de L9C1 implique 9 rouge virtuel en L4C2 (les 9 de L46C4 ne peuvent être rouges vu que le 9 de L5C5 est déjà rouge), qui implique 9 rouge virtuel en L1C9, ce qui implique que le 9 de L6C8 est rouge virtuel.

    Vous voyez alors qu'on retrouve bien notre paire 2-9 en L6C8 (2 bleu et 9 rouge) alors qu'en L4C1 on a 2 rouge et 9 bleu.

  • #19

    Robert Mauriès (lundi, 27 février 2017 13:00)

    @ René : pour ma part, j'ai vérifié que la piste (RVC) qui part du 9L5C5 passe par les deux cases cibles en utilisant une bifurcation (CD) sur les 9C4.

  • #20

    rene odeide (lundi, 27 février 2017 14:33)

    @Richard et Robert
    Merci a vous
    je n'avais pas vu la paire cachee 2-9 et je n'ai pas eu l'idee de la bifurcation

  • #21

    Bermath (jeudi, 02 mars 2017 19:18)

    Pas facile. Il me semble que la résolution des grilles de ce niveau par CV est souvent un travail patient de fourmi où on aboutit à l'aide de CD et même de CD de CD (voir ci-dessous). C'est en tout cas de cette façon que j'ai vaincu cette grille.
    RG issu de (2RL4C1-2BL9C1): 3 suppressions par croisements ; CDR issu de (8OL2C1-4ML2C1); triplet virtuel orange (1-5-8)L456C3 ; paire virtuelle (1-7) L7C29 puis paire virtuelle (5-9)L7C56 qui force 5OL8C1; paire virtuelle orange (1-3) L28C8 ; le RV orange est contradictoire et 4L2C1 devient rouge.
    CDR issu de (5OL8C1-8ML8C1): CDM issu de (9VL5C5-6V'L5C5); bien noter la paire virtuelle verte (3-7)L2C36 ; le RV vert est contradictoire et 6L5C5 devient mauve; paire virtuelle mauve (1-4)L45C3, donc 4ML8C2 ; dans L8, 3M appartient à L8C89 donc paire virtuelle mauve (5-7)L8C36 donc 7ML7C9 ; CDM issu de (9VL2C4-9V'L2C6): le RV vert est contradictoire et 9L2C6 devient mauve. Le RV mauve se complète et couvre la grille.