Improved complexity bounds for real root isolation using Continued Fractions - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2010

Improved complexity bounds for real root isolation using Continued Fractions

Résumé

We consider the problem of isolating the real roots of a square-free polynomial with integer coefficients using (variants of) the continued fraction algorithm (CF). We introduce a novel way to compute a lower bound on the positive real roots of univariate polynomials. This allows us to derive a worst case bound of $\sOB( d^6 + d^4\tau^2 + d^3\tau^2)$ for isolating the real roots of a polynomial with integer coefficients using the classic variant of CF, where $d$ is the degree of the polynomial and $\tau$ the maximum bitsize of its coefficients. This improves the previous bound by Sharma \cite{sharma-tcs-2008} by a factor of $d^3$ and matches the bound derived by Mehlhorn and Ray \cite{mr-jsc-2009} for another variant of CF; it also matches the worst case bound of the subdivision-based solvers.
Fichier principal
Vignette du fichier
icf.pdf (228.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00524834 , version 1 (08-10-2010)
inria-00524834 , version 2 (09-10-2010)
inria-00524834 , version 3 (09-10-2010)
inria-00524834 , version 4 (01-06-2011)

Identifiants

  • HAL Id : inria-00524834 , version 3
  • ARXIV : 1010.2006

Citer

Elias Tsigaridas. Improved complexity bounds for real root isolation using Continued Fractions. [Research Report] 2010. ⟨inria-00524834v3⟩

Collections

DIEUDONNE
135 Consultations
130 Téléchargements

Altmetric

Partager

More