We present deterministic constant-round protocols for the graph connectivity problem in the model where each of the n nodes of a graph receives a row of the adjacency matrix, and broadcasts a single sublinear size message to all other nodes. Communication rounds are synchronous. This model is sometimes called the broadcast congested clique. Specifically, we exhibit a deterministic protocol that computes the connected components of the input graph in [1/ε] rounds, each player communicating O(nε ⋅ log n) bits per round, with 0 < ε ≤ 1. We also provide a deterministic one-round protocol for connectivity, in the model when each node receives as input the graph induced by the nodes at distance at most r>0, and communicates O(n1/r ⋅ log n) bits. This result is based on a d-pruning protocol, which consists in successively removing nodes of degree at most $d$ until obtaining a graph with minimum degree larger than d. Our technical novelty is the introduction of deterministic sparse linear sketches: a linear compression function that permits to recover sparse Boolean vectors deterministically.
[1]
Sriram V. Pemmaraju,et al.
Toward Optimal Bounds in the Congested Clique: Graph Connectivity and MST
,
2015,
PODC.
[2]
Boaz Patt-Shamir,et al.
Minimum-Weight Spanning Tree Construction in O(log log n) Communication Rounds
,
2005,
SIAM J. Comput..
[3]
Baruch Awerbuch,et al.
A trade-off between information and communication in broadcast protocols
,
1990,
JACM.
[4]
Nicolas Nisse,et al.
Allowing each node to communicate only once in a distributed system: shared whiteboard models
,
2014,
Distributed Computing.
[5]
Sudipto Guha,et al.
Graph sketches: sparsification, spanners, and subgraphs
,
2012,
PODS.
[6]
Fabian Kuhn,et al.
The communication complexity of distributed task allocation
,
2012,
PODC '12.
[7]
Sudipto Guha,et al.
Analyzing graph structure via linear measurements
,
2012,
SODA.
[8]
E. Kushilevitz,et al.
Communication Complexity: Basics
,
1996
.