Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time


An algorithm of polynomial complexity is described for factoring polynomials in several variables into irreducible factors over a field F which is finitely generated over the prime subfield H. An algorithm is also constructed for finding the components of the protective variety of common roots of homogeneous polynomials

(let c−1 denote its dimension) with working time polynomial in

. where

, the number L is the size of the representation of the polynomials



This is a preview of subscription content, log in to check access.

Literature cited

  1. 1.

    B. L. Van Der Waerden, Modern Algebra [Russian translation], Parts 1 and 2, ONTI, Moscow-Leningrad (1937).

  2. 2.

    D. Yu. Girogor'ev, “Two reductions of isomorphism of graphs to problems on polynomials,” J. Sov. Math.,20, No. 4 (1982).

  3. 3.

    O. Zariski and P. Samuel, Commutative Algebra [Russian translation], Vols. 1 and 2, IL, Moscow (1963).

  4. 4.

    D. Yu. Grigor'ev, “Factorization of polynomials over a finite field and solution of systems of algebraic equations,” J. Sov. Math.,34, No. 4 (1986).

  5. 5.

    D. Knuth, The Art of Computer Programming, Vol. 2, Addison-Wesley (1969).

  6. 6.

    S. Lang, Algebra [Russian translation], Mir, Moscow (1968).

  7. 7.

    I. R. Shafarevich, Basic Algebraic Geometry [in Russian], Nauka, Moscow (1972).

  8. 8.

    A. L. Chistov and D. Yu. Grigor'ev, “Polynomial-time factoring of the multivariable polynomials over a global field,” LOMI Preprint E-5-82, Leningrad (1982).

  9. 9.

    A. L. Chistov and D. Yu. Grigor'ev, “Subexponential-time solving systems of algebraic equations. I,” LOMI Preprint E-9-83, Leningrad (1983).

  10. 10.

    A. L. Chistov and D. Yu. Grigor'ev, “Subexponential-time solving systems of algebraic equations, II,” LOMI Preprint E-10-83, Leningrad (1983).

  11. 11.

    G. Collins, “Subresultants and reduced polynomial remainder sequences”, J. ACM,14, No. 1, 128–142 (1967).

  12. 12.

    D. Yu. Grigor'ev, “Some new bounds on tensor rank,” LOMI Preprint E-2-78, Leningrad (1978).

  13. 13.

    D. Yu. Grigor'ev, “Multiplicative complexity of a bilinear form over a commutative ring,” Lect. Notes Comput. Sci.,118, 281–286 (1981).

  14. 14.

    J. Heintz, “Definability and fast quantifier elimination in algebraically closed field,” Preprint Univ. Frankfurt, West Germany, December (1981).

  15. 15.

    E. Kaltofen, “A polynomial reduction from multivariate to bivariate integral polynomial factorization,” in: Proc. 14th ACM Symp. Th. Comput., May, 1982, N.Y., pp. 261–266.

  16. 16.

    E. Kaltofen, “A polynomial time-reduction from bivariate to univariate integral polynomial factorization,” in: Proc. 23rd Ann. Symp. Found. Comp. Sci., N.Y., October, 1982.

  17. 17.

    D. Lazard, “Algebre linéaire sur k [X1,...,Xn] et élimination,” Bull. Soc. Math. France,105, 165–190 (1977).

  18. 18.

    D. Lazard, “Résolutions des systèmes d'équations algébriques,” Theor. Comput. Sci.,15, 77–110 (1981).

  19. 19.

    D. Lazard, “Commutative algebra and computer algebra,” Lect. Notes Comput. Sci.,144, 40–48 (1983).

  20. 20.

    A. K. Lenstra, H. W. Lenstra, and L. Lovasz, “Factoring polynomials with rational coefficients,” Preprint Math. Centrum Amsterdam IW 195/82 (1982).

  21. 21.

    M. T. McClellan, “The exact solution of systems of linear equations with polynomial coefficients,” J. ACM,20, No. 4, 563–588 (1973).

  22. 22.

    A. Seidenberg, “Constructions in a polynomial ring over the ring of integers,” Am. J. Math.,100, No. 4, 685–704 (1978).

Download references

Additional information

Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 137, pp. 124–188, 1984.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Chistov, A.L. Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time. J Math Sci 34, 1838–1882 (1986).

Download citation


  • Polynomial Complexity
  • Subexponential Time