FFTとかNTTとか

しまった. nを素数にするとFFTが使えない. となると, 計算量はO(n^2 log^c n)か. メリットが消えてしまうな. 直そう.

直ったかと思ったがダメぽい? n=2^kとして, x^n+1はZ上既約. また2nがq-1を割り切らないとき, Zq上でも既約かと思ったがそうではない. 根は持たないんだがなぁ.

実は, nが2冪で無いとしても, N=2^k≧2nとしておくと出来る.
F_q'[x]/(x^n-1)で計算してから, 戻すイメージ.