AS#299

Bonjour Cénoman, bonjour à tous,

Une grille amusante proposée par Cénoman sur "Players' Forum": http://forum.enjoysudoku.com/help-to-solve-hardest-puzzles-t34876.html

980 760 500 700 800 090 005 009 008 590 006 080 004 000 300 000 000 005 460 007 050 200 010 004 000 000 200 (AS#299)

*1234de7:coul.1/2/3/4->b8/h9**=1/2/3/4=>b8 ≠h9** et -4de7 b8 h9 (4de7->4b8&h9!):**->*1d7*->[6a7-]2d7->1/2h9b8(c9 voyeur)->12bc8(ou 36c9a7)//*23de7*->2/3h9b8(c9 voyeur)->23bc8(ou 16c9a7):-6c8
&
*(1bfi5-)5f5*->59dc2->8f2->3f1->1a1:-1a5 et fin.

(On peut aussi prouver 1d7 & 3e7 mais pour changer...)

Peut-être cela répond-il, un peu, à ta demande de solution sans essai-erreur  

Amicalement,

Sophie

A.... dans un an ou deux peut-être

Merci abi !

Je reviendrai plus tard sur ce sujet. Je manque de temps en ce moment.
Amicalement
Cenoman

Bonjour Cenoman

J'ai cru comprendre que mon analyse sur -6c8 n'était pas très claire pour toi,

Celle-ci est elle plus lisible? (c'est la même, j'utilise juste autrement le voyeur pour plus de clarté;bcp de présentations possibles)

Exocet ->h9=b8=de7

1c9*->23b8h9&de7->6a7
2c9*->13b8h9&de7->6a7
3c9*->12b8h9&de7->6a7

->6a7
=
*1*/2*/3*c9->23/13/12 b8h9&de7->6a7  

EDIT-Donc:

*1234de7:coul.1/2/3/4->b8/h9**=1/2/3/4=>b8 ≠h9** et -4de7 b8 h9 (4de7->4b8&h9!):**->*1*/2*/3*c9->23/13/12 b8h9&de7->6a7

Amicalement,

Sophie

Bonjour Cenoman,

Lorsque j'ai attaqué la grille, j'ai trouvé dans la même foulée " l'exocet & les -4 et +6a7" (qui sont liés), ce pourquoi j'ai présenté en une seule étape...
Perso cela m'amuse...alors j'aime bien!Ce n'est pas le cas de grand-monde il me semble...
Je te propose donc la même chose, en plusieurs étapes et sous forme chaîne ou tableau ( les suites non plus ne sont pas appréciées!)


____a______b______c______|_d______e______f______|_g______h______i______|
-
9_|_9______8______123____|_7______6______1234___|_5_____1234____123____|
8_|_7_____1234____1236___|_8_____2345____12345__|_146____9______1236___|
7_|_136___1234______5____|_1234___234_____9_____|_1467__123467___8_____|
-
6_|_5______9______1237___|_1234___2347_____6____|_147_____8______127___|
5_|_168___127_______4____|_1259___25789___1258__|_3______1267___12679__|
4_|_1368__1237___123678__|_12349__234789__12348_|_14679__12467____5____|
-
3_|_4_______6_____1389___|__239____2389____7____|_189_____5______139___|
2_|_2______357____3789___|__3569____1_____358___|_6789___367______4____|
1_|_138___1357___13789___|_34569__34589___3458__|_2_____1367____13679__|

(les couleurs sont faites rapido-moche!après le temps passé à faire ces grilles-raps "artisanalement"  mais juste pour te donner une preuve)

(sinon:1/2/3/4de7&-1/-2/-3/-4b8h9->impossibilité! et immédiate pour les 4   )

1d7*/[1b8-]1ab7-1c89/1c63-1gi63*/1h145-1h9*
2de7*/[2b8-]2b7f89-2bf45/2h45-2h9*
3de7*/[3b8-]3ab7-3c89!/3c6-3de67/3de3-3i3!/3h1-3h9*
4de7/4b7f9-4b8h9#

->1/2/3/4 de7->1/2/3/4 b8/h9 =>b8≠h9(la base de7:2 candidats->les 2 cibles se partagent ces 2 candidats) =>-4de7 b8 h9#

exocet 123 de7=b8=h9

1c9*/1b8h9-23b8h9 de7/31*a7-6a7 [ou /3a7-6a7(1*)]
|
2c9*/2b8h9-13b8h9 de7/13a7-6a7
|
3c9*/3b8h9-12b8h9 de7/13*a7-6a7 [ou /1a7-6a7(3*)]

=>6a7

____a______b______c______|_d______e______f______|_g______h______i______|
-
9_|_9______8______123____|_7______6______4______|_5_____123_____13_____|
8_|_7_____123_____123____|_8_____235____1235____|_4______9_______6_____|
7_|_6______4_______5_____|_123____23_____9______|_17_____1237____8_____|
-
6_|_5______9______1237___|_4______237_____6_____|_17______8______127___|
5_|_18____127_______4____|_1259__25789____125___|_3_______6______127___|
4_|_138___1237______6____|_123____2378____123___|_9_______4_______5____|
-
3_|_4_______6_____139____|__239____239_____7____|_8_______5______139___|
2_|_2______357____3789___|__359_____1_____358___|_6______37_______4____|
1_|_13____1357___13789___|___6______4_____358___|_2_____137_____1379___|


1bfi5_5f5 (als)
_____5f12_59dc2
__________8c2__8f2
1a1__5f1________8f1 (als)

->-1a5 et fin



Tu peux aussi dire:

1c9*/1b8h9-23b8h9 de7/
|
2c9*/2b8h9-13b8h9 de7/
|
3c9*/3b8h9-12b8h9 de7/

=>-31*a7/-13a7/-13*a7

Ou encore:

________1c9*_____2c9$_____3c9#
________1b8h9___________________23b8h9de7*
_______________2b8h9______________________13b8h9de7§
_________________________3b8h9______________________12b8h9de7#
6a7_____1a7*_____________3a7#_______3a7*_______13a7§______1a7#

->6a7

Cela se suit facilement

Plus périlleux:

________1c9_____2c9_____3c9                      
-13a7__1b8h9__________________23b8h9de7
-13a7___________2b8h9______________________13b8h9de7
-31a7___________________3b8h9_______________________12b8h9de7

->-13a7


Voili

Amicalement,

Sophie

Pour en terminer...

En gros, il y a deux voyeurs :c9 voyeur de b8h9 =>c9≠b8 h9 de7 (exocet) et a7 voyeur de de7 c9

exocet =>b8=h9=de7=123; c9=123


2c9 13de7|-3c9 12de7
-----------|-1c9 23de7

voyeur a7=>a7≠13

Au lieu de me servir du "pack" logique démontré b8=h9(b8≠h9)=de7 j'utilise le tout aussi logique et démontré c9≠de7


Amicalement,

Sophie

Bon...je me suis assez amusée, je file!

Bonjour abi,

Merci pour tous ces efforts de pédagogie.

En fait ce n'est pas tant sur la démo de -6c8 que j'ai accroché, c'est sur l'étape qui précède, c'est à dire la détection et la caractérisation de l'exocet.

Je n'ai pas compris du premier coup que ta toute première démo était une exploitation de l'exocet (mot que tu n'as pas utilisé!). La "traduction" de GP m'a éclairé. Pour te prouver que je l'avais lue bien en détail, je peux même te dire qu'elle comporte une faute de frappe:

abi a écrit:

*1234de7:coul.1/2/3/4->b8/h9**=1/2/3/4=>b8 ≠h9** et -4de7 b8 h9 (4de7->4b8&h9!):**->*1d7*->[6a7-]2d7->1/2h9b8(c9 voyeur)->12bc8(ou 36c9a7)//*23de7*->2/3h9b8(c9 voyeur)->23bc8(ou 16c9a7):-6c8

au lieu de :
*1234de7:coul.1/2/3/4->b8/h9**=1/2/3/4=>b8 ≠h9** et -4de7 b8 h9 (4de7->4b8&h9!):**->*1d7*->[6a7-]2e7->1/2h9b8(c9 voyeur)->12bc8(ou 36c9a7)//*23de7*->2/3h9b8(c9 voyeur)->23bc8(ou 16c9a7):-6c8

Je note au passage que tu utilises le système de coordonnées du site sudoku.com.au (coordonnées "Echecs") mais que tu as gardé les symboles "-" et "/" pour les liens forts et faibles resp. Si on doit abandonner les notations anciennement en vigueur sur le site, je préférerais nettement qu'on adopte une notation de type "matrices" (comme sudokuwiki.org) : a1 désigne la ligne a et la colonne 1 avec les symboles Eureka "=" et "-" pour les liens forts et faibles resp. C'est facile à transcrire en notation de type rxcy du site du "Players' forum" et cela ferait au moins trois sites en cohérence.

Retour à la grille WU#299. Pour la détection de l'exocet, GP a écrit dans sa première réponse:

Step 1 check that this is an exocet pattern for each digit
a) forces the digit in the base,
b) clear the digit in the target
c) check that you have no solution

