Low diameter graph decompositions

Nathan Linial, Michael Saks

Research output: Contribution to journalArticlepeer-review

126 Scopus citations

Abstract

A decomposition of a graph G=(V,E) is a partition of the vertex set into subsets (called blocks). The diameter of a decomposition is the least d such that any two vertices belonging to the same connected component of a block are at distance ≤d. In this paper we prove (nearly best possible) statements, of the form: Any n-vertex graph has a decomposition into a small number of blocks each having small diameter. Such decompositions provide a tool for efficiently decentralizing distributed computations. In [4] it was shown that every graph has a decomposition into at most s(n) blocks of diameter at most s(n) for {Mathematical expression}. Using a technique of Awerbuch [3] and Awerbuch and Peleg [5], we improve this result by showing that every graph has a decomposition of diameter O (log n) into O(log n) blocks. In addition, we give a randomized distributed algorithm that produces such a decomposition and runs in time O(log2n). The construction can be parameterized to provide decompositions that trade-off between the number of blocks and the diameter. We show that this trade-off is nearly best possible, for two families of graphs: the first consists of skeletons of certain triangulations of a simplex and the second consists of grid graphs with added diagonals. The proofs in both cases rely on basic results in combinatorial topology, Sperner's lemma for the first class and Tucker's lemma for the second.

Original languageEnglish (US)
Pages (from-to)441-454
Number of pages14
JournalCombinatorica
Volume13
Issue number4
DOIs
StatePublished - Dec 1993

All Science Journal Classification (ASJC) codes

  • Discrete Mathematics and Combinatorics
  • Computational Mathematics

Keywords

  • AMS subject classification codes (1991): 05C12, 05C15, 05C35, 05C70, 05C85, 68Q22, 68R10

Fingerprint

Dive into the research topics of 'Low diameter graph decompositions'. Together they form a unique fingerprint.

Cite this