【HDU - 1573】X问题 【CRT 多解的规律】

求在小于等于N的正整数中有多少个X满足：X mod a[0] = b[0], X mod a[1] = b[1], X mod a[2] = b[2], …, X mod a[i] = b[i], … (0 < a[i] <= 10)。
Input
输入数据的第一行为一个正整数T，表示有T组测试数据。每组测试数据的第一行为两个正整数N，M (0 < N <= 1000,000,000 , 0 < M <= 10)，表示X小于等于N，数组a和b中各有M个元素。接下来两行，每行各有M个正整数，分别为a和b中的元素。
Output
对应每一组输入，在独立一行中输出一个正整数，表示满足条件的X的个数。
Sample Input
3
10 3
1 2 3
0 1 2
100 7
3 4 5 6 7 8 9
1 2 3 4 5 6 7
10000 10
1 2 3 4 5 6 7 8 9 10
0 1 2 3 4 5 6 7 8 9
Sample Output
1
0
3

不管是模元素相互互质的情况，还是不互质的情况。假如我们现在得到了最小正解X， 那么我们一直加 所有模元素的LCM就可以得到无限多的解 。
为什么呢？ 在证明CRT的时候用了一个定理： 一些数之间的加减，如果只有一个数不能够被a整除且余数为b，那么其结果肯定也不会被a整除，并且余数也是b。
这里同样的，最小正解能够满足所有余数的情况，这个时候我们加上lcm( 能够整除所有的模数的值 ) 肯定不会改变其余数的情况。

代码

#include<stdio.h>
#define LL long long 

const int MAXN = 1e5;
const int MAXM = 1e6;
const int mod = 1e9+7;
const int inf = 0x3f3f3f3f;

LL lcm;
struct CRT{
    LL gcd(LL a,LL b) { return b==0?a:gcd(b,a%b);}
    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(LL le,LL ri,LL *m,LL *a){
        lcm=1;
        for(LL i=le;i<=ri;i++) 
            lcm=lcm/gcd(lcm,m[i])*m[i];
        for(LL i=le+1;i<=ri;i++){
            LL A=m[le],B=m[i],d,x,y,c=a[i]-a[le];
            exgcd(A,B,d,x,y);
            if(c%d) return -1;
            LL mod=m[i]/d;
            LL k=((x*c/d)%mod+mod)%mod;
            a[le]=m[le]*k+a[le];
            m[le]=m[i]*m[le]/d;
        }
        if(a[le]==0) return lcm;
        return a[le];
    }
}crt;
LL a[MAXN],m[MAXN]; 
int main(){
    int T;scanf("%d",&T);
    while(T--){
        LL n,N;
        scanf("%lld%lld",&N,&n) ;
        for(int i=1;i<=n;i++) scanf("%lld",&m[i]);
        for(int i=1;i<=n;i++) scanf("%lld",&a[i]);
        LL ans=crt.China(1,n,m,a);
        if(ans==-1||ans>N) puts("0");
        else {
            LL cnt=1; ans+=lcm;
            while(ans<=N) {
                ans+=lcm;
                cnt++;
            }   
            //  或者不枚举 由ans+k*lcm<=N得到小公式： k = (N-ans)/lcm+1 ;  
            printf("%lld\n",cnt);
        }
     }
    return 0;
}