分解有限域 F q F_q Fq 上的多项式 f ( x ) f(x) f(x):
- 分离重因式:
- g ( x ) = g c d ( f ( x ) , f ′ ( x ) ) g(x) = gcd(f(x),f'(x)) g(x)=gcd(f(x),f′(x))
- h ( x ) = f ( x ) / g c d ( f ( x ) , f ′ ( x ) ) h(x) = f(x)/gcd(f(x),f'(x)) h(x)=f(x)/gcd(f(x),f′(x))
- 对
g
(
x
)
,
h
(
x
)
g(x), h(x)
g(x),h(x),得到
d
d
d 次不可约因式的乘积:
- g d ( x ) = g c d ( x q d − x , g ( x ) ) g_d(x) = gcd(x^{q^d}-x,g(x)) gd(x)=gcd(xqd−x,g(x))
- 对
g
d
(
x
)
,
h
d
(
x
)
g_d(x),h_d(x)
gd(x),hd(x),得到其非平凡因子:
- 随机选择:
- r ( x ) ∈ F q [ x ] , 0 < deg r ( x ) < deg g d ( x ) r(x)\in F_q[x], \ 0<\deg r(x)<\deg g_d(x) r(x)∈Fq[x], 0<degr(x)<deggd(x)
- 计算 :
- g c d ( g d ( x ) , r ( x ) q d − 1 2 ) gcd(g_d(x), r(x)^{\frac{q^d-1}{2}}) gcd(gd(x),r(x)2qd−1)
- g c d ( g d ( x ) , r ( x ) q d − 1 2 + 1 ) gcd(g_d(x), r(x)^{\frac{q^d-1}{2}}+1) gcd(gd(x),r(x)2qd−1+1)
- g c d ( g d ( x ) , r ( x ) q d − 1 2 − 1 ) gcd(g_d(x), r(x)^{\frac{q^d-1}{2}}-1) gcd(gd(x),r(x)2qd−1−1)
- 随机选择: