恒等式简单常用技巧

目录

引入

1：取模恒等式

2：非取模恒等式

---

引入

在刷题过程中，我们总会有一个问题：明明感觉代码是对的，但就是wa。然后打开测试数据一看，大部分ac就那么一两个点wa掉。

其实，这就说明代码本身没问题，就是一些细节没有处理好，比如某一个式子超过定义范围等等，这个时候就体现了恒等式的重要性了。

1：取模恒等式

众嗦粥汁，%mod，即为取模。

（1）：取模定义恒等：

a%mod==a-a*(a/mod)。

（2）：单个元素取模恒等：

a%mod==(a%mod+mod)%mod。

好处：见恒等式（4），一般单个元素恒等适用于减法。

（3）：加法取模恒等：

(a+b)%mod==(a%mod+b%mod)%mod。

好处：可以防止a+b的值超过定义范围等。例如a和b都是2^64-1，那么a+b就超过了long long的定义上限范围，相加即为乱码。所以先对a和b取模，可以有效降低数据值，且结果不变。

（4）：减法取模恒等：

(a-b)%mod==((a%mod-b%mod)+mod)%mod。

好处：可以防止a-b的值超过定义范围等。例如a=-2^64-1,b=2^64-1，那么a-b就超过了long long的定义下限范围。

但是要注意(a-b)!=(a%mod-b%mod)。例如a=5,b=6,mod=3。前者为-1.后者为2。所以要再加一个mod保证结果不变。也就是恒等式（1）。

（5）：乘法取模恒等：

(a*b)%mod==((a%mod)*(b%mod))%mod。

好处：同样，防止超定义范围等。

（6）乘方取模恒等（令a^b表示a的b次方）:

(a^b)%mod==((a%mod)^b)%mod。

好处：应用于快速幂，龟速乘，快速乘思想。

2：非取模恒等式

（1）：平均恒等：

(a+b)/2==a+(b-a)/2。

好处：防止超过定义范围，数组越界等。

但是要注意(a+b)/2!=a/2+b/2。例如a=3，b=5。前者为4，后者为3。

同理：(a-b)/2==a-(a+b)/2。