python - Python中的模幂算法

Question

我创建了一个计算大模指数的函数。我知道这个函数是内置在 python 语言中的。对于大于 17 位的数字，我的函数不正确，我不知道为什么。任何帮助是极大的赞赏。

from random import randint

def modpow(x,n,m):
  if n == 0:
    return 1
  elif n == 1:
    return x
  elif n%2 == 0:
    return modpow(x*(x%m),n/2,m)%m
  elif n%2 == 1:
    return (x *  modpow(x*(x%m),(n-1)/2,m)%m )%m

for i in range(5,32):
  x = ''
  n = ''
  m = ''
  for j in range(i):
    x += str(randint(0,9))
    n += str(randint(0,9))
    m += str(randint(0,9))
  x = int(x)
  n = int(n)
  m = int(m)
  if pow(x,n,m) != modpow(x,n,m):
    print(i,x,n,m)

样本输出：

17 38508450670424585 67111951647554134 59005802612594983
18 24027200512104766 205942669690724726 816654795945860553
...

我已经运行了几次，它总是在 i = 17 开始失败，我不太清楚为什么。

Answer 1

我的猜测是 Python在引擎盖下的 s上pow()工作。double第一个失败的值（38508450670424585）的log base 2约为55，但adouble只有53位精度，因此大于2^53的整数不一定能精确表示。我的猜测是，如果您检查成功的最后一个数字的日志基数 2（即 x=16），它将小于 53。