Finding connected components of a semialgebraic set in subexponential time

Purchase on Springer.com

$39.95 / €34.95 / £29.95*

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Let a semialgebraic set be given by a quantifier-free formula of the first-order theory of real closed fields with atomic subformulae of type (f i ≥ 0), 1 ≤i ≤k where the polynomialsf i ε ℤ[X 1,..., Xn] have degrees deg(f i <d and the absolute value of each (integer) coefficient off i is at most 2 M . An algorithm is designed which finds the connected components of the semialgebraic set in time $M^{O(1)} (kd)^{n^{O(1)} } $ . The best previously known bound $M^{O(1)} (kd)^{n^{O(n)} } $ for this problem follows from Collins' method of Cylindrical Algebraic Decomposition.