Algebraic Decision Trees and Euler Characteristics

Andrew Chi-Chih Yao
DOI: https://doi.org/10.1109/sfcs.1992.267765
1992-01-01
Abstract:For any set S contained in R/sup n/, let chi (S) denote its Euler characteristic. The author shows that any algebraic computation tree or fixed-degree algebraic decision tree must have height Omega (log mod chi (S) mod )for deciding the membership question of a compact semi-algebraic set S. This extends a result by A. Bjorner, L. Lovasz and A. Yao where it was shown that any linear decision tree for deciding the membership question of a closed polyhedron S must have height greater than or equal to log/sub 3/ mod chi (S) mod .
What problem does this paper attempt to address?