diff options
| author | Scott Gasch <[email protected]> | 2026-08-28 21:31:52 -0700 |
|---|---|---|
| committer | Scott Gasch <[email protected]> | 2026-08-28 21:31:52 -0700 |
| commit | bc8a3fddb01a3708be54e1b5453cbd13c7afaaeb (patch) | |
| tree | 654a568490f19ebf0f3c14bb272ef374f2197d3f /src/searchsup.c | |
| parent | bb07fbd8612dbf2cfb6f257e8cba47b95c83c867 (diff) | |
Replace SEARCH_SORT_LIMIT's ply-indexed leftover-selection budget with
NumLeftoverMovesToSelect, indexed by remaining depth; make EFP's
leftover-only scope explicit.
SEARCH_SORT_LIMIT[ply] was a poor proxy for what actually matters here
-- how large the remaining subtree below this node is. Distance from
root only correlates with that when total search depth is roughly
fixed; it says nothing once extensions/reductions/iterative-deepening
are in play. NumLeftoverMovesToSelect(ctx, uDepth) uses remaining depth
instead, only ever consulted once every high-performer move (winning/
even capture, killer, killer-mate -- anything >= GOOD_MOVE) has already
been exhausted; this never limits how many of *those* get selected,
only how much further care to spend on the ordinary/leftover tail.
Table values carried over verbatim from the old one as an untuned
starting point, just reindexed.
Also adds an explicit (TRUE == fInLeftovers) gate to EFP's per-move
checklist (landed last commit) -- every high-performer move was already
excluded as a side effect of the capture/check/killer exemptions, but
this makes "EFP only ever touches leftovers" a real, direct condition
rather than an emergent property of unrelated checks.
Verified against HEAD (commit bb07fbd) at sd10:
ecm_ringers: 9/11 -> 10/11 (+1 solve), ~flat nodes (-0.04%)
ecm_confident_quick: 88/90 -> 88/90 (even), +0.43% nodes
ecm_hard_quick: 15/90 -> 18/90 (+3 solves), +4.4% nodes
Net +4 solves across 269 positions for a negligible node-count cost.
Diffstat (limited to 'src/searchsup.c')
| -rw-r--r-- | src/searchsup.c | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/src/searchsup.c b/src/searchsup.c index 5673bbe..e0d8251 100644 --- a/src/searchsup.c +++ b/src/searchsup.c @@ -24,6 +24,59 @@ extern SCORE g_iRootScore[2]; extern ULONG g_uHardExtendLimit; extern ULONG g_uIterateDepth; +ULONG +NumLeftoverMovesToSelect(IN SEARCHER_THREAD_CONTEXT *ctx, IN ULONG uDepth) +/** + +Routine description: + + How many "leftover" (below GOOD_MOVE -- see search.c's + TRY_GENERATED_MOVES gate) moves are worth a full SelectBestWithHistory + scan before we give up and just take the remainder in whatever order + they're sitting in. Only ever consulted once every high-performer + move (winning/even capture, killer, killer-mate) has already been + exhausted -- this never limits how many of *those* get selected, + only how much further care to spend on the ordinary/leftover tail. + + Replaces the old g_uSearchSortLimits[ply], indexed by distance from + the root -- a poor proxy for what actually matters here, which is + how large the remaining subtree below this node is (distance from + root only correlates with that when total search depth is roughly + fixed; it says nothing once extensions/reductions/iterative-deepening + are in play). uDepth (remaining depth, in ONE_PLY units, possibly + fractional) is the more principled signal: a bigger remaining + subtree makes the cost of a few extra O(n) selection scans more + worth paying to avoid a bad early choice cascading into extra + full-width re-searches. + + STARTING POINT, NOT YET VALIDATED under this new meaning: this + reuses the previous table's six numbers verbatim, just reindexed by + plies of *remaining* depth instead of *distance from root* -- same + overall shape (more care with more depth left), same specific + values, carried over only because they're a known, testable + starting point, not because they were ever confirmed correct here. + +Parameters: + + IN SEARCHER_THREAD_CONTEXT *ctx, + IN ULONG uDepth + +Return value: + + ULONG + +**/ +{ + static const ULONG _uLimits[] = { 8, 9, 11, 13, 15, 17 }; + ULONG uPlies = uDepth / ONE_PLY; + + if (uPlies >= ARRAY_LENGTH(_uLimits)) + { + uPlies = ARRAY_LENGTH(_uLimits) - 1; + } + return(_uLimits[uPlies]); +} + void UpdatePV(SEARCHER_THREAD_CONTEXT *ctx, MOVE mv) /** |
