Grille Extra 102

joel64
Sudoka Expert



Inscrit le: 28 Avr 2006
Messages: 85

Posté le: Ven 10/11/2006 0:58

Bonjour,

Une solution par coloriage.

Premier coloriage :




1)
- Coloriage_T3E1 a+B+G = 0,1 ; 4,7,6 C6
a+A=1 B+A=1,2 G+A=0,1,2 ==> A valide
-T2_Lien2 A+e=1,2 ; B+E=1,2 ; e+E=1 ==> A+B=1,2
-T2_Lien2 e+d=1,2 ; A+D=1,2 ; d+D=1 ==> A+e=1,2
-T2_Lien2 d+c=1,2 ; e+C=1,2 ; c+C=1 ==> d+e=1,2
- Lien_2 C+D=0,1 et c+d=1,2 par 2 I3,I4
- Lien_2 c+E=0,1 et C+e=1,2 par 2 F3,F7
- Lien_2G1 d+a=0,1 et D+A=1,2 par 4 Groupe(E6,F6)d,C6
- Lien_1 e+b=0,1 et E+B=1,2 par 2,7 case C7

2)
- Coloriage_T3E1 a+B+G = 0,1 ; 4,7,6 C6
a+F=0,1,2 B+F=1,2 G+F=1,2 ==> F valide
-T2_Lien2 F+e=1,2 ; B+E=1,2 ; e+E=1 ==> B+F=1,2
-T2_Lien2 e+d=1,2 ; F+D=1,2 ; d+D=1 ==> e+F=1,2
-T2_Lien2 d+c=1,2 ; e+C=1,2 ; c+C=1 ==> d+e=1,2
- Lien_2 C+D=0,1 et c+d=1,2 par 2 I3,I4
- Lien_2 c+E=0,1 et C+e=1,2 par 2 F3,F7
- Lien_2G1 d+f=0,1 et D+F=1,2 par 4 Groupe(E6,F6)d,A6
- Lien_1 e+b=0,1 et E+B=1,2 par 2,7 case C7
- Lien_1 f+g=0,1 et F+G=1,2 par 4,6 case A6

Toujours avec ma codification personnelle, je montre la validation de 'A' et 'F'. En lisant haut en bas, on a le résultat obtenu à partir de différents conflits et interactions.

Deuxième coloriage:





===
- Coloriage_T3D0 A+k+l = 1 ; 2,5,6 sur C8
A+e=0,1 k+e=0,1 l+e=0,1 ==> e invalide
-T2_Lien2 E+d=1,2 ; a+D=1,2 ; d+D=1 ==> a+E=1,2
- Lien_1 D+e=0,1 et d+E=1,2 par 4,7 case E6
-T2_Lien2 a+b=1,2 ; D+B=1,2 ; b+B=1 ==> a+D=1,2
- Lien_2 A+B=0,1 et a+b=1,2 par 2 C8,E8
- Lien_1 b+d=0,1 et B+D=1,2 par 2,4 case E1

-T2_Lien2 E+c=1,2 ; K+C=1,2 ; c+C=1 ==> E+K=1,2 équivalent à e+k=0,1
- Lien_2 C+e=0,1 et c+E=1,2 par 7 C6,E6
-T2_Lien2 K+a=1,2 ; C+A=1,2 ; a+A=1 ==> C+K=1,2
- Lien_1 A+k=0,1 et a+K=1,2 par 2,5 case C8
- Lien_1 a+c=0,1 et A+C=1,2 par 2,7 case C7

-T2_Lien2 E+c=1,2 ; L+C=1,2 ; c+C=1 ==> E+L=1,2 équivalent à e+l=0,1
- Lien_2 C+e=0,1 et c+E=1,2 par 7 C6,E6
-T2_Lien2 L+a=1,2 ; C+A=1,2 ; a+A=1 ==> C+L=1,2
- Lien_1 A+l=0,1 et a+L=1,2 par 2,6 case C8
- Lien_1 a+c=0,1 et A+C=1,2 par 2,7 case C7
===
- Coloriage_T3D0 A+k+l = 1 ;
A+g=0,1 k+g=0,1 l+g=0,1 ==> g invalide
-T2_Lien2 G+h=1,2 ; a+H=1,2 ; h+H=1 ==> a+G=1,2
- Lien_2 g+H=0,1 et G+h=1,2 par 5 D1,H1
-T2_Lien2 a+b=1,2 ; H+B=1,2 ; b+B=1 ==> a+H=1,2
- Lien_2 A+B=0,1 et a+b=1,2 par 2 C8,E8
- Lien_2 b+h=0,1 et B+H=1,2 par 2 E1,H1
-T2_Lien2 G+j=1,2 ; K+J=1,2 ; j+J=1 ==> G+K=1,2
- Lien_2G1 J+g=0,1 et j+G=1,2 par 5 Groupe(D2,E2)J,D1
- Lien_2 j+k=0,1 et J+K=1,2 par 5 C2,C8
-T2_Lien2 L+n=1,2 ; G+N=1,2 ; n+N=1 ==> G+L=1,2
-T2_Lien2 L+m=1,2 ; n+M=1,2 ; m+M=1 ==> L+n=1,2
- Lien_2 l+M=0,1 et L+m=1,2 par 6 C8,G8
- Lien_2G1 m+N=0,1 et M+n=1,2 par 6 Groupe(I8,I9)m,I1
- Lien_1 g+n=0,1 et G+N=1,2 par 5,6 case D1


