Solving bivariate algebraic systems and topology of plane curves

Yacine Bouzidi 1
1 VEGAS - Effective Geometric Algorithms for Surfaces and Visibility
Inria Nancy - Grand Est, LORIA - ALGO - Department of Algorithms, Computation, Image and Geometry
Abstract : A fundamental problem in computational geometry is the computation of the topology of an algebraic plane curve given by its implicit equation, that is, the computation of a graph lines that approximates the curve while preserving its topology. A critical step in many algorithms computing the topology of a plane curve is the computation of the set of singular and extreme points (wrt x) of this curve, which is equivalent to the computation of the solutions of bivariate systems defined by the curve and some of its partial derivatives. In this thesis, we study form theoretical and practical perspectives the problem of solving systems of bivariate polynomials with integer coefficients. More precisely, we investigate the computation of a Rational Univariate Representation (RUR) of the solutions of a bivariate system, that is, a one-to-one mapping that sends the roots of a univariate polynomial to the solutions of the bivariate system. We first present a theoretical algorithm for computing the RUR of a bivariate system that improves the best complexity bound for this problem by a factor d^2 where d denote the degree of the input polynomials and allows to derive a new bound on the size of the polynomials of the RUR. We then present an algorithm for computing a RUR that is efficient in practice. This algorithm, based on some random choices and the use of multi-modular computation is probabilistic. We first present a Monte-Carlo variante of this algorithm, and then show how to transforme the latter into a Las-Vegas algorithm by checking the result for correctness. The complexity analysis as well as the experiment we performed show the efficiency of this algorithm.
Document type :
Theses
Symbolic Computation [cs.SC]. Université de Lorraine, 2014. English. 〈NNT : 2014LORR0016〉
Liste complète des métadonnées

Cited literature [72 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00979707
Contributor : Yacine Bouzidi <>
Submitted on : Wednesday, April 16, 2014 - 4:27:02 PM
Last modification on : Thursday, October 5, 2017 - 1:15:41 AM
Document(s) archivé(s) le : Monday, April 10, 2017 - 2:36:44 PM

Identifiers

  • HAL Id : tel-00979707, version 1

Citation

Yacine Bouzidi. Solving bivariate algebraic systems and topology of plane curves. Symbolic Computation [cs.SC]. Université de Lorraine, 2014. English. 〈NNT : 2014LORR0016〉. 〈tel-00979707〉

Share

Metrics

Record views

471

Document downloads

302