【数论】【扩展欧几里得】hdu3579 Hello Kiki

解一元线性同余方程组（模数不互质）

结合看这俩blog讲得不错
http://46aae4d1e2371e4aa769798941cef698.devproxy.yunshipei.com/qq_27599517/article/details/50887445
上面这个对于理解为什么要用最小公倍数有帮助
http://blog.csdn.net/thearcticocean/article/details/49452859
思路就是不断两两合并，成一元线性同余方程，然后不断用扩欧求解

由于是最小的正整数解，而非非负整数解，所以最后答案如果是0，要加上模数的最小公倍数

#include<cstdio>
using namespace std;
int a[10],r[10],T,n;
void exgcd(int a,int b,int &d,int &x,int &y)
{
if(!b)
{
d=a;
x=1;
y=0;
}
else
{
exgcd(b,a%b,d,y,x);
y-=x*(a/b);
}
}
int main(){
//	freopen("c.in","r",stdin);
scanf("%d",&T);
for(int zu=1;zu<=T;++zu){
scanf("%d",&n);
for(int i=1;i<=n;++i){
scanf("%d",&a[i]);
}
for(int i=1;i<=n;++i){
scanf("%d",&r[i]);
}
int a1=a[1],r1=r[1];
for(int i=2;i<=n;++i){
int a2=a[i],r2=r[i];
int d,x0,y0;
int c=r2-r1;
exgcd(a1,a2,d,x0,y0);
if(c%d){
r1=-1;
break;
}
int t=a2/d;
x0=(x0*(c/d)%t+t)%t;
r1=a1*x0+r1;
a1=a1*(a2/d);
}
printf("Case %d: %d\n",zu,r1==0 ? r1+a1 : r1);
}
return 0;
}