数论

数论

一、数学基础

---

• 素数

  • 如果大于 $1$ 的正整数 $p$ 仅有的正因子是 $1$ 和 $p$ , 称 $p$ 为素数(prime)。
  • 大于 $1$ 又不是素数的正整数称为合数。
  • 如果 $n$ 是合数, 则 $n$ 必有一个小于或等于 $\sqrt{n}$ 的素因子。

• 算术基本定理

  • 每个正整数都可以惟一地表示成素数的乘积，其中素数因子从小到大依次出现（这里的“乘积”可以有0个、1个或多个素因子）。
  • 定理证明：详见百度百科
  • 换句话说, 任意正整数 $n$ 可以写成如下形式（其中 $a_1,a_2,a_3$ 等为非负整数，这个定理也叫做惟一分解定理 ）。
    $$n=2^{a_1}\times 3^{a_2}\times 5^{a_3}\times 7^{a_4}\cdots$$
  • 推论：如果质数 $p$ 是 $ab$ 的因子，那么 $p$ 或者是 $a$ 的因子，或者是 $b$ 的因子。

• 求N以内的素数

  • 模拟：略
  • 筛法:
    • 埃拉托斯特尼筛法 $O(n\log \log n)$ ：给出 $2—N$ 是自然数表，从前往后筛掉合数，剩下的就是素数。步骤如下：
      1. 首先找到 $2$ 为素数，则 $2$ 的倍数一定是合数，筛掉；
      2. 后面第一个没有筛掉的数一定是素数，即 $3$ ，同样筛掉 $3$ 的倍数，以此类推，直到筛掉所有合数为止。
         
    • 欧拉筛法 $O(n)$ ：我们发现按照上面的方法进行筛除会有重复的情况，可以不重复吗？答案是肯定的！
      
      
      难点在于：
      为什么这里要 break？先可以得出一个结论，此时的 $pri[j]$ 为 $i\cdot pri[j]$ 的最小质因数。现设 $x=p_1\cdot a$ 为合数，且 $p_1$ 为其最小的质因子，$a$ 为质数或合数，若为质数，则设 $a=1\times p^{\prime }(a^{\prime }=1)$，否则设 $a=a^{\prime }\cdot p^{\prime }$ ， $p^{\prime }$ 为质数（因为任意一个合数都可以表示成一个质数和另一个数的乘积）。则 $x=(p_1\cdot a^{\prime })\cdot p^{\prime }=p_1\cdot (a^{\prime }\cdot p^{\prime })$ ，且可以知道 $p_1\cdot a^{\prime }\le p^{\prime }\cdot a^{\prime }$ ,即合数 $p_1\cdot a^{\prime }$ 小于合数 $p^{\prime }\cdot a^{\prime }$ ，且 $p_1\le p^{\prime }$ ,故得出结论，即比一个合数数大的质数和该合数的乘积可用一个更大的合数和比其小的质数相乘得到。
      在上面实现代码中，$i$ 在 $[2,m]$ 间循环，在 $i=p_1\cdot a$ 时，若满足 $imodpri[j]=0$ 而不break的话，有可能在后面遇到一个 $pri[k]$ ,使得某个数 $x^{\prime }=p_1^{\prime }\cdot a^{\prime }\cdot pri[k]$ ，在之后 $i=a^{\prime }\cdot pri[k]$ 时，还会再和 $p_1^{\prime }$ 相乘重新进行 $flag[i\cdot pri[j]]=1$ ; 赋值，这样就造成了重复赋值，降低了效率，如果break了，则不会出现这样的情况。

• 整数的整除性

  • $a$ 除以非 $0$ 整数 $b$ 商为整数，且余数为零。 （我们就 $a$ 能被 $b$ 整除或说 $b$ 能整除 $a$ ，记作 $b|a$ ）
  • 可整除性的基本性质
    • 若 $a|b$ , $a|c$ , 则 $a|(b+c)$
    • 若 $a|b$ , 那么对所有整数 $c$ , $a|bc$
    • 若 $a|b$ , $b|c$ , 则 $a|c$ ，整除关系具有传递性

