Ambainis, Andris
[VerfasserIn];
Kokainis, Martins
[VerfasserIn];
Prusis, Krisjanis
[VerfasserIn];
Vihrovs, Jevgenijs
[VerfasserIn]
;
Andris Ambainis and Martins Kokainis and Krisjanis Prusis and Jevgenijs Vihrovs
[MitwirkendeR]
All Classical Adversary Methods are Equivalent for Total Functions
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
We show that all known classical adversary lower bounds on randomized query complexity are equivalent for total functions, and are equal to the fractional block sensitivity fbs(f). That includes the Kolmogorov complexity bound of Laplante and Magniez and the earlier relational adversary bound of Aaronson. For partial functions, we show unbounded separations between fbs(f) and other adversary bounds, as well as between the relational and Kolmogorov complexity bounds. We also show that, for partial functions, fractional block sensitivity cannot give lower bounds larger than sqrt(n * bs(f)), where n is the number of variables and bs(f) is the block sensitivity. Then we exhibit a partial function f that matches this upper bound, fbs(f) = Omega(sqrt(n * bs(f))).