There is no English translation for this web page.
------ Links: ------
Link to publication 
Link to original publication 
Download Bibtex entry
|Author||Bürgisser, Peter and Cucker, Felipe and Tonelli-Cueto, Josué|
|Journal||Foundations of Computational Mathematics|
|Abstract||We describe and analyze an algorithm for computing the homology (Betti numbers and torsion coefficients) of closed semialgebraic sets given by Boolean formulas without negations over lax polynomial inequalities. The algorithm works in weak exponential time. This means that outside a subset of data having exponentially small measure, the cost of the algorithm is single exponential in the size of the data. All previous algorithms solving this problem have doubly exponential complexity (and this is so for almost all input data). Our algorithm thus represents an exponential acceleration over state-of-the-art algorithms for all input data outside a set that vanishes exponentially fast.|
Zusatzinformationen / Extras
Schnellnavigation zur Seite über Nummerneingabe
This site uses Matomo for anonymized webanalysis. Visit Data Privacy for more information and opt-out options.
Copyright TU Berlin 2008