The Effect of Range and Bandwidth on the Round Complexity in the Congested Clique Model

Abstract

The congested clique model is a message-passing model of distributed computation where k players communicate with each other over a complete network. Here we consider synchronous protocols in which communication happens in rounds (we allow them to be randomized with public coins). In the unicast communication mode, each player i has her own n-bit input $x_i$ and may send $k-1$ different b-bit messages through each of her $k-1$ communication links in each round. On the other end is the broadcast communication mode, where each player can only broadcast a single message over all her links in each round. The goal of this paper is to complete our Brief Announcement at PODC 2015, where we initiated the study of the space that lies between the two extremes. For that purpose, we parametrize the congested clique model by two values: the range r, which is the maximum number of different messages a player is allowed to send in each round, and the bandwidth b, which is the maximum size of these messages. We show that the space between the unicast and broadcast congested clique models is very rich and interesting. For instance, we show that the round complexity of the pairwise set-disjointness function $\textsc {pwdisj}$ is completely sensitive to the range r. This translates into a $\varOmega (k)$ gap between the unicast ($r=k-1$) and the broadcast ($r=1$) modes. Moreover, provided that $r \ge 2$ and $rb/\log r = O(k)$, the round complexity of $\textsc {pwdisj}$ is $\varTheta (n/ k \log r )$. On the other hand, we also prove that the behavior of $\textsc {pwdisj}$ is exceptional: almost every boolean function f has maximal round complexity $\varTheta (n/b)$. Finally, we prove that $\min \left( \left\lceil \frac{b'}{\lfloor \log r \rfloor } \right\rceil , \left\lceil \frac{r'}{r-1}\right\rceil \left\lceil \frac{b'}{b}\right\rceil \right)$ is an upper bound for the gap between the round complexities with parameters (b, r) and parameters $(b',r')$ of any boolean function.

Supported in part by the ANR project QuasiCool (ANR-12-JS02-011-01), MINECO grant TEC2014- 55713-R, Regional Government of Madrid (CM) grant Cloud4BigData (S2013/ICE-2894, co-funded by FSE & FEDER), NSF of China grant 61520106005, EC H2020 grants ReCred and NOTRE, CONICYT via Basal in Applied Mathematics, Núcleo Milenio Información y Coordinación en Redes ICM/FIC RC130003, Fondecyt 1130061.