Английская Википедия:Evdokimov's algorithm

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Шаблон:Short description Шаблон:Use dmy dates In computational number theory, Evdokimov's algorithm, named after Sergei Evdokimov, is the asymptotically fastest known algorithm for factorization of polynomials (until 2019Шаблон:Cn). It can factorize a one-variable polynomial of degree <math>n</math> over an explicitly given finite field of cardinality <math>q </math>. Assuming the generalized Riemann hypothesis the algorithm runs in deterministic time <math>(n^{\log n}\log q)^{{\mathcal O}(1)}</math> (see Big O notation). This is an improvement of both Berlekamp's algorithm and Rónyai's algorithm in the sense that the first algorithm is polynomial for small characteristic of the field, whearas the second one is polynomial for small <math>n</math>; however, both of them are exponential if no restriction is made.

The factorization of a polynomial <math>f</math> over a ground field <math>k</math> is reduced to the case when <math>f</math> has no multiple roots and is completely splitting over <math>k</math> (i.e. <math>f</math> has <math>n</math> distinct roots in <math>k</math>). In order to find a root of <math>f</math> in this case, the algorithm deals with polynomials not only over the ground field <math>k</math> but also over a completely splitting semisimple algebra over <math>k</math> (an example of such an algebra is given by <math>k[X]/(f) = k[A]</math>, where <math>A = X\bmod f</math>). The main problem here is to find efficiently a nonzero zero-divisor in the algebra. The GRH is used only to take roots in finite fields in polynomial time. Thus the Evdokimov algorithm, in fact, solves a polynomial equation over a finite field "by radicals" in quasipolynomial time.

The analyses of Evdokimov's algorithm is closely related with some problems in the association scheme theory. With the help of this approach, it was proved that if <math>n</math> is a prime and <math>n-1</math> has a ‘large’ <math>r</math>-smooth divisor <math>s</math>, then a modification of the Evdokimov algorithm finds a nontrivial factor of the polynomial <math>f</math> in deterministic <math>\operatorname{poly}(n^r,\log q)</math> time, assuming GRH and that <math>s=\Omega\left(\sqrt{n/2^r}\,\right)</math>.

Further reading

• Шаблон:Cite book