【BZOJ 1407】[Noi2002]Savage ExGCD

我bitset+二分未遂后就来用ExGCD了，然而这道题的时间复杂度还真是玄学......

我们枚举m然后对每一对用ExGCD判解，我们只要满足在最小的一方死亡之前无解就可以了，对于怎么用，就是ax+by=c，在这里c是距离差，a是速度差，b是m，x是我们要的解，y随意。

时间复杂度O(m*n*n*log)，然而这是标解..........

#include <cstdio>
int prob[120][3],len,n,c[16],p[16],l[16],S;
inline int Min(int x,int y){
return x<y?x:y;
}
inline int Max(int x,int y){
return x>y?x:y;
}
inline int GCD(int x,int y){
return x==0?y:GCD(y%x,x);
}
void ExGCD(int a,int &x,int b,int &y){
if(!b){
x=1,y=0;
return;
}
ExGCD(b,x,a%b,y);
int temp=x;
x=y,y=temp-a/b*y;
}
int main(){
freopen("savage.in","r",stdin);
freopen("savage.out","w",stdout);
scanf("%d",&n);
for(int i=1;i<=n;i++)
scanf("%d%d%d",&c[i],&p[i],&l[i]);
for(int i=1;i<=n;i++){
for(int j=i+1;j<=n;j++){
prob[++len][0]=c[i]-c[j],
prob[len][1]=p[j]-p[i],
prob[len][2]=Min(l[i],l[j]);
if(prob[len][1]<0)
prob[len][1]*=-1,prob[len][0]*=-1;
}
S=Max(S,c[i]);
}
for(int m=S;m<=1000000;m++){
bool god=1;
for(int i=1;i<=len;i++){
int gcd=GCD(prob[i][1],m);
if(prob[i][0]%gcd==0){
int x,y;
ExGCD(prob[i][1],x,m,y);
x=x*prob[i][0]/gcd;
int t=m/gcd;
x=(x%t+t)%t;
if(x<=prob[i][2]){
god=0;
break;
}
}
}
if(god){
printf("%d",m);
return 0;
}
}
}