Local computation algorithms for spanners

Merav Parter, Ronitt Rubinfeld, Ali Vakilian, Anak Yodpinyanee

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

13 Scopus citations

Abstract

A graph spanner is a fundamental graph structure that faithfully preserves the pairwise distances in the input graph up to a small multiplicative stretch. The common objective in the computation of spanners is to achieve the best-known existential size-stretch trade-off efficiently. Classical models and algorithmic analysis of graph spanners essentially assume that the algorithm can read the input graph, construct the desired spanner, and write the answer to the output tape. However, when considering massive graphs containing millions or even billions of nodes not only the input graph, but also the output spanner might be too large for a single processor to store. To tackle this challenge, we initiate the study of local computation algorithms (LCAs) for graph spanners in general graphs, where the algorithm should locally decide whether a given edge (u, v) ∊ E belongs to the output (sparse) spanner or not. Such LCAs give the user the “illusion” that a specific sparse spanner for the graph is maintained, without ever fully computing it. We present several results for this setting, including: ▬ For general n-vertex graphs and for parameter r ∊ {2, 3}, there exists an LCA for (2r – 1)-spanners with Õ(n1+1/r) edges and sublinear probe complexity of Õ(n1−1/2r). These size/stretch trade-offs are best possible (up to polylogarithmic factors). ▬ For every k ≥ 1 and n-vertex graph with maximum degree ∆, there exists an LCA for O(k2) spanners with Õ(n1+1/k) edges, probe complexity of Õ(∆4n2/3), and random seed of size polylog(n). This improves upon, and extends the work of [Lenzen-Levi, ICALP’18]. We also complement these constructions by providing a polynomial lower bound on the probe complexity of LCAs for graph spanners that holds even for the simpler task of computing a sparse connected subgraph with o(m) edges. To the best of our knowledge, our results on 3 and 5-spanners are the first LCAs with sublinear (in ∆) probe-complexity for ∆ = nΩ(1).

Original languageEnglish
Title of host publication10th Innovations in Theoretical Computer Science, ITCS 2019
EditorsAvrim Blum
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959770958
DOIs
StatePublished - 1 Jan 2019
Externally publishedYes
Event10th Innovations in Theoretical Computer Science, ITCS 2019 - San Diego, United States
Duration: 10 Jan 201912 Jan 2019

Publication series

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

Conference

Conference10th Innovations in Theoretical Computer Science, ITCS 2019
Country/TerritoryUnited States
CitySan Diego
Period10/01/1912/01/19

Funding

FundersFunder number
Royal Thai Government
National Science FoundationCCF-1733808, IIS-1741137, CCF-1650733, CCF-1740751, CCF-1535851
Minerva FoundationISF-2084/18, 124042

    Keywords

    • Graph spanners
    • Local computation algorithms
    • Sub-linear algorithms

    Fingerprint

    Dive into the research topics of 'Local computation algorithms for spanners'. Together they form a unique fingerprint.

    Cite this