aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/h48/solve.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/solvers/h48/solve.h')
-rw-r--r--src/solvers/h48/solve.h100
1 files changed, 0 insertions, 100 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h
index 4bf55ca..b67aedc 100644
--- a/src/solvers/h48/solve.h
+++ b/src/solvers/h48/solve.h
@@ -16,16 +16,6 @@ typedef struct {
16 uint8_t premoves[MAXLEN]; 16 uint8_t premoves[MAXLEN];
17} dfsarg_solveh48_t; 17} dfsarg_solveh48_t;
18 18
19typedef struct {
20 cube_t cube;
21 int8_t nmoves;
22 int8_t depth;
23 uint8_t moves[MAXLEN];
24 uint32_t *cocsepdata;
25 uint8_t *h48data;
26 char *s;
27} dfsarg_solveh48stats_t;
28
29STATIC uint32_t allowednextmove_h48(uint8_t *, uint8_t, uint32_t); 19STATIC uint32_t allowednextmove_h48(uint8_t *, uint8_t, uint32_t);
30 20
31STATIC void solve_h48_appendsolution(dfsarg_solveh48_t *); 21STATIC void solve_h48_appendsolution(dfsarg_solveh48_t *);
@@ -33,9 +23,6 @@ STATIC_INLINE bool solve_h48_stop(dfsarg_solveh48_t *);
33STATIC int64_t solve_h48_dfs(dfsarg_solveh48_t *); 23STATIC int64_t solve_h48_dfs(dfsarg_solveh48_t *);
34STATIC int64_t solve_h48(cube_t, int8_t, int8_t, int8_t, const void *, char *); 24STATIC int64_t solve_h48(cube_t, int8_t, int8_t, int8_t, const void *, char *);
35 25
36STATIC int64_t solve_h48stats_dfs(dfsarg_solveh48stats_t *);
37STATIC int64_t solve_h48stats(cube_t, int8_t, const void *, char [static 12]);
38
39STATIC uint32_t 26STATIC uint32_t
40allowednextmove_h48(uint8_t *moves, uint8_t n, uint32_t h48branch) 27allowednextmove_h48(uint8_t *moves, uint8_t n, uint32_t h48branch)
41{ 28{
@@ -215,90 +202,3 @@ solve_h48(
215 202
216 return nsols; 203 return nsols;
217} 204}
218
219/*
220The h48stats solver computes how many moves it takes to solve to
221each of the 12 h48 coordinates, one for each value of h from 0 to 11.
222The solutions array is filled with the length of the solutions. The
223solution array is therefore not a printable string.
224*/
225STATIC int64_t
226solve_h48stats_dfs(dfsarg_solveh48stats_t *arg)
227{
228 const int64_t limit = 11;
229
230 int8_t bound, u;
231 uint8_t m;
232 uint32_t d;
233 int64_t coord, h;
234 dfsarg_solveh48stats_t nextarg;
235
236 /* Check cocsep lower bound (corners only) */
237 bound = get_h48_cdata(arg->cube, arg->cocsepdata, &d);
238 if (bound + arg->nmoves > arg->depth)
239 return 0;
240
241 /* Check h48 lower bound for h=0 (esep, but no eo) */
242 coord = coord_h48_edges(arg->cube, COCLASS(d), TTREP(d), 0);
243 bound = get_h48_bound(arg->cube, d, 0, 4, arg->h48data);
244 if (bound + arg->nmoves > arg->depth)
245 return 0;
246
247 /* Update all other values, if solved */
248 coord = coord_h48_edges(arg->cube, COCLASS(d), TTREP(d), 11);
249 for (h = 0; h <= limit; h++) {
250 u = coord >> (11-h) == 0 && arg->s[h] == 99;
251 arg->s[h] = u * arg->nmoves + (1-u) * arg->s[h];
252 }
253
254 if (arg->s[limit] != 99)
255 return 0;
256
257 nextarg = *arg;
258 nextarg.nmoves = arg->nmoves + 1;
259 for (m = 0; m < 18; m++) {
260 nextarg.moves[arg->nmoves] = m;
261 if (!allowednextmove(nextarg.moves, nextarg.nmoves)) {
262 /* If a move is not allowed, neither are its 180
263 * and 270 degree variations */
264 m += 2;
265 continue;
266 }
267 nextarg.cube = move(arg->cube, m);
268 solve_h48stats_dfs(&nextarg);
269 }
270
271 return 0;
272}
273
274STATIC int64_t
275solve_h48stats(
276 cube_t cube,
277 int8_t maxmoves,
278 const void *data,
279 char solutions[static 12]
280)
281{
282 int i;
283 dfsarg_solveh48stats_t arg;
284
285 arg = (dfsarg_solveh48stats_t) {
286 .cube = cube,
287 .cocsepdata = get_cocsepdata_ptr(data),
288 .h48data = get_h48data_ptr(data),
289 .s = solutions
290 };
291
292 for (i = 0; i < 12; i++)
293 solutions[i] = (char)99;
294
295 for (arg.depth = 0;
296 arg.depth <= maxmoves && solutions[11] == 99;
297 arg.depth++)
298 {
299 arg.nmoves = 0;
300 solve_h48stats_dfs(&arg);
301 }
302
303 return 0;
304}

Generated with cgit - Back to sebastiano.tronto.net