• 除法和同余

  • 令 $a$ 为整数，$d$ 为正整数，那么有惟一的整数 $q$ 和 $r$ ，其中 $0\le r<d$ ，使得 $a=dq+r$
  • 可以用这个定理来定义除法：$d$ 叫除数，$a$ 叫被除数，$q$ 叫商，$r$ 叫余数。
  • 如果两个数 $a$ , $b$ 除以一个数 $c$ 的余数相等，说 $a$ 和 $b$ 关于模 $c$ 同余，记作 $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}c)$
  • $a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}c)$ 成立的充要条件是 $c|(a-b)$

• 最大公约数和最小公倍数

  • 令 $a$ 和 $b$ 是不全为 $0$ 的两个整数，能使 $d|a$ 和 $d|b$ 的最大整数称为 $a$ 和 $b$ 的最大公约数，用 $gcd(a,b)$ 表示，或者记为 $(a,b)$。
  • 令 $a$ 和 $b$ 是不全为 $0$ 的两个整数，能使 $a|d$ 和 $b|d$ 的最小整数称为 $a$ 和 $b$ 的最小公倍数，用 $lcm(a,b)$ 表示，或者记为 $[a,b]$ 。
  • 定理: $ab=gcd(a,b)\cdot lcm(a,b)$
    • 证明：
      使用惟一分解定理. 设
      $$a=p_1^{a_1}\cdot p_2^{a_2}\cdots p_n^{a_n}b=p_1^{b_1}\cdot p_2^{b_2}\cdots p_n^{b_n}$$
      则有
      $$lcm(a,b)=p_1^{max(a_1,b_1)}\cdot p_2^{max(a_2,b_2)}\cdots p_n^{max(a_n,b_n)}$$
      $$gcd(a,b)=p_1^{min(a_1,b_1)}\cdot p_2^{min(a_2,b_2)}\cdots p_n^{min(a_n,b_n)}$$
      显然 $max(x,y)\cdot min(x,y)=xy$
      故 $ab=gcd(a,b)\cdot lcm(a,b)$

• 取模运算的一些性质

  1. $(a+b)\mathrm{m}\mathrm{o}\mathrm{d}m=(a\mathrm{m}\mathrm{o}\mathrm{d}m+b\mathrm{m}\mathrm{o}\mathrm{d}m)\mathrm{m}\mathrm{o}\mathrm{d}m$
  2. $(a-b)\mathrm{m}\mathrm{o}\mathrm{d}m=((a\mathrm{m}\mathrm{o}\mathrm{d}m-b\mathrm{m}\mathrm{o}\mathrm{d}m)\mathrm{m}\mathrm{o}\mathrm{d}m+m)\mathrm{m}\mathrm{o}\mathrm{d}m(a>b)$
  3. $(a\times b)modm=(a\mathrm{m}\mathrm{o}\mathrm{d}m\times b\mathrm{m}\mathrm{o}\mathrm{d}m)\mathrm{m}\mathrm{o}\mathrm{d}m$

二、欧几里德算法

---

• 欧几里德算法（gcd）–辗转相除法

  • 利用公式
    $$gcd(a,b)=gcd(b,a\mathrm{m}\mathrm{o}\mathrm{d}b)$$
    求解 $gcd(a,b)$ ,时间复杂度为 $O(\log b)$
  • 证明：
    • 第一步：令 $c=gcd(a,b)$，则设 $a=mc$ ，$b=nc$
    • 第二步：可知 $r=a-kb=mc-knc=(m-kn)c$
    • 第三步：根据第二步结果可知c也是r的因数
    • 第四步：可以断定 $m-kn$ 与 $n$ 互素
      【否则，可设
      $$m-kn=xdn=yd(d>1)$$
      则 $$m=kn+xd=kyd+xd=(ky+x)d$$
      则 $$a=mc=(ky+x)dcb=nc=ycd$$
      故 $gcd(a,b)\ge cd$，而非 $c$ ，与前面结论矛盾】
      从而可知 $gcd(b,r)=c$，继而 $gcd(a,b)=gcd(b,r)$，得证
      

