License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.DISC.2017.11
URN: urn:nbn:de:0030-drops-79759
URL: http://drops.dagstuhl.de/opus/volltexte/2017/7975/
Go to the corresponding LIPIcs Volume Portal


Censor-Hillel, Keren ; Parter, Merav ; Schwartzman, Gregory

Derandomizing Local Distributed Algorithms under Bandwidth Restrictions

pdf-format:
LIPIcs-DISC-2017-11.pdf (0.5 MB)


Abstract

This paper addresses the cornerstone family of local problems in distributed computing, and investigates the curious gap between randomized and deterministic solutions under bandwidth restrictions. Our main contribution is in providing tools for derandomizing solutions to local problems, when the n nodes can only send O(log n)-bit messages in each round of communication. We combine bounded independence, which we show to be sufficient for some algorithms, with the method of conditional expectations and with additional machinery, to obtain the following results. First, we show that in the Congested Clique model, which allows all-to-all communication, there is a deterministic maximal independent set (MIS) algorithm that runs in O(log^2 Delta) rounds, where Delta is the maximum degree. When Delta=O(n^(1/3)), the bound improves to O(log Delta). Adapting the above to the CONGEST model gives an O(D log^2 n)-round deterministic MIS algorithm, where D is the diameter of the graph. Apart from a previous unproven claim of a O(D log^3 n)-round algorithm, the only known deterministic solutions for the CONGEST model are a coloring-based O(Delta + log^* n)-round algorithm, where Delta is the maximal degree in the graph, and a 2^O(sqrt(log n log log n))-round algorithm, which is super-polylogarithmic in n. In addition, we deterministically construct a (2k-1)-spanner with O(kn^(1+1/k) log n) edges in O(k log n) rounds in the Congested Clique model. For comparison, in the more stringent CONGEST model, where the communication graph is identical to the input graph, the best deterministic algorithm for constructing a (2k-1)-spanner with O(kn^(1+1/k)) edges runs in O(n^(1-1/k)) rounds.

BibTeX - Entry

@InProceedings{censorhillel_et_al:LIPIcs:2017:7975,
  author =	{Keren Censor-Hillel and Merav Parter and Gregory Schwartzman},
  title =	{{Derandomizing Local Distributed Algorithms under Bandwidth Restrictions}},
  booktitle =	{31st International Symposium on Distributed Computing (DISC 2017)},
  pages =	{11:1--11:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-053-8},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{91},
  editor =	{Andr{\'e}a W. Richa},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7975},
  URN =		{urn:nbn:de:0030-drops-79759},
  doi =		{10.4230/LIPIcs.DISC.2017.11},
  annote =	{Keywords: Local problems, congested clique, derandomization}
}

Keywords: Local problems, congested clique, derandomization
Seminar: 31st International Symposium on Distributed Computing (DISC 2017)
Issue Date: 2017
Date of publication: 05.10.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI