可理解为一个哈希函数
有时候数非常大是可以考虑取模,多选择一些模数提高正确率。取模运算可以理解为一个哈希散列函数,为了避免哈希冲突,可以分别模不同的模数,如果每一个模数都没有产生哈希冲突那么就可以认为两个数是相同的。
解释二:最小公倍数
判断两个数a,b是否相等,如果膜上10相等,膜上11相等。那么有a + k*110 = b。(110是10和11的最小公倍数),当取的是1e9+1,……1e9+100。那上面的110变成上面这一串数的最小公倍数。两个数不相等的概率就很小了。取模数更多,公倍数更大。
常用模数
int mod[10]={1e9+7 , 1e9+8 , 1e9+10 , 1e9+23 , 1e9+137 , 1e9+87 , 1e9+37 , 999999931,9999999397,1e9+327};
int mod[3]={998244353,1004535809,468762049}//ntt模数,据说非常好用
例题
官方题解
作者:Ycrpro
链接:https://ac.nowcoder.com/discuss/364961?tdsourcetag=s_pctim_aiomsg
来源:牛客网
ac代码
有可能的哈希冲突
可能负数绝对值比较大,答案本来是负数的,结果都取模之后正数绝对值更大了
比如-5+2 = -1,如果都对3取模变成了-2+2=0
都对4取模变成了-1+2=1
确实会有这种情况,但是如果对多个模数进行取模还是相等的,那么这两个数相等的概率就会非常小,模数个数越多概率越小。
#include <iostream>
#include <cstdio>
#define ll long long
using namespace std;
const ll mod = 1e9;
ll quM(ll a, ll b, ll mod){
ll t = 1;
while(b > 0){
if(b & 1) t = t * a % mod;
a = a * a % mod;
b >>= 1;
}
return t;
}
int main(){
ll a, b, c, d, e, f, g;
int T;
cin >> T;
while(T--){
cin >> a >> b >> c >> d >> e >> f >> g;
bool flag = false;
for(ll i = mod; i < mod + 10; i++){
if(quM(a, d, i) + quM(b, e, i) + quM(c, f, i) != (g % i)){//左边再模一次i会不会对结果造成影响,建议不要,因为原来是两边都只模一次,相当于映射了一次,如果左边再模一次就是映射了两次了
flag = true;
break;
}
}
if(flag) cout << "No" << endl;
else cout << "Yes" << endl;
}
return 0;
}