|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2009 24th Annual IEEE Conference on Computational Complexity
On the Communication Complexity of Read-Once AC^0 Formulae
Paris, France
July 15-July 18
ISBN: 978-0-7695-3717-7
| ASCII Text | x | ||
| T.S. Jayram, Swastik Kopparty, Prasad Raghavendra, "On the Communication Complexity of Read-Once AC^0 Formulae," 2012 IEEE 27th Conference on Computational Complexity, pp. 329-340, 2009 24th Annual IEEE Conference on Computational Complexity, 2009. | |||
| BibTex | x | ||
| @article{ 10.1109/CCC.2009.39, author = {T.S. Jayram and Swastik Kopparty and Prasad Raghavendra}, title = {On the Communication Complexity of Read-Once AC^0 Formulae}, journal ={2012 IEEE 27th Conference on Computational Complexity}, volume = {0}, year = {2009}, isbn = {978-0-7695-3717-7}, pages = {329-340}, doi = {http://doi.ieeecomputersociety.org/10.1109/CCC.2009.39}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE 27th Conference on Computational Complexity TI - On the Communication Complexity of Read-Once AC^0 Formulae SN - 978-0-7695-3717-7 SP329 EP340 A1 - T.S. Jayram, A1 - Swastik Kopparty, A1 - Prasad Raghavendra, PY - 2009 KW - Communication complexity KW - Information complexity KW - AND-OR trees KW - Lower bounds VL - 0 JA - 2012 IEEE 27th Conference on Computational Complexity ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CCC.2009.39
We study the 2-party randomized communication complexity of read-once AC0 formulae. For balanced AND-OR trees T with n inputs and depth d, we show that the communication complexity of the function f(x, y) = T(x \circ y) is \Omega(n/4^d) where (x \circ y) is defined so that the resulting tree also has alternating levels of AND and OR gates. For each bit of x \circ y, the operation \circ is either AND or OR depending on the gate in T to which it is an input. Using this, we show that for general AND-OR trees T with n inputs and depth d, the communication complexity of f (x \circ y) is n/2^{\O(d log d)}. These results generalize classical results on the communication complexity of set-disjointness [1], [2] (where T is an OR -gate) and recent results on the communication complexity of the TRIBES functions [3] (where T is a depth-2 read-once formula). Our techniques build on and extend the information complexity methodology [4], [5], [3] for proving lower bounds on randomized communication complexity. Our analysis for trees of depth d proceeds in two steps: (1) reduction to measuring the information complexity of binary depth-d trees, and (2) proving lower bounds on the information complexity of binary trees. In order to execute this program, we carefully construct input distributions under which both these steps can be carried out simultaneously. We believe the tools we develop will prove useful in further studies of information complexity in particular, and communication complexity in general.
Index Terms:
Communication complexity, Information complexity, AND-OR trees, Lower bounds
Citation:
T.S. Jayram, Swastik Kopparty, Prasad Raghavendra, "On the Communication Complexity of Read-Once AC^0 Formulae," ccc, pp.329-340, 2009 24th Annual IEEE Conference on Computational Complexity, 2009
Usage of this product signifies your acceptance of the Terms of Use.