'g' invalide sup 5 D1(356)
'e' invalide sup 7 E6(3457)

7C en D7 et 1H en H7 => sup 1 sur D7
-T2_Lien2 C+b=1,2 ; H+B=1,2 ; b+B=1 ==> C+H=1,2
-T2_Lien2 b+a=1,2 ; C+A=1,2 ; a+A=1 ==> b+C=1,2
- Lien_2 A+B=0,1 et a+b=1,2 par 2 C8,E8
- Lien_1 a+c=0,1 et A+C=1,2 par 2,7 case C7
- Lien_2 b+h=0,1 et B+H=1,2 par 2 E1,H1

1O en A9 et 1P en F7 => sup 1 sur D9
1O en A9 et 1P en F7 => sup 1 sur E9
-T2_Lien2 O+i=1,2 ; P+I=1,2 ; i+I=1 ==> O+P=1,2
-T2_Lien2 O+h=1,2 ; i+H=1,2 ; h+H=1 ==> i+O=1,2
- Lien_2 o+H=0,1 et O+h=1,2 par 1 A7,H7
- Lien_2G1 I+h=0,1 et i+H=1,2 par 2 Groupe(E1,F1)I,H1
- Lien_1 p+i=0,1 et P+I=1,2 par 1,2 case F3

4D en E6 et 3f en I6 => sup 3 sur E6
-T2_Lien2 f+c=1,2 ; D+C=1,2 ; c+C=1 ==> D+f=1,2
- Lien_2 C+F=0,1 et c+f=1,2 par 7 C6,I6
-T2_Lien2 C+b=1,2 ; D+B=1,2 ; b+B=1 ==> C+D=1,2
-T2_Lien2 b+a=1,2 ; C+A=1,2 ; a+A=1 ==> b+C=1,2
- Lien_2 A+B=0,1 et a+b=1,2 par 2 C8,E8
- Lien_1 a+c=0,1 et A+C=1,2 par 2,7 case C7
- Lien_1 b+d=0,1 et B+D=1,2 par 2,4 case E1

7C en D7 et 3r en G7 => sup 3 sur D7
-T2_Lien2 r+h=1,2 ; C+H=1,2 ; h+H=1 ==> C+r=1,2
- Lien_2 R+H=0,1 et r+h=1,2 par 1 G7,H7
-T2_Lien2 C+b=1,2 ; H+B=1,2 ; b+B=1 ==> C+H=1,2
-T2_Lien2 b+a=1,2 ; C+A=1,2 ; a+A=1 ==> b+C=1,2
- Lien_2 A+B=0,1 et a+b=1,2 par 2 C8,E8
- Lien_1 a+c=0,1 et A+C=1,2 par 2,7 case C7
- Lien_2 b+h=0,1 et B+H=1,2 par 2 E1,H1

6l en C8 et 6M en G8 => sup 6 sur B8
6l en C8 et 6M en G8 => sup 6 sur I8
- Coloriage_T3D1 A+k+l = 1 ; A+m=0,1 k+m=0,1 l+m=0,1,2 ==> M+l=1
-T2_Lien2 M+h=1,2 ; a+H=1,2 ; h+H=1 ==> a+M=1,2
- Lien_2G1 m+H=0,1 et M+h=1,2 par 1 Groupe(G7,G8)m,H7
-T2_Lien2 a+b=1,2 ; H+B=1,2 ; b+B=1 ==> a+H=1,2
- Lien_2 A+B=0,1 et a+b=1,2 par 2 C8,E8
- Lien_2 b+h=0,1 et B+H=1,2 par 2 E1,H1
-T2_Lien2 M+j=1,2 ; K+J=1,2 ; j+J=1 ==> K+M=1,2
- Lien_2 J+m=0,1 et j+M=1,2 par 6 C2,G2
- Lien_2 j+k=0,1 et J+K=1,2 par 5 C2,C8

