【数学】完全剩余系与费马小定理

完全剩余系

我们定义 $a_i(1\le i\le n)$ 为模 $m$ 的完全剩余系当且仅当对于 $\forall 1\le i,j\le n$ 且 $i\ne j$，满足 $a_i\not\equiv a_j(\mathrm{mod}m)$，对于 $\forall 0\le i<n$，$\exists j$ 使得 $a_j\equiv i(\mathrm{mod}m)$。
性质1：若数组 $a_1,a_2,\cdots ,a_n$ 为模 $m$ 的完全剩余系，则 $a_1+b,a_2+b,\cdots ,a_n+b$ 也为模 $m$ 的完全剩余系。
性质2：若数组 $a_1,a_2,\cdots ,a_n$ 为模 $m$ 的完全剩余系，$\gcd (b,m)=1$，则 $a_{1}b,a_{2}b,\cdots ,a_{n}b$ 也为模 $m$ 的完全剩余系。
以上两性质都可以由定义简单推导得到，不多做赘述。

费马小定理

费马小定理：设 $a\in \mathbb{Z},p\in \text{prime}$，则 $a^{p-1}\equiv 1(\mathrm{mod}p)$。
证明：
构造 $b_i=a\cdot i(0\le i<p)$ 显然为模 $p$ 的完全剩余系
则 $\prod _{i=1}^{p-1}{b}_i\equiv \prod _{i=1}^{p-1}i(\mathrm{mod}p)$
即 $\prod _{i=1}^{p-1}a\cdot i\equiv \prod _{i=1}^{p-1}i(\mathrm{mod}p)$
约去 $\prod _{i=1}^{p-1}i$，得 $a^{p-1}\equiv 1(\mathrm{mod}p)$，证毕。
费马小定理适用于求乘法逆元。

性能（求乘法逆元）

• 时间复杂度 $\Theta (\log p)$

代码（就是快速幂，所以不贴了）

练习

• 洛谷P3811

注：有一种线性求逆元的方法，故部分凉心题目会卡掉纯费马小定理写法。