Modular Arithmetic 模算術(shù)

我們都見(jiàn)過(guò)時(shí)鐘，在時(shí)鐘上有12個(gè)刻度。假設(shè)某天晚上時(shí)針指向6的位置，那么它表示的是晚上六點(diǎn)鐘，可是到了第二天早上，當(dāng)時(shí)針再次指向6時(shí)，它表示的又是早上六點(diǎn)鐘。

在上述例子中，我們實(shí)際上是用同一個(gè)刻度來(lái)表示兩個(gè)不同的“六點(diǎn)鐘”，這就是模算術(shù)的基本思路–用同一個(gè)刻度表示不同的值（也可以用輪回來(lái)理解）。

模算術(shù)的定義
令$a$，$b$和$n$為整數(shù)且$n>0$，那么當(dāng)且僅當(dāng)$n$可以整除$(a?b)$時(shí)，$a$和$b$是模$n$同余的，寫(xiě)作：

$$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)?n|(a?b)$$

這里的 $n|(a?b)$ 表示 $kn=(a?b),k$為整數(shù)。

什么是同余 Congruence Modulo
當(dāng)$kn=(a?b)$時(shí)，$a$和$b$可寫(xiě)為：
$$\begin{array}{rl}a& =pn+r\\ b& =qn+r\end{array}$$
$r$是他們共同的余數(shù)，$n$為同余的模數(shù)（也就是除數(shù)）。

例如：$7(=1\times 6+1)$和$13(=2\times 6+1)$對(duì)模數(shù)6同余。 類(lèi)似的數(shù)還有19，25，31，$\dots$，$(n\times 6+1)$。將這些數(shù)畫(huà)在數(shù)軸上，我們可以發(fā)現(xiàn)在每一個(gè)長(zhǎng)度為6的區(qū)間上，都只有一個(gè)這樣的數(shù)存在，并且他們都出現(xiàn)在各自區(qū)間內(nèi)“相同的位置”上。因此我們可以在不同區(qū)間內(nèi)用同一個(gè)刻度表示不同的值。

由對(duì)于模$n$同余的所有整數(shù)組成的集合稱(chēng)為同余類(lèi)。

同余類(lèi) Congruence Class

給定任意整數(shù)$b>0$，我們可以將數(shù)軸上的整數(shù)劃分到長(zhǎng)度為$b$的區(qū)間內(nèi)。對(duì)于$a\in [0,b?1]$，集合$\{a+kb\}$的所有數(shù)對(duì)于模$b$同余，余數(shù)為$a$，構(gòu)成一個(gè)同余類(lèi)，記作：
$$[a{]}_b=\{a+kb|k\in \mathbb{Z}\}$$

模算術(shù)的規(guī)則

• 加法：如果有$a\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}n)$和$b\equiv d(\mathrm{m}\mathrm{o}\mathrm{d}n)$，那么$a+b\equiv c+d(\mathrm{m}\mathrm{o}\mathrm{d}n)$

• 乘法：如果有$a\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}n)$和$b\equiv d(\mathrm{m}\mathrm{o}\mathrm{d}n)$，那么$ab\equiv cd(\mathrm{m}\mathrm{o}\mathrm{d}n)$

• $?a,a\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}n)$

• 如果有$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)$，那么$b\equiv a(\mathrm{m}\mathrm{o}\mathrm{d}n)$

• 如果有$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)$和$b\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}n)$，那么$a\equiv c(\mathrm{m}\mathrm{o}\mathrm{d}n)$

• 如果有$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)$和$n\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}m)$，那么$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}m)$

• 如果有$a\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)$，那么$am\equiv bm(\mathrm{m}\mathrm{o}\mathrm{d}n)$和$a^m\equiv b^m(\mathrm{m}\mathrm{o}\mathrm{d}n)$

模的倒數(shù) Multiplicative Inverse
對(duì)于$a\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}n)$，若有整數(shù)$a^{\prime }$滿(mǎn)足$a{a}^{\prime }\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$，則稱(chēng)$a^{\prime }$為$a$的倒數(shù)。例如：$2\times 5\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}3)$，所以$a^{\prime }=5$是整數(shù)$2(\mathrm{m}\mathrm{o}\mathrm{d}3)$的倒數(shù)（反之亦然）。

