"Weekly unsolvable" AS#37

Bonjour à tous,

Une grille pour André : dans ton dernier message tu souhaites une grille du même niveau que la "tough" du 08 janvier pour tester ton nouvel outil. Celle-ci devrait te satisfaire : il faut mouliner et mouliner encore. J'ai une solution sans dérivé ternaire, mais je n'ai pas encore vérifié s'ils apporteraient un raccourci.

Nota, malgré ce message personnel, la grille s'adresse à tous !
JC Van Hay en a déjà donné une solution sur le site d'Andrew Stuart : www.sudokuwiki.org/weekly_sudoku.asp (c'est la grille #37 pour la semaine en cours - du 8 au 14 janvier 2012)


200 090 005
004 200 000
000 307 100

010 000 006
002 863 500
300 000 020

009 408 000
000 006 700
500 030 001

Bon courage !
Cenoman

Bonsoir Cenoman,

Ce n'est pas une grille de mon niveau. Un seul OU() et puis s'en vont...
Pas assez de jumeaux. Une vingtaine! C'est trop peu pour moi.

André

Bonjour André, bonjour à tous,

André, je suis surpris de tes décomptes : j'ai utilisé 35 marques pour des "jumeaux simples" (jusqu'à é inclus) dans mon premier marquage - voir mon premier tableau ci-dessous. J'appelle jumeaux simples les jumeaux dont l'un au moins est un candidat unique (les autres sont des groupes jumeaux) Au total : 41 jumeaux simples et groupes jumeaux. De quoi commencer avec une table des conflits assez fournie. Les OU ne foisonnent pas, mais j'en ai quand même cinq, plus un interdit qui utilise un conflit de pseudo-case, juste après. Ensuite, il est vrai qu'il faut faire tourner le moulin à ternaires !


I - Dans la situation de départ, on détecte trois OU :


_ | a______ b_______ c____ | d_____ e______ f____ | g_____ h______ i_____ |
1 | _______ 37q8s___ 1a3A_ | ______ _______ 1A4a_ | 34è8__ 347Q8__ ______ |
2 | 1A67é89 3i5m6789 _____ | ______ 1x58ç__ 1b5B_ | 36ã89_ 36789__ 7æ89__ |
3 | 689____ 5689____ 5à68_ | ______ 4A5m8Ç_ _____ | ______ 4a6o89t ______ |

4 | 4789___ ________ 5n78_ | 579___ 2f457__ 2F459 | 3j489_ 3J47æ89 ______ |
5 | 479____ 479_____ _____ | ______ _______ _____ | ______ _______ 4k7r9u |
6 | _______ 45à6p789 56P78 | 1w579_ 1457___ 1x459 | 489___ _______ 4789__ |

7 | 1g6â7__ 267_____ _____ | ______ 1G25D7E _____ | 2c6C__ 5d6D___ ______ |
8 | 14y8___ 2h3A48__ 1A3a_ | 1W5á9v 12H5___ _____ | ______ 45D89__ 4z89__ |
9 | _______ 24l678__ 67ä8_ | 7e9E__ _______ 2f9F_ | 2C4689 4689___ ______ |


4f4/a(4Kf)-A/h(b8)-H/f(2R8)-F/4f4(f4) =>OU{a-F} 4f4=Faux (4e4=î, 4ef6=Î)

6a2/O(6R1)-o/a(h3)-A/6a2(a2) =>OU{O-A} 6a2=Faux (6a3=Â)

9a2/T(9R1)-t/a(h3)-A/9a2(a2) =>OU{T-A} 9a2=Faux (9a3=í, 9a45=9b23=Í)

Ces éliminations conduisent aux deux OU suivants :


_ | a____ b_________ c____ | d_____ e______ f_____ | g_____ h______ i_____ |
1 | _____ 37q8s_____ 1a3A_ | ______ _______ 1A4a__ | 34è8__ 347Q8__ ______ |
2 | 1A7é8 3i5m6o789t _____ | ______ 1x58ç__ 1b5B__ | 36ã89_ 36789__ 7æ89__ |
3 | 6Â89í 5689______ 5à68_ | ______ 4A5m8Ç_ ______ | ______ 4a6o89t ______ |

