arXiv subjects

Richard Z Huang

Publications and source records attributed to Richard Z Huang.

3 recordsLinked to original sources

arXiv2026

Improved Parallel Algorithms for EF1 Allocations

Allocating $m$ indivisible goods among $n$ agents is a fundamental task in fair division. Recent work of Garg and Psomas [AAMAS 2025] initiated the study of parallel algorithms for envy-free up to one good (EF1) allocations, giving NC algorithms for $2$ and $3$ agents. They also showed CC-hardness results for simulating the classic Round Robin algorithm for EF1 allocations, even when each agent values at most $3$ goods and each good is valued by at most $3$ agents. We strengthen these results. For the case of $2$ agents, we quadratically improve the depth from $O(\log ^ 2 m) $ to $O(\log m)$ and the work from $O(m \log m)$ to $O(m)$. Furthermore, we significantly generalize beyond $3$ agents by giving NC algorithms for any constant number of agents. We also give randomized algorithms with depth $\tilde{O}(m/n)$ and polynomial work. As corollaries of these results, we obtain NC algorithms whenever each agent values at most $polylog(m)$ goods and each good is valued by at most $O(1)$ agents, and RNC algorithms when each agent values at most $polylog(m)$ goods. As such, our algorithms bypass the CC-hardness of Garg and Psomas by not simulating Round Robin. We also complement the aforementioned CC-hardness by showing the CC-completeness of simulating Round Robin. Lastly, beyond EF1 allocations, we show that computing envy-free up to $k$ goods allocations is possible for $k \approx \sqrt{m}$ in RNC, or $k = m^{\varepsilon}$ in sublinear depth for any constant $\varepsilon > 0$.

cs.DS↗

arXiv2026

Planar Length-Constrained Minimum Spanning Trees

In length-constrained minimum spanning tree (MST) we are given an $n$-node graph $G = (V,E)$ with edge weights $w : E \to \mathbb{Z}_{\geq 0}$ and edge lengths $l: E \to \mathbb{Z}_{\geq 0}$ along with a root node $r \in V$ and a length-constraint $h \in \mathbb{Z}_{\geq 0}$. Our goal is to output a spanning tree of minimum weight according to $w$ in which every node is at distance at most $h$ from $r$ according to $l$. We give a polynomial-time algorithm for planar graphs which, for any constant $ε> 0$, outputs an $O\left(\log^{1+ε} n\right)$-approximate solution with every node at distance at most $(1+ε)h$ from $r$ for any constant $ε> 0$. Our algorithm is based on new length-constrained versions of classic planar separators which may be of independent interest. Additionally, our algorithm works for length-constrained Steiner tree. Complementing this, we show that any algorithm on general graphs for length-constrained MST in which nodes are at most $2h$ from $r$ cannot achieve an approximation of $O\left(\log ^{2-ε} n\right)$ for any constant $ε> 0$ under standard complexity assumptions; as such, our results separate the approximability of length-constrained MST in planar and general graphs.

cs.DS↗

arXiv2025

Simple Length-Constrained Minimum Spanning Trees

In the length-constrained minimum spanning tree (MST) problem, we are given an $n$-node edge-weighted graph $G$ and a length constraint $h \geq 1$. Our goal is to find a spanning tree of $G$ whose diameter is at most $h$ with minimum weight. Prior work of Marathe et al.\ gave a poly-time algorithm which repeatedly computes maximum cardinality matchings of minimum weight to output a spanning tree whose weight is $O(\log n)$-approximate with diameter $O(\log n)\cdot h$. In this work, we show that a simple random sampling approach recovers the results of Marathe et al. -- no computation of min-weight max-matchings needed! Furthermore, the simplicity of our approach allows us to tradeoff between the approximation factor and the loss in diameter: we show that for any $ε\geq 1/\operatorname{poly}(n)$, one can output a spanning tree whose weight is $O(n^ε/ ε)$-approximate with diameter $O(1/ε)\cdot h$ with high probability in poly-time. This immediately gives the first poly-time $\operatorname{poly}(\log n)$-approximation for length-constrained MST whose loss in diameter is $o(\log n)$.

cs.DS↗