Discussion :

[sperca]

Bonsoir,

Je sais que ce problème a été traité de nombreuses fois, mais je n'ai pas trouvé de code simple. Celui qui était dans les sources C du site a disparu.
Donc pour me remettre un petit peu à la programmation (rentrée tout ça...), j'ai essayé de faire un solveur de sudoku.

L'algorithme par backtracking est pourtant simple (à comprendre du moins ^^), mais je ne comprends pas pourquoi mon programme ne fonctionne pas (il remplit mal la grille).

Je vous poste mon code, si vous pouviez m'aiguiller, ce serait sympa ;-)

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
 
#define N_POSSIBILITES 9
#define T_GRILLE 9
 
void
initialiser_grille(int grille[][T_GRILLE], int taille) {
 
    int i;
    int j;
 
    for (i = 0; i < taille; i++) {
	for (j = 0; j < taille; j++) {
	    grille[i][j] = 0;
	}
    }
}
 
void
lire_grille(FILE* fichier, int grille[][T_GRILLE], int taille) {
 
    int i;
    int j;
    int c;
 
    for (i = 0; i < taille; i++) {
	for (j = 0; j < taille; j++) {
	    c = fgetc(fichier);
	    if (c != 0) {
		grille[i][j] = c - '0';
	    }
	}
	fseek(fichier, 1, SEEK_CUR);
    }
}
 
int
est_valide_ligne(int grille[][T_GRILLE], int taille, int ligne) {
 
    int i;
    int tableau[T_GRILLE] = {1, 1, 1, 1, 1, 1, 1, 1, 1};
 
    for (i = 0; i < taille; i++) {
	if (grille[ligne][i] != 0) {	
	    if (tableau[grille[ligne][i] - 1] == 0) {
		return 0;
	    }
	    else {
		tableau[grille[ligne][i] - 1] = 0;
	    }
	}
    }
 
    return 1;
}
 
int
est_valide_colonne(int grille[][T_GRILLE], int taille, int colonne) {
 
    int i;
    int tableau[T_GRILLE] = {1, 1, 1, 1, 1, 1, 1, 1, 1};
 
    for (i = 0; i < taille; i++) {
	if (grille[i][colonne] != 0) {
	    if (tableau[grille[i][colonne] - 1] == 0) {
		return 0;
	    }
	    else {
		tableau[grille[i][colonne] - 1] = 0;
	    }
	}
    }
 
    return 1;
}
 
 
int
est_valide_bloc(int grille[][T_GRILLE], int taille, int x, int y) {
 
    int i;
    int j;
    int tableau[T_GRILLE] = {1, 1, 1, 1, 1, 1, 1, 1, 1};
 
    for (i = x; i < x + 3; i++) {
	for (j = y; j < y + 3; j++) {
	    if (grille[i][j] != 0) {
		if (tableau[grille[i][j] - 1] == 0) {
		    return 0;
		}
		else {
		    tableau[grille[i][j] - 1] = 0;
		}		
	    }
	}
    }
 
    return 1;
}
 
int
sont_valides_blocs(int grille[][T_GRILLE], int taille) {
 
    int i;
    int j;
 
    for (i = 0; i < taille; i += 3) {
	for (j = 0; j < taille; j += 3) {
	    if (! est_valide_bloc(grille, taille, i, j)) {
		return 0;
	    }
	}
    }
 
    return 1;
}
 
int 
est_valide(int grille[][T_GRILLE], int taille) {
 
    int i;
 
    for (i = 0; i < taille; i++) {
	if (! est_valide_ligne(grille, taille, i) ||
	    ! est_valide_colonne(grille, taille, i)) {
	    return 0;
	}
    }
    if (! sont_valides_blocs(grille, taille)) {
	return 0;
    }
 
    return 1;
}
 
int
trouver_case_vide(int grille[][T_GRILLE], int taille, int* x, int *y) {
 
    int i;
    int j;
 
    for (i = 0; i < taille; i++) {
	for (j = 0; j < taille; j++) {
	    if (grille[i][j] == 0) {
		*x = i;
		*y = j;
 
		return 1;
	    }
	}
    }
 
    return 0;
}
 
void
solver_sudoku(int grille[][T_GRILLE], int taille) {
 
    int i;
    int j;
    int k;
 
    if (! trouver_case_vide(grille, taille, &i, &j)) {
	return;
    }
    for (k = 1; k <= N_POSSIBILITES; k++) {
	grille[i][j] = k;
	if (est_valide(grille, taille)) {
	    solver_sudoku(grille, taille);
	}
    }
}
 