4 | 4789_ __________ 5n78_ | 579___ 2f4î57_ 2F59__ | 3j489_ 3J47æ89 ______ |
5 | 479__ 479_______ _____ | ______ _______ ______ | ______ _______ 4k7r9u |
6 | _____ 45à6p789__ 56P78 | 1w579_ 1457___ 1x4A59 | 489___ _______ 4789__ |

7 | 1g6â7 267_______ _____ | ______ 1G25D7E ______ | 2c6C__ 5d6D___ ______ |
8 | 14y8_ 2h3A48____ 1A3a_ | 1W5á9v 12H5___ ______ | ______ 45D89__ 4z89__ |
9 | _____ 24l678____ 67ä8_ | 7e9E__ _______ 2f9F__ | 2C4689 4689___ ______ |

4b6/K(4R4)-k/r(i5)-R/Ä(7R4)-ä/e(7L9)-E/F(9L9)-f/î(e4)-Î/4b6(4L6) =>OU{K-Î} 4b6=Faux

9b6/U(9R4)-u/r(i5)-R/Ä(7R4)-ä/e(7L9)-E/G(e7)-g/â(a7)-Â/í(a3)-Í/9b6(9Kb) =>OU{U-Í} 9b6=Faux

II - La suite utilise un interdit avec pseudo-case, trois interdits ternaires et un OU :


_ | a_____ b_________ c____ | d_____ e______ f_____ | g_____ h______ i_____ |
1 | ______ 37q8s_____ 1a3A_ | ______ _______ 1A4a__ | 34è8__ 347Q8__ ______ |
2 | 1A7é8_ 3i5m6o789t _____ | ______ 1x58ç__ 1b5B__ | 36ã89_ 36789__ 7æ89__ |
3 | 6Â89í_ 5689______ 5à68_ | ______ 4A5m8Ç_ ______ | ______ 4a6o89t ______ |

4 | 4k789u __________ 5n78_ | 579___ 2f4î57_ 2F59__ | 3j489_ 3J47æ89 ______ |
5 | 479___ 4y79í_____ _____ | ______ _______ ______ | ______ _______ 4k7r9u |
6 | ______ 5à6p78____ 56P78 | 1w579_ 1457___ 1x4A59 | 489___ _______ 4789__ |

7 | 1g6â7_ 267_______ _____ | ______ 1G25D7E ______ | 2c6C__ 5d6D___ ______ |
8 | 14y8__ 2h3A48____ 1A3a_ | 1W5á9v 12H5___ ______ | ______ 45D89__ 4z89__ |
9 | ______ 24l678____ 67ä8_ | 7e9E__ _______ 2f9F__ | 2C4689 4689___ ______ |


Notons l'existence de la pseudo-case a7e7 qui induit le conflit 7ae7/6a7 (soit 7ae7/â)
On en déduit l'interdit sur o :

o/a(h3)-A/é(a2)-É/7b7(7Kb)-7ae7/â(PC)-Â/o(6R1) =>INTERDIT o=Faux (-6b2, -6h3)

A partir de là, il faut recourir aux interdits ternaires. On en retient trois dans le marquage ci-dessus :

INTERDIT TERNAIRE (æ-8i2-9i2)/t=>-9b2, -9h3
æ/r(7R6)-R/Ä(7R4)-ä/e(7L9)-E/G(e7)-g/A(1R7)-a/t(h3)
8i2/ç(8L2)-Ç/A(e3)-a/t(h3)
9i2/t(9L2)

INTERDIT TERNAIRE (A-x-b)/v=>-9d8, -9(g9+h9)
A/h(b8)-H/f(2R8)-F/v(9R8)
x/w(1L6)-W/v(d8)
b/Á(5R5)-á/v(d8)

INTERDIT TERNAIRE (k-4i6-z)/4h89=>-4h89
k/r(i5)-R/Ä(7R4)-ä/e(7L9)-E/G(e7)-g/A(1R7)-a/4h89(4Kh)
4i6/A(4L6)-a/4h89(4Kh)
z/4h89(4R9)


Un OU se déduit de la situation résultante