并不是所有的整數(shù)對(duì)于任意模數(shù)都有倒數(shù)。對(duì)于$a(\mathrm{m}\mathrm{o}\mathrm{d}n)$，如果整數(shù)$a$和$n$不互質(zhì)，那么$a$就沒(méi)有對(duì)于模數(shù)$n$的倒數(shù)。

中國(guó)余數(shù)定理

古時(shí)有一位將軍統(tǒng)領(lǐng)著一支1500人的軍隊(duì)，一場(chǎng)大戰(zhàn)過(guò)后，大約400~500人死亡。為了統(tǒng)計(jì)剩下的人數(shù)，將軍讓士兵們站成方陣。當(dāng)剩下的人3個(gè)站成一行時(shí)，多余2個(gè)人。當(dāng)剩下的人5個(gè)站成一行時(shí)，多余4個(gè)人。當(dāng)剩下的人7個(gè)站成一行時(shí)，多余6個(gè)人。那么這支軍隊(duì)總共還有多少士兵？

這個(gè)問(wèn)題實(shí)際上就是求解同余方程組
$$?\begin{array}{r}{c}_{1}x\equiv d_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ c_{2}x\equiv d_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ \dots \\ c_{k}x\equiv d_k(\mathrm{m}\mathrm{o}\mathrm{d}{m}_k)\end{array}$$

先來(lái)思考如何求解 $ax\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)$，

當(dāng)$\mathrm{g}\mathrm{c}\mathrm{d}(a,n)=1$時(shí)：$a$和$n$互質(zhì)，因此存在$a^{\prime }$使得$a{a}^{\prime }\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}n)$。我們對(duì)式子兩邊同乘$a^{\prime }$，得
$$x\equiv a^{\prime }b(\mathrm{m}\mathrm{o}\mathrm{d}n)$$

當(dāng) $\mathrm{g}\mathrm{c}\mathrm{d}(a,n)=c>1$時(shí)：
2.1. 如果$c$可以整除$b$：對(duì)于$ax\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)$可得
$$\begin{array}{rl}& ax\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)\\ ?& ax=b+nk\\ ?& a_{1}cx=b_{1}c+n_{1}ck\\ ?& a_{1}x=b_{1}x+n_{1}k\end{array}$$
此時(shí)$a_1,n_1$互質(zhì)，因此可以歸為$a,n$互質(zhì)一類(lèi)。
2.2. 如果$c$不能整除$b$：
$$\begin{array}{rl}& ax\equiv b(\mathrm{m}\mathrm{o}\mathrm{d}n)\\ ?& ax=b+nk\\ ?& a_{1}cx=b+n_{1}ck\\ ?& b=c(a_{1}x?n_{1}k)\end{array}$$
與假設(shè)矛盾，無(wú)解。

經(jīng)過(guò)化簡(jiǎn)（當(dāng)然，也存在無(wú)法化簡(jiǎn)的情況）以后，方程組可寫(xiě)為
$$?\begin{array}{r}x\equiv a_1(\mathrm{m}\mathrm{o}\mathrm{d}{n}_1)\\ x\equiv a_2(\mathrm{m}\mathrm{o}\mathrm{d}{n}_2)\\ \dots \\ x\equiv a_k(\mathrm{m}\mathrm{o}\mathrm{d}{n}_k)\end{array}$$
假設(shè)$n_1,n_2,\dots ,n_k$之間兩兩互質(zhì)，則該方程組對(duì)于模$N=n_1{n}_2\dots n_k$有唯一解，解為
$$x\equiv (N_1{N}_1^{\prime }{a}_1+N_2{N}_2^{\prime }{a}_2+?+N_k{N}_k^{\prime }{a}_k)(\mathrm{m}\mathrm{o}\mathrm{d}N)$$
其中$N_i=\frac{N}{n_i}$，$N_i^{\prime }$為$N_i$對(duì)于模$n_i$的倒數(shù)。

取模運(yùn)算
在計(jì)算機(jī)中，給定整數(shù)$a$，$b$，取模運(yùn)算就是求$a$除以$b$的余數(shù)：$a$%$b$
關(guān)于取余運(yùn)算的實(shí)現(xiàn)邏輯可參考匯編除法原理

總結(jié)

以上是生活随笔為你收集整理的Modular Arithmetic 模算术的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。