SFCS '91 Proceedings of the 32nd annual symposium on Foundations of computer science
Elements of information theory
Elements of information theory
The probabilistic communication complexity of set intersection
SIAM Journal on Discrete Mathematics
On the distributional complexity of disjointness
Theoretical Computer Science
Rounds in communication complexity revisited
SIAM Journal on Computing
Theoretical Computer Science - Special issue on complexity theory and the theory of algorithms as developed in the CIS
Communication complexity
Some complexity questions related to distributive computing(Preliminary Report)
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Informational Complexity and the Direct Sum Problem for Simultaneous Message Complexity
FOCS '01 Proceedings of the 42nd IEEE symposium on Foundations of Computer Science
An information statistics approach to data stream and communication complexity
Journal of Computer and System Sciences - Special issue on FOCS 2002
Hellinger Strikes Back: A Note on the Multi-party Information Complexity of AND
APPROX '09 / RANDOM '09 Proceedings of the 12th International Workshop and 13th International Workshop on Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques
Infinite-message distributed source coding for two-terminal interactive computing
Allerton'09 Proceedings of the 47th annual Allerton conference on Communication, control, and computing
How to compress interactive communication
Proceedings of the forty-second ACM symposium on Theory of computing
An optimal lower bound on the communication complexity of gap-hamming-distance
Proceedings of the forty-third annual ACM symposium on Theory of computing
Information Equals Amortized Communication
FOCS '11 Proceedings of the 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science
Interactive information complexity
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
The multiparty communication complexity of set disjointness
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Worst-case interactive communication. I. Two messages are almost optimal
IEEE Transactions on Information Theory
Worst-case interactive communication. I. Two messages are almost optimal
IEEE Transactions on Information Theory
Noiseless coding of correlated information sources
IEEE Transactions on Information Theory
Worst-case interactive communication. II. Two messages are not optimal
IEEE Transactions on Information Theory
Some Results on Distributed Source Coding for Interactive Function Computation
IEEE Transactions on Information Theory
SIAM Journal on Computing
Proceedings of the 5th conference on Innovations in theoretical computer science
Direct sum fails for zero error average communication
Proceedings of the 5th conference on Innovations in theoretical computer science
Hi-index | 0.00 |
We develop a new local characterization of the zero-error information complexity function for two-party communication problems, and use it to compute the exact internal and external information complexity of the 2-bit AND function: IC(AND,0) = C∧≅ 1.4923 bits, and ICext(AND,0) = log2 3 ≅ 1.5839 bits. This leads to a tight (upper and lower bound) characterization of the communication complexity of the set intersection problem on subsets of {1,...,n} (the player are required to compute the intersection of their sets), whose randomized communication complexity tends to C∧⋅ n pm o(n) as the error tends to zero. The information-optimal protocol we present has an infinite number of rounds. We show this is necessary by proving that the rate of convergence of the r-round information cost of AND to IC(AND,0)=C∧ behaves like Θ(1/r2), i.e. that the r-round information complexity of AND is C∧+Θ(1/r2). We leverage the tight analysis obtained for the information complexity of AND to calculate and prove the exact communication complexity of the set disjointness function Disjn(X,Y) = - vi=1n AND(xi,yi) with error tending to 0, which turns out to be = CDISJ⋅ n pm o(n), where CDISJ≅ 0.4827. Our rate of convergence results imply that an asymptotically optimal protocol for set disjointness will have to use ω(1) rounds of communication, since every r-round protocol will be sub-optimal by at least Ω(n/r2) bits of communication. We also obtain the tight bound of 2/ln2 k pm o(k) on the communication complexity of disjointness of sets of size ≤ k. An asymptotic bound of Θ(k) was previously shown by Hastad and Wigderson.