码迷,mamicode.com
首页 > 编程语言 > 详细

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

时间:2014-07-09 00:49:12      阅读:269      评论:0      收藏:0      [点我收藏+]

标签:style   blog   color   使用   strong   数据   

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 }

 

《数据结构与算法分析:C语言描述》复习——第十章“算法设计技巧”——质数检验,布布扣,bubuko.com

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

标签:style   blog   color   使用   strong   数据   

原文地址:http://www.cnblogs.com/zhuli19901106/p/3830164.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!