On the computing time of the continued fractions method
The maximum computing time of the continued fractions method for polynomial real root isolation is at least quintic in the degree of the input polynomial. This computing time is realized for an infinite sequence of polynomials of increasing degrees, each having the same coefficients. The recursion trees for those polynomials do not depend on the use of root bounds in the continued fractions method. The trees are completely described. The height of each tree is more than half the degree. When the degree exceeds one hundred, more than one third of the nodes along the longest path are associated with primitive polynomials whose low-order and high-order coefficients are large negative integers. The length of the forty-five percent highest order coefficients and of the ten percent lowest order coefficients is at least linear in the degree of the input polynomial multiplied by the level of the node. Hence the time required to compute one node from the previous node using classical methods is at least proportional to the cube of the degree of the input polynomial multiplied by the level of the node. The intervals that the continued fractions method returns are characterized using a matrix factorization algorithm. (C) 2012 Elsevier Ltd. All rights reserved.
polynomial real root isolation computing time lower bounds symmetric functions subadditivity fibonacci numbers mignotte polynomials loxodromic transformations