Tough du 17/01/2018

600 040 830
010 800 000
000 900 000

023 000 005
400 070 001
500 000 360

000 009 000
000 008 040
054 030 006

http://sudoku.com.au/5V17-1-2018-sudoku.aspx

Une grille du site australien http://sudoku.com.au
Elle n'est pas si facile (SE = 8.5). C'est une grille intéressante pour illustrer l'utilité des techniques d'unicité. Pour celle-ci, la solution sans technique d'unicité est possible, mais extrêmement longue et rébarbative. Si on y voit bien un motif interdit à trois chiffres et six cases (dans une bande ou une pile) la solution devient beaucoup plus simple.
NB : je ne l'avais pas vu moi-même. Tout le mérite en revient au joueur australien Alfred

A bientôt.
Cenoman

Les techniques de bases amènent à 27 cases résolues.
C'est dans ce tableau que l'on repère le motif interdit de trois nombres, répartis en trois paires distinctes, sur deux lignes ou deux colonnes d'une même bande horizontale ou verticale (règle analogue de celle du RI sur deux blocs). C'est compliqué à dire, mais c'est facile à voir (la preuve, je ne l'avais pas vu... !) Ici les trois nombres sont 1, 2, 7, colonnes d et f, paires (17)df1, (12)df4, (27)df9 Voir les six cases étoilées...

Code:

+--a------b------c-------+--d-----e-----f-----+--g--------h-------i------+
1|  6      79     2579    |  157*  4     17*   |  8        3       279    |
2|  2379   1      2579    |  8     256   367   |  245679   2579    2479   |
3|  2378   4      2578    |  9     256   367   |  12567    1257    27     |
 +------------------------+--------------------+--------------------------+
4|  1789   2      3       |  16    89    146   |  479      789     5      |
5|  4      689    689     |  3     7     5     |  29       289     1      |
6|  5      789    1789    |  12*   89    124*  |  3        6       4789   |
 +------------------------+--------------------+--------------------------+
7|  1278   3678   12678   |  4     156   9     |  1257     12578   2378   |
8|  1279   3679   12679   |  56    156   8     |  12579    4       2379   |
9|  189    5      4       |  27*   3     27*   |  19       189     6      |
 +------------------------+--------------------+--------------------------+

On utilise un gardien interne, 4f6 et un gardien externe, 1d4 (gardien de la colonne d). L'évitement du motif interdit donne le lien dérivé 4f6--1d4 d'où la chaîne très simple :
1. (4)f6--(1/6)d4-(6)f4 =>-4f4; TB jusqu'à 34 cases résolues.

