×

Simple algorithms for approximating all roots of a polynomial with real roots. (English) Zbl 0723.12011

Let p be a polynomial of degree n in \({\mathbb{Z}}[x]\) with n distinct real roots. Suppose that the coefficients of p are all in absolute value less than \(2^ m\). It is shown that the approximation of all roots of p, within precision \(2^{-\mu}\) is P-uniform \(NC^ 2\) and it can be solved by a sequential algorithm using only \(O(n^ 2(m+\mu)\log^ 6(m+n+\mu))\) bit operations. The algorithm makes use of a Sturm sequence for p that consists of orthogonal polynomials, with small coefficients.

MSC:

12Y05 Computational aspects of field theory and polynomials (MSC2010)
12D10 Polynomials in real and complex fields: location of zeros (algebraic theorems)
26C10 Real polynomials: location of zeros
68Q15 Complexity classes (hierarchies, relations among complexity classes, etc.)
Full Text: DOI

References:

[1] Aho, A. V.; Hopcroft, J. E.; Ullman, J. D., The Design and Analysis of Computer Algorithms (1974), Addison-Wesley: Addison-Wesley Reading, MA · Zbl 0207.01701
[2] Beame, P. W.; Cook, S. A.; Hoover, H. J., Log depth circuits for division and related problems, (Proceedings, 25th IEEE Symposium on Foundation of Computer Science (1983)), 1-6
[3] Berkowitz, S. J., On computing determinant in small parallel time using a small number of processors, Inform. Process. Lett., 18, 147-150 (1984) · Zbl 0541.68019
[4] Ben-Or, M.; Feig, E.; Kozen, D.; Tiwari, P., A fast parallel algorithm for determining all roots of a polynomial with real roots, SIAM J. Comput., 17, 1081-1092 (1988) · Zbl 0663.68047
[5] Ben-Or, M.; Kozen, D.; Rief, J., The complexity of elementary algebra and geometry, (Proceedings, 16th ACM Symposium on Theory of Computing (1984)), 457-464
[6] Canny, J., Some algebraic and geometric computations in PSPACE, (Proceedings, 29th ACM Symposium on Theory of Computing (1988)), 460-467
[7] Collins, G. E., Subresultants and reduced remainder sequences, J. Assoc. Comput. Mech., 14, 120-142 (1967) · Zbl 0152.35403
[8] Curtis, D. R., Analytic Functions of a Complex Variable (1948), Mathematical Association of America: Mathematical Association of America Washington, D.C.
[9] Householder, A. S., The Numerical Treatment of Single Nonlinear Equation (1970), McGraw-Hill: McGraw-Hill New York · Zbl 0242.65047
[10] Jacobson, N., Basic Algebra I (1974), Freeman: Freeman San Francisco · Zbl 0284.16001
[11] Mahler, K., An inequality for the discriminant of a polynomial, Michigan Math. J., 11, 257-262 (1964) · Zbl 0135.01702
[12] Neff, C. A., Specified precision polynomial root isolation is in NC, (Proceedings, 31st IEEE Symposium on Foundations of Computer Science (1990)), 152-162
[13] Reif, J., Logarithmic depth circuits for algebraic functions, (Proceedings, 24th IEEE Symposium on Foundation of Computer Science (1983)), 138-145
[14] Renegar, J., On the worst-case arithmetic complexity of approximating zeros of polynomials (1987), manuscript · Zbl 0642.65031
[15] Renegar, J., A faster \(p\)-space algorithm for deciding the existential theory of reals, (Proceedings, 29th IEEE Symposium on Foundation of Computer Science (1988)), 291-295
[16] Schönhage, A., The fundamental theorm of algebra in terms of computational complexity (1982), manuscript
[17] Szego, G., Orthogonal Polynomials (1959), Amer. Math. Soc.,: Amer. Math. Soc., Providence, RI · JFM 65.0278.03
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.