3

我正在尝试在 C99 中实现Miller-Rabin 素数测试，但我遇到了一些问题来让它工作。我制作了一个小型测试集来验证实现是否有效，这就是我检查素数的方式

int main() {
    int foo[11] = {0, 1, 2, 3, 4, 7, 28, 73, 125, 991, 1000};
    for (int i = 0; i < 11; i++) {
        printf("%s; ", isprime(foo[i], 5000) ? "Yes" : "No");
    }
    return 0;
}

从列出的数字中，预期的输出将是

不; 不; 是的; 是的; 不; 是的; 不; 是的; 不; 是的; 不;

但是，作为实施，我得到的输出如下：

不; 不; 是的; 是的; 不; 是的; 不; 不; 不; 不; 不;

这是我编写算法的方式

int randint (int low, int up){
    return rand() % (++up - low)+low;
}

int modpow(int a, int b, int m) {
    int c = 1;
    while (b) {
        if (b & 1) {
            c *= a;
        }
        b >>= 1;
        a *= a;
    }
    return c % m;
}

bool witness(int a, int s, int d, int n) {
    int x = modpow(a,d,n);
    if(x == 1) return true;
    for(int i = 0; i< s-1; i++){
        if(x == n-1) return true;
        x = modpow(x,2,n);
    }
    return (x == n- 1);
}

bool isprime(int x, int j) {
    if (x == 2) {
        return true;
    }
    if (!(x & 1) || x <= 1) {
        return false;
    }
    int a = 0;
    int s = 0;
    int d = x - 1;

    while (!d&1){
        d >>=1;
        s+=1;
    }
    for(int i = 0; i < j; i++){
        a = randint(2, x-1);
        if(!witness(a,s,d,x)){
            return false;
        }
    }

    return true;
}

我究竟做错了什么？为什么对“大”素数的测试失败，但对非常小的素数有效？我该如何解决这个问题？

4

2 回答 2

6

使用 Visual Studio 2015 社区版时，我发现了两个问题。首先是一行：

while (!d&1){

需要是：

while (!(d&1)){

其次，正如评论中提到的，您的 modpow 功能正在溢出。尝试：

int modpow(int a, int d, int m) {
    int c = a;
    for (int i = 1; i < d; i++)
        c = (c*a) % m;
    return c % m;
}
于 2017-03-21T18:18:53.380 回答
2

modpow()你的功能有问题。您可能希望对参数和结果使用无符号类型（无论如何，负数意味着什么？）其次，它会溢出，因为它会在减少模数之前m尝试计算。你需要减少和你去。a^bmac

处理这个问题的最好方法是编写一些测试：

unsigned modpow(unsigned a, unsigned b, unsigned m) {
    unsigned c = 1;
    while (b) {
        if (b & 1) {
            c *= a;
        }
        b >>= 1;
        a *= a;
    }
    return c % m;
}

#include <stdio.h>
unsigned test(unsigned a, unsigned b, unsigned m, unsigned expected)
{
    unsigned actual = modpow(a, b, m);
    if (actual == expected)
        return 0;
    printf("modpow(%u, %u, %u) returned %u; expected %u\n",
           a, b, m, actual, expected);
    return 1;
}


int main()
{
    return test(0, 0, 2, 1)
        +  test(1005, 16, 100, 25)
        ;
}

第一个测试通过（但提出了一个问题——什么时候你想要什么结果m < 2？）；第二个失败：

modpow(1005, 16, 100) 返回 49；预计 25

让我们修改modpow()以减少每一步的结果：

unsigned modpow(unsigned a, unsigned b, unsigned m) {
    unsigned c = 1;
    while (b) {
        if (b & 1) {
            c *= a;
            c %= m;
        }
        b >>= 1;
        a *= a;
        a %= m;
    }
    return c;
}

它现在通过了！我们可以进行另一个失败的测试：

int main()
{
    return test(0, 0, 2, 1)
        +  test(1005, 16, 100, 25)
        +  test(100000005, 16, 1000000000, 587890625)
        ;
}

modpow(100000005, 16, 1000000000) 返回 919214529; 预计 587890625

现在我们需要使用更大的类型来计算乘法：

unsigned modpow(unsigned a, unsigned b, unsigned m) {
    unsigned long long c = 1;
    while (b) {
        if (b & 1) {
            c = (unsigned long long)c * a % m;
        }
        b >>= 1;
        a = (unsigned long long)a * a % m;
    }
    return c;
}

一旦我们对函数有足够的信心modpow()，我们就可以调试算法的其余部分。

请注意，如果您的整数大小与我的不同，则需要在测试中使用不同的值来复制结果。我选择以大数字结尾是005因为我们知道最后两位数字是不变25的，无论幂次如何。您可能会发现这dc -e '???|p'有助于生成测试用例（在其标准输入上提供三个参数，它将打印预期值）。

于 2017-03-22T10:44:36.903 回答