We provide a simple and powerful combinatorial method for proving lower bounds for algebraic computation trees over algebraically closed fields of characteristic p > 0. We apply our method to prove, for example, an Ω(n log n) lower bound for the n element distinctness problem, an Ω(n log(n/k)) lower bound to the "k;-equal problem" - that is deciding whether there are k identical elements out of n input elements, and more. The proof of the main theorem relies on the deep work of Dwork, Deligne, and Bombieri on the Weil Conjectures. In particular we make use of Bombieri's bound on the degree of the Zeta function of algebraic varieties over finite fields. Our bounds provide a natural extension to the recent topological lower bounds obtained by Bjorner, Lovasz and Yao for algebraic computation trees over the real numbers. For the special cases of real subspace arrangements and general complex varieties we can reformulate their specific results using our combinatorial approach without mentioning any topological invariants.
|Number of pages
|Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS
|Published - 1994
|Proceedings of the 35th IEEE Annual Symposium on Foundations of Computer Science - Santa Fe, NM, USA
Duration: 20 Nov 1994 → 22 Nov 1994
Bibliographical notePublisher Copyright:
© 1994 IEEE