_ | a_____ b_____ c____ | d____ e______ f_____ | g_____ h_______ i_____ |
1 | ______ 37q8s_ 1a3A_ | _____ _______ 1A4a__ | 34è8__ 347Q8___ ______ |
2 | 1A7é8_ 3i5m78 _____ | _____ 1x58ç__ 1b5B__ | 36ã89ô 36Ã789__ 7æ89__ |
3 | 6Â89í_ 5689Í_ 5à68_ | _____ 4A5m8Ç_ ______ | ______ 4a8A____ ______ |

4 | 4k789u ______ 5n78_ | 579__ 2E4î57_ 2e59__ | 3j489_ 3J4è7æ89 ______ |
5 | 479___ 4y79í_ _____ | _____ _______ ______ | ______ ________ 4k7r9u |
6 | ______ 5à6p78 56P78 | 1w579 1457___ 1x4A59 | 489___ ________ 4789__ |

7 | 1g6â7_ 267___ _____ | _____ 1G25D7E ______ | 2c6C__ 5d6D____ ______ |
8 | 14y8__ 2h3A48 1A3a_ | 1W5w_ 12H5___ ______ | ______ 5D89ó___ 4l89Ó_ |
9 | ______ 24l678 67ä8_ | 7e9E_ _______ 2E9e__ | 2C4L68 6ò8Ò____ ______ |


4h1/a(4L1)-A/S(8R3)-s/q(b1)-Q/4h1(h1) =>OU{a-Q} 4h1=Faux

III - Dans le tableau marqué qui en résulte, on retient encore quatre interdits ternaires, et on poursuit en marquage simple :


_ | a_____ b_____ c____ | d____ e______ f_____ | g_____ h_______ i_____ |
1 | ______ 37q8s_ 1a3A_ | _____ _______ 1A4a__ | 34A8__ 37Q8____ ______ |
2 | 1A7é8_ 3i5m78 _____ | _____ 1x58ç__ 1b5B__ | 36ã89ô 36Ã789__ 7æ89__ |
3 | 6Â89í_ 5689Í_ 5à68_ | _____ 4A5m8Ç_ ______ | ______ 4a8A____ ______ |

4 | 4k789u ______ 5n78_ | 579__ 2E4î57_ 2e59__ | 3j489_ 3J4A7æ89 ______ |
5 | 479___ 4y79í_ _____ | _____ _______ ______ | ______ ________ 4k7r9u |
6 | ______ 5à6p78 56P78 | 1w579 1457___ 1x4A59 | 489___ ________ 4789__ |

7 | 1g6â7_ 267___ _____ | _____ 1G25D7E ______ | 2c6C__ 5d6D____ ______ |
8 | 14y8__ 2h3A48 1A3a_ | 1W5w_ 12H5___ ______ | ______ 5D89ó___ 4l89Ó_ |
9 | ______ 24l678 67ä8_ | 7e9E_ _______ 2E9e__ | 2C4L68 6ò8Ò____ ______ |


INTERDIT TERNAIRE (2b9-E-C)/A=>-3c1, -1c8, -1f1, -4g1, -8h3, -4e3, -4f6, -4h4, -1a2, -3b8
2b9/l(b9)-L/A(4Kg)
E/H(2R8)-h/A(b8)
C/ò(6R9)-Ò/A(8Kh)

INTERDIT TERNAIRE (y-4b8-l)/k=>-4i5, -4a4
y/k(4L5)
4b8/h(b8)-H/E(2R8)-e/R(7R4)-r/k(i5)
l/k(4Ki)

INTERDIT TERNAIRE (y-7b5-í)/C=>-6g7, -2g9
y/l(4L8)-L/C(g9)
7b5/e(7R4)-E/C(2L9)
í/Â(a3)-â/C(6L7)

INTERDIT TERNAIRE (ã-C-6g9)/9h4=>-9h4
ã/ô(g2)-Ô/9h4(9R6)
C/L(g9)-l/Ó(i8)-ó/9h4(9Kh)
6g9/L(g9)-l/Ó(i8)-ó/9h4(9Kh)

On fait suivre ces ternaires en marquage simple (fusion, interdit et OU) :


