Fully Dynamic Maximal Matching in $O(\log n)$ Update Time
TLDR
An algorithm for maintaining maximal matching in a graph under addition and deletion of edges that can maintain a factor 2 approximate maximum matching in expected amortized $O(\log n )$ time per update as a direct corollary of the maximal matching scheme.Abstract:
We present an algorithm for maintaining maximal matching in a graph under addition and deletion of edges. Our algorithm is randomized and it takes expected amortized $O(\log n)$ time for each edge update, where $n$ is the number of vertices in the graph. While there exists a trivial $O(n)$ time algorithm for each edge update, the previous best known result for this problem is due to Ivkovicź and Lloyd [Lecture Notes in Comput. Sci. 790, Springer-Verlag, London, 1994, pp. 99--111]. For a graph with $n$ vertices and $m$ edges, they gave an $O( {(n+ m)}^{0.7072})$ update time algorithm which is sublinear only for a sparse graph. For the related problem of maximum matching, Onak and Rubinfeld [Proceedings of STOC'10, Cambridge, MA, 2010, pp. 457--464] designed a randomized algorithm that achieves expected amortized $O(\log^2 n)$ time for each update for maintaining a $c$-approximate maximum matching for some unspecified large constant $c$. In contrast, we can maintain a factor 2 approximate maximum matching in expected amortized $O(\log n )$ time per update as a direct corollary of the maximal matching scheme. This in turn also implies a 2-approximate vertex cover maintenance scheme that takes expected amortized $O(\log n )$ time per update.read more
Citations
More filters
Journal ArticleDOI
Dynamic Parameterized Problems and Algorithms
TL;DR: This article provides fixed-parameter algorithms and kernelizations for fundamental NP-hard problems with dynamic inputs and shows that unlike their undirected counterparts, DIRECTED FEEDBACK VERTEX SET and DIRECTED k-PATH do not admit dynamic algorithms with no(1) update and query times even for constant solution sizes k ≤ 3, assuming popular hardness hypotheses.
Journal ArticleDOI
Big data algorithms beyond machine learning
Matthias Mnich,Matthias Mnich +1 more
TL;DR: This work surveys some algorithmic methods that optimize over large-scale data sets, beyond the realm of machine learning.
Journal ArticleDOI
Recent Advances in Fully Dynamic Graph Algorithms – A Quick Reference Guide
TL;DR: A quick reference guide to recent engineering and theory results in the area of fully dynamic graph algorithms.
Proceedings ArticleDOI
On Regularity Lemma and Barriers in Streaming and Dynamic Matching
TL;DR: This work presents a new approach for matchings in dense graphs by building on Szemer´edi’s celebrated Regularity Lemma, and presents a randomized (1 − o (1))-approximation algorithm whose space can be upper bounded by the density of certain Ruzsa-Szemer'edi (RS) graphs.
Journal ArticleDOI
Dynamic rank-maximal and popular matchings
TL;DR: A simple O(r(m+n))-time algorithm to update an existing rank-maximal matching under each of these changes is given, which is faster than recomputing a rank- Maximal matching completely using a known algorithm like that of Irving et al.
References
More filters
Journal ArticleDOI
College Admissions and the Stability of Marriage
David Gale,Lloyd S. Shapley +1 more
TL;DR: In this article, the authors studied the relationship between college admission and the stability of marriage in the United States, and found that college admission is correlated with the number of stable marriages.
Journal ArticleDOI
An $n^{5/2} $ Algorithm for Maximum Matchings in Bipartite Graphs
John E. Hopcroft,Richard M. Karp +1 more
TL;DR: This paper shows how to construct a maximum matching in a bipartite graph with n vertices and m edges in a number of computation steps proportional to $(m + n)\sqrt n $.
Journal ArticleDOI
Matching, euler tours and the chinese postman
Jack Edmonds,Ellis L. Johnson +1 more
TL;DR: The solution of the Chinese postman problem using matching theory is given and the convex hull of integer solutions is described as a linear programming polyhedron, used to show that a good algorithm gives an optimum solution.
Proceedings ArticleDOI
An O(v|v| c |E|) algoithm for finding maximum matching in general graphs
Silvio Micali,Vijay V. Vazirani +1 more
TL;DR: An 0(√|V|¿|E|) algorithm for finding a maximum matching in general graphs works in 'phases'.