Semi-Streaming Matching in a Single Pass II: Greedy is Optimal
arXiv:2607.14656
The paper proves that no single-pass semi‑streaming algorithm can achieve better than a 1/2 approximation for maximum matching, establishing the greedy algorithm as optimal and also settling the competitive ratio for online matching with preemption.
Abstract
We prove that no single-pass semi-streaming algorithm (deterministic or randomized) can achieve a better-than-half approximation to the maximum matching problem. This implies the optimality of the naive greedy algorithm, answering an outstanding open question in the graph streaming literature since the introduction of the model over two decades ago. Our proof follows the "blueprint framework" introduced previously by the authors, which reduced proving lower bounds for semi-streaming matching to constructing certain combinatorial objects called blueprints. We present an optimal construction of blueprints that when used in this framework implies our semi-streaming matching lower bound. Our results also imply that the optimal competitive ratio of online matching with preemption is half, again matching the naive greedy algorithm, settling this open question as well.
23 pages, 3 figures. Version 2: Fixed typos and minor language issues throughout