Abstract:SIAM Journal on Computing, Ahead of Print. We consider the problem of finding a maximal independent set (MIS) in the shared blackboard communication model with vertex-partitioned inputs. There are [math] players corresponding to vertices of an undirected graph, and each player sees the edges incident on its vertex; this way, each edge is known by both its endpoints and is thus shared by two players. The players communicate in simultaneous rounds by posting their messages on a shared blackboard visible to all players, with the goal of computing an MIS of the graph. While the MIS problem is well studied in other distributed models and while shared blackboard is, perhaps, the simplest broadcast model, lower bounds for our problem were only known against one-round protocols. We present a lower bound on the round-communication tradeoff for computing an MIS in this model. Specifically, we show that, when [math] rounds of interaction are allowed, at least one player needs to communicate [math] bits. In particular, with logarithmic bandwidth, finding an MIS requires [math] rounds. This lower bound can be compared with the algorithm of Ghaffari et al. [Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018, pp. 129–138] that solves the MIS in [math] rounds but with a logarithmic bandwidth for an average player. Additionally, our lower bound further extends to the closely related problem of maximal bipartite matching. The presence of edge-sharing gives the algorithms in our model a surprising power, and numerous algorithmic results exploiting this power are known. For a similar reason, proving lower bounds in this model is much more challenging because this sharing in the players' inputs prohibits the use of standard number-in-hand communication complexity arguments. Thus, to prove our results, we devise a new round elimination framework, which we call partial-input embedding, that may also be useful in future work for proving round-sensitive lower bounds in the presence of shared inputs. Finally, we discuss several implications of our results to multiround (adaptive) distributed sketching algorithms, broadcast congested clique, and the welfare maximization problem in two-sided matching markets.

The Communication Complexity of Distributed Epsilon-Approximations

Communication Complexity of Approximate Matching in Distributed Graphs

Approximate Clustering On Distributed Data Streams

Communication Complexity of Approximate Maximum Matching in Distributed Graph Data

Communication-Efficient Accurate Statistical Estimation

Optimal Sparsity-Sensitive Bounds for Distributed Mean Estimation.

Communication-efficient distributed EM algorithm

Distributed Approximation Algorithms for Longest-Lived Multicast in WANETs with Directional Antennas

Communication-Efficient Distributed Covariance Sketch, with Application to Distributed PCA

K-Means Clustering with Distributed Dimensions.

Optimal Communication for Classic Functions in the Coordinator Model and Beyond

Error-Bounded Approximation of Data Stream: Methods and Theories

Communication Lower Bounds for Distributed Convex Optimization: Partition Data on Features.

Rounds vs. Communication Tradeoffs for Maximal Independent Sets

Distributed Nonparametric Regression under Communication Constraints

Networked Communication for Mean-Field Games with Function Approximation and Empirical Mean-Field Estimation

A Simple Distributed Algorithm for Sparse Fractional Covering and Packing Problems

Robust Communication Complexity of Matching: EDCS Achieves 5/6 Approximation

The Communication Complexity of Optimization

Distributed algorithms for covering, packing and maximum weighted matching

The Complexity of Distributed Approximation of Packing and Covering Integer Linear Programs