中国剩余定理

中国剩余定理

一、孙子剩余定理怎么来的(百度百科)

　　孙子定理是中国古代求解一次同余式组（见同余）的方法。是数论中一个重要定理。又称中国余数定理。一元线性同余方程组问题最早可见于中国南北朝时期（公元5世纪）的数学著作《孙子算经》卷下第二十六题，叫做“物不知数”问题，原文如下：

有物不知其数，三三数之剩二，五五数之剩三，七七数之剩二。问物几何？即，一个整数除以三余二，除以五余三，除以七余二，求这个整数。《孙子算经》中首次提到了同余方程组问题，以及以上具体问题的解法，因此在中文数学文献中也会将中国剩余定理称为孙子定理。

二、什么是孙子剩余定理(百度百科)

　　用现代数学的语言来说明的话，中国剩余定理给出了以下的一元线性同余方程组：

　　有解的判定条件，并用构造法给出了在有解情况下解的具体形式。中国剩余定理说明：假设整数m1,m2, ... ,mn两两互质，则对任意的整数：a1,a2, ... ,an，方程组

　　有解，并且通解可以用如下方式构造得到：

　　设

　　是整数m1,m2, ... ,mn的乘积，并设

　　是除了mi以外的n- 1个整数的乘积。设中国剩余定理

为

模

的数论倒数(

为

模

意义下的逆元)

方程组

的通解形式为

在模

的意义下，方程组

只有一个解：

　　　　证明：　

　　　　　　从假设可知，对任何

，由于

，所以

这说明存在整数

使得

　　　　　　这样的 叫做模 的数论倒数。考察乘积 可知： 中国剩余定理

所以

　　　　　　满足：

　　　　　　这说明 就是方程组 的一个解。另外，假设 和 都是方程组 的解，那么： 中国剩余定理

而 两两互质，这说明 整除 . 所以方程组 的任何两个解之间必然相差 的整倍。

　　　　　　而另一方面， 是一个解，同时所有形式为： 的整数也是方程组 的解。所以方程组所有的解的集合就是： 中国剩余定理

三、实现

#include<stdio.h>
#include<stdlib.h>
#define FORa(i,s,e) for(int i=s;i<=e;i++)
#define FORs(i,s,e) for(int i=s;i>=e;i--)

using namespace std;

const int T=1000;
int t,w[T+1],b[T+1],n=1,ans;
int Exgcd(int a,int b,int &x,int &y)
{
    int ret,temp;
    if(!b)
    {
        x=1,y=0;
        return a;
    }
    ret=Exgcd(b,a%b,x,y);
    temp=x;
    x=y;
    y=temp-a/b*y;
    return ret;
}
int main()
{
    int x,y;
    scanf("%d",&t);
    FORa(i,1,t) scanf("%d%d",&w[i],&b[i]),n*=w[i];
    FORa(i,1,t)
    {
        int m=n/w[i];
        Exgcd(w[i],m,x,y);
        ans=(ans+y*b[i]*m)%n;
    }
    if(ans>0) printf("%d",ans);
    else printf("%d",ans+n);
    return 0;
}
/*3
3 2
5 3
7 2*/

中国剩余定理

一、孙子剩余定理怎么来的(百度百科)

二、什么是孙子剩余定理(百度百科)

三、实现

相关推荐