bzoj [Noi2002]Savage 扩展欧几里得
2017-08-12 16:22
232 查看
枚举m,n^2判断
对于野人i,j,(H[i]+x*S[i])%m==(H[j]+x*S[j])%m,且x<=O[i]&&x<=O[j],他们才有可能相遇
化简得:(S[i]-S[j])*x+y*m=C[j]-C[i],扩欧解x最小值,判断
对于野人i,j,(H[i]+x*S[i])%m==(H[j]+x*S[j])%m,且x<=O[i]&&x<=O[j],他们才有可能相遇
化简得:(S[i]-S[j])*x+y*m=C[j]-C[i],扩欧解x最小值,判断
#include<cstdio> #include<cstring> #include<iostream> #include<algorithm> #include<cmath> #define N 18 using namespace std; int H ,S ,O ,n,m,X,Y; bool bo; int exgcd(int a,int b,int &x,int &y){ if(b==0){ x=1;y=0; return a; } int gcd=exgcd(b,a%b,x,y); int t=x; x=y; y=t-(a/b)*x; return gcd; } bool judge(int x,int y,int mm){ //printf("%d %d %d\n",x,y,mm); if(S[x]<S[y]) swap(x,y); int a=S[x]-S[y],b=mm,c=H[y]-H[x]; int d=exgcd(a,b,X,Y); if(c%d!=0) return 0; X*=c/d; int bd=b/d; X=((X%bd)+bd)%bd; if(X<=O[x]&&X<=O[y]) return 1; return 0; } int main(){ scanf("%d",&n); for(int i=1;i<=n;i++){ scanf("%d%d%d",&H[i],&S[i],&O[i]); m=max(m,H[i]); H[i]--; } for(;;m++){ bo=0; for(int i=1;i<=n;i++){ for(int j=i+1;j<=n;j++) if(judge(i,j,m)){bo=1;break;} if(bo==1)break; }if(bo==0)break; } printf("%d\n",m); return 0; }
相关文章推荐
- bzoj 1407: [Noi2002]Savage【扩展欧几里得+中国剩余定理】
- BZOJ_P1407&Codevs_P1747 [NOI2002]Savage(数论+扩展欧几里得)
- 【扩展欧几里得】Bzoj 1407: [Noi2002]Savage
- bzoj [Noi2002]Savage 扩展欧几里得
- BZOJ1407 [Noi2002]Savage 【扩展欧几里得】
- [BZOJ 1407][NOI 2002]Savage(中国剩余定理+扩展欧几里得)
- 【扩展欧几里得】Bzoj 1407: [Noi2002]Savage
- 数学/扩展欧几里得/NOI2002 荒岛野人 savage
- [BZOJ1407][NOI2002]Savage(扩展欧几里德)
- BZOJ 1407: [Noi2002]Savage 扩展欧几里得
- bzoj 1407: [Noi2002]Savage
- 【BZOJ】1407 NOI 2002 荒岛野人Savage
- 【NOI2002】【bzoj1407】Savage
- [NOI2002]Sevege 扩展欧几里得
- BZOJ 1407: [Noi2002]Savage( 数论 )
- 【BZOJ 1407】 [Noi2002]Savage
- bzoj1407: [Noi2002]Savage
- 拓展欧几里得 [Noi2002]Savage
- BZOJ1407: [Noi2002]Savage
- 【bzoj 1407】【Noi2002】Savage