[JZOJ4367]【GDKOI2016】小学生数学题（口胡）

Description

Solution

既然保证最后答案有逆元，那么将原式拆成有逆元和没有逆元两部分
即

$$\sum\limits_{a=1}^{\lfloor {n\over p}\rfloor}{1\over a*p}+\sum\limits_{i=0}^{\lfloor {n\over p}\rfloor-1}\sum\limits_{j=1}^{p-1}{1\over i*p+j}\pmod {p^k}$$
前面没有逆元，后面有逆元
后面剩下那部分很少，最多不超过p个，直接暴力做即可
考虑前面
那么就是 $${1\over p}\sum\limits_{a=1}^{\lfloor {n\over p}\rfloor}{1\over a}\pmod {p^k}$$

设其为$f(n,p)$

我们知道
$a\equiv b\pmod p$等价于$ac\equiv bc\pmod {pc}$

那么原式等于$f({\lfloor {n\over p}\rfloor},k+1)/p$

递归处理即可

考虑有逆元的部分

$$\sum\limits_{i=0}^{\lfloor {n\over p}\rfloor-1}\sum\limits_{j=1}^{p-1}{1\over i*p+j}\pmod {p^k}$$

提一个j的逆元出来

$$=\sum\limits_{i=0}^{\lfloor {n\over p}\rfloor-1}\sum\limits_{j=1}^{p-1}j^{-1}{1\over i*p*j^{-1}+1}\pmod {p^k}$$

i=0的直接先做掉

根据泰勒展开公式，当$x^∞→0$时，$1\over 1-x$的泰勒展开式是$\sum\limits_{i=0}^{∞}x^i$

证明可以用等比数列，${x^∞-1\over x-1}={0-1\over x-1}={1\over 1-x}$

显然，$(-i*p*j)^∞$在模$p^k$意义下是等于0的

那么成立

原式子就变成

$$\sum\limits_{i=1}^{\lfloor {n\over p}\rfloor-1}\sum\limits_{j=1}^{p-1}j^{-1}\sum\limits_{q=0}^{∞}(-i*p*j^{-1})^q\pmod {p^k}$$

因为是模$p^k$，所以k-1次方以后都是0

$$=\sum\limits_{i=1}^{\lfloor {n\over p}\rfloor-1}\sum\limits_{j=1}^{p-1}j^{-1}\sum\limits_{q=0}^{k-1}(-i*p*j^{-1})^q\pmod {p^k}$$

交换主体

$$=\sum\limits_{j=1}^{p-1}j^{-1}\sum\limits_{q=0}^{k-1}(-p*j^{-1})^q\sum\limits_{i=1}^{\lfloor {n\over p}\rfloor-1}i^q\pmod {p^k}$$

后面用做一个自然数幂和就可以了

Code

因为是口胡，所以并没有代码