int
main(int argc, char* argv[]) {
 
    int grille[T_GRILLE][T_GRILLE];
    FILE* fichier;
 
    if ((fichier = fopen(argv[1], "r")) == NULL) {
	return -1;
    }
 
    initialiser_grille(grille, T_GRILLE);
    lire_grille(fichier, grille, T_GRILLE);
    solver_sudoku(grille, T_GRILLE);
 
    {
	int i;
	int j;
 
	for (i = 0; i < T_GRILLE; i++) {
	    for (j = 0; j < T_GRILLE; j++) {
		printf("%d ", grille[i][j]);
	    }
	    printf("\n");
	}
    }
 
    fclose(fichier);
 
    return 0;
}

Le format du fichier est simple, sur chaque ligne 9 chiffre suivit d'un retour à la ligne. Les cases vides sont matérialisées par un 0.

exemple :

081004905
005000310
070050480
000000001
000000293
050007060
003089000
029000600
500060109

Merci à vous.

Bye

[diogene]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
lire_grille(FILE* fichier, int grille[][T_GRILLE], int taille) {
...
    int c;
...
	    c = fgetc(fichier);
	    if (c != 0) {
		grille[i][j] = (int) strtol((char*) &c, NULL, 10);

strtol demande comme argument une chaine de caractères, pas l'adresse d'un char ou d'un int.
Si il s'agit de convertir un caractère numérique en le chiffre correspondant, on peut utiliser c-'0'

[sperca]

Oui c'est vrai... Merci à toi.

Malheureusement ça ne devait pas être le seul problème car ça ne fonctionne pas plus.

[SofEvans]

Bonjour,

Juste une chose qui me tracasse.

Dans le code que tu as poster au debut, tu definie un bloc de la maniere suivante (il est situer apres l'appel a solver_sudoku)

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
 
    {
	int i;
	int j;
 
	for (i = 0; i < T_GRILLE; i++) {
	    for (j = 0; j < T_GRILLE; j++) {
		printf("%d ", grille[i][j]);
	    }
	    printf("\n");
	}
    }

C'est valide ca ?
Je n'avais jamais vu une pareille syntaxe, si c'est valide, que cela veut-il dire ??


EDIT :

*Tu as mis int main(void) et tu utilise argv a la ligne 182.... Ce code compile chez toi ?

*Apparemment, c'est la fonction de lecture du fichier qui ne donne pas ce que l'on veut. Il suffit de commenter l'appel a resolve_sudoku pour voir ce que le initialiser_grille et lire_grille font.

*La grille de sudoku que tu as mise ne sera pas lu entierement car c'est une grille 9*10, alors que tu veut 9*9. De plus, il faut que tu change fseek. En effet, tu lui dit de se deplacer de 1 caractere, mais il lit le caractere retour chariot et met -38 dans la grille. Il suffit de remplacer 1 par 2.
Cependant, ce n'etait pas ca qui bloquer ton algo.

[ram-0000]

C'est valide ca ?
Je n'avais jamais vu une pareille syntaxe, si c'est valide, que cela veut-il dire ??

Oui, c'est tout à fait valide.

Cela permet de déclarer un bloc avec une portée plus limitée sur la variables locales.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
void main(void)
{
   int i = 12;
   // ici i vaut 12
 
   {
      int i = 15;
      // ici i vaut 15 et le compilateur ne crie pas en disant double déclaration de variable
   }
 
   // ici i vaut à nouveau 12
}

Je l'utilise plutôt dans les cases d'un switch pour masquer supprimer le warning des variable locales au case non utilisée

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
switch(variable)
{
   case 1:
   {
      int i = 15;
   }
   break;
 
   case 2:
   // si dans le case 1, je ne mets pas d'acoolades de bloc
   // j'ai un warning ici "error C2360: l'initialisation de 'a' est ignorée par l'étiquette 'case'"
   break;
}

[sperca]

Pour les paramètres de la fonction main(), j'ai dû copier coller une ancienne version... C'est corrigé.

Pour les fonctions d'initialisation et de lecture du fichier tout va bien, fin la grille est bien remplie (j'avais ajouté une ligne de trop à l'exemple).

Donc voilà, la grille ne se remplit pas cependant.

Merci à vous.

EDIT : tu as édité ton message en même temps que moi, l'appel à fseek est juste, si je mets 2 ça me met -38 dans la case.

[diogene]

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
void
solver_sudoku(int grille[][T_GRILLE], int taille) {
...
    for (k = 1; k <= N_POSSIBILITES; k++) {
	grille[i][j] = k;
	if (est_valide(grille, taille)) {
	    solver_sudoku(grille, taille);
	}
    }
}

- Et si k donne une grille invalide ? Maintenant on a mis l'invalide k dans grille[i][j] et il y reste !
- Si k donne une grille valide, on entre dans la récursivité. Lorsqu'on sort de cet appel, on continue la boucle for et on écrase la valeur (valide) k dans grille[i][j]

[SofEvans]

D'accord.

Je ne connaissait vraiment pas.
C'est bon a savoir car quand j'essayer de declarer une variable dans un switch, cela m'afficher une erreur. Je sais d'ou ca vient maintenant.