Abstract
The methods “Rank” and “Fooling Set” for proving lower bounds on the deterministic communication complexity of Boolean functions are compared. The main results are as follows.
-
(i)
The Rank method provides the lower bound n on communication complexity for almost all Boolean functions of 2n variables, whereas the Fooling Set method provides only the lower bound d(n) ≤ log2 n + log2 10. A specific sequence of Boolean functions {f 2n} ∞n=1 of 2n variables, is constructed, such that the Rank method provides exponentially higher lower bounds for f 2n than the Fooling Set method.
-
(ii)
A specific sequence of Boolean functions {f 2n } ∞n=1 is constructed such that the Fooling Set method provides a lower bound of n for h 2n , whereas the Rank method provides only (log2 3)/2 · n ≈ 0.79 · n as a lower bound.
-
(iii)
It is proved that lower bounds obtained by the Fooling Set method are better by at most a factor of two compared with lower bounds obtained by the Rank method.
These three results together solve the last problem about the comparison of lower bound methods on communication complexity left open in (Aho,A.V., Ullman, J.D., Yannakakis, M., On notions of information transfer in VLSI circuits, in: Proc. 15th ACM STOC 1983, pp. 133–139). Finally, it is shown that an extension of the Fooling Set method provides lower bounds which are tight (up to a polynomial) for all Boolean functions.
Supported in part by DFG-Grant Di 412–1.
Supported in part by SAV Grant No. 88 and by EC Cooperation Action IC 100 Algorithms for Future Technologies
Supported in part by NSF Grant CCR-9114545.
Preview
Unable to display preview. Download preview PDF.
References
Abelson, H., Lower Bounds on Information Transfer in Distributed Computations, Proc. 19tfh IEEE Symp. on Foundations of Computer Science, 1978, pp. 151–158.
Aho, A.V., Ullman, J.D., Yannakakis, M., On notions of informations transfer in VLSI circuits. Proc. 15th ACM STOC, 1983, pp. 133–139.
Bollobas, B., Combinatorics: Set Systems, Hypergraphs, Families of Vectors and Combinatorial Probability, Cambridge University Press, 1986, pp. 74–75.
Hühne, M.: personal communication.
Komlós, J.: On the determinant of (0,1)-matrices, Studia. Sci. Math Hungar. 2, 7–21.
Komlós, J.: On the determinant of random matrices. Studia. Sci. Math. Hungar. 3, 387–399.
Lengauer, Th.: VLSI Theory, In: Handbook of Theoretical Computer Science, Vol. A, Algorithms and Complexity (Jan van Leeuwen, Ed.), Elsevier, 1990 pp. 835–868.
Lovász, L.: On the ratio of optimal integral and fractional cover. Discrete Mathematic 13(1975), 384–390.
Lovász, L., Communication Complexity: A Survey, Paths, Flows, and VLSI-Layout (B.Korte et al. Eds.), Springer-Verlag 1990, pp. 235–265.
Mehlhorn, K. and Schmidt, E., Las Vegas is better than determinism in VLSI and distributed computing. Proc. 14th Annual ACM Symposium on Theory of Computing, San Francisco, 1982, pp. 330–337.
Orlitsky, A., El Gamal, A.: Communication Complexity, In: Complexity in Information Theory (Yaser S. Abu-Mustafa, Ed.), Springer-Verlag, New York 1988, 16–61.
Yao, A.C., Some complexity questions related to distributive computing, 11th ACM Symposium on Theory of Computing, 1979, pp. 209–213.
Yao, A.C., The entropic limitations on VLSI computations, 13th ACM Symposium on Theory of Computing, 1981, pp. 308–311.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dietzfelbinger, M., Hromkovič, J., Schnitger, G. (1994). A comparison of two lower bound methods for communication complexity. In: Prívara, I., Rovan, B., Ruzička, P. (eds) Mathematical Foundations of Computer Science 1994. MFCS 1994. Lecture Notes in Computer Science, vol 841. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58338-6_79
Download citation
DOI: https://doi.org/10.1007/3-540-58338-6_79
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58338-7
Online ISBN: 978-3-540-48663-3
eBook Packages: Springer Book Archive