[PowMod][1]
先贴官方题解
其中第二段根本不懂。。。然后就去学习了一下
引理:设 p 为 n 的一个质因数,
$$if\quad p^2|n\quad then\quad \varphi(n)=\varphi(\frac{n}{p})\times p\quad else\quad \varphi(n)=\varphi(\frac{n}{p})\times \varphi(p)$$
前一部分可以用 $\varphi(n)$ 的定义来证明,后一部分就是积性函数的性质(详见[欧拉函数为什么是积性函数][2])
题中n is a square-free number
表示 $n$ 没有平方因子。
我们设 $p$ 为 $n$ 的一个质因数,对 $p\mid i$ 的情况分类讨论:
$$\sum_{i=1}^{m}\varphi(i\times n)=\sum_{p\nmid i}^{m}\varphi(i\times n)+\sum_{p\mid i}^{m}\varphi(i\times n) \\
=\varphi(p)\times \sum_{p\nmid i}^{m}\varphi(i\times \frac{n}{p})+p\times \sum_{p\mid i}^{m}\varphi(i\times \frac{n}{p}) \\
(\because\ p\ is\ a\ prime\ number) \\
=\varphi(p)\times \sum_{p\nmid i}^{m}\varphi(i\times \frac{n}{p})+(\varphi(p)+1)\times \sum_{p\mid i}^{m}\varphi(\frac{i}{p}\times n) \\
(\because p\mid i\ 和\ p\nmid i\ 合并为全集 ) \\
=\varphi(p)\times \sum_{i=1}^{m}\varphi(i\times \frac{n}{p})+\sum_{p\mid i}^{m}\varphi(\frac{i}{p}\times n) \\
=\varphi(p)\times \sum_{i=1}^{m}\varphi(i\times \frac{n}{p})+\sum_{i=1}^{m/p}\varphi(i\times n)$$
再解释另一个式子:$a^b\equiv a^{\varphi(p)+b%\varphi(p)}\pmod p$,我们分两种情况:
- $a$与$p$互质,那么由费马-欧拉定理,$a^{\varphi(p)}\equiv 1 \pmod p$,原式成立;
- $a$与$p$不互质,则$a^x$在$\varphi(p)$次之内就会变为0。需要一个条件,$b\geq \varphi(p)$,那么实际上$a^b\equiv a^{\varphi(p)+b%\varphi(p)}\equiv 0 \pmod p$,原式成立。
但是为什么满足$b\geq \varphi(p)$我还是觉得很难解释,代码是抄标程的:
1 |
|
本篇博客借助 markdown 高清重制~~
[1]:http://acm.hdu.edu.cn/showproblem.php?pid=5728
[2]:http://blog.csdn.net/summonlight/article/details/51967425