中国剩余定理（互质与不互质）

其实，不管互质还是不互质都是求解线性同余式：
中国剩余定理（互质）是求解线性同余式的一种特殊形式；
两种情况都是把多个方程组转成一个方程求解。

中国剩余定理模板（互质）：

void exgcd(ll a,ll b,ll &d,ll &x,ll &y){
    if(!b){d=a,x=1,y=0;}
    else {exgcd(b,a%b,d,y,x);y-=x*(a/b);}
}

ll China(int n/*个数*/,ll *mod/*模*/,ll *a/*余数*/)
{
    ll M=1,d,y,x,ans=0;
    for(int i=0;i<n;i++) M*=mod[i];
    for(int i=0;i<n;i++){
        ll w=M/mod[i];
        exgcd(mod[i],w,d,x,y);
        ans=(ans+y*w*a[i])%M;
    }
    return (ans+M)%M;
}

---

不互质情况需要把方程组两两合并，
x= k1 * b1 + c1
x= k2 * b2 + c2
合并后的方程组形成为 ： x = a (mod n)
x = (b1/g)-1 (c2-c1/g) (b1) + c1 (mod (b1*b2/g))

void exgcd(ll a,ll b,ll &d,ll &x,ll &y){
    if(!b){d=a,x=1,y=0;}
    else {exgcd(b,a%b,d,y,x);y-=x*(a/b);}
}
ll solve(ll a[]/*mod*/,ll r[]/*余数*/,ll n/*个数*/)
{
    ll d,c,i,x,y,t;
    for(i=1;i<n;i++)
    {
        c=r[i]-r[i-1];
        exgcd(a[i-1],a[i],d,x,y);
        if(c%d!=0) return -1;
        t=a[i]/d;
        x=(x*(c/d)%t+t)%t;
        r[i]=a[i-1]*x+r[i-1];
        a[i]=a[i-1]*(a[i]/d);
    }
    return r[n-1];
}