Faster algorithms for computing real isolated points of an algebraic hypersurface - Archive ouverte HAL
Preprints, Working Papers, ... Year : 2022

Faster algorithms for computing real isolated points of an algebraic hypersurface

Huu Phuoc Le

Abstract

Let $\mathbb{R}$ be the field of real numbers. We consider the problem of computing the real isolated points of a real algebraic set in $\mathbb{R}^n$ given as the vanishing set of a polynomial system. This problem plays an important role for studying rigidity properties of mechanism in material designs. In this paper, we design two algorithms of whose complexities are respectively $O\ \widetilde{~}(︀D^{8n})︀$ and $O\ \widetilde{~}(︀D^{6n})︀$ for computing the real isolated points of real algebraic hypersurfaces in $\mathbb{R}^n$ of degree $D$. We also propose several heuristic optimizations to avoid the most costly computation in our algorithms in most of the cases, which makes our complexity reduced to $O\ \widetilde{~}(︀D^{3n})︀$ for those cases. These algorithms lead to an implementation which is able to solve instances which were out of reach.
Fichier principal
Vignette du fichier
mainiso.pdf (245.24 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03590187 , version 1 (26-02-2022)
hal-03590187 , version 2 (24-03-2022)

Identifiers

  • HAL Id : hal-03590187 , version 2

Cite

Huu Phuoc Le. Faster algorithms for computing real isolated points of an algebraic hypersurface. 2022. ⟨hal-03590187v2⟩
93 View
90 Download

Share

More