SIAM Digital Library
 
 
 

You are not logged in Logged Out Log In

SIAM J. Comput. 23, pp. 652-661 (10 pages)

Communication-Space Tradeoffs for Unrestricted Protocols

Paul Beame, Martin Tompa, and Peiyuan Yan

Full Text: Download PDF | Buy PDF (US$25) | View Cart
This paper introduces communicating branching programs and develops a general technique for demonstrating communication-space tradeoffs for pairs of communicating branching programs. This technique is then used to prove communication-space tradeoffs for any pair of communicating branching programs that hashes according to a universal family of hash functions. Other tradeoffs follow from this result. As an example, any pair of communicating Boolean branching programs that computes matrix-vector products over ${\text{GF}}(2)$ requires communication-space product $\Omega (n^2 )$, provided the space used is $o({n / {\log n}})$. These are the first examples of communication-space tradeoffs on a completely general model of communicating processes.

© 1994 © Society for Industrial and Applied Mathematics

PUBLICATION DATA

ISSN:

0097-5397 (print)  
1095-7111 (online)

ARTICLE DATA

History
Received October 01, 1992
Accepted February 17, 1993

For access to fully linked references, you need to log in.

For access to citing articles, you need to log in.


Close

close