洛谷-2421 [NOI2002]荒岛野人

题目描述
克里特岛以野人群居而著称。岛上有排列成环行的M个山洞。这些山洞顺时针编号为1,2,…,M。岛上住着N个野人，一开始依次住在山洞C1,C2,…,CN中，以后每年，第i个野人会沿顺时针向前走Pi个洞住下来。
每个野人i有一个寿命值Li，即生存的年数。
下面四幅图描述了一个有6个山洞，住有三个野人的岛上前四年的情况。三个野人初始的洞穴编号依次为1，2，3；每年要走过的洞穴数依次为3，7，2；寿命值依次为4，3，1
奇怪的是，虽然野人有很多，但没有任何两个野人在有生之年处在同一个山洞中，使得小岛一直保持和平与宁静，这让科学家们很是惊奇。他们想知道，至少有多少个山洞，才能维持岛上的和平呢？
输入格式
第1行为一个整数N(1<=N<=15)，即野人的数目。
第2行到第N+1每行为三个整数Ci, Pi, Li (1<=Ci,Pi<=100, 0<=Li<=106 )，表示每个野人所住的初始洞穴编号，每年走过的洞穴数及寿命值。
输出格式
仅包含一个数M，即最少可能的山洞数。输入数据保证有解，且M不大于10^6。

输入输出样例
输入 #1
3
1 3 4
2 7 3
3 2 1

输出 #1
6

解释:就是解$(C_i-P_i\ast t)mod(M)=(C_j-P_j\ast t)mod(M)$化简得到
$(P_i-P_j)\ast t+M\ast x=(C_j-C_i)$,枚举M，解出T，判断是否符合就好了

#include<iostream>
using namespace std;
int n=0;
long long c[20]={0};
long long p[20]={0};
long long l[20]={0};
long long ex_gcd(long long a,long long b,long long &x,long long &y){
    if(b==0){
        x=1,y=0;
        return a;
    }
    long long d=ex_gcd(b,a%b,x,y);
    long long temp=y;
    y=x-a/b*y;
    x=temp;
    return d;
}
bool ok(int m){
    long long x=0,y=0;
    for(int i=1;i<=n;i++){
        for(int j=i+1;j<=n;j++){
            long long a=((p[i]-p[j])%m+m)%m,b=m;
            long long cc=((c[j]-c[i])%m+m)%m;
            long long d=ex_gcd(a,b,x,y);
            if(cc%d) continue;
            x=(x*(cc/d)%(b/d)+(b/d))%(b/d);
            if(x<=l[i]&&x<=l[j]) return 0;
        }
    }	
    return 1;
}
int main(){
    ios::sync_with_stdio(false);
    long long ans=1;
    cin>>n;
    for(int i=1;i<=n;i++){
        cin>>c[i]>>p[i]>>l[i];
        ans=max(ans,c[i]);
    }
  	for(int i=ans;i<=1e6;i++){
  		if(ok(i)){
  			ans=i;
			break;
		}	
	}
	cout<<ans<<endl;
    return 0;
}