Abstract
Consider the “Number in Hand” multiparty communication complexity model, where k players P 1,...,P k holding inputs \(x_1,\ldots,x_k\in{0, 1}^n\) (respectively) communicate in order to compute the value f(x 1,...,x k ). The main lower bound technique for the communication complexity of such problems is that of partition arguments: partition the k players into two disjoint sets of players and find a lower bound for the induced two-party communication complexity problem. In this paper, we study the power of the partition arguments method. Our two main results are very different in nature:
(i) For randomized communication complexity we show that partition arguments may be exponentially far from the true communication complexity. Specifically, we prove that there exists a 3-argument function f whose communication complexity is Ω(n) but partition arguments can only yield an Ω(log n) lower bound. The same holds for nondeterministic communication complexity.
(ii) For deterministic communication complexity, we prove that finding significant gaps, between the true communication complexity and the best lower bound that can be obtained via partition arguments, would imply progress on (a generalized version of) the “log rank conjecture” of communication complexity.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ajtai, M., Jayram, T.S., Kumar, R., Sivakumar, D.: Approximate counting of inversions in a data stream. In: STOC, pp. 370–379 (2002)
Alon, N., Matias, Y., Szegedy, M.: The space complexity of approximating the frequency moments. J. Comput. Syst. Sci. 58(1), 137–147 (1999)
Babai, L., Nisan, N., Szegedy, M.: Multiparty protocols and logspace-hard pseudorandom sequences. In: Proc. of the 21st ACM Symp. on the Theory of Computing, pp. 1–11 (1989)
Bar-Yossef, Z., Jayram, T.S., Kumar, R., Sivakumar, D.: An information statistics approach to data stream and communication complexity. J. Comput. Syst. Sci. 68(4), 702–732 (2004)
Chakrabarti, A., Khot, S., Sun, X.: Near-optimal lower bounds on the multi-party communication complexity of set disjointness. In: IEEE Conference on Computational Complexity, pp. 107–117 (2003)
Chandra, A., Furst, M., Lipton, R.: Multiparty protocols. In: Proc. of the 15th ACM Symp. on the Theory of Computing, pp. 94–99 (1983)
Dietzfelbinger, M., Hromkovic, J., Schnitger, G.: A comparison of two lower-bound methods for communication complexity. Theor. Comput. Sci. 168(1), 39–51 (1996)
Dolev, D., Feder, T.: Multiparty communication complexity. In: Proc. of the 30th IEEE Symp. on Foundations of Computer Science, pp. 428–433 (1989)
Dolev, D., Feder, T.: Determinism vs. nondeterminism in multiparty communication complexity. SIAM J. Comput. 21(5), 889–895 (1992)
Duris, P.: Multiparty communication complexity and very hard functions. Inf. Comput. 192(1), 1–14 (2004)
Duris, P., Rolim, J.D.P.: Lower bounds on the multiparty communication complexity. J. Comput. Syst. Sci. 56(1), 90–95 (1998)
Feder, T., Kushilevitz, E., Naor, M., Nisan, N.: Amortized communication complexity. SIAM J. Comput. 24(4), 736–750 (1995)
Gronemeier, A.: Asymptotically optimal lower bounds on the nih-multi-party information complexity of the and-function and disjointness. In: STACS 2009, pp. 505–516 (2009)
Håstad, J.: Tensor rank is NP-complete. J. Algorithms 11(4), 644–654 (1990)
Karchmer, M., Wigderson, A.: Monotone circuits for connectivity require super-logarithmic depth. In: Proc. of the 20th ACM Symp. on the Theory of Computing, pp. 539–550 (1988)
Kushilevitz, E., Nisan, N.: Communication Complexity. Cambridge University Press, Cambridge (1997)
Lipton, R.J., Sedgewick, R.: Lower bounds for VLSI. In: Proc. of the 13rd ACM Symp. on the Theory of Computing, pp. 300–307 (1981)
Mehlhorn, K., Schmidt, E.M.: Las vegas is better than determinism in VLSI and distributed computing. In: Proc. of the 14th ACM Symp. on the Theory of Computing, pp. 330–337 (1982)
Newman, I.: Private vs. common random bits in communication complexity. Inf. Process. Lett. 39(2), 67–71 (1991)
Nisan, N., Wigderson, A.: On rank vs. communication complexity. Combinatorica 15(4), 557–565 (1995)
Raz, R., Spieker, B.: On the “log rank”-conjecture in communication complexity. Combinatorica 15(4), 567–588 (1995)
van Lint, J.H., Wilson, R.M.: A Course in Combinatorics. Cambridge University Press, Cambridge (1992)
Yao, A.C.: Some complexity questions related to distributed computing. In: Proc. of the 11th ACM Symp. on the Theory of Computing, pp. 209–213 (1979)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Draisma, J., Kushilevitz, E., Weinreb, E. (2009). Partition Arguments in Multiparty Communication Complexity. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds) Automata, Languages and Programming. ICALP 2009. Lecture Notes in Computer Science, vol 5555. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02927-1_33
Download citation
DOI: https://doi.org/10.1007/978-3-642-02927-1_33
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02926-4
Online ISBN: 978-3-642-02927-1
eBook Packages: Computer ScienceComputer Science (R0)