Pourquoi pas les deux gardiens internes, 4f6 et 5d1, me direz-vous ? Bonne question. Que celui qui la pose cherche un conflit dérivé entre 5f1 et la cible 4f4 !
EDIT : la phrase rayée est injustifiée. C'est à peine plus compliqué d'utiliser 5d1 (juste plus long d'un maillon):
(4)f6--(5)d1/(5-6)d8/d4-(6)f4 =>-4f4

La résolution se poursuit maintenant avec quelques chaînes :

Code:

+--a------b------c------+--d----e-----f-----+--g-------h-------i------+
1|  6      79     2579   |  15   4     17    |  8       3       279    |
2|  2379   1      2579   |  8    256   367   |  25679   2579    4      |
3|  2378   4      2578   |  9    256   367   |  12567   1257    27     |
 +-----------------------+-------------------+-------------------------+
4|  789    2      3      |  16   89    16    |  4       789     5      |
5|  4      689    689    |  3    7     5     |  29      289     1      |
6|  5      789    1      |  2    89    4     |  3       6       789    |
 +-----------------------+-------------------+-------------------------+
7|  1278   3678   2678   |  4    156   9     |  1257    12578   2378   |
8|  1279   3679   2679   |  56   156   8     |  12579   4       2379   |
9|  189    5      4      |  7    3     2     |  19      189     6      |
 +-----------------------+-------------------+-------------------------+

2. Un gratte-ciel (8)a9-h9/h5-bc5 =>-8a4
3. (27-9)i13/(9-7)b1/(7-89)be6/(8-279)i126 =>-27i78 (noter que le quadruplet nu (1389)gh9.i78 élimine 1a9)

Fin avec les deux chaînes
4. (7)i6-b6/(7-9)a4/(9-8)a9/abc7-(8)i7 =>-8i6; TB jusqu'à 39 cases résolues.
5. (9-8)e6/e4-h4/(8-29)gh5 =>-9i6; candidats uniques jusqu'au bout.

Cenoman

Bonjour Cenoman,

Après une éternité, je suis venue voir ce que devenait ce forum et ai vu que tu y participais à nouveau, c'est sympa ;-)

Je ne résous plus de grille mais ton intervention sur la BI a attiré mon attention.

Pour moi 4f6 peut être le seul gardien.

*(BI 127 df169-)4f6

(en effet:*(4f6-)->BI 127 df169 ( (4f6-)12df6->xw1df16 2d69 7d19 &127f169:BI)

(De plus *(4f6-)12df6:-1d4, ce qui me gêne dans ta démo qui dit *(4f6-)1d4)

(Ou alors, utilisant une case de plus (d4)  dire: *BI 127 df169:12d46-4f6 ->-12f6, mais cela me gêne aussi!)

Ce n'est que mon avis ;-)

Amicalement,

Sophie

Bonjour abi,

Tout d'abord, bon anniversaire !

abi a écrit:

Après une éternité, je suis venue voir ce que devenait ce forum...

C'est long l'éternité, surtout vers la fin ! (Woody Allen).  
Fin novembre, j'ai fait comme toi, je suis venu voir par hasard et je suis tombé sur les trois messages de loumtom.

C'est pour soutenir son initiative que je participe, mais les contributeurs sont rares et les lecteurs, s'il y en a,  sont muets !

Cela fait plaisir d'être lu par toi, abi ! et aussi de te lire.

EDIT : contenu supprimé par l'auteur.

Reviens nous voir de temps à autre et fais nous un petit coucou !

Amicalement,

Cenoman

Bonsoir Cenoman,

Merci ;-)

"Je suis d'accord avec toi que par la chaîne (4-12)df6/(1-6)d4/(6-5)d8/(5)d1, on démontre que si 4f6 Faux, alors 1d4 ET 5d1 Faux, et on en déduit immédiatement +4f6."

Non, ce n'est pas ce que je dis...

Si -4f6->directement la BI

-4f6->directement xw 1df16 (1df6 et 1df1 "natif") ET 127f169
2d69 7d19 sont "natifs"

=>127 ne sont possibles que dans ces 6 cases et entraînent donc directement la BI, je ne me sers que de "127" et df169 (les 6 cases de la BI)

Donc *(BI 127 df169-)4f6

Amicalement

Sophie


PS,Si tu préfères (idem):

Si -4f6 =>Directement :xw1 df16(1df6 & 1df1 "natif"); xw2 df69 "natif"; xw7 df19 (7f19 (triplet 127f169) & 7d19 "natif")=BI

Donc *(BI 127 df169-)4f6

Bonjour Cenoman,

Il n'est pas question de "préférence".

Tu dis qu'il faut 2 gardiens (1d4 et 4f6 ou 5f1 et 4f6)...tout en se servant d'autres cases que celles de la BI pour prouver 4f6.

Dans l'exemple que tu donnais avec les gardiens 4f6 et 1d4, il était amusant aussi de dire (voir un de mes  messages plus haut)
*(BI-)4f6-12d46 ->-12f6 ou *(BI-)4f6-12df6->les 2 gardiens sont évincés!


J'étais juste passée pour signaler qu'avec uniquement les 6 cases de la BI on pouvait prouver un seul gardien "4f6".

(sans lui ("4f6") les conditions d'une BI de ce type sont directement réunies (3 xw) )

C'était aussi, comme pour toi, dans un but pédagogique  

Amicalement,

Sophie

Bonjour abi,

J'ai édité mes messages (supprimé le contenu sudocal)

Je suis d'accord pour avoir un dialogue constructif et convivial, ce qui n'exclut nullement la possibilité d'exprimer des désaccords, mais dans la limite du raisonnable.

Amicalement.

Cenoman

Bonjour Cenoman,

Lorsque j'écris:

-4f6->directement xw 1df16 (1df6 et 1df1 "natif") ET 127f169 (2d69 7d19 sont "natifs")=BI(3xw)

Donc  *(BI 127 df169-)4f6


"-4f6->directement xw 1df16 (1df6 et 1df1 "natif") ET 127f169 (2d69 7d19 sont "natifs")=BI(3xw)"

Il n'est pas forcément utile de le dire, le lecteur voit de lui-même que "-4f6" ->directement xw127

Cela correspond à ce que tu fais, en amont de ta  chaîne, pour trouver tes gardiens.

Je peux, à mon avis, dire simplement:*(BI 127 df169-)4f6


"Ce n'est que mon avis"

Juste pour dire que "-4f6->-1d4=> les 2 gardiens évincés" était plus court que ta petite chaîne.


Je ne vois rien là qui dépasse "la limite du raisonnable" quant à notre échange sudocal ou "convivial".

Désolée, je ne comprends pas tes réactions.

Amicalement,

Sophie


PS J'ai posté un MP ...si tu préfères...

Bonjour abi,

Je n'arrive pas à t'envoyer de MP. Il reste bloqué dans "la boîte d'envoi". Bien reçu et lu le tien. Comprends pas ce qui se passe.

abi a écrit:

Désolée, je ne comprends pas tes réactions.

Oui, ça je l'avais remarqué !

Tant pis, on va arrêter la séquence, il est plus que temps... (en tout cas, c'est ma dernière intervention)

Amicalement
Cenoman

Bonjour Cenoman,

Quant à moi je ne reçois plus de notifications pour les messages (privés ou sur le forum)

Par contre, je viens de trouver ton MP. OUF  

J'y réponds ici, cela n'a rien de confidentiel.


Ta réponse (supprimée) à ma solution:

"Je suis d'accord avec toi que par la chaîne (4-12)df6/(1-6)d4/(6-5)d8/(5)d1, on démontre que si 4f6 Faux, alors 1d4 ET 5d1 Faux, et on en déduit immédiatement +4f6."

Et je t'explique:

"Non, ce n'est pas ce que je dis...

Si -4f6->directement la BI" etc...

(EDIT Bien sûr ce que tu dis est tout à fait juste et CORRECT, mais il y a utilisation d'autres candidats et cases que 127df169 et cela ne reflète donc pas exactement ma preuve)



Il me semble sincèrement avoir répondu...sur la validité de TA solution... en disant:

" il était amusant aussi de dire :*(BI-)4f6-12df6->les 2 gardiens sont évincés!"

Bien sûr qu'elle est valide (et un bon joueur comme toi le sait!)

Si le gardien "4f6" suffit alors "1d4" est inutile et ta démo a ainsi tendance à "se marcher sur les pieds" (-4f6->tellement directement-1d4) mais cela n'est pas un problème.

Voili  

Amicalement,

Sophie