【exgcd】不定方程整数通解

设{ax1​+by1​=gcd⁡(a,b)bx2​+(amodb)y2​=gcd⁡(b,amodb)​gcd⁡(a,b)=gcd⁡(b,amodb)所以ax1​+by1​=bx2​+(amodb)y2​又因为amodb=a−(⌊ba​⌋×b)所以有ax1​。
摘要由CSDN通过智能技术生成

拓展欧几里得算法


{ a x 1 + b y 1 = g c d ⁡ ( a , b ) b x 2 + ( a   m o d   b ) y 2 = g c d ⁡ ( b , a   m o d   b ) \left\{\begin{matrix} a x_1 + b y_1 = gcd ⁡ ( a , b ) \\ b x_2 + ( a   m o d   b ) y_2 = gcd ⁡ ( b , a   m o d   b ) \end{matrix}\right. { ax1+by1=gcd(a,b)bx2+(amodb)y2=gcd(b,amodb)由欧几里得定理可知: g c d ⁡ ( a , b ) = g c d ⁡ ( b , a   m o d   b ) gcd ⁡ ( a , b ) = gcd ⁡ ( b , a   m o d   b ) gcd(a,b)=gcd(b,amodb)

所以 a x 1 + b y 1 = b x 2 + ( a   m o d   b ) y 2 a x_1 + b y_1 = b x_2 + ( a   m o d   b ) y_2 ax1+by1=bx2+(amodb)y2

又因为 a   m o d   b = a − ( ⌊ a b ⌋ × b ) a\bmod b=a-(\lfloor\frac{a}{b}\rfloor\times b) amodb=a(ba×b)

所以有 a x 1 + b y 1 = b x 2 + ( a − ( ⌊ a b ⌋ × b ) ) y 2 ax_1+by_1=bx_2+(a-(\lfloor\frac{a}{b}\rfloor\times b))y_2 ax1+by1=bx2+(a(ba×b))y2化简得
a x 1 + b y 1 = a y 2 + b x 2 − ⌊ a b ⌋ × b y 2 = a y 2 + b ( x 2 − ⌊ a b ⌋ y 2 ) ax_1+by_1=ay_2+bx_2-\lfloor\frac{a}{b}\rfloor\times by_2=ay_2+b(x_2-\lfloor\frac{a}{b}\rfloor y_2) ax1+by1=ay2+bx2ba×by2

  • 2
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值