Probabilistic communication complexity (Q579927)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Probabilistic communication complexity |
scientific article |
Statements
Probabilistic communication complexity (English)
0 references
1986
0 references
Communication is a bottleneck in many distributed computations. In VLSI, communication constraints dictate lower bounds on the performance of chips. The two-processor information transfer model measures the communication requirements to compute functions. We study the unbounded error probabilistic version of this model. Because of its weak notion of correct output, we believe that this model measures the ``intrinsic'' communication complexity of functions. We present exact characterizations of the unbounded error communication complexity in terms of arrangements of hyperplanes and approximations of matrices. These characterizations establish the connection with certain classical problems in combinatorial geometry which are concerned with the configurations of points in d- dimensional real space. With the help of these characterizations, we obtain some upper and lower bounds on communication complexity. The upper bounds which we obtained for the functions - equality and verifications of Hamming distance - are considerably better than their counterparts in the deterministic, the nondeterministic, and the bounded error probabilistic models. We also exhibit a function which has log n complexity. We present a counting argument to show that most functions have linear complexity. Further, we apply the logarithmic lower bound on communication complexity to obtain an \(\Omega\) (n log n) bound on the time of 1-tape unbounded error probabilistic Turing machines. We believe that this is the first nontrivial lower bound obtained for such machines.
0 references
distributed computations
0 references
VLSI
0 references
two-processor information transfer model
0 references
unbounded error communication complexity
0 references
combinatorial geometry
0 references
Hamming distance
0 references
1-tape unbounded error probabilistic Turing machines
0 references