神奇的 取模运算

问题描述

遇到好些问题都跟取模有关，必须对取模运算的规则做个总结。

参考

百度百科：取模运算

引文

基本的规则是：
模运算与基本四则运算有些相似，但是除法例外。其规则如下：

(a + b) % p = (a % p + b % p) % p （1）
(a - b) % p = (a % p - b % p) % p （2）
(a * b) % p = (a % p * b % p) % p （3）
a ^ b % p = ((a % p)^b) % p （4）

应用

饥饿的小易

其中用到一个公式：

如果a%c=a，那么
(a*x+b)%c = (a*(x%c)+b)%c

证明：

(a * x + b) % c 
// ->规则(1)
= ((a * x) % c + b % c) % c 
// ->规则(3)
= (((a % c) * (x % c)) % c + b % c) % c 
// ->条件a%c=a
= ((a * (x % c)) % c + b % c) % c 
// ->反过来用规则(1)
= (a * (x % c) + b) % c

举个例子，递推式是3*x+7，模是5，原始的数是3。那么：

3*x+7递推	3	16	55	172	523	1576	4735	14212	42643
(3*x+7)%5	3	1	0	2	3	1	0	2	3
直接对模算3*x+7递推，然后再取模	3	1	0	2	3	1	0	2	3

可见是相等的。