记载_扩展欧几里得求模逆

n > a > 0

有a、n,存在x、y,使得当gcd(a,n)=1时,得到xa+yn=1 => (xa+yn)mod(n) = 1

因为(yn)mod(n)=0 整理的到 (xa)mod(n) = 1

(xa)mod(n) = 1mod(n) 所以有 x = (a^-1)mod(n)

所以可由求 gcd(a,n) = 1 得到 xa+yn = 1 所以 可以得到 x,y

当x < 0 时 因为 (xa+yn)mod(n) = 1 == (xa+na+yn)mod(n) = 1  =>
(xa+na)mod(n) = 1 所以 ((x+n)*a)modn = 1 所以当 x < 0 时 x = x+n

例:
    求 550^-1mod1769
    先求是否有 gcd(550,1769) = 1
    1769 = 550 * 3 + 119
    550 = 119 * 4 + 74
    119 = 74 * 1 + 45
    74 = 45 * 1 + 29
    45 = 29 * 1 + 16
    29 = 16 * 1 + 13
    16 = 13 * 1 + 3
    13 = 3 * 4 + 1
   出现有 1 = x * a + y * n 反向迭代
    1 = 13 - 3 * 4
       = 13 - ( 16 - 13 * 1 ) * 4 = 13 * 5 - 16 * 4
       = ( 29 - 16 * 1 ) * 5 - 16 * 4 = 29 * 5 - 16 * 9
       = 29 * 5 - ( 45 - 29 * 1 ) * 9 = 29 * 14 - 45 * 9
       = ( 74 - 45 * 1 ) * 14 - 45 * 9 = 74 * 14 - 45 * 23
       = 74 * 14 - ( 119 - 74 * 1 ) * 23 = 74 * 37 - 119 * 23
       = ( 550 - 119 * 4 ) * 37 - 119 * 23 = 550 * 37 - 119 * 171
       = 550 * 37 - ( 1769 - 550 * 3 ) * 171 = 550 * 550 - 1769 * 171
    得到 1 = 550 * 550 - 1769 * 171
    => x = 550 , y = -171
    所以 550^-1 mod 1769 = 550

  • 1
    点赞
  • 5
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
欧几里得算法是一个用于计算两个整数的最大公约数的算法,扩展欧几里得算法可以在得最大公约数的同时计算出满足贝祖等式 ax + by = gcd(a,b) 的整数解 x 和 y,其中 a 和 b 是输入的整数。 扩展欧几里得算法可用于反元素(逆元),其中逆元是指某个整数关于数的乘法逆元素。 下面是我用C语言实现扩展欧几里得算法逆元的示例代码: ``` #include <stdio.h> int extended_gcd(int a, int b, int *x, int *y) { if (b == 0) { *x = 1; *y = 0; return a; } int x1, y1; int gcd = extended_gcd(b, a % b, &x1, &y1); *x = y1; *y = x1 - a / b * y1; return gcd; } int mod_inverse(int a, int m) { int x, y; int gcd = extended_gcd(a, m, &x, &y); if (gcd != 1) { printf("逆元不存在\n"); return -1; // 逆元不存在 } int inverse = (x % m + m) % m; return inverse; } int main() { int a, m; printf("请输入要逆元的整数a和数m:"); scanf("%d %d", &a, &m); int inverse = mod_inverse(a, m); if (inverse != -1) { printf("%d关于数%d的逆元是:%d\n", a, m, inverse); } return 0; } ``` 这是一个简单的扩展欧几里得算法逆元的实现,首先通过`extended_gcd`函数出`a`和`m`的最大公约数,并计算满足贝祖等式的整数解`x`和`y`。如果最大公约数不为1,则逆元不存在。若最大公约数为1,则通过求模的方式计算`x`关于数`m`的逆元。代码中的`mod_inverse`函数用于调用`extended_gcd`函数,并处理逆元不存在的情况。最后,通过用户输入需要逆元的整数`a`和数`m`,并输出结果。

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值