Abstract
We introduce a new powerful method for provinglower bounds onrandomized anddeterministic analytic decision trees, and give direct applications of our results towards some concrete geometric problems. We design alsorandomized algebraic decision trees for recognizing thepositive octant in ℝn or computing MAX in ℝn in depth logO(1) n. Both problems are known to have linear lower bounds for the depth of any deterministic analytic decision tree recognizing them. The mainnew (andunifying) proof idea of the paper is in the reduction technique of the signs oftesting functions in a decision tree to the signs of theirleading terms at the specially chosen points. This allows us to reduce the complexity of adecision tree to the complexity of a certainBoolean circuit.
Similar content being viewed by others
References
M. Ben-Or,Lower Bounds for Algebraic Computation Trees, Proc. 15th ACM STOC (1983), pp. 80–86.
A. Björner, L. Lovasz and A. Yao,Linear Decision Trees: Volume Estimates and Topological Bounds, Proc. ACM STOC (1992), pp. 170–177.
J. Bruck and R. Smolensky,Polynomial Threshold Functions, AC 0 Functions and Spectral Norms., Proc. IEEE FOCS (1990), pp. 632–641.
P. Buergisser, M. Karpinski andT. Lickteig,On Randomized Algebraic Test Complexity, J. of Complexity9 (1993), pp. 231–251.
H. Cartan,Elementary Theory of Analytic Functions of One or Several Complex Variables, Addison-Wesley (1963).
R. Courant,Theory of Functions of a Complex Variable, New York University Press (1948).
H. Edelsbrunner,Algorithms in Computational Geometry, Springer-Verlag, 1987.
R. Fleischer,Decision Trees: Old and New Results, Proc. ACM STOC (1993), pp. 468–477.
D. Grigoriev andM. Karpinski,Lower Bounds on Complexity of Testing Membership to a Polygon for Algebraic and Randomized Computation Trees Technical Report TR-93-042, International Computer Science Institute, Berkeley, 1993.
D. Grigoriev, M. Karpinski, F. Meyer auf der Heide and R. Smolensky,A Lower Bound for Randomized Algebraic Decision Trees, Computational Complexity 6 (1996/1997) (this volume), pp. 357–375. Extended Abstract in Proc. 28th ACM STOC (1996), pp. 612–619.
D. Grigoriev, M. Karpinski and N. Vorobjov,Improved Lower Bound on Testing Membership to a Polyhedron by Algebraic Decision Trees, Proc. IEEE FOCS (1995), pp. 258–265.
D. Grigoriev, M. Karpinski andA. Yao,An Exponential Lower Bound on the Size of Algebraic Decision Trees for MAX Technical Report TR-95-066, International Computer Science Institute, Berkeley (1995); to appear in computational complexity.
D. Grigoriev andN. Vorobjov,Solving Systems of Polynomial Inequalities in Subexponential Time, Journal of Symbolic Comp.,5 (1988), pp. 37–64.
D. Grigoriev and N. Vorobjov,Complexity Lower Bounds for Computation Trees with Elementary Transcendental Function Gates, Proc. IEEE FOCS (1994), pp. 548–552.
J.W. Jaromczyk,Lower Bound for Problems Defined by Polynomial Inequalities, Proc. Symp. on Foundations Computation Theory (1981), LNCS, Vol. 117, Springer-Verlag (1981), pp. 165–172.
E. Kushilevitz and Y. Mansour,Learning Decision Trees Using the Fourier Spectrum, Proc. ACM STOC (1991), pp. 455–464.
S. Lang,Algebra, Addison-Wesley, New York (1984).
U. Manber andM. Tompa,Probabilistic, Nondeterministic and Alternating Decision Trees, J. ACM, Vol. 32 (1985), pp. 720–732.
F. Meyer auf der Heide,Simulating Probabilistic by Deterministic Algebraic Computation Trees, Theoretical Computer Science41 (1985), pp. 325–330.
L. Montaña, L. Pardo andT. Recio,A Note on Rabin's Width of a Complete Proof, computational complexity4 (1994), pp. 12–36.
M. Rabin,Proving Simultaneous Positivity of Linear Forms, J. Comput. Syst. Sci.6 (1972), pp. 639–650.
R. Smolensky,Algebraic Methods in the Theory of Lower Bounds for Boolean Circuit Complexity, Proc. ACM STOC (1987), pp. 77–82.
A. Tarski,A Decision Method for Elementary Algebra and Geometry, University of California Press, 1951.
H. Ting andA. Yao,A Randomized Algorithm for Finding Maximum with O(log 2 n) Polynomial Tests Inform. Processing Letters49 (1994), pp. 39–43.
L. Valiant andV. Vazirani,NP is as Easy as Detecting Unique Solutions, Theor. Comp. Sci.47 (1986), pp. 85–93.
A. Yao,Algebraic Decision Trees and Euler Characteristics, Proc. 33rd IEEE FOCS (1992), pp. 268–277.
A. Yao,Decision Tree Complexity and Betti Numbers Proc. 26th ACM STOC (1994), pp. 615–624.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Grigoriev, D., Karpinski, M. & Smolensky, R. Randomization and the computational power of analytic and algebraic decision trees. Comput Complexity 6, 376–388 (1996). https://doi.org/10.1007/BF01270388
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01270388