Clique Here: On the Distributed Complexity in Fully-Connected Networks

Benny Applebaum, Dariusz R. Kowalski, Boaz Patt-Shamir, Adi Rosén

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

We consider a message passing model with n nodes, each connected to all other nodes by a link that can deliver a message of B bits in a time unit (typically, B = O(log n)). We assume that each node has an input of size L bits (typically, L = O(n log n)) and the nodes cooperate in order to compute some function (i.e., perform a distributed task). We are interested in the number of rounds required to compute the function. We give two results regarding this model. First, we show that most boolean functions require L/B -1 rounds to compute deterministically, and that even if we consider randomized protocols that are allowed to err, the expected running time remains ω (L/B) for most boolean function. Second, trying to find explicit functions that require superconstant time, we consider the pointer chasing problem. In this problem, each node i is given an array Ai of length n whose entries are in [n], and the task is to find, for any j [n], the value of An-1[An-2[.A0[j].]]. We give a deterministic O(log n/ log log n) round protocol for this function using message size B = O(log n), a slight but non-Trivial improvement over the O(log n) bound provided by standard "pointer doubling." The question of an explicit function (or functionality) that requires super constant number of rounds in this setting remains, however, open.

Original languageEnglish
Article number1650004
JournalParallel Processing Letters
Volume26
Issue number1
DOIs
StatePublished - 1 Mar 2016

Keywords

  • CONGEST model
  • communication complexity
  • network algorithms
  • pointer jumping

Fingerprint

Dive into the research topics of 'Clique Here: On the Distributed Complexity in Fully-Connected Networks'. Together they form a unique fingerprint.

Cite this