_ | a____ b______ c____ | d____ e_____ f___ | g_____ h_____ i____ |
1 | _____ 3I7q8s_ _____ | _____ ______ ____ | 3õ8Õ__ 37Q8__ _____ |
2 | 7é8É_ 3i5m78_ _____ | _____ 1B58m_ 1b5B | 36ã89ô 36Ã789 7æ89_ |
3 | 6Â89í 5689Í__ 5à68_ | _____ 5m8M__ ____ | ______ ______ _____ |

4 | 789R_ _______ 5n78_ | 579__ 2E4î57 2e59 | 3j4Î8_ 3J7æ89 _____ |
5 | 4Y79_ 4y79í__ _____ | _____ ______ ____ | ______ ______ 7r9R_ |
6 | _____ 5à6p78_ 56P78 | 1w579 14Î57_ 1B59 | 489Ô__ ______ 4L789 |

7 | 1g6â7 6ö7Ö___ _____ | _____ 1G5D7E ____ | ______ 5d6D__ _____ |
8 | 1G4y8 2E48___ _____ | 1W5w_ 12e5__ ____ | ______ 5D89ó_ 4l89Ó |
9 | _____ 2e4l678 67ä8_ | 7e9E_ ______ 2E9e | 4L6Ã8_ 6ò8Ò__ _____ |

e/l(b9)-L/Î(4Kg)-î/E(e4) =>FUSION e=L=î (-57e4, -4g6, -678b9, 7c9=E)

æ/J(h4)-j/Î(g4)-î/E(e4)-e/ä(7L9)-Ä/R(7R4)-r/æ(7R6) =>INTERDIT æ=Faux (-7h4, 7d4=ï, 7ac4=Ï)

d'où le OU suivant :

7c6/Ï(7R4)-ï/e(7Kd)-E/7c6 => OU{Ï-E} -7c6

IV - Le déblocage final est obtenu par trois interdits ternaires :


_ | a____ b_____ c_____ | d____ e_____ f___ | g_____ h_______ i_____ |
1 | _____ 3I7q8s ______ | _____ ______ ____ | 3õ8Õ__ 37Q8____ ______ |
2 | 7é8É_ 3i5m78 ______ | _____ 1B58m_ 1b5B | 36ã89ô 36Ã7q89Ó 8ù9Ù__ |
3 | 6Â89í 5689Í_ 5à68__ | _____ 5m8M__ ____ | ______ ________ ______ |

4 | 789R_ ______ 5n7e8_ | 57ï9_ 2E4e__ 2e59 | 3j4E89 3J8j____ ______ |
5 | 4Y79_ 4y79í_ ______ | _____ ______ ____ | ______ ________ 7r9R__ |
6 | _____ 5à6p78 56P8__ | 1w579 14E57e 1B59 | 8ú9Ú__ ________ 4e7R89 |

7 | 1g6â7 6ö7Ö__ ______ | _____ 1G5D7E ____ | ______ 5d6D____ ______ |
8 | 1G4y8 2E48__ ______ | 1W5w_ 12e5__ ____ | ______ 5D89ó___ 4E89Ó_ |
9 | _____ 2e4E__ 6D7E8Ì | 7e9E_ ______ 2E9e | 4e6Ã8_ 6ò8Ò____ ______ |


INTERDIT TERNAIRE (7a4-8a4-R)/3h2=>-3h2
7a4/e(7L4)-E/j(g4)-J/3h2(3Kh)
8a4/j(8L4)-J/3h2(3Kh)
R/Ú(9R6)-ú/Õ(8Kg)-õ/3h2(3R3)

INTERDIT TERNAIRE (y-7b5-í)/3g2=>-3g2
y/E(4Kb)-e/Ã(g9)-ã/3g2(g2)
7b5/r(7L5)-R/Ú(9R6)-ú/Õ(8Kg)-õ/3g2(3Kg)
í/Â(a3)-â/ö(6L7)-Ö/E(7R7)-e/Ã(g9)-ã/3g2(g2)

INTERDIT TERNAIRE (B-5f6-9f6)/G=>-1e7, -1a8
B/G(1Ke)
5f6/N(5R5)-n/e(c4)-E/G(e7)
9f6/e(9Kf)-E/G(e7)

FIN de la grille !

Je trouve que c'est un bon test du moulin à ternaires !!

Cordialement.
Cenoman.

