数论之同余

基本性质

后面两个贼有用

• $a \equiv b \pmod m \iff a = k*m + b$
• $a \equiv b \pmod m \wedge c\equiv d \pmod m \implies a+c \equiv b+d \pmod m \wedge a*c\equiv b*d\pmod m$
• $(a+b)\bmod m = ((a \bmod m) + (b \bmod m)) \bmod m$
• $a*b \bmod m = ((a \bmod m) * (b \bmod m)) \bmod m$

一些题目的分析与证明

• 大整数的求余与二进制字符串模3余数

  • 证明(直接证明通用x进制的字符串对整数m求余)
    $假设字符串为A1A2A3...An$
    $则S=A1*x^{n-1} + A2 *x^{n-2}+...+An为字符串代表的十进制值$
    $S\bmod m=(A1*x^{n-1} + A2 *x^{n-2}+...+An)\bmod m$
    $=((A1*x^{n-1} + A2*x^{n-2}) \bmod m + (A3*x^{n-3}...+An )\bmod m) \bmod m$
    $=((A1*x+A2)*x^{n-2}\bmod m + (...)\bmod m)\bmod m$
    $=(((A1*x+A2)\bmod m) * (x^{n-2}\bmod m) \bmod m + (...)\bmod m)\bmod m$
    $令temp = (A1*x+A2)\bmod m$
    $=((temp*(x^{n-2}\bmod m))\bmod m + (...)\bmod m)\bmod m$
    $=(((temp\bmod m)*(x^{n-2}\bmod m))\bmod m + (...)\bmod m)\bmod m$
    $=((temp*x^{n-2})\bmod m +(...)\bmod m)\bmod m$
    $=(temp*x^{n-2}+A3*n^{n-3}+...+An)\bmod m$

  • 由此我们可以看到递推公式$temp=(temp*x+A_{next}) \bmod m$

• 二进制字符串模3余数，同上

• 同余幂，求$b^{n}\bmod m，b和m都较大$
  将n表示成二进制串A1A2…An，则$b^n=b^{2^{A1*(n-1)}}+...$
  $用mod的乘法性质和大整数除法类似的证明方法可以得出递推公式$
  $t = (t * power)\bmod m$
  $power = b^{2^{Ai*(n-i)}}\bmod m即第i项对m的余数，可以通过幂次递增的递推求得$

同余的其他一些应用

• 哈希
• 生成伪随机数(比如线性同余$x_n=(x_{n-1}*k+c)\bmod m$)
• 加密