On the combinatorial and algebraic complexity of quantifier elimination
Journal of the ACM (JACM)
Handbook of discrete and computational geometry
On the Combinatorial and Topological Complexity of a Single Cell
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
Computing the betti numbers of arrangements
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
On the number of embeddings of minimally rigid graphs
Proceedings of the eighteenth annual symposium on Computational geometry
Computing the Betti numbers of arrangements via spectral sequences
Journal of Computer and System Sciences - STOC 2002
Hi-index | 0.00 |
A classic result in real algebraic geometry due to Oleinik-Petrovsky, Thom and Milnor, bounds the {\em topological complexity} (the sum of the Betti numbers) of basic semi-algebraic sets. This bound is tight as one can construct examples having that many connected components. However, till now no significantly better bounds were known on the individual higher Betti numbers.In this paper we prove separate bounds on the different Betti numbers of basic semi-algebraic sets, as well as arrangements of algebraic hypersurfaces. These are the first results in this direction.