et tu as écrit la même chose :
(sinon:1/2/3/4de7&-1/-2/-3/-4b8h9->impossibilité! et immédiate pour les 4)

Mais tu as aussi écrit :

abi a écrit:

1d7*/[1b8-]1ab7-1c89/1c63-1gi63*/1h145-1h9*
2de7*/[2b8-]2b7f89-2bf45/2h45-2h9*
3de7*/[3b8-]3ab7-3c89!/3c6-3de67/3de3-3i3!/3h1-3h9*
4de7/4b7f9-4b8h9#

(Nota : ne faudrait-il pas lire plutôt 2b7c89 dans la deuxième chaîne ?)
...ce qui se veut certainement une démo moins "Essai/Erreur" mais je n'arrive pas à déchiffrer ces chaînes. Quelle est la signification des "*", des "!", quelle est celle des crochets "[..]" et d'où viennent les liens forts (que fait-on des 1c14, 1g4, 3c123, 3i1) ???

Sinon, une fois l'exocet caractérisé, pas de problème pour l'exclusion du 4 de la base et des cibles, ni pour la démonstration qui suit de -6c8 ou +6a7, ni bien entendu pour terminer la grille.

Il me manque un document de synthèse sur l'exocet, (celui qui répond à la définition la plus large, pour le JExocet, il existe le Compendium de David P Bird) et sur la façon de le caratériser. Un document en anglais ferait l'affaire.

