关于 k 如何取模的问题
查看原帖
关于 k 如何取模的问题
94887
LoveLonelyTime楼主2022/8/5 10:24

先说结论 F(x)Pa0Pmodxn(nP)F(x)^P \equiv a_0^P \mod x^n (n \le P) 。因为根据多项式定理的系数 P!n1!n2!nk!\frac{P!}{n_1!n_2!\ldots n_k!}PP 是个质数,当 ni=Pn_i = P 的情况下,多项式系数等于 11 ,而其他情况下因为 PP 是个质数所以多项式系数能被 PP 整除。以上讨论说明了 F(x)PF(x)^P 只剩下了 ni=Pn_i = P 的项,但是因为 nPn \le P,那么就说明 xkP(k0)x^{kP}(k \neq 0) 的项被舍弃,而只留下了 a0Pa_0^P

考虑式子 F(x)k=(F(x)atxt)katkxtkF(x)^k = (\frac{F(x)}{a_tx^t})^k a_t^kx^{tk} ,此时 (F(x)atxt)k(\frac{F(x)}{a_tx^t})^k 是一个 a0=1a_0=1 的多项式,套用上面的结论 F(x)P1modxn(nP)F(x)^P \equiv 1 \mod x^n (n \le P) 。因此在计算 (F(x)atxt)k(\frac{F(x)}{a_tx^t})^k 的时候 kk 是可以直接对 PP 取模而不影响答案。对于 atka_t^k 这东西可以根据用费马小定理 kk 去对 P1P-1 取模。对于 xtkx^{tk} 要判断一下 tktk 的大小确定如何移动。

最后一个问题就是当 ata_t 不存在的时候,直接等于 00 即可。

2022/8/5 10:24
加载中...