Computing the first Betti number and the connected components of semi-algebraic sets

Proceedings of the Annual ACM Symposium on Theory of Computing

Volumn , Issue , 2005, Pages 304-312

  Basu, Saugata ^a   Pollack, Richard ^b   Roy, Marie Françoise ^c  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b NEW YORK UNIVERSITY   (United States)

^c UNIVERSITÉ DE RENNES 1   (France)

Author keywords

Homology groups; Single exponential algorithms

Indexed keywords

ALGORITHMS; COMPUTATION THEORY; MATRIX ALGEBRA; SET THEORY;

BETTI NUMBERS; HOMOLOGY GROUPS; SINGLE EXPONENTIAL ALGORITHMS;

NUMBER THEORY;

EID: 34848903310     PISSN: 07378017     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1060590.1060636     Document Type: Conference Paper

References (27)

1. S. BASU, On Bounding the Betti Numbers and Computing the Euler Characteristics of Semi-algebraic Sets, Discrete and Computational Geometry, 22 1-18 (1999).
2. S. BASU, On different bounds on different Betti numbers, Discrete and Computational Geometry, 30:1, 65-85 (2003).
3. S. BASU, Computing the first few Betti numbers of semi-algebraic sets in singly exponential time, preprint (2004). (Available at www.math.gatech.edu/saugata/bettifew.ps.)
4. S. BASU, R. POLLACK, M.-F. ROY, On the Combinatorial and Algebraic Complexity of Quantifier Elimination, Journal of the ACM , 43 1002-1045, (1996).
5. S. BASU, R. POLLACK, M.-F. ROY, Computing Roadmaps of Semi-algebraic Sets on a Variety, Journal of the AMS, vol 3, 1 55-82 (1999).
6. S. BASU, R. POLLACK, M.-F. ROY, Algorithms in Real Algebraic Geometry, Springer-Verlag, 2003.
7. S. BASU, R. POLLACK, M.-F. ROY, Computing the first Betti number and the connected components of semi-algebraic sets, (full paper in preparation).
8. M. BEN-OR, D. KOZEN, J. REIF, The complexity of elementary algebra and geometry, J. of Computer and Systems Sciences, 18:251-264, (1986).
9. J. BOCHNAK, M. COSTE, M.-F. ROY, Géométrie algébrique réelle, Springer-Verlag (1987).
10. Real algebraic geometry, Springer-Verlag (1998).
11. A. BOREL. J.C. MOORE, Homology theory for locally compact spaces, Mich. Math. J., 7:137- 159, (1960).
12. P. BURGISSER, F. CUCKER, Counting Complexity Classes for Numeric Computations II: Algebraic and Semi-algebraic Sets, preprint.
13. J. CANNY, Computing road maps in general semi-algebraic sets, The Computer Journal, 36: 504-514, (1993).
14. G. COLLINS, Quantifier elimination for real closed fields by cylindric algebraic decomposition, In Second GI Conference on Automata Theory and Formal Languages. Lecture Notes in Computer Science, vol. 33, pp. 134-183, Springer- Verlag, Berlin (1975).
15. A. GABRIELOV, N. VOROBJOV Betti Numbers for Quantifier-free Formulae, Discrete and Computational Geometry (to appear).
16. L. GOURNAY, J. J. RISLER, Construction of roadmaps of semi-algebraic sets, Appl. Algebra Eng. Commun. Comput. 4, No.4, 239-252 (1993).
17. D. GRIGOR'EV, N. VOROBJOV, Counting connected components of a semi-algebraic set in subexponential time, Comput. Complexity 2, No.2, 133-186 (1992).
18. R. M. HARDT, Semi-algebraic Local Triviality in Semi-algebraic Mappings, Am. J. Math. 102, 291-302 (1980).
19. J. HEINTZ, M.-F. ROY, P. SOLERNÓ, Description of the Connected Components of a Semialgebraic Set in Single Exponential Time, Discrete and Computational Geometry, 11, 121-140 (1994).
20. J. MILNOR, On the Betti numbers of real varieties, Proc. AMS 15, 275-280 (1964).
21. O. A. OLEǏNIK, Estimates of the Betti numbers of real algebraic hypersurfaces, Mat. Sb. (N.S.), 28 (70): 635-640 (Russian) (1951).
22. O. A. OLEǏNIK, I. B. PETROVSKII, On the topology of real algebraic surfaces, Izv. Akad. Nauk SSSR 13, 389-402 (1949).
23. P. PEDERSEN, M.-F. ROY, A. SZPIRGLAS, Counting real zeroes in the multivariate case, Computational algebraic geometry, Eyssette et Galligo ed. Progress in Mathematics 109, 203-224, Birkhauser (1993).
24. J. RENEGAR. On the computational complexity and geometry of the first order theory of the reals, Journal of Symbolic Computation, 13: 255-352 (1992).
25. M.-F. ROY, A. SZPIRGLAS Complexity of computation on real algebraic numbers, Journal of Symbolic Computation 10, No.1, 39-51 (1990).
26. E. H. SPANIER Algebraic Topology, McGraw-Hill Book Company, 1966.
27. R. THOM, Sur l'homologie des variétés algébriques réelles, Differential and Combinatorial Topology, 255-265. Princeton University Press, Princeton (1965).