logo EDITE Ivan BANNWARTH
Identité
Ivan BANNWARTH
État académique
Thèse soutenue le 2017-09-26
Sujet: Algorithmes rapides pour la topologie des ensembles semi-algébriques, Implantations et Applications
Direction de thèse:
Laboratoire:
Voisinage
Ellipse bleue: doctorant, ellipse jaune: docteur, rectangle vert: permanent, rectangle jaune: HDR. Trait vert: encadrant de thèse, trait bleu: directeur de thèse, pointillé: jury d'évaluation à mi-parcours ou jury de thèse.
Productions scientifiques
oai:hal.archives-ouvertes.fr:hal-01152751
Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets
International audience
Let f ∈ Q[X1,. .. , Xn] be a polynomial of degree D. We consider the problem of computing the real dimension of the real algebraic set defined by f = 0. Such a problem can be reduced to quanti-fier elimination. Hence it can be tackled with Cylindrical Algebraic Decomposition within a complexity that is doubly exponential in the number of variables. More recently, denoting by d the dimension of the real algebraic set under study, deterministic algorithms running in time D O(d(n−d)) have been proposed. However, no implementation reflecting this complexity gain has been obtained and the constant in the exponent remains unspecified. We design a probabilistic algorithm which runs in time which is essentially cubic in D d(n−d). Our algorithm takes advantage of gener-icity properties of polar varieties to avoid computationally difficult steps of quantifier elimination. We also report on a first implementation. It tackles examples that are out of reach of the state-of-the-art and its practical behavior reflects the complexity gain.
ISSAC'15 Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation https://hal.archives-ouvertes.fr/hal-01152751 Proceedings of the 40th International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. ACM, ISSAC'15, 2015, <10.1145/2755996.2756670>ARRAY(0x7f54709232f0) 2015-07-06