POJ 2891 Strange Way to Express Integers(CRT非互质)
2016-07-29 20:22
435 查看
题目点我点我点我
题目大意:给出k个模方程组:x mod ai = ri。求x的最小正值。如果不存在这样的x,那么输出-1.
解题思路:a[i]与a[j]不一定互质,不能直接用CRT求解。
运用合并的思想:
X mod r1=a1
X mod r2=a2
...
...
...
X mod rn=an
即可得同余方程x = r[i] (mod a[i])
易知 x = k1 * a1 + r1,x = k2 * a2 + r2。即k1 * a1 + r1=k2 * a2 + r2。
化简可得:k1 * a1= (r2 – r1) + k2 * a2 —— (1)
因为k2 * a2 % a2 = 0,所以k1 * a1 = (r2 – r1) (mod a2) ——(2)。
根据(1)可以变成
k1 * a1 - k2 * a2= (r2 – r1) ,即AX+BY=C方程组的形式,
要想方程组有解则C必须是gcd(A,B)的整数倍,
故k1 * a1 - k2 * a2= (r2 – r1) 有解的条件就是(r2 – r1)/gcd(a1,a2)= 0,否则无解,即输出-1.
设d=gcd(a1,a2),那么(2)可以化为
k1* a1/d = (r2 – r1) /d (mod a2/d)
再变形k1 = c/d * (a1/d)^(-1) (mod a2 / d),
其中,(a1/d)^(-1)表示(a1/d)对于(a2/d)的乘法逆元。
(a1/d)^(-1)可以通过扩展欧几里德求得。
令K=c/d * (a1/d)^(-1) ,则k1=K (mod a2/d),即k1 = y * a2/d + K,代入 x = k1 * a1 + r1 可得x = (a1 * K + r1) (mod a1 * a2 / d),此时a1*a2/d其实就是a1、a2的最小公倍数,
即LCM(a1,a2),
令r=(a1 * K + r1),即x=r(mod LCM(a1,a2)),合并完成!
题目大意:给出k个模方程组:x mod ai = ri。求x的最小正值。如果不存在这样的x,那么输出-1.
解题思路:a[i]与a[j]不一定互质,不能直接用CRT求解。
运用合并的思想:
X mod r1=a1
X mod r2=a2
...
...
...
X mod rn=an
即可得同余方程x = r[i] (mod a[i])
易知 x = k1 * a1 + r1,x = k2 * a2 + r2。即k1 * a1 + r1=k2 * a2 + r2。
化简可得:k1 * a1= (r2 – r1) + k2 * a2 —— (1)
因为k2 * a2 % a2 = 0,所以k1 * a1 = (r2 – r1) (mod a2) ——(2)。
根据(1)可以变成
k1 * a1 - k2 * a2= (r2 – r1) ,即AX+BY=C方程组的形式,
要想方程组有解则C必须是gcd(A,B)的整数倍,
故k1 * a1 - k2 * a2= (r2 – r1) 有解的条件就是(r2 – r1)/gcd(a1,a2)= 0,否则无解,即输出-1.
设d=gcd(a1,a2),那么(2)可以化为
k1* a1/d = (r2 – r1) /d (mod a2/d)
再变形k1 = c/d * (a1/d)^(-1) (mod a2 / d),
其中,(a1/d)^(-1)表示(a1/d)对于(a2/d)的乘法逆元。
(a1/d)^(-1)可以通过扩展欧几里德求得。
令K=c/d * (a1/d)^(-1) ,则k1=K (mod a2/d),即k1 = y * a2/d + K,代入 x = k1 * a1 + r1 可得x = (a1 * K + r1) (mod a1 * a2 / d),此时a1*a2/d其实就是a1、a2的最小公倍数,
即LCM(a1,a2),
令r=(a1 * K + r1),即x=r(mod LCM(a1,a2)),合并完成!
/* *********************************************** ┆ ┏┓ ┏┓ ┆ ┆┏┛┻━━━┛┻┓ ┆ ┆┃ ┃ ┆ ┆┃ ━ ┃ ┆ ┆┃ ┳┛ ┗┳ ┃ ┆ ┆┃ ┃ ┆ ┆┃ ┻ ┃ ┆ ┆┗━┓ 马 ┏━┛ ┆ ┆ ┃ 勒 ┃ ┆ ┆ ┃ 戈 ┗━━━┓ ┆ ┆ ┃ 壁 ┣┓┆ ┆ ┃ 的草泥马 ┏┛┆ ┆ ┗┓┓┏━┳┓┏┛ ┆ ┆ ┃┫┫ ┃┫┫ ┆ ┆ ┗┻┛ ┗┻┛ ┆ ************************************************ */ #include <stdio.h> #include <string.h> #include <iostream> #include <algorithm> #include <vector> #include <queue> #include <stack> #include <set> #include <map> #include <string> #include <math.h> #include <stdlib.h> using namespace std; #define rep(i,a,b) for (int i=(a),_ed=(b);i<=_ed;i++) #define per(i,a,b) for (int i=(b),_ed=(a);i>=_ed;i--) #define pb push_back #define mp make_pair const int inf_int = 2e9; const long long inf_ll = 2e18; #define inf_add 0x3f3f3f3f #define mod 1000000007 #define LL long long #define ULL unsigned long long #define MS0(X) memset((X), 0, sizeof((X))) #define SelfType int SelfType Gcd(SelfType p,SelfType q){return q==0?p:Gcd(q,p%q);} SelfType Pow(SelfType p,SelfType q){SelfType ans=1;while(q){if(q&1)ans=ans*p;p=p*p;q>>=1;}return ans;} #define Sd(X) int (X); scanf("%d", &X) #define Sdd(X, Y) int X, Y; scanf("%d%d", &X, &Y) #define Sddd(X, Y, Z) int X, Y, Z; scanf("%d%d%d", &X, &Y, &Z) int read(){int x=0,f=1;char ch=getchar();while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}return x*f;} //#pragma comment(linker, "/STACK:102400000,102400000") LL extend_gcd(LL a,LL b,LL &x,LL &y) { if(b==0) { x = 1, y = 0; return a; } LL p = extend_gcd(b,a%b,x,y); LL temp = x; x = y; y = temp - (a / b) * y; return p; } LL CRT(int n) { LL a1,a2,r1,r2,d,x,y,t; int flag = 1; a1 = read(), r1 = read(); for(int i=2;i<=n;i++) { a2 = read(), r2 = read(); d = extend_gcd(a1,a2,x,y); if((r2-r1)%d)flag = -1; t = a2 / d; x = ( (x * (r2-r1)/d)%t+t ) % t; //x为a2/d的逆元 r1 = x * a1 + r1; a1 = a1/d*a2; //a1为a1、a2的最小公倍数 r1 = (r1 % a1 + a1) % a1; } if(flag==-1)return -1; return r1; } int main() { //freopen("in.txt","r",stdin); //freopen("out.txt","w",stdout); ios::sync_with_stdio(0); cin.tie(0); int n; while(~scanf("%d",&n)) { printf("%I64d\n",CRT(n)); } return 0; }
相关文章推荐
- Codeforces #363(Div.2) B.One Bomb
- php数组操作方法 (函数)
- Spfa模板
- 正则表达式
- Dijkstra优先队列模板
- iOS-UINavigationController官方文档分析大总结
- 数据结构实验之栈二:一般算术表达式转换成后缀式(栈)
- 欢迎使用CSDN-markdown编辑器
- Spring:源码解读(IOC容器的初始化)
- JAVA实践优化Prim最小生成树算法
- 通用的查询接口DynamicObjectFactory
- 机器学习个人资料整理
- Vmware安装ubuntu编译android源码详细过程
- select和poll服务器实现(Linux)
- 通俗理解插入排序(直接插入排序,折半插入排序,希尔排序)
- JDK1.8更新的有关接口的内容,接口里面可以有方法体,lamdba语法
- Spring:源码解读(IOC体系结构)
- bash脚本编程之case语句及脚本选项进阶
- Spring Factory Bean
- 让我们如此享受的慢性毒药