Abstract
Andrew Yao proved some lower bounds for algebraic computation trees with integer inputs. In his key result he proved bounds on the number of components of the leaf space of a homogeneous decision tree derived from a computation tree. In this paper we present a shorter and more conceptual proof. We introduce the concept of aregulated tree as a generalization of a regular tree which has the advantage of allowing the same lower bounds on the non-linear portion of the complexity. The proof is an application of a result of Ben-Or.
Similar content being viewed by others
References
M. Ben-Or. Lower bounds for algebraic computation trees.Proceedings 15th ACM STOC, pages 80–86, 1983.
D. Coppersmith and S. Winograd. Matrix multiplications via arithmetic progressions.Journal of Symbolic Computation, 9:251–280, 1990.
A. Lubiw. A RAM lower bound for the integer distinctness problem. To appear inInformation and Computation.
A. Lubiw and A. Racs. A lower bound for the integer distinctness problem. InFrench-Israel Conference on Combinatorics, November 1988.
J. Milnor. On the Betti-numbers of real varieties.Proceedings of the American Mathematical Society, 15:275–280, 1964.
V. Y. Pan.How to multiply matrices faster. Lecture Notes in Computer Science. Springer Verlag, Berlin, 1984.
M. Steele and A. Yao. Lower bounds for algebraic decision trees.Journal of Algorithms, 3:1–8, 1982.
R. Thom. Sur l'homologie des variétés algébriques réelles. In S. S. Cairns, editor,Differential and Combinatorial Topology, pages 255–265. Princeton University Press, 1965.
A. C.-C. Yao. Lower bounds for algebraic computation trees with integer inputs.Proceedings 30th Annual Symposium on Fundamentals of Computer Science, pages 308–313, 1989.
A. C.-C. Yao. Lower bounds for algebraic computation trees with integer inputs.SIAM Journal on Computing, 20:655–668, 1989.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Hirsch, M.D. Lower bounds for the non-linear complexity of algebraic computation trees with integer inputs. Comput Complexity 1, 257–268 (1991). https://doi.org/10.1007/BF01200063
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01200063