Computing the first few Betti numbers of semi-algebraic sets in single exponential time

Journal of Symbolic Computation

Volumn 41, Issue 10, 2006, Pages 1125-1154

  Basu, Saugata ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Betti numbers; Semi algebraic sets; Single exponential complexity

Indexed keywords

EID: 33749163668     PISSN: 07477171     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jsc.2006.07.001     Document Type: Article

References (23)

1. Basu S. On bounding the Betti numbers and computing the Euler characteristics of semi-algebraic sets. Discrete and Computational Geometry 22 (1999) 1-18
2. Basu S. On different bounds on different Betti numbers. Discrete and Computational Geometry 30 (2003) 65-85
3. Basu S., and Kettner M. Computing the Betti numbers of arrangements in practice. Proceedings of the 8th International Workshop on Computer Algebra in Scientific Computing. CASC. LNCS vol. 3718 (2005) 13-31
4. Basu S., Pollack R., and Roy M.-F. On the combinatorial and algebraic complexity of quantifier elimination. Journal of the ACM 43 (1996) 1002-1045
5. Basu S., Pollack R., and Roy M.-F. Computing roadmaps of semi-algebraic sets on a variety. Journal of the AMS 3 1 (1999) 55-82
6. Basu S., Pollack R., and Roy M.-F. Algorithms in Real Algebraic Geometry. Second edn (2006), Springer-Verlag
7. Basu S., Pollack R., and Roy M.-F. Computing the first Betti number and the connected components of semi-algebraic sets (2005). Available from: arXiv:math.AG/0603248
8. Bochnak J., Coste M., and Roy M.-F. Géométrie algébrique réelle. Real Algebraic Geometry (1998), Springer-Verlag (Original work published 1987)
9. Burgisser P., and Cucker F. Counting complexity classes for numeric computations II: Algebraic and semi-algebraic sets. Journal of Complexity 22 2 (2006) 147-191
10. Canny J. Computing road maps in general semi-algebraic sets. The Computer Journal 36 (1993) 504-514
11. Collins G. Quantifier elimination for real closed fields by cylindric algebraic decomposition. Second GI Conference on Automata Theory and Formal Languages. Lecture Notes in Computer Science vol. 33 (1975), Springer-Verlag, Berlin 134-183
12. Gabrielov A., and Vorobjov N. Betti numbers for quantifier-free formulae. Discrete and Computational Geometry 33 (2005) 395-401
13. Gournay L., and Risler J.J. Construction of roadmaps of semi-algebraic sets. Applicable Algebra in Engineering Communication and Computing 4 4 (1993) 239-252
14. Grigor'ev D., and Vorobjov N. Counting connected components of a semi-algebraic set in subexponential time. Computational Complexity 2 2 (1992) 133-186
15. Hardt R.M. Semi-algebraic local triviality in semi-algebraic mappings. American Journal of Mathematics 102 (1980) 291-302
16. Knebusch M. Weakly Semialgebraic Spaces. Lecture Notes in Mathematics vol. 1367 (1989), Springer-Verlag
17. McCleary J. A User's Guide to Spectral Sequences. second ed. Cambridge Studies in Advanced Mathematics (2001)
18. Milnor J. On the Betti numbers of real varieties. Proceedings of AMS 15 (1964) 275-280
19. Oleǐnik O.A. Estimates of the Betti numbers of real algebraic hypersurfaces. Matematicheski Sbornik (N.S.) 28 70 (1951) 635-640 (in Russian)
20. Oleǐnik O.A., and Petrovskii I.B. On the topology of real algebraic surfaces. Izvestiya Akaddemii Nauk SSSR 13 (1949) 389-402
21. Renegar J. On the computational complexity and geometry of the first order theory of the reals. Journal of Symbolic Computation 13 (1992) 255-352
22. Rotman J.J. An Introduction to Algebraic Topology (1988), Springer-Verlag
23. Thom R. Sur l'homologie des variétés algébriques réelles. Differential and Combinatorial Topology (1965), Princeton University Press, Princeton 255-265