中国剩余定理和扩展中国剩余定理

前言：以前这两个定理我一直都没有搞懂，最近我刷题时遇到了，又去学了一遍，竟然就懂了。。。

中国剩余定理

设$m_1,m_2,...,mn$是两两互质的整数，$m=\begin{array}{c}{\prod }_{i=1}^n{m}_i\end{array}$，$M_i=m/mi$，$t_i$时线性同余方程$M_i{t}_i\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$的一个解。对于任意的n个整数$a_1,a_2,...,a_n$，方程组
$\{\begin{array}{l}x\equiv a_1(\mathrm{m}\mathrm{o}\mathrm{d}{m}_1)\\ x\equiv a_2(\mathrm{m}\mathrm{o}\mathrm{d}{m}_2)\\ ...\\ x\equiv a_n(\mathrm{m}\mathrm{o}\mathrm{d}{m}_n)\end{array}$
有整数解，则解为$x={\sum }_{i=1}^n{a}_i{M}_i{t}_i$

证明：
因为$M_i=m/m_i$是除$m_i$之外所有模数的倍数，所以$\forall k\ne i,a_i{M}_i{t}_i\equiv 0(\mathrm{m}\mathrm{o}\mathrm{d}{m}_k)$。又因为$a_i{M}_i{t}_i\equiv a_i(\mathrm{m}\mathrm{o}\mathrm{d}{m}_i)$，所以带入$x={\sum }_{i=1}^n{a}_i{M}_i{t}_i$，原方程组成立。
证毕。

中国剩余定理给出了模数两两互质的线性同余方程组的一个特解。方程组的通解可以表示为$x+km(k\in Z)$。有些题目求出最小的非负整数解，只需要把$x$对$m$取模，并让$x$落在0~m-1的范围内即可。原因就是$km$对于任意的$m_i$取模的结果都是0。

扩展中国剩余定理

请大家看看POJ2891

Strange Way to Express Integers
Time Limit: 1000MS Memory Limit: 131072K
Total Submissions: 10787 Accepted: 3291
Description

Elina is reading a book written by Rujia Liu, which introduces a strange way to express non-negative integers. The way is described as following:
Choose k different positive integers a1, a2, …, ak. For some non-negative m, divide it by every ai (1 ≤ i ≤ k) to find the remainder ri. If a1, a2, …, ak are properly chosen, m can be determined, then the pairs (ai, ri) can be used to express m.

“It is easy to calculate the pairs from m, ” said Elina. “But how can I find m from the pairs?”

Since Elina is new to programming, this problem is too difficult for her. Can you help her?

Input

The input contains multiple test cases. Each test cases consists of some lines.

Line 1: Contains the integer k.
Lines 2 ~ k + 1: Each contains a pair of integers ai, ri (1 ≤ i ≤ k).
Output

Output the non-negative integer m on a separate line for each test case. If there are multiple possible values, output the smallest one. If there are no possible values, output -1.

Sample Input

2
8 7
11 9
Sample Output

31
Hint

All integers in the input and the output are non-negative and can be represented by 64-bit integral types.

对于这一道题，$m_i$没有两两互质，中国剩余定理就行不通了。于是我们尝试使用数学归纳法，假设已经求出了前$k-1$个方程构成的方程组的一个解$x$。记为$m=\begin{array}{c}{\prod }_{i=1}^{k-1}{m}_i\end{array}$则$x+i\ast m(i\in Z)$是前$k-1$个方程的通解。
所以我们尝试将第k个方程合并进去。考虑第k个方程，求出一个整数t，使得$x+t\ast m\equiv a_k(\mathrm{m}\mathrm{o}\mathrm{d}{m}_k)$。该方程等价于$m\ast t\equiv a_k-x(\mathrm{m}\mathrm{o}\mathrm{d}{m}_k)$，其中t是未知量。这就是一个线性同余方程，可以用扩展欧几里得算法判断是否有解，并求出它的解，则$x^{\prime }=x+t\ast m$就是前k个方程构成的方程组的一个解。
综上所述，我们使用n次扩展欧几里得算法，就求出了整个方程组的解。
参考代码：

//Author:XuHt
#include <iostream>
#define ll long long
using namespace std;

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

int main() {
	int n;
	while (cin >> n) {
		ll a, b, x, y, k;
		cin >> a >> b;
		ll lcm = a, ans = b;//lcm对应m，ans对应x 
		bool flag = 1;
		--n;
		while (n--) {
			cin >> a >> b;
			if(!flag)continue;
			b = (b - ans % a + a) % a;//对应m*t≡a[k]-x(mod m[k])中的a[k]-x 
			ll d = exgcd(lcm, a, x, y);
			if (b % d) flag = 0;//如果无法满足，就记录
			else k = x * (b / d) % a;//求出m*t≡a[k]-x(mod m[k])中的t，并用k表示 
			ans += k * lcm;//对应x'=x+t*m 
			lcm = lcm / d * a;//更新 
			ans = (ans % lcm + lcm) % lcm;
		}
		if (flag) cout << ans << endl;
		else cout << "-1" << endl;
	}
	return 0;
}