Coresets meet EDCS: algorithms for matching and vertex cover on massive graphs

DOI10.1137/1.9781611975482.98zbMATH Open1431.68143arXiv1711.03076OpenAlexW2767578875MaRDI QIDQ5236282FDOQ5236282

Authors: Sepehr Assadi, MohammadHossein Bateni, Aaron Bernstein, Vahab S. Mirrokni, Clifford Stein 

Publication date: 15 October 2019

Published in: Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (Search for Journal in Brave)

Abstract: As massive graphs become more prevalent, there is a rapidly growing need for scalable algorithms that solve classical graph problems, such as maximum matching and minimum vertex cover, on large datasets. For massive inputs, several different computational models have been introduced, including the streaming model, the distributed communication model, and the massively parallel computation (MPC) model that is a common abstraction of MapReduce-style computation. In each model, algorithms are analyzed in terms of resources such as space used or rounds of communication needed, in addition to the more traditional approximation ratio. In this paper, we give a single unified approach that yields better approximation algorithms for matching and vertex cover in all these models. The highlights include: * The first one pass, significantly-better-than-2-approximation for matching in random arrival streams that uses subquadratic space, namely a $(1.5+epsilon)$-approximation streaming algorithm that uses $O(n^{1.5})$ space for constant $epsilon>0$. * The first 2-round, better-than-2-approximation for matching in the MPC model that uses subquadratic space per machine, namely a $(1.5+epsilon)$-approximation algorithm with $O(sqrtmn+n)$ memory per machine for constant $epsilon>0$. By building on our unified approach, we further develop parallel algorithms in the MPC model that give a $(1+epsilon)$-approximation to matching and an $O(1)$-approximation to vertex cover in only $O(loglogn)$ MPC rounds and $O(n/polylog(n))$ memory per machine. These results settle multiple open questions posed in the recent paper of Czumaj~et.al. [STOC 2018].

Full work available at URL: https://arxiv.org/abs/1711.03076

Recommendations

• Improved massively parallel computation algorithms for MIS, matching, and vertex cover
• Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques
• Approximating matching size from random streams
• Kernelization via Sampling with Applications to Finding Matchings and Related Problems in Dynamic Graph Streams
• Round compression for parallel matching algorithms

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Analysis of algorithms (68W40) Approximation algorithms (68W25) Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.) (05C70)

Cited In (22)

• Massively parallel entity matching with linear classification in low dimensional space
• Breaking the linear-memory barrier in \(\mathsf{MPC}\): fast \(\mathsf{MIS}\) on trees with strongly sublinear memory
• Distributed-prover interactive proofs
• Equivalence classes and conditional hardness in massively parallel computations
• Towards a unified theory of sparsification for matching problems
• Maliciously secure massively parallel computation for all-but-one corruptions
• Improved bounds for matching in random-order streams
• Deterministic dynamic matching in worst-case update time
• Improved massively parallel computation algorithms for MIS, matching, and vertex cover
• Title not available (Why is that?)
• Distributed algorithms for matching in hypergraphs
• On regularity lemma and barriers in streaming and dynamic matching
• Stochastic minimum vertex cover in general graphs: a \(3/2\)-approximation
• Sublinear algorithms for \((1.5+\epsilon)\)-approximate matching
• Sublinear time algorithms and complexity of approximate maximum matching
• Round compression for parallel matching algorithms
• Title not available (Why is that?)
• Round compression for parallel matching algorithms
• Distributed maximum matching verification in CONGEST
• Improved MPC algorithms for MIS, matching, and coloring on trees and beyond
• Title not available (Why is that?)
• Component stability in low-space massively parallel computation

This page was built for publication: Coresets meet EDCS: algorithms for matching and vertex cover on massive graphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5236282)