扩展欧几里得 求解不定方程和逆元
来源:互联网 发布:opengl 游戏编程 编辑:程序博客网 时间:2024/06/06 08:55
好气啊,本来写完了一篇关于gcd,exgcd相关证明的声情并茂的文章;
结果,手残……关了……没保存……QAQ,所以不想再详细写一篇了,百度有很多;
exgcd
1.求解同余方程,不定方程,逆元;
2.中国剩余定理……;
证明:
https://www.baidu.com/自行百度;
小学数学相关内容:
a是b的倍数(b是a的约数),a可以被b整除(b可以整除a);
不定方程:
ax+by=c;
前提:
c mod gcd(a,b)=0;
证明:
很简单,
若ax+by=c有解;
因为
a mod gcd(a,b)=0,
b mod gcd(a,b)=0;
所以
ax+by一定被gcd(a,b)整除;
所以
c一定被gcd(a,b)整除;
求得ax+by=gcd(a,b)的解x0,y0;
显然,ax+by=c的解:
x1=x0*c/gcd(a,b);
y1=y0*c/gcd(a,b);
但是只能求解一组解,怎么求解多组解呢?
x2=x1+b/gcd(a,b)*t;
y2=y1-a/gcd(a,b)*t;
原因:
除gcd是为了防止漏解,因为a,b不一定互质;
t为任意实数;
#include<iostream>using namespace std;int x,y;int exgcd(int a,int b,int &x,int &y){ int r,k; if(!b) {x=1,y=0;return a;} r=exgcd(b,a%b,x,y); k=x,x=y,y=k-a/b*y; return r;}int hh(int a,int b,int c){ int d=exgcd(a,b,x,y); if(c%d) return 0; int k=c/d; x*=k; y*=k; return d;}void solve(){ int a,b,c,k,cnt=1; cin>>a>>b>>c; if(k=hh(a,b,c))//若有解; { cout<<cnt<<" : "<<x<<" "<<y<<endl; while(cnt++) { x+=b/k*cnt,y=y-a/k*cnt; cout<<cnt<<" : "<<x<<" "<<y<<endl; if(cnt==10) cnt=0; } }}int main(){ solve(); return 0;}
逆元:
ax=1(mod b)
=> ax+by=1;
x是a关于b的逆元;
exgcd求解~;
K.O
总结:
noip的数论并不是很难,关键是多动手写写,不要光想;
NOIP 2017 RP ++!
神犇链接:http://blog.csdn.net/clove_unique/article/details/53135707
阅读全文
1 0
- 扩展欧几里得 求解不定方程和逆元
- 数论之扩展欧几里得 (求解不定方程,线性同余,求解模的逆元) (但是加了一些自己的东西)
- 青蛙的约会(扩展欧几里得算法+不定方程求解)
- SGU 106 扩展欧几里得 不定方程
- CF7C 扩展欧几里得解不定方程
- hdu-2142(扩展欧几里得解不定方程)
- 【原创】欧几里得算法与拓展欧几里得算法的证明及其应用(不定方程、逆元)
- 欧几里德算法的扩展-求解不定方程
- [OpenJudge-NOI]不定方程求解 扩展欧几里德
- 关于欧几里得算法和拓展欧几里德定理的证明(不定方程求解方法)
- POJ 1061 扩展欧几里得算法解不定方程
- 51nod 1352 扩展欧几里得解不定方程
- C. Line(扩展欧几里得求不定方程的解)
- 解的个数(扩展欧几里得解不定方程)
- poj 1061 青蛙的约会(扩展欧几里得解不定方程)
- hdu-4596(扩展欧几里得解一次不定方程)
- 扩展欧几里得+逆元
- 求解不定方程
- js页面设置与打印(页眉页脚,页边距设置)
- VS中附加依赖库添加
- 使用 @RequestMapping 来处理请求参数
- DRUID连接池的使用
- tcp/ip协议栈--socket API 之发送函数(read/recv)
- 扩展欧几里得 求解不定方程和逆元
- 二进制逻辑运算
- 参考基因组和注释文件下载
- springMVC中web.xml配置/和/*的区别
- c++基础(3)
- 大数乘法的几种算法分析及比较
- Springmvc 实现数据导出
- 快速人群密度估计--Multi-scale Convolutional Neural Networks for Crowd Counting
- shiro系列-shiro是用来干嘛的?