diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-19 16:01:14 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-19 16:01:14 +0100 |
| commit | aefecb170f26f0244e3c82d917103ea4ec0bfc2c (patch) | |
| tree | 47787690cec39146a4e26b4fc444b67d7bd0d224 /src/solvers/h48/solve.h | |
| parent | 30d976107352ecf74c57acc1032bed6032cd3da3 (diff) | |
| parent | b7bb88cd6eb2a8c8e3f26e276ab849d52168668a (diff) | |
| download | nissy-core-aefecb170f26f0244e3c82d917103ea4ec0bfc2c.tar.gz nissy-core-aefecb170f26f0244e3c82d917103ea4ec0bfc2c.zip | |
Merge branch 'h48-corner-estimate'
Diffstat (limited to 'src/solvers/h48/solve.h')
| -rw-r--r-- | src/solvers/h48/solve.h | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index 2920fa7..4aa3799 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h | |||
| @@ -115,10 +115,15 @@ solve_h48_stop(dfsarg_solve_h48_t arg[static 1]) | |||
| 115 | arg->movemask_normal = arg->movemask_inverse = MM18_ALLMOVES; | 115 | arg->movemask_normal = arg->movemask_inverse = MM18_ALLMOVES; |
| 116 | arg->nodes_visited++; | 116 | arg->nodes_visited++; |
| 117 | 117 | ||
| 118 | /* Preliminary probing using last computed bound, if possible */ | ||
| 119 | |||
| 120 | n = arg->solution_moves->nmoves + arg->solution_moves->npremoves; | 118 | n = arg->solution_moves->nmoves + arg->solution_moves->npremoves; |
| 121 | target = arg->target_depth - n; | 119 | target = arg->target_depth - n; |
| 120 | |||
| 121 | /* We'll never get a bound higher than base + 3 */ | ||
| 122 | if (arg->base + 3 <= target) | ||
| 123 | return false; | ||
| 124 | |||
| 125 | /* Preliminary probing using last computed bound, if possible */ | ||
| 126 | |||
| 122 | if ((arg->use_lb_normal && arg->lb_normal > target) || | 127 | if ((arg->use_lb_normal && arg->lb_normal > target) || |
| 123 | (arg->use_lb_inverse && arg->lb_inverse > target)) | 128 | (arg->use_lb_inverse && arg->lb_inverse > target)) |
| 124 | return true; | 129 | return true; |
