【poj2891】 Strange Way to Express Integers

poj.org/problem?id=2891 (題目鏈接)

題意：求解線性同餘方程組，不保證模數一定兩兩互質。

Solotion

　　用exgcd將倆個同餘方程合併成一個
　　
　　如合併n%M=R,n%m=r
　　
　　即M*x+R=m*y+r
　　
　　M*x-m*y=r-R
　　
　　設a=M/t,b=m/t,c=(r-R)/t，t=gcd(a,b)
　　
　　若(r-R)%t!=0則無解
　　
　　用exgcd得到a*x+b*y=c的解x0，
　　
　　通解x=x0+k*b，k爲整數
　　
　　帶入M*x+R=n
　　
　　M*b*k+M*x0+R=n
　　
　　所以R=R+M*x0，M=M*b
　　

　　蒯自hzwer。
　　注意當最後發現方程無解直接退出時，會導致有數據沒有讀完，然後就會Re，所以現用數組將所有數據存下來。

代碼：

// poj2891
#include<algorithm>
#include<iostream>
#include<cstdlib>
#include<cstring>
#include<cstdio>
#include<cmath>
#define LL long long
#define inf 2147483640
#define Pi 3.1415926535898
#define free(a) freopen(a".in","r",stdin),freopen(a".out","w",stdout);
using namespace std;

const int maxn=100010;
LL mm[maxn],rr[maxn],n;

LL gcd(LL a,LL b) {
    return a%b==0 ? b : gcd(b,a%b);
}
void exgcd(LL a,LL b,LL &x,LL &y) {
    if (!b) {x=1,y=0;return;}
    exgcd(b,a%b,y,x);
    y-=x*(a/b);   //注意此處a/b一定要到打括號，因爲取的是a/b的整數部分
}
int main() {
    while (scanf("%lld",&n)!=EOF) {
        LL M,R,flag=1;
        scanf("%lld%lld",&M,&R);
        for (int i=1;i<n;i++) scanf("%lld%lld",&mm[i],&rr[i]);
        for (int i=1;i<n;i++) {
            LL m,r,x,y;
            m=mm[i],r=rr[i];
            LL d=gcd(M,m);
            if ((r-R)%d!=0) {printf("-1\n");flag=0;break;}
            exgcd(M/d,m/d,x,y);   //x*(M/d)+y*(m/d)=d,解出x，y
            x=((r-R)/d*x%(m/d)+(m/d))%(m/d);   //求出最小x
            R+=M*x;
            M*=m/d;   //lcm(M,m)
        }
        if (flag) printf("%lld\n",R);
    }
    return 0;
}