Merci encore pour toutes tes contributions. Amicalement
Cenoman.

Bonjour Cenoman,

Tout d'abord, merci d'avoir repéré et corrigé la coquille (cela m'évitera de le faire ).

En fait, j'ai débuté sur Daily Sudoku Puzzle qui utilise ce système de coordonnées ainsi que  les symboles "-" et "/" .

http://www.daily-sudoku-puzzle.com/fr/couleur-03101985-diabolique.html

(je travaille sur ces grilles vierges, qui permettent les annotations)

Non, je n'ai pas utilisé le mot exocet, j'explique les liens, un nom n'apporte pas grand chose (si ce n'est un raccourci pour ceux qui connaissent)...

"Step 1 check that this is an exocet pattern for each digit
a) forces the digit in the base,
b) clear the digit in the target
c) check that you have no solution

et tu as écrit la même chose :
(sinon:1/2/3/4de7&-1/-2/-3/-4b8h9->impossibilité! et immédiate pour les 4)

Mais tu as aussi écrit :
abi a écrit:
1d7*/[1b8-]1ab7-1c89/1c63-1gi63*/1h145-1h9*
2de7*/[2b8-]2b7f89-2bf45/2h45-2h9*
3de7*/[3b8-]3ab7-3c89!/3c6-3de67/3de3-3i3!/3h1-3h9*
4de7/4b7f9-4b8h9#"

