Computing Roadmaps of General Semi-Algebraic Sets

Abstract

In this paper we study the problem of determining whether two points lie in the same connected component of a semi-algebraic set S. Although we are mostly concerned with sets S ⊆ Rk, our algorithm can also decide if points in an arbitrary set S ⊆ Rk can be joined by joined by a semi-algebraic path, for any real closed field R. Our algorithm computes a one-dimensional semi-algebraic subset R(S) of S (actually of an embedding of S in a space Rk for a certain real extension field R of the given field R. R(S) is called the roadmap of S. The basis of this work is the roadmap algorithm described in [3,4] which worked only for compact, regularly stratified sets. We measure the complexity of the formula describing the set S by the number of polynomials n, their maximum degree d, the maximum length of their coefficients in bits c, and the number of variables k. With respect to the above measures, the bit complexity of our new algorithm is (nk log n)dO(k2))(c log n(1+∈) randomized, or (nk log n)dO(k4)c1+∈) deterministic, for any ∈ >0. Note that the combinatorial complexity (complexity in terms of n) in both cases is within a polylog factor of the worst-case lower bound for the number of connected components Ω(nk).