15,095 research outputs found
Computing the First Betti Numberand Describing the Connected Components of Semi-algebraic Sets
In this paper we describe a singly exponential algorithm for computing the
first Betti number of a given semi-algebraic set. Singly exponential algorithms
for computing the zero-th Betti number, and the Euler-Poincar\'e
characteristic, were known before. No singly exponential algorithm was known
for computing any of the individual Betti numbers other than the zero-th one.
We also give algorithms for obtaining semi-algebraic descriptions of the
semi-algebraically connected components of any given real algebraic or
semi-algebraic set in single-exponential time improving on previous results
Computing the First Few Betti Numbers of Semi-algebraic Sets in Single Exponential Time
In this paper we describe an algorithm that takes as input a description of a
semi-algebraic set , defined by a Boolean formula with atoms of
the form for
and outputs the first Betti numbers of ,
The complexity of the algorithm is where where s =
#({\mathcal P}) and which is
singly exponential in for any fixed constant. Previously, singly
exponential time algorithms were known only for computing the Euler-Poincar\'e
characteristic, the zero-th and the first Betti numbers
Efficient algorithms for computing the Euler-Poincar\'e characteristic of symmetric semi-algebraic sets
Let be a real closed field and
an ordered domain. We consider the algorithmic problem of computing the
generalized Euler-Poincar\'e characteristic of real algebraic as well as
semi-algebraic subsets of , which are defined by symmetric
polynomials with coefficients in . We give algorithms for computing
the generalized Euler-Poincar\'e characteristic of such sets, whose
complexities measured by the number the number of arithmetic operations in
, are polynomially bounded in terms of and the number of
polynomials in the input, assuming that the degrees of the input polynomials
are bounded by a constant. This is in contrast to the best complexity of the
known algorithms for the same problems in the non-symmetric situation, which
are singly exponential. This singly exponential complexity for the latter
problem is unlikely to be improved because of hardness result
(-hardness) coming from discrete complexity theory.Comment: 29 pages, 1 Figure. arXiv admin note: substantial text overlap with
arXiv:1312.658
Algorithmic Semi-algebraic Geometry and Topology -- Recent Progress and Open Problems
We give a survey of algorithms for computing topological invariants of
semi-algebraic sets with special emphasis on the more recent developments in
designing algorithms for computing the Betti numbers of semi-algebraic sets.
Aside from describing these results, we discuss briefly the background as well
as the importance of these problems, and also describe the main tools from
algorithmic semi-algebraic geometry, as well as algebraic topology, which make
these advances possible. We end with a list of open problems.Comment: Survey article, 74 pages, 15 figures. Final revision. This version
will appear in the AMS Contemporary Math. Series: Proceedings of the Summer
Research Conference on Discrete and Computational Geometry, Snowbird, Utah
(June, 2006). J.E. Goodman, J. Pach, R. Pollack Ed
Solving parametric systems of polynomial equations over the reals through Hermite matrices
We design a new algorithm for solving parametric systems having finitely many
complex solutions for generic values of the parameters. More precisely, let with and
, be the algebraic set
defined by and be the projection . Under the
assumptions that admits finitely many complex roots for generic values of
and that the ideal generated by is radical, we solve the following
problem. On input , we compute semi-algebraic formulas defining
semi-algebraic subsets of the -space such that
is dense in and the number of real points in
is invariant when varies over each .
This algorithm exploits properties of some well chosen monomial bases in the
algebra where is the ideal generated by in
and the specialization property of the so-called Hermite
matrices. This allows us to obtain compact representations of the sets by
means of semi-algebraic formulas encoding the signature of a symmetric matrix.
When satisfies extra genericity assumptions, we derive complexity bounds on
the number of arithmetic operations in and the degree of the
output polynomials. Let be the maximal degree of the 's and , we prove that, on a generic , one can compute
those semi-algebraic formulas with operations in and that the polynomials involved
have degree bounded by .
We report on practical experiments which illustrate the efficiency of our
algorithm on generic systems and systems from applications. It allows us to
solve problems which are out of reach of the state-of-the-art
- …