The complexity of symmetry breaking in massive graphs

Christian Konrad, Sriram V. Pemmaraju, Talal Riaz, Peter Robinson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

5 Scopus citations

Abstract

The goal of this paper is to understand the complexity of symmetry breaking problems, specifically maximal independent set (MIS) and the closely related β-ruling set problem, in two computational models suited for large-scale graph processing, namely the k-machine model and the graph streaming model. We present a number of results. For MIS in the k-machine model, we improve the Õ(m/k2 + ∆/k)-round upper bound of Klauck et al. (SODA 2015) by presenting an Õ(m/k2)-round algorithm. We also present an Ω(n/k2) round lower bound for MIS, the first lower bound for a symmetry breaking problem in the k-machine model. For β-ruling sets, we use hierarchical sampling to obtain more efficient algorithms in the k-machine model and also in the graph streaming model. More specifically, we obtain a k-machine algorithm that runs in Õ(βn∆1/β/k2) rounds and, by using a similar hierarchical sampling technique, we obtain one-pass algorithms for both insertion-only and insertion-deletion streams that use O(β · n1+1/1) space. The latter result establishes a clear separation between MIS, which is known to require Ω(n2) space (Cormode et al., ICALP 2019), and β-ruling sets, even for β = 2. Finally, we present an even faster 2-ruling set algorithm in the k-machine model, one that runs in Õ(n/k2−ε + k1−ε) rounds for any ε, 0 ≤ ε ≤ 1. For a wide range of values of k this round complexity simplifies to Õ(n/k2) rounds, which we conjecture is optimal. Our results use a variety of techniques. For our upper bounds, we prove and use simulation theorems for beeping algorithms, hierarchical sampling, and L0-sampling, whereas for our lower bounds we use information-theoretic arguments and reductions to 2-party communication complexity problems.

Original languageEnglish (US)
Title of host publication33rd International Symposium on Distributed Computing, DISC 2019
EditorsJukka Suomela
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959771269
DOIs
StatePublished - Oct 2019
Externally publishedYes
Event33rd International Symposium on Distributed Computing, DISC 2019 - Budapest, Hungary
Duration: Oct 14 2019Oct 18 2019

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume146
ISSN (Print)1868-8969

Conference

Conference33rd International Symposium on Distributed Computing, DISC 2019
Country/TerritoryHungary
CityBudapest
Period10/14/1910/18/19

Keywords

  • Communication complexity
  • Information theory
  • K-machine model
  • Maximal independent set
  • Ruling set
  • Streaming algorithms

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'The complexity of symmetry breaking in massive graphs'. Together they form a unique fingerprint.

Cite this