Bonsoir Cenoman,

L'expérience m' a appris que lorsque le nombre de jumeaux simples (non compris les jumeaux dits de "groupe") avoisinne la vingtaine, il ne me reste pas assez de marques pour avoir un pourcentage de chance raisonnable de marquer les bons "prétendants". De plus, la recherche des OU() est chez moi est toujours visuelle, c'est dire la difficulté de les repérer dans un imbroglio de marques.
Dans le cas de cette grille, c'est vrai que j'aurai pu découvrir les 2 OU() sur la case a2. Si j'ai du courage, je vais développer une macro qui les détecte mais cela ne résoud pas mon problème de base dans les grilles de ce type. Je devrai suivre les conseile de J.C Van Hay qui m'a suggéré de modifier ma façon d'identifier les prétendants qui est limitée à 50 dans notre alphabet. Je n'ai même pas de système automatique pour marquer les grilles, ni même pour enregistrer les conflits dits de groupe. Je fais tout à la main. je ne parle même pas de conflits issus des pseudo-cases. C'est très fastidieux.
Bref, je déclare forfait sur cette grille.
Merci quand même de me l'avoir proposée.

Amicalement

André

Bonjour André,
je comprends tes soucis. J'ai rapidement renoncé aux lettres pour ne pas être limité aux caractères imprimables de la table des caractères. Comme je l'ai déjà dit mes marques sont des nombres de 1 à n (n étant aussi grand que nécessaire, j'ai adopté la technique des tableaux dynamiques dans ma programmation) et j'ai considéré que deux nombres successifs marquent des jumeaux (impair ~ minuscule et pair ~ majuscule) Ce n'est qu'au moment d'imprimer une sortie que je convertis les nombres marquant des jumeaux simples en lettres.
En ce qui concerne les grilles que je poste sur le forum, j'essaie de poster des grilles pas trop faciles (c'est à dire dans mon esprit non résolue par du marquage simple seul) mais ce n'est pas facile de trouver le juste milieu. As-tu remarqué comme moi qu'il devient de plus en plus rare d'en trouver sur le site MC ? J'ai l'impression qu'ils essaient de filtrer les grilles faisant appel à la force brute. C'est pourquoi je puise souvent sur le site australien et sur celui d'Andrew Stuart.


Cordialement
Cenoman

Bonjour Cenoman,

Tout d'abord, je suis assez rassuré sur mes erreurs de double marquage. En fait, il s'agissait de fusions provenant de dérivés ternaires que je n'avais pas enregistrés dans mon post initial. Cela m'arrive de temps en temps avec les dérivés ternaires, en particulier sur 2 marques fausses. Cela me désoriente parce que, comme tu l'as remarqué, ils ne font pas partie de la même nappe. mais je suis certain qu'elles seront supprimées plus loin dans la résolution de la grille.

En ce qui concerne mon système de marquage. Je l'ai adopté au départ sous l'impulsion de G.Penet et développé petit à petit sur une feuille de calcul EXCEL par un certain nombre d'utilitaires (une vingtaine de macros). Tous mes résultats sont visuels pour la raison bien simple que je travaille sans faire appel aux possibilités internes de VISUAL BASIC comme tu le fais. Mon système est très lent. Un tour de moulin avec 300/400 conflits et une vingtaine de ternaires à tester,ce qui est fréquent, me prend 5 minutes. Il n'est pas rare de devoir faire 20 à 30 tours de moulin dans une grille.

Comme je te l'ai déja dit pour aller plus loin, je devrai recommencer à zéro. Je n'en ai ni le courage, ni l'envie, sans compter la compétence technique en VISUAL BASIC de traiter des objets comme les matrices, ce qui est essentiel.

La seule solution qui me reste est d'améliorer mon système par l'adjonction de conflits supplémentaires générés par les ALS, les pseudo-cases par exemple comme le fait Jeanlé et surtout de ne pas m'attaquer à des grilles trop difficiles qui me décourage complètement.

André

P.S. En ce qui concerne le site MC, je suis d'accord avec toi, les grilles intéressantes sont rares. Elles sont en général avec plus de 3 essais de possibilités mais la pêche est loin d'être fructueuse (une cinquantaine de lancer au minimum)