School of Mathematical Sciences,Graduate University,Chinese Academy of Sciences,Beijing 100049,China
Abstract:
We describe an algorithm for computing the zero-th and first Betti numbers of the union of compact semi-algebraic sets.The complexity of the algorithm is single exponential.