Computing roadmaps in smooth real algebraic sets

Abstract : Let (f1, . . . , fs) be polynomials in Q[X 1 , . . . , Xn ] of degree bounded by D that generate a radical equidimensional ideal of dimension d and let V ⊂ C^n be the locus of their complex zero set which is supposed to be smooth. A roadmap in V ∩ R^n is a real algebraic curve contained in V ∩ Rn which has a non-empty and connected intersection with each connected component of V ∩ R^n . The classical strategy to compute roadmaps is due to J. Canny and leads to algorithms having a complexity within D^O(n^2) arithmetic operations in Q. This strategy is based on computing a polar variety of dimension 1 and a recursion on the studied variety intersected with fibers taken above a critical value of a projection. Thus, it requires computations with real algebraic numbers and introduces singularities at each recursive call. Thus, no efficient implementation of roadmap algorithms have been obtained until now. Our aim is to provide an efficient implementation of the roadmap algorithm. We show how to slightly modify this strategy in order to avoid the use of real algebraic numbers and to deal with smooth algebraic sets at each recursive call in the case where the input variety is smooth. Our complexity is h^d D^O(n) operations in Q where h bounds the number of recursive call in our algorithm. This quantity is related to the geometry of V ∩ R^n and is bounded by D^O(n), thus in worst cases our algorithm has a complexity within D^O(n^2) arithmetic operations. We report on some experiments done with a preliminary implementation of our algorithm.
Document type :
Conference papers
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00818797
Contributor : Marc Mezzarobba <>
Submitted on : Wednesday, June 12, 2019 - 12:54:17 PM
Last modification on : Thursday, June 13, 2019 - 1:49:00 PM

File

MezzarobbaSafey_Roadmaps_v2_20...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00818797, version 1

Citation

Marc Mezzarobba, Mohab Safey El Din. Computing roadmaps in smooth real algebraic sets. Transgressive Computing 2006, Apr 2006, Granada, Spain. pp.327-338. ⟨hal-00818797⟩

Share

Metrics

Record views

113

Files downloads

2