14

有没有办法在(853467 * 21660421200929) % 100000000000007没有 BigInteger 库的情况下构建（请注意，每个数字都适合 64 位整数，但乘法结果不适合）？

这个解决方案似乎效率低下：

int64_t mulmod(int64_t a, int64_t b, int64_t m) {
    if (b < a)
        std::swap(a, b);
    int64_t res = 0;
    for (int64_t i = 0; i < a; i++) {
        res += b;
        res %= m;
    }
    return res;
}
4

7 回答 7

23

你应该使用俄罗斯农民乘法。它使用重复加倍来计算所有值(b*2^i)%m，如果设置了i第 th 位，则将它们添加进去a。

uint64_t mulmod(uint64_t a, uint64_t b, uint64_t m) {
    int64_t res = 0;
    while (a != 0) {
        if (a & 1) res = (res + b) % m;
        a >>= 1;
        b = (b << 1) % m;
    }
    return res;
}

它改进了您的算法，因为它需要O(log(a))时间，而不是O(a)时间。

警告：无符号，仅在m63 位或更少时才有效。

于 2012-08-29T04:42:02.077 回答
20

Keith Randall 的回答很好，但正如他所说，需要注意的是，它只有在m63 位或更少时才有效。

这是一个有两个优点的修改：

  1. 即使m是 64 位，它也可以工作。
  2. 它不需要使用模运算，这在某些处理器上可能很昂贵。

（请注意，res -= mandtemp_b -= m行依赖于 64 位无符号整数溢出来给出预期的结果。这应该没问题，因为无符号整数溢出在 C 和 C++ 中是明确定义的。因此，使用无符号整数类型很重要。 )

uint64_t mulmod(uint64_t a, uint64_t b, uint64_t m) {
    uint64_t res = 0;
    uint64_t temp_b;

    /* Only needed if b may be >= m */
    if (b >= m) {
        if (m > UINT64_MAX / 2u)
            b -= m;
        else
            b %= m;
    }

    while (a != 0) {
        if (a & 1) {
            /* Add b to res, modulo m, without overflow */
            if (b >= m - res) /* Equiv to if (res + b >= m), without overflow */
                res -= m;
            res += b;
        }
        a >>= 1;

        /* Double b, modulo m */
        temp_b = b;
        if (b >= m - b)       /* Equiv to if (2 * b >= m), without overflow */
            temp_b -= m;
        b += temp_b;
    }
    return res;
}
于 2013-09-08T04:02:27.767 回答
5

两种方法都对我有用。第一个与您的相同，但我将您的数字更改为明确的 ULL。第二个使用汇编符号，它应该工作得更快。密码学中也使用了一些算法（我猜主要是基于 RSA 和 RSA 的密码学），就像已经提到的蒙哥马利减少一样，但我认为实现它们需要时间。

#include <algorithm>
#include <iostream>

__uint64_t mulmod1(__uint64_t a, __uint64_t b, __uint64_t m) {
  if (b < a)
    std::swap(a, b);
  __uint64_t res = 0;
  for (__uint64_t i = 0; i < a; i++) {
    res += b;
    res %= m;
  }
  return res;
}

__uint64_t mulmod2(__uint64_t a, __uint64_t b, __uint64_t m) {
  __uint64_t r;
  __asm__
  ( "mulq %2\n\t"
      "divq %3"
      : "=&d" (r), "+%a" (a)
      : "rm" (b), "rm" (m)
      : "cc"
  );
  return r;
}

int main() {
  using namespace std;
  __uint64_t a = 853467ULL;
  __uint64_t b = 21660421200929ULL;
  __uint64_t c = 100000000000007ULL;

  cout << mulmod1(a, b, c) << endl;
  cout << mulmod2(a, b, c) << endl;
  return 0;
}
于 2012-08-28T22:45:13.807 回答
4

对重复加倍算法的改进是检查一次可以计算多少位而不会溢出。可以对这两个参数进行早期退出检查——加速 N 不是素数的（不太可能？）事件。

例如 100000000000007 == 0x00005af3107a4007，它允许每次迭代计算 16（或 17）位。该示例的实际迭代次数为 3。

// just a conceptual routine
int get_leading_zeroes(uint64_t n)
{
   int a=0;
   while ((n & 0x8000000000000000) == 0) { a++; n<<=1; }
   return a;
}

uint64_t mulmod(uint64_t a, uint64_t b, uint64_t n)
{
     uint64_t result = 0;
     int N = get_leading_zeroes(n);
     uint64_t mask = (1<<N) - 1;
     a %= n;
     b %= n;  // Make sure all values are originally in the proper range?
     // n is not necessarily a prime -- so both a & b can end up being zero
     while (a>0 && b>0)
     {
         result = (result + (b & mask) * a) % n;  // no overflow
         b>>=N;
         a = (a << N) % n;
     }
     return result;
}
于 2014-02-20T08:08:21.140 回答
3

您可以尝试将乘法分解为加法：

// compute (a * b) % m:

unsigned int multmod(unsigned int a, unsigned int b, unsigned int m)
{
    unsigned int result = 0;

    a %= m;
    b %= m;

    while (b)
    {
        if (b % 2 != 0)
        {
            result = (result + a) % m;
        }

        a = (a * 2) % m;
        b /= 2;
    }

    return result;
}
于 2012-08-28T22:30:55.923 回答
2

a * b % m等于a * b - (a * b / m) * m

使用浮点运算来近似a * b / m. 该近似值留下了一个足够小的值，可用于正常的 64 位整数运算，m最多 63 位。

此方法受 a 的有效位限制double，通常为 52 位。

uint64_t mod_mul_52(uint64_t a, uint64_t b, uint64_t m) {
    uint64_t c = (double)a * b / m - 1;
    uint64_t d = a * b - c * m;

    return d % m;
}

此方法受 a 的有效位限制long double，通常为 64 位或更大。整数运算限制为 63 位。

uint64_t mod_mul_63(uint64_t a, uint64_t b, uint64_t m) {
    uint64_t c = (long double)a * b / m - 1;
    uint64_t d = a * b - c * m;

    return d % m;
}

这些方法要求a并且b小于m。要处理任意aand ，请在计算b之前添加这些行。c

a = a % m;
b = b % m;

在这两种方法中，最终%操作都可以是有条件的。

return d >= m ? d % m : d;
于 2018-05-23T04:15:30.660 回答
1

我可以建议对您的算法进行改进。

实际上，您a * b通过每次相加来迭代计算b，在每次迭代后进行取模。最好每次添加b * x，而x确定b * x不会溢出。

int64_t mulmod(int64_t a, int64_t b, int64_t m)
{
    a %= m;
    b %= m;

    int64_t x = 1;
    int64_t bx = b;

    while (x < a)
    {
        int64_t bb = bx * 2;
        if (bb <= bx)
            break; // overflow

        x *= 2;
        bx = bb;
    }

    int64_t ans = 0;

    for (; x < a; a -= x)
        ans = (ans + bx) % m;

    return (ans + a*b) % m;
}
于 2012-08-28T22:46:18.270 回答