Fully Dynamic Matching: (2-√(2))-Approximation in Polylog Update Time
We study maximum matchings in fully dynamic graphs, which are graphs that undergo both edge insertions and deletions. Our focus is on algorithms that estimate the size of maximum matching after each update while spending a small time. An important question studied extensively is the best approximation achievable via algorithms that only spend poly(log n) time per update, where n is the number of vertices. The current best bound is a (1/2+ε_0)-approximation for a small constant ε_0 > 0, due to recent works of Behnezhad [SODA'23] (ε_0 ∼ 0.001) and Bhattacharya, Kiss, Saranurak, Wajc [SODA'23] (ε_0 ∼ 0.006) who broke the long-standing 1/2-approximation barrier. These works also showed that for any fixed ε > 0, the approximation can be further improved to (2-√(2)-ε) ∼ .585 for bipartite graphs, leaving a huge gap between general and bipartite graphs. In this work, we close this gap. We show that for any fixed ε > 0, a (2-√(2)-ε) approximation can be maintained in poly(log n) time per update even in general graphs. Our techniques also lead to the same approximation for general graphs in two passes of the semi-streaming setting, removing a similar gap in that setting.
READ FULL TEXT