论文信息 - Factorization of polynomials over a finite field and the solution of systems of algebraic equations

Factorization of polynomials over a finite field and the solution of systems of algebraic equations

An algorithm is constructed for factoring polynomials in several variables over a finite field, which works in polynomial time in the size of the polynomial and q. Previously this result was known in the case of one variable. An algorithm is given for the solution (over the algebraic closure F of the field F) of systems of algebraic equations, where with working time of order where L is the size of a representative of the original system, ℓ is the degree of transcendence of the field F over the prime subfield, q=char(F). Previously the estimate was known for ℓ=0.

D. Grigor'ev | D. Yu. Grigor'ev

[1] George E. Collins,et al. Subresultants and Reduced Polynomial Remainder Sequences , 1967, JACM.

[2] Two reductions of graph isomorphism to problems on polynomials , 1982 .

[3] Erich Kaltofen. A Polynomial-Time Reduction from Bivariate to Univariate Integral Polynomial Factorization , 1982, FOCS.

[4] A. Seidenberg. CONSTRUCTIONS IN A POLYNOMIAL RING OVER THE RING OF INTEGERS. , 1978 .

[5] Relation between rank and multiplicative complexity of a bilinear form over a commutative Noetherian ring , 1981 .

[6] Erich Kaltofen,et al. A polynomial reduction from multivariate to bivariate integral polynomial factorization. , 1982, STOC '82.

[7] Dima Grigoriev. Multiplicative Complexity of a Bilinear Form over a Commutative Ring , 1981, MFCS.

[8] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .

[9] Daniel Lazard,et al. Resolution des Systemes d'Equations Algebriques , 1981, Theor. Comput. Sci..

[10] László Lovász,et al. Factoring polynomials with rational coefficients , 1982 .

[11] A. Chistov,et al. Algorithm of polynomial complexity for factoring polynomials and finding the components of varieties in subexponential time , 1986 .

[12] D. LAZARD. Commutative Algebra and Computer Algebra , 1982, EUROCAM.

[13] D. Lazard. Algèbre linéaire sur $K[X_1,\dots,X_n]$ et élimination , 1977 .