𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A comparison of two lower-bound methods for communication complexity

✍ Scribed by Martin Dietzfelbinger; Juraj Hromkovič; Georg Schnitger


Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
835 KB
Volume
168
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis


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) For almost all Boolean functions of 2n variables the Rank method provides the lower bound n on communication complexity, whereas the Fooling Set method provides only the lower bound d(n) < log, n+log, 10. A specific sequence {fin},OO=, of Boolean functions, where f;, has 2n variables, is constructed such that the Rank method provides exponentially higher lower bounds for fz,, than the Fooling Set method.

(ii) A specific sequence {/z~~}Z, of Boolean functions is constructed such that the Fooling Set method provides a lower bound of n for hzn, whereas the Rank method provides only (log, 3)/2 n M 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 .

Finally, it is shown that an extension of the Fooling Set method provides lower bounds that are tight (up to a polynomial) for all Boolean functions.


📜 SIMILAR VOLUMES


Some Lower Bounds for the Complexity of
✍ Jean-Pierre Dedieu; Steve Smale 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 222 KB

In this note we consider the zero-finding problem for a homogeneous polynomial system, The well-determined (m=n) and underdetermined (m<n) cases are considered together. We also let D=max d i , d=(d 1 , ..., d m ), and The projective Newton method has been introduced by Shub in [6] and is defined