Skip to content

Improvements to Heuristic Merger - #272

Merged
garretrieger merged 6 commits into
w3c:mainfrom
garretrieger:heuristic
Oct 8, 2026
Merged

garretrieger merged 6 commits into
w3c:mainfrom
garretrieger:heuristic

Conversation

@garretrieger

Copy link
Copy Markdown
Contributor
  • Batching of inert segment merges
  • Apply patch min/max's to all affected patches, not just exclusive ones.
  • Better ordering when selecting candidate composite merges

All patches which do not intersect any frequency data have their sizes summed up and reported as a separate uncovered_ift_patch_cost line. This gives visibility into the size of the patches produced by the heuristic merger.
Don't perform merges which would grow a non-exclusive patch beyond the maximum.
First prefer merges that produce unitary/exclusive patches, then prefer merges with smaller number of segments, lastly break ties with segment set ordering.
@garretrieger
garretrieger merged commit 2443c99 into w3c:main Oct 8, 2026
3 checks passed
@garretrieger
garretrieger deleted the heuristic branch October 8, 2026 18:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant