zakarya/puzzles
1
0
Fork 0
mirror of git://git.tartarus.org/simon/puzzles.git synced 2025-04-20 23:51:29 -07:00
Code Issues Packages Projects Releases Wiki Activity

Group: fill in the latin.c validator function.

Browse Source 
This actually fixes the example game id mentioned in the previous
commit. Now 12i:m12b9a1zd9i6d10c3y2l11q4r is reported as Unreasonable
rather than ambiguous, on the basis that although the solver still
recurses and finds two filled grids, the validator throws out the
nonsense one at the last minute, leaving only one that's actually
legal.
This commit is contained in:
Simon Tatham
2020-05-23 08:41:43 +01:00
parent f21d3e4c74
commit 31cb5227e6
1 changed files with 31 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
unfinished/group.c
View File

@ -450,7 +450,37 @@ static usersolver_t const group_solvers[] = { DIFFLIST(SOLVER) };
static bool group_valid(struct latin_solver *solver, void *ctx)
{
return true; /* FIXME */
int w = solver->o;
#ifdef STANDALONE_SOLVER
char **names = solver->names;
#endif
int i, j, k;
for (i = 0; i < w; i++)
for (j = 0; j < w; j++)
for (k = 0; k < w; k++) {
int ij = grid(i, j) - 1;
int jk = grid(j, k) - 1;
int ij_k = grid(ij, k) - 1;
int i_jk = grid(i, jk) - 1;
if (ij_k != i_jk) {
#ifdef STANDALONE_SOLVER
if (solver_show_working) {
printf("%*sfailure of associativity: "
"(%s%s)%s = %s%s = %s but "
"%s(%s%s) = %s%s = %s\n",
solver_recurse_depth*4, "",
names[i], names[j], names[k],
names[ij], names[k], names[ij_k],
names[i], names[j], names[k],
names[i], names[jk], names[i_jk]);
}
#endif
return false;
}
}
return true;
}
static int solver(const game_params *params, digit *grid, int maxdiff)