zoukankan      html  css  js  c++  java
  • 《数据结构与算法分析:C语言描述》复习——第十章“算法设计技巧”——质数检验

    2014.07.07 16:46

    简介:

      对于比较小的正整数n,我们习惯用逐个整除的方法检验n是否为质数。这种算法的复杂度是O(n^0.5)。对于int范围内的整数(最大是2147483647),开方以后不到五万,对于单次计算几乎是一瞬间完成,因此可以接受。但如果n是一个大数,比如10^100,这种算法的耗时就是天文数字了。这时需要开辟新算法来判断质数。

    描述:

      先来说说那么大的质数到底有何用处。当两个一百位的质数p与q相乘,能够过得到一个大概两百位的合数s。如果我不告诉你s有两个质因数p和q,你很可能一辈子也懒得管s到底是质数还是合数。在RSA加密算法中,s=pXq,即使公开了s,一般人也很难得出p和q(只要s够长,就能确保外人暂时无法分解出p和q)。而一旦得出了p和q,就能够解密信息。因此p和q好比两把钥匙,只是它们拼在一起时那条缝好比一条大峡谷(那么大),一个人的眼睛根本无法看清全貌。

      因此,为了确保选取的两个大数p和q是质数,我们就得设计算法来检测它们。质数的英文是“prime number”,所以指数检测叫“primality testing”。

      本节的关键知识点“随机算法”,也就是包含有随机数的算法。随机数稍后会在算法中出现。

      首先介绍费马小定理:如果p是一个质数,并且整数a和p互质,那么a^(p-1)≡1(mod p)。

      如果把条件限制得更严格,如果p是质数,那么介于0和p之间的整数a肯定是和p互质的。

      仔细分析这条定理,有如下两点值得注意:

        1. 如果p不是质数,并且a和p互质,那么上述公式也可能满足(此定理是充分而不必要的)

        2. 如果a和p互质,但上述公式不满足,则p一定不是质数(逆否命题与原命题等价)

      第一条值得深入思考,第二条则是基本的逻辑规律。

      

      考虑一个数341,341=11 * 31,所有341是一个合数。2^340≡1(mod 341),符合上述公式;而3^340≡56(mod 341),不符合上述公式。

      这样有可能被误判为质数的合数,被称为Carmichael Number,中文叫伪质数也行。

      因此可以看出选定不同的a值可能得出不同的结论。因此当你选定的a得到的余数为1时,代表p很可能为质数;若余数不为1,则p肯定不是质数。

      所以这种检测算法对于不同的(a,p)组合是有一定错误率的,对于某个固定的(a,p)组合,结果则是确定的。如何降低错误率呢?随机选择a值,多测试几次即可。

      你愿意随机测多次,就能将错误率控制在自己期望的范围内。

      

      至此算法的正确性可行性已经有依据了。那么效率如何能胜任大数计算呢?

      请观察这个公式:a^(p-1)≡1(mod p)。其中使用的取模运算,幂运算对于大数规模的实现还是比较基础的。而且幂运算通过快速幂的思路可以做到对数级别。

      例如p是一个100位数,那么log(p)的大致范围只需要O(100)的时间。如此一来,时间开销就从天文数字降到了普通计算机也可接受的级别。

      已经有不少例子证明了快速幂的强大威力:将连续的乘法(有时不一定是乘法)转化为幂运算,然后用O(log(n))的快速幂算法解决原本需要O(n)时间才能解决的线性问题。

      这个算法,又为快速幂增加了一个例子。

      

      以下的实现没有写大数的各种操作,因为实现篇幅可能会长很多。

    实现:

     1 // Primality testing using Fermat's Lesser Theorem.
     2 #include <cstdlib>
     3 #include <ctime>
     4 #include <iostream>
     5 using namespace std;
     6 
     7 int primalityTest(int a, int i, int n)
     8 {
     9     // a is randomly chosen between (1, n) to test the primality of n.
    10     int x, y;
    11     
    12     if (i == 0) {
    13         return 1;
    14     }
    15     
    16     x = primalityTest(a, i / 2, n);
    17     if (x == 0) {
    18         // x == 0 means n is composite.
    19         // recursively return false
    20         return 0;
    21     }
    22     
    23     y = (x * x) % n;
    24     if (i % 2 != 0) {
    25         y = (y * a) % n;
    26     }
    27     
    28     return y;
    29 }
    30 
    31 bool isPrime(const int n)
    32 {
    33     if (n < 2) {
    34         return false;
    35     } else if (n < 4) {
    36         return true;
    37     }
    38     
    39     const int NUM_OF_TRIALS = 10;
    40     int i = 0;
    41     while (i < NUM_OF_TRIALS) {
    42         if (primalityTest(2 + rand() % (n - 3), n - 1, n) != 1) {
    43             return false;
    44         }
    45         ++i;
    46     }
    47     
    48     return true;
    49 }
    50 
    51 int main()
    52 {
    53     srand((unsigned int)time(nullptr));
    54     int n;
    55     
    56     while (cin>> n && n > 0) {
    57         cout << (isPrime(n) ? "Yes": "No") << endl;
    58     }
    59     
    60     return 0;
    61 }
  • 相关阅读:
    LoadRunner支持的IE版本
    构建10亿级PV的大型网站设计要点 网络层
    珠海金山软件急聘性能测试工程师【内部推荐】
    PrefTest性能测试解决方案 C/S结构应用系统的压力测试
    Android性能测试主要方法
    使用LoadRunner监控Apach服务器的步骤
    MySQL+HandlerSocket
    Android configChanges属性
    创业故事:腾讯的创始人们
    [置顶] 学习linux的几点忠告
  • 原文地址:https://www.cnblogs.com/zhuli19901106/p/3830164.html
Copyright © 2011-2022 走看看