Improved bounds for Continued Fractions variants for real root isolation
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 (O)B(dG+d4T2+d3T2) for isolating the real roots of a polynomial with integer coefficients using the classic variant of CF introduced by Akritas, where d is the degree of the polynomial and r the maximum bitsize of its coefficients. This improves the previous bound of Sharma by a factor of d3 and matches the bound derived by Mehlhorn and Ray for another variant of CF; it also matches the worst case bound of the subdivision-based solvers.
Elias P.Tsigaridas
Computer Science Department Aarhus University IT-parken, Abogade 34 DK 8200 (A)rhus N, Denmark
国际会议
北京
英文
226-237
2011-10-21(万方平台首次上网日期,不代表论文的发表时间)