Ruize Zhao | arXiv Science

arXiv2026

Exact Tie-Breaking and Tight Degree Bounds for Minimum-Degree Greedy on Interval Graphs

We study tie-breaking in the minimum-degree greedy algorithm (MDG) for maximum independent set on interval graphs. Given an interval representation of an $n$-vertex graph, we compute the largest and smallest output sizes and construct executions attaining them in $O(n^3)$ time and $O(n^2)$ space. For maximum degree at most four, favorable tie-breaking gives a tight guarantee of $3/4$. For every maximum-degree bound of at least five, the guarantee drops to $2/3$. Both bounds are tight even on connected unit interval graphs whose output size is independent of tie-breaking. Together with the known optimality of favorable tie-breaking for maximum degree at most three, these results give a complete classification by degree bound.

cs.DS↗

arXiv2026

Workload-Aware Autotuning of Block Size in Square-Root Decomposition

The textbook choice B=sqrt(n) for square-root decomposition is asymptotically natural, but it is not always the fastest implementation choice. We study block-size autotuning as a reproducible algorithm-engineering problem. On 3,840 generated workloads with repeated grouped cross-validation, the selected KNN-9 policy reduces mean regret from 1.2769 to 1.0478 and yields a paired geometric-mean speedup of 1.158x over fixed sqrt(n) blocking. A separate Docker/Linux confirmation over 960 workloads gives the same direction of effect (1.112x). We retain two trace-derived checks: the six-window Baleen study improves by 1.104x, whereas the three-workload Wikidata smoke study is slower than fixed blocking. These contrasting results delimit the contribution: workload-aware selection can improve an already chosen block-decomposition implementation, but it is neither a universal replacement for fixed blocking nor a replacement for BIT.

cs.DS↗