The Communication Complexity of Set Intersection and Multiple Equality Testing

by   Dawei Huang, et al.

In this paper we explore fundamental problems in randomized communication complexity such as computing Set Intersection on sets of size k and Equality Testing between vectors of length k. Brody et al. and Sağlam and Tardos showed that for these types of problems, one can achieve optimal communication volume of O(k) bits, with a randomized protocol that takes O(log^* k) rounds. Aside from rounds and communication volume, there is a third parameter of interest, namely the error probabilityp_err. It is straightforward to show that protocols for Set Intersection or Equality Testing need to send Ω(k + log p_err^-1) bits. Is it possible to simultaneously achieve optimality in all three parameters, namely O(k + log p_err^-1) communication and O(log^* k) rounds? In this paper we prove that there is no universally optimal algorithm, and complement the existing round-communication tradeoffs with a new tradeoff between rounds, communication, and probability of error. In particular: 1. Any protocol for solving Multiple Equality Testing in r rounds with failure probability 2^-E has communication volume Ω(Ek^1/r). 2. There exists a protocol for solving Multiple Equality Testing in r + log^*(k/E) rounds with O(k + rEk^1/r) communication, thereby essentially matching our lower bound and that of Sağlam and Tardos. Our original motivation for considering p_err as an independent parameter came from the problem of enumerating triangles in distributed (CONGEST) networks having maximum degree Δ. We prove that this problem can be solved in O(Δ/log n + loglogΔ) time with high probability 1-1/poly(n).



There are no comments yet.


page 1

page 2

page 3

page 4


Sleeping is Superefficient: MIS in Exponentially Better Awake Complexity

Maximal Independent Set (MIS) is one of the central and most well-studie...

Ultrafast Distributed Coloring of High Degree Graphs

We give a new randomized distributed algorithm for the Δ+1-list coloring...

Deterministic Distributed Algorithms and Lower Bounds in the Hybrid Model

The model was recently introduced by Augustine et al. <cit.> in order t...

Improved Distributed Approximation to Maximum Independent Set

We present improved results for approximating Maximum Independent Set ()...

Empirical Optimization on Post-Disaster Communication Restoration for Social Equality

Disasters are constant threats to humankind, and beyond losses in lives,...

The Garden Hose Complexity for the Equality Function

The garden hose complexity is a new communication complexity introduced ...

Round and Communication Balanced Protocols for Oblivious Evaluation of Finite State Machines

We propose protocols for obliviously evaluating finite-state machines, i...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.