We consider the problem of maintaining an (approximately) minimum vertex cover in an $n$-node graph $G = (V, E)$ that is getting updated dynamically via a sequence of edge insertions/deletions. We show how to maintain a $(2+\epsilon)$-approximate minimum vertex cover, "deterministically", in this setting in $O(1/\epsilon^2)$ amortized update time.
Prior to our work, the best known deterministic algorithm for maintaining a $(2+\epsilon)$-approximate minimum vertex cover was due to Bhattacharya, Henzinger and Italiano [SODA 2015]. Their algorithm has an update time of $O(\log n/\epsilon^2)$. Recently, Bhattacharya, Chakrabarty, Henzinger [IPCO 2017] and Gupta, Krishnaswamy, Kumar, Panigrahi [STOC 2017] showed how to maintain an $O(1)$-approximation in $O(1)$-amortized update time for the same problem. Our result gives an "exponential" improvement over the update time of Bhattacharya et al. [SODA 2015], and nearly matches the performance of the "randomized" algorithm of Solomon [FOCS 2016] who gets an approximation ratio of $2$ and an expected amortized update time of $O(1)$.
We derive our result by analyzing, via a novel technique, a variant of the algorithm by Bhattacharya et al. We consider an idealized setting where the update time of an algorithm can take any arbitrary fractional value, and use insights from this setting to come up with an appropriate potential function. Conceptually, this framework mimics the idea of an LP-relaxation for an optimization problem. The difference is that instead of relaxing an integral objective function, we relax the update time of an algorithm itself. We believe that this technique will find further applications in the analysis of dynamic algorithms.
[1]
Shay Solomon,et al.
Simple deterministic algorithms for fully dynamic maximal matching
,
2012,
STOC '13.
[2]
Robert Krauthgamer,et al.
Orienting Fully Dynamic Graphs with Worst-Case Time Bounds
,
2013,
ICALP.
[3]
Giuseppe F. Italiano,et al.
Deterministic Fully Dynamic Data Structures for Vertex Cover and Matching
,
2015,
SODA.
[4]
Giuseppe F. Italiano,et al.
Design of Dynamic Algorithms via Primal-Dual Method
,
2015,
ICALP.
[5]
Clifford Stein,et al.
Fully Dynamic Matching in Bipartite Graphs
,
2015,
ICALP.
[6]
David Peleg,et al.
Dynamic (1 + ∊)-Approximate Matchings: A Density-Sensitive Approach
,
2016,
SODA.
[7]
Shay Solomon,et al.
Fully Dynamic Maximal Matching in Constant Update Time
,
2016,
2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS).
[8]
Clifford Stein,et al.
Faster Fully Dynamic Matchings with Small Approximation Ratios
,
2016,
SODA.
[9]
Monika Henzinger,et al.
Fully Dynamic Approximate Maximum Matching and Minimum Vertex Cover in O(log3 n) Worst Case Update Time
,
2017,
SODA.
[10]
Moses Charikar,et al.
Fully Dynamic Almost-Maximal Matching: Breaking the Polynomial Barrier for Worst-Case Time Bounds
,
2017,
ArXiv.
[11]
Clifford Stein,et al.
Dynamic Matching: Reducing Integral Algorithms to Approximately-Maximal Fractional Algorithms
,
2017,
ICALP.