1O en A9 et 6s en A6 => sup 6 sur A9
-T2_Lien2 O+h=1,2 ; s+H=1,2 ; h+H=1 ==> O+s=1,2
- Lien_2 o+H=0,1 et O+h=1,2 par 1 A7,H7
-T2_Lien2 s+c=1,2 ; H+C=1,2 ; c+C=1 ==> H+s=1,2
- Lien_1 S+C=0,1 et s+c=1,2 par 6,7 case C6
-T2_Lien2 C+b=1,2 ; H+B=1,2 ; b+B=1 ==> C+H=1,2
-T2_Lien2 b+a=1,2 ; C+A=1,2 ; a+A=1 ==> b+C=1,2
- Lien_2 A+B=0,1 et a+b=1,2 par 2 C8,E8
- Lien_1 a+c=0,1 et A+C=1,2 par 2,7 case C7
- Lien_2 b+h=0,1 et B+H=1,2 par 2 E1,H1

Puis :
* Gratte-ciel_C 5 C2-C6/F6-(F1,F3) ; sup 5 sur D2(1568),E2(158)

12 C2 = 5 1/Lig:2

Et un dernier coloriage :




- Lien_2G1 C+b=0,1 et c+B=1,2 par 5 Groupe(I1,I3)C,I8
- Lien_2G1 b+c=0,1 et B+C=1,2 par 1 Groupe(G7,G8)b,H7
-T2_Lien1 B+b=1 ; B+c=1,2 et b+c=0,1 ; ==> valide B 2<=B+b+B+c<=3 2<=B+B+(b+c)<=3 2<=B+B<=2

'B' valide. Validation D1 = 3
'B' valide. Validation I1 = 6

14 G2 = 1 - 1/case
15 E2 = 8 - 1/case
16 D2 = 6 - 1/case
17 G7 = 3 - 1/case
18 G8 = 6 - 1/case
19 C8 = 2 - 1/case
20 C7 = 7 - 1/case
etc .......

Cordialement

Papa a écrit:

Pour traduire fidèlement ce raisonnement, il faut "atomiser" (comme dxp le dit) le dernier bloc horizontal : vu la preuve de papa, cette idée est assez naturelle. Donc tous les ESC seront réduits à une seule case, sauf esc Z = maison 7 privée de a7 et c7 (ça aussi, c'est assez naturel vu la conclusion de papa).

esc Z en cases a9, b8, b9, c8 : de liberté 2



somme des libertés - somme des contraintes = 20-18 = 2

on applique la règle i=2 : tout candidat voyant trois (2+1) élément du réseau est éliminé.

i7#1 car voyant la charnière 1 entre G7 A7 H7 (en haut à gauche) , la charnière 1 entre G8 H7 G7 (en haut à droite) et la charnière 1 entre A7 D7 G7 H7 (en bas).

c7#5, f7#5, i7#5 car voyant le 5 de H7 (à droite), la charnière 5 entre H7, A7, D7 (en haut), la charnière 5 entre A7 et H7 (en bas).

Dernière édition par leon1789 le Ven 10/11/2006 15:23; édité 3 fois

papyg
Admin



Inscrit le: 11 Oct 2005
Messages: 1120

Posté le: Ven 10/11/2006 14:06

Bravo Léon...

et

BONNE FETE
papyg

leon1789
Sudoka Expert



Inscrit le: 02 Aoû 2006
Messages: 495

Posté le: Ven 10/11/2006 14:36

papyg a écrit:

BONNE FETE

ah oui, c'est exact ! Merci

leon1789
Sudoka Expert



Inscrit le: 02 Aoû 2006
Messages: 495

Posté le: Ven 10/11/2006 21:26

papa a écrit:

Un coup assez simple dans le dernier bloc horizontal que je n'arrive pas malgré tout pas a traduire simplement en EQC : (...) Donc C7#5 ; F7#5 ; I7#5 et I7#1

Mais voici une chaine presque équivalente, mais totalement esprit ALS/ESC : je veux dire que ce n'est pas une traduction créant des réseaux horribles (comme ci-dessus), mais une petite chaine qui ne mange pas pain, le genre de chaîne qui fait aimer les ALS/ESC



somme des libertés - sommes des contraintes = 4-3 = 1, donc élimination des candidats voyant deux (1+1) élements du réseau.
i7#1 car voyant les 1 élément propre de C et charnière A--B
i7#5 et f7#5 car voyant les 5 de A et C