• 裴蜀定理

  • 定理内容：对于不完全为 $0$ 的非负整数 $a$，$b$，$gcd(a,b)$表示 $a$，$b$ 的最大公约数，必然存在整数对 $x$，$y$ ，使得 $gcd(a,b)=ax+by$。
  • 证明：详见百度百科
  • 推论：$a$,$b$ 互质的充要条件是存在整数 $x$,$y$ 使 $ax+by=1$。
  • $n$ 个整数间的裴蜀定理：
    • 设 $a_1,a_2,a_3,\cdots ,a_n$ 为 $n$ 个整数，$d$ 是它们的最大公约数，那么存在整数$x_1,x_2,x_3,\cdots ,x_n$ 使得 $x_1\cdot a_1+x_2\cdot a_2+\cdots +x_n\cdot a_n=d$ 。
    • 特别来说，如果 $a_1,\cdots ,a_n$ 互质（不是两两互质），那么存在整数 $x_1,\cdots ,x_n$ 使得 $x_1\cdot a_1+x_2\cdot a_2+\cdots +x_n\cdot a_n=1$ 。

• 扩展欧几里德算法（exgcd）

  • 根据裴蜀定理 $ax+by=gcd(a,b)$，怎么求这个特解 $x$ , $y$ 呢？只需要在欧几里德算法的基础上加点改动就行了。

  • 我们注意到：欧几里德算法停止的状态是：$a=gcd$ ，$b=0$，即当 $x=1$ , $y=0$ 时，这是最终状态。

  • 设 $x$ , $y$ 和 $x_1$ , $y_1$ 是两组解，且满足：
    由
    $$ax+by=gcd(a,b)$$
    $$a{x}_1+b{y}_1=gcd(a,b)=gcd(b,a\mathrm{m}\mathrm{o}\mathrm{d}b)=b{x}_1+(a\mathrm{m}\mathrm{o}\mathrm{d}b)y_1$$
    得
    $$ax+by=b{x}_1+(a\mathrm{m}\mathrm{o}\mathrm{d}b)y_1$$
    设 $k=\frac{a}{b},r=a\mathrm{m}\mathrm{o}\mathrm{d}b$ ,则 $r=a-kb$
    代入上式得
    $$ax+by=b{x}_1+(a-\frac{a}{b}\cdot b)y_1$$
    $$ax+by=a{y}_1+b(x_1-\frac{a}{b}\cdot y_1)$$
    得 $x=y_{1}y=x_1-\frac{a}{b}\cdot y1$

    int exgcd(int a,int b,int &x,int &y)
    {
        if(b==0)
        {
            x=1;y=0;
            return a;
        }
        int temp=exgcd(b,a%b,x,y);
        int t=x;x=y;y=t-a/b*y;
        return temp;
    }
    
    

• 扩展欧几里德的应用

  • 解不定方程 $ax+by=c(a,b,c,x,y\in Z)$

    • 方程 $ax+by=c$ 并不总是有解，当且仅当 $gcd(a,b)|c$ 有解
    • 由扩展欧几里得定理知一定存在 $x_0$ , $y_0$ 使得 $a{x}_0+b{y}_0=gcd(a,b)$ 。则可由exgcd求出 $x0$ , $y0$，则 $x_1=\frac{c}{d}\cdot x_0$ , $y_1=\frac{c}{d}\cdot y_0$ 为方程 $ax+by=c$ 的一组解，则方程 $ax+by=c$ 的通解为
      $$x=x_1+\frac{b}{d}\cdot ky=y_1-\frac{a}{d}\cdot k(k\in Z)$$
    • 证明如下：
      $$a{x}_1+b{y}_1=ax+by=c$$
      $$a(x_1-x)=b(y-y_1)$$
      $$\frac{a}{d}(x_1-x)=\frac{b}{d}(y-y_1)$$
      此时 $\frac{a}{d}$ 和 $\frac{b}{d}$ 一定互素，因此 $x_1-x$ 一定是 $\frac{b}{d}$ 的整数倍，设为 $k\cdot \frac{b}{d}$ ,同理 $y-y_1$一定是 $\frac{a}{d}$ 的整数倍，设为 $k\cdot \frac{a}{d}$ ,因此任意解为 $x_1+\frac{b}{d}\cdot k$ , $y_1-\frac{a}{d}\cdot k$ , $k$ 取任意整数。

  • 解模线性方程

    对于线性同余方程：$ax\equiv m(\mathrm{m}\mathrm{o}\mathrm{d}b)$ 转化为 $ax+by=m$ 则可直接求解