先说结论 F(x)P≡a0Pmodxn(n≤P) 。因为根据多项式定理的系数 n1!n2!…nk!P!, P 是个质数,当 ni=P 的情况下,多项式系数等于 1 ,而其他情况下因为 P 是个质数所以多项式系数能被 P 整除。以上讨论说明了 F(x)P 只剩下了 ni=P 的项,但是因为 n≤P,那么就说明 xkP(k=0) 的项被舍弃,而只留下了 a0P 。
考虑式子 F(x)k=(atxtF(x))katkxtk ,此时 (atxtF(x))k 是一个 a0=1 的多项式,套用上面的结论 F(x)P≡1modxn(n≤P) 。因此在计算 (atxtF(x))k 的时候 k 是可以直接对 P 取模而不影响答案。对于 atk 这东西可以根据用费马小定理 k 去对 P−1 取模。对于 xtk 要判断一下 tk 的大小确定如何移动。
最后一个问题就是当 at 不存在的时候,直接等于 0 即可。