En fait, je n'avais pas lu les messages...je t'ai donné une version "sans essai-erreur" tout en te signalant, entre parenthèses, qu'il  y avait plus simple.


"(Nota : ne faudrait-il pas lire plutôt 2b7c89 dans la deuxième chaîne ?)
...ce qui se veut certainement une démo moins "Essai/Erreur" mais je n'arrive pas à déchiffrer ces chaînes. Quelle est la signification des "*", des "!", quelle est celle des crochets "[..]"
et d'où viennent les liens forts (que fait-on des 1c14, 1g4, 3c123, 3i1) ???"

1d7*/[1b8-]1ab7-1c89/1c63-1gi63*/1h145-1h9* =

_____1d7
1b8__1ab7_1c89
_____1d6__1c63_xwgi63
1h9__1h7________1h145

1d7 =>1b8/1h9

2de7*/[2b8-]2b7f89-2bf45/2h45-2h9* =

_____2de7
2b8__2b7&2f89_xw2bf45
2h9__2h7_______2h45

2de7=>2b8/2h9

3de7*/[3b8-]3ab7-3c89!/3c6-3de67/3de3-3i3!/3h1-3h9* =

______3de7*
3b8___3ab7_3c89
___________3c6__xw3de67*
___________3c3____3de3__3i3
3h9___3h7_______________3h1

3de7=>3b8/3h9

4de7/4b7f9-4b8h9# =

____4de7
4b8_4b7
4h9_4f9

4de7=>4b8&4h9

(il y a sûrement plus joli mais cela me casse les pieds de chercher!)

Désolée, je n'ai aucun document sur rien...je comprends par moi-même en lisant les démos et j'essaie de m'en souvenir  
Il m'est plus facile de comprendre en cherchant toute seule la logique des choses et puis...je suis bien trop flemmarde!

Bonnes Vacances

Amicalement,

Sophie

PS-

_____1d7
1b8__1ab7_1c89
_____1d6__1c63_xwgi63 le xw est dans deux maisons => bien directement -1h145
1h9__1h7________1h145

1d7 =>1b8/1h9

Mais plus "conventionnel" de présenter ainsi, si tu préfères:

_____1d7
1b8__1ab7_1c89
_____1d6__1c63_xwgi63
1h9__1gh7_______1gi89

1d7 =>1b8/1h9

Bonjour à tous,

Et...dernière explication sur le fait que tout se dit dans la même analyse:

*1234de7:coul.1/2/3/4->b8/h9=1/2/3/4 =>b8=h9=de7 & b8≠h9(de7:2 candidats->b8&h9 se partagent les candidats) -> -4de7 b8 h9 (4de7->4b8&h9!) & c9 voyeur de b8≠h9 (->c9≠b8 h9 de7) ET a7 voyeur de c9 de7->a7 ≠123.


1234 de7:

Quelle que soit la valeur que l'on attribue à de7, celle-ci se trouve forcément en b8 ou en h9 ce qui crée le lien de7=b8=h9

de7 ayant deux candidats, b8 et h9 sont forcément différents, et cela élimine les 4 en b8=h9=de7 (4de7=>b8=4 ET h9=4)=>de7=b8=h9=123

b8 et h9 étant différents, c9 voit chacune de leur valeur => c9(=123) différent de b8=h9=de7

c9 étant différent de b8=h9=de7 =>3 candidats différents en c9 et de7, trois cases "vues" par a7 => a7 est différent de c9 et de de7 => a7 différent de 123.
(on se moque de savoir qui est en c9 et qui est en de7, la logique nous dit qu'aucun des 3 candidats ne sera en a7)


Amicalement,

Sophie