关闭

数论

标签: 算法加密calgorithmn2struct
167人阅读 评论(0) 收藏 举报

转载自:http://blog.csdn.net/lzj888777/article/details/4446752

<!-- /* Font Definitions */ @font-face {font-family:宋体; panose-1:2 1 6 0 3 1 1 1 1 1; mso-font-alt:SimSun; mso-font-charset:134; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 135135232 16 0 262145 0;} @font-face {font-family:黑体; panose-1:2 1 6 0 3 1 1 1 1 1; mso-font-alt:SimHei; mso-font-charset:134; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:1 135135232 16 0 262144 0;} @font-face {font-family:Verdana; panose-1:2 11 6 4 3 5 4 4 2 4; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature:536871559 0 0 0 415 0;} @font-face {font-family:"/@宋体"; panose-1:2 1 6 0 3 1 1 1 1 1; mso-font-charset:134; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:3 135135232 16 0 262145 0;} @font-face {font-family:"/@黑体"; panose-1:2 1 6 0 3 1 1 1 1 1; mso-font-charset:134; mso-generic-font-family:auto; mso-font-pitch:variable; mso-font-signature:1 135135232 16 0 262144 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-parent:""; margin:0cm; margin-bottom:.0001pt; text-align:justify; text-justify:inter-ideograph; mso-pagination:none; font-size:10.5pt; mso-bidi-font-size:12.0pt; font-family:"Times New Roman"; mso-fareast-font-family:宋体; mso-font-kerning:1.0pt;} h2 {mso-style-next:正文; margin-top:13.0pt; margin-right:0cm; margin-bottom:13.0pt; margin-left:0cm; text-align:justify; text-justify:inter-ideograph; line-height:173%; mso-pagination:lines-together; page-break-after:avoid; mso-outline-level:2; font-size:16.0pt; font-family:Arial; mso-fareast-font-family:黑体; mso-bidi-font-family:"Times New Roman"; mso-font-kerning:1.0pt;} p.MsoToc2, li.MsoToc2, div.MsoToc2 {mso-style-update:auto; mso-style-noshow:yes; mso-style-next:正文; margin-top:0cm; margin-right:0cm; margin-bottom:0cm; margin-left:21.0pt; margin-bottom:.0001pt; mso-para-margin-top:0cm; mso-para-margin-right:0cm; mso-para-margin-bottom:0cm; mso-para-margin-left:2.0gd; mso-para-margin-bottom:.0001pt; text-align:justify; text-justify:inter-ideograph; mso-pagination:none; font-size:10.5pt; mso-bidi-font-size:12.0pt; font-family:"Times New Roman"; mso-fareast-font-family:宋体; mso-font-kerning:1.0pt;} a:link, span.MsoHyperlink {color:blue; text-decoration:underline; text-underline:single;} a:visited, span.MsoHyperlinkFollowed {color:purple; text-decoration:underline; text-underline:single;} pre {margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:宋体; mso-bidi-font-family:宋体;} /* Page Definitions */ @page {mso-page-border-surround-header:no; mso-page-border-surround-footer:no;} @page Section1 {size:595.3pt 841.9pt; margin:72.0pt 90.0pt 72.0pt 90.0pt; mso-header-margin:42.55pt; mso-footer-margin:49.6pt; mso-paper-source:0; layout-grid:15.6pt;} div.Section1 {page:Section1;}-->

数论基础算法

一、引言... 1

二、求最大公约数... 2

三、求解同余线性方程... 4

四、中国剩余定理... 9

五、模取幂运算... 13

六、RSA公钥加密系统... 16

七、进制转换与应用... 18

八、素数的求解与判定... 18

九、大数的加减乘除... 18

十、数列... 18

十一、傅立叶转换... 18

十二、经典24点... 18

十三、天平称量问题... 18

参考材料:... 18

一、引言

数论曾经被视为数学领域中华而不实的一个分支,然而现在它已经得到了广泛的应用,这其中的部分原因应归结为以大素数为基础的密码体系的建立。这种体系的可行性在于我们可以轻松地找到一些大素数,而体系的安全性则在于将大素数的乘积重新分解因数往往十分困难。本文将介绍数论中比较基本的一些算法,面向的读者应具有代数结构的基础知识。

二、求最大公约数

我们首先要介绍的是能够有效计算两个整数的最大公约数的欧几里得算法(Euclid's algorithm,又称辗转相除法)(下文中用gcd(a,b)来表示整数a与b的最大公约数,由于gcd(a,b)=gcd(|a|,|b|),我们将参数的范围限定在非负整数的范围内)。

将a、b分别分解质因数后即可求得二者的最大公约数,然而即使是最好的算法也不能使位操作意义下的时间复杂度达到多项式级(数论算法的时间复杂度分析常常指在位操作的意义下)。高校的欧几里德算法是建立在下面的定理上的:

对于任何的非负整数a和正整数b,有gcd(a,b)=gcd(b,a mod b)。欧几里得算法的流程为:

EUCLID(a,b)

          if b=0

            then return a

            else return EUCLID(b,a mod b)

比如我们要求31和20的最大公约数,则EUCLID的运行过程为:

EUCLID(30,21)=EUCLID(21,9)=EUCLID(9,3)=EUCLID(3,0)=3。

关于该算法的效率分析,有如下定理阐述:

对任何k>=1,若a>b>=1且b<Fk+1(Fx为Fibonacci数列的第x项),那么EUCLID(a,b)的递归调用必小于k次。

连续的Fibonacci数是EUCLID输入的最坏情况,因为对任何k>2有Fk+1 mod Fk=Fk-1,所以gcd(Fk+1,Fk)=gcd(Fk,(Fk+1 mod Fk))=gcd(Fk,Fk-1),而CLID(F3,F2)=EUCLID(2,1)的计算是需要进行一次递归调用的。

现在我们来改写欧几里得算法以计算附加的有用信息,使得我们可以在算法结束时获得两个整数(可能为0或负数)x、y使等式d=gcd(a,b)=ax+by成立。如下所示的EXTENDED-EUCLID过程接收一对非负整数,返回满足上述等式的三元组(d,x,y):

EXTENDED-EUCLID(a,b)

      if b=0

        then return (a,1,0)

      (d',x',y')←EXTEND-EUCLID(b,a mod b)

      (d,x,y)=(d',y',x'-floor(a/b)*y')

      return (d,x,y)

EXTENDED-EUCLID过程与EUCLID过程的时间复杂度在渐近意义下相同,差别仅在于常数因子,而由此得出的x、y却对解决一些问题十分有用。

三、求解同余线性方程

在一些重要的应用中常会涉及到求解如下同余线性方程的问题:a*x模n余b,求x。这个问题有解的条件是d=gcd(a,n)|b,在已知有解x0的情况下,可以推出其在模n意义下的全部解,即xi=x0+i*(n/d)(i=0,1...d-1),具体过程如下:

MODULAR-LINEAR-EQUATION-SOLVER(a,b,n)

    (d,x',y')←EXTENDED-EUCLID(a,n)

    if d|b

      then x0←x'(b/d) mod n

        for i←0 to d-1

          do print (x0+i(n/d)) mod n

      else print "no solutions"

线性同余方程
在数论中,线性同余方程是最基本的同余方程,“线性”表示方程的未知数次数是一次,即形如:
 
的方程。此方程有解当且仅当 b 能够被 a 与 n 的最大公约数整除(记作 gcd(a,n) | b)。这时,如果 x0 是方程的一个解,那么所有的解可以表示为:
 
其中 d 是a 与 n 的最大公约数。在模 n 的完全剩余系 {0,1,…,n-1} 中,恰有 d 个解。

目录 
1 例子 
2 求特殊解 
3 线性同余方程组 
4 参见 

例子
在方程 
3x ≡ 2 (mod 6) 
中, d = gcd(3,6) = 3 ,3 不整除 2,因此方程无解。

在方程 
5x ≡ 2 (mod 6) 
中, d = gcd(5,6) = 1,1 整除 2,因此方程在{0,1,2,3,4,5} 中恰有一个解: x=4。

在方程 
4x ≡ 2 (mod 6) 
中, d = gcd(4,6) = 2,2 整除 2,因此方程在{0,1,2,3,4,5} 中恰有两个解: x=2 and x=5。

求特殊解
对于线性同余方程

ax ≡ b (mod n)      (1) 
若 d = gcd(a, n 整除 b ,那么为整数。由裴蜀定理,存在整数对 (r,s) (可用辗转相除法求得)使得 ar+sn=d,因此 是方程 (1) 的一个解。其他的解都关于与 x 同余。

举例来说,方程

12x ≡ 20 (mod 28) 
中 d = gcd(12,28) = 4 。注意到 ,因此 是一个解。对模 28 来说,所有的解就是 {4,11,18,25} 。

线性同余方程组
线性同余方程组的求解可以分解为求若干个线性同余方程。比如,对于线性同余方程组:

2x ≡ 2 (mod 6) 
3x ≡ 2 (mod 7) 
2x ≡ 4 (mod 8) 
首先求解第一个方程,得到x ≡ 1 (mod 3),于是令x = 3k + 1,第二个方程就变为:

9k ≡ −1 (mod 7) 
解得k ≡ 3 (mod 7)。于是,再令k = 7l + 3,第三个方程就可以化为:

42l ≡ −16 (mod 8) 
解出:l ≡ 0 (mod 4),即 l = 4m。代入原来的表达式就有 x = 21(4m) + 10 = 84m + 10,即解为:

x ≡ 10 (mod 84) 
对于一般情况下是否有解,以及解得情况,则需用到数论中的中国剩余定理。

参见
二次剩余 
中国剩余定理

谈谈解线性同余方程

因为ACM/ICPC中有些题目是关于数论的,特别是解线性同余方程,所以有必要准备下这方面的知识。关于这部分知识,我先后翻看过很多资料,包括陈景润的《初等数论》、程序设计竞赛例题解、“黑书”和很多网上资料,个人认为讲的最好最透彻的是《算法导论》中的有关章节,看了之后恍然大悟。经过几天的自学,自己觉得基本掌握了其中的“奥妙”。拿出来写成文章。

那么什么是线性同余方程?对于方程:ax≡b(mod   m),a,b,m都是整数,求解x 的值。

解题例程:pku1061 青蛙的约会 解题报告

符号说明:

                  mod表示:取模运算

                  ax≡b(mod   m)表示:(ax - b) mod m = 0,即同余

                  gcd(a,b)表示:a和b的最大公约数

求解ax≡b(mod n)的原理:

对于方程ax≡b(mod n),存在ax + by = gcd(a,b),x,y是整数。而ax≡b(mod n)的解可以由x,y来堆砌。具体做法,见下面的MLES算法。

第一个问题:求解gcd(a,b)

定理一:gcd(a,b) = gcd(b,a mod b)

实现:古老的欧几里德算法

int Euclid(int a,int b)
{
if(b == 0)
      return a;
else
      return Euclid(b,mod(a,b));
}

附:取模运算

int mod(int a,int b)
{
if(a >= 0)
      return a % b;
else
      return a % b + b;
}

第二个问题:求解ax + by = gcd(a,b)

定理二:gcd(b,a mod b) = b * x' + (a mod b) * y'
              = b * x' + (a - a / b * b) * y'
              = a * y' + b * (x' - a / b *      y')
              = a * x + b * y

则:x = y'
y = x' - a / b * y'

实现:

triple Extended_Euclid(int a,int b)
{
triple result;
if(b == 0)
{
      result.d = a;
      result.x = 1;
      result.y = 0;
}
else
{
      triple ee = Extended_Euclid(b,mod(a,b));
      result.d = ee.d;
      result.x = ee.y;
      result.y = ee.x - (a/b)*ee.y;
}
return result;
}

附:三元组triple的定义

struct triple
{
int d,x,y;
};

第三个问题:求解ax≡b(mod n)

实现:由x,y堆砌方程的解

int MLES(int a,int b,int n)
{
triple ee = Extended_Euclid(a,n);
if(mod(b,ee.d) == 0)
      return mod((ee.x * (b / ee.d)),n / ee.d);
else
      return -1;
}//返回-1为无解,否则返回的是方程的最小解

说明:ax≡b(mod n)解的个数:

如果ee.d 整除 b 则有ee.d个解;

如果ee.d 不能整除 b 则无解。

四、中国剩余定理

中国有一本数学古书《孙子算经》有这样的记载:

「今有物,不知其数,三三数之,剩二,五五数之,剩三,七七数之,剩二,问物几何?」

答曰:「二十三」

术曰:「三三数之剩二,置一百四十,五五数之剩三,置六十三,七七数之剩二,置三十,并之,得二百三十三,以二百一十减之,即得。凡三三数之剩一,则置七十,五五数之剩一,则置二十一,七七数之剩一,则置十五,即得。」

孙子算经的作者及确实着作年代均不可考,不过根据考证,着作年代不会在晋朝之后,以这个考证来说上面这种问题的解法,中国人发现得比西方早,所以这个问题的推广及其解法,被称为中国剩余定理。中国剩余定理(Chinese Remainder Theorem)在近代抽象代数学中占有一席非常重要的地位。它揭示了这样两个系统的一致性:一是模两两互质的一组数的同余方程组,二是模它们的乘积的方程。

中国剩余定理的内容如下:

令n=n1n2...nk,其中ni是两两互质的数,则对0<=a<n与0<=ai<ni且ai=a mod ni,a与(a1,a2...,ak)之间有一种一一对应的关系,一切对a的操作均可被等价的转换为对对应k元组中的每一元进行同样的操作。因此我们可以将一种表达经过简单的转换后得出另一种表达,其中从a到(a1,a2...,ak)的转换十分容易,而从(a1,a2...,ak)推得对应的a则要稍微复杂一些。

首先定义mi=n/ni(i=1,2...k),则mi是除了ni以外的所有nj的乘积,接下来令ci=mi与模n意义下mi的逆元(即(mi*mi-1)mod ni=1)的积,则a为(a1c1+a2c2+...+akck) (mod n)。

例如我们已知a模5余2且模13余3,那么a1=2,n1=m2=5,a2=3,n2=m1=13,则有c1=13*(2 mod 5)=26,c2=5*(8 mod 13)=40,所以a=(2*26+3*40)(mod 65)=42。

中国剩余定理(同余方程组)小结

问题简单来说就是 a = ai (mod ni)   求未知数a,

以下小结略去证明, 只是对定理作了必要的解释,要了解相关定理,可查阅数论资料.

中国余数定理:

      设n=n1*n2...nk, 其中因子两两互质.有:  a-----(a1,a2,...,ak), 其中ai = a mod ni, 则 a和(a1,a2,...,ak)关系是一一对应的.就是说可以由a求出(a1,a2,...,ak), 也可以由(a1,a2,...,ak)求出a

推论1:

      对于a=ai  (mod ni) 的同余方程,有唯一解

下面说说由(a1, a2, ..., ak)求a的方法:

定义 mi = n1*n2*...nk / ni;   ci = mi(mf mod ni);   其中mi*mf  mod ni = 1;

         则a = (a1*c1+a2*c2+...+ak*ck)      (mod n)      (注:由此等式可求a%n,当n很大时)

中国剩余定理关键是mf的求法,如果理解了扩展欧几里得ax+by=d, 就可以想到:

                    mi*mf  mod ni = 1 => mi*mf+ni*y=1;

代码如下:

#include <iostream>

#include <cmath>

using namespace std;

const int MAXN = 100;

int nn, a[MAXN], n[MAXN];

int egcd(int a, int b, int& x, int &y) {

    int d;

    if (b == 0) {

        x = 1; y = 0;

        return a;

    } else {

        d = egcd(b, a%b, y, x);

        y -= a/b*x;

        return d;

    }

}

int lmes() {

    int i, tm=1, mf, y, ret=0, m;

    for (i=0; i<nn; i++) tm *= n[i];

    for (i=0; i<nn; i++) {

        m = tm/n[i];

        egcd(m, n[i], mf, y);

        ret += (a[i]*m*(mf%n[i]))%tm;

    }

    return (ret+tm)%tm;

}

int main() {

    a[0] = 4; a[1] = 5;

    n[0] = 5; n[1] = 11;

   nn = 2;

    printf("%d/n", lmes());

    return 0;

}

五、模取幂运算

m^e mod n叫做模取幂运算,事实上,m^e mod n可以直接计算,没有必要先算m^e,根据简单的数论知识,很容易设计一个分治算法。具体如下:

设<b[k], b[k-1],...,b[1],b[0]>是整数b的二进制表示(即b的二进制有k+1位,b[k]是最高位),下列过程随着c的值从0到b成倍增加,最终计算出a^c mod n

Modular-Exponentiation(a, b, n)

   

  c ← 0

    d ← 1

  

  设<b[k],b[k-1],..b[0]>是b的二进制表示

   

  for i←k downto 0

     

  do c ← 2c

         d ← (d*d) mod n

         if b[i] = 1

           then c ← c + 1

               d ← (d*a) mod n

   

  return d

上述伪代码依次计算出的每个幂或者是前一个幂的两倍,或者是前一个幂的两倍再乘上底数a。过程依次从右到左逐个读入b的二进制表示已控制执行哪一种操作。循环中的每次迭代都用到了下面的两个恒等式中的一个:

a^(2c) mod n = (a^c mod n)^2

a^(2c+1) mod n = a * (a^c mod n)^2

用哪一个恒等式取决于b[i]=0还是1。由于平方在每次迭代中起着关键作用,所以这种方法叫做“反复平方法(repeated squaring)”。在读入b[i]位并进行相应处理后,c的值与b的二进制表示<b[k],b[k-1],..b[0]>的前缀的值相同。事实上,算法中并不真正需要变量c,只是为了说明算法才设置了变量c:当c成倍增加时,算法保持条件d = a^c mod n 不变,直至c=b。

如果输入a,b,n是k位的数,则算法总共需要执行的算术运算次数为O(k),总共需要执行的位操作次数为O(k^3)。

六、RSA公钥加密系统

在一个公钥加密系统中,每个参与者都拥有一个公钥和密钥,每个人对自己的密钥保密,而一般将公钥公开,假设基于公钥PA的一个函数是PA(),而基于密钥SA的一个函数是SA(),那么对于传输的信息M,一般有

M=SA(PA(M))且M=PA(SA(M))。

因此,设计一个可行的公钥加密系统的最大困难在于解决如何在展示PA的同时不使除自己外的其它人拥有计算SA的能力。RSA公钥加密系统借助了数论中的这样一个事实:寻找大素数很容易而分解两个大素数的乘积则很困难。

在RSA公钥加密系统中,参与者按照如下的步骤制造商他的公钥与密钥。

1. 随机选择两个不等素数p和q。

2. 计算出n=pq。

3. 选择一个小奇数e使它和(p-1)(q-1)互质。

4. 计算e在模(p-1)(q-1)的逆元d。

5. 公开数对(e,n)作为RSA公钥。

6. 保留数对(d,n)作为他的RSA密钥。

在信息传递的过程中,发送消息者将信息用基于接收者公钥的算法进行加密,因此在消息传递的过程中即使被窃听者截获,也因为他无法获得接收者的密钥而破解密文;至于接收者本身则因为持有自己的密钥而可以解读传递过来的信息。

除了RSA公钥加密系统外,诸如数字签名等一些其他技术也借用了数论中寻找大素数和分解大合数的这一对矛盾,因此从某种意义上讲,人类可能希望分解大合数的问题永远不要被解决,这实在是一个有趣的现象。 

七、进制转换与应用

八、素数的求解与判定

九、大数的加减乘除

十、数列与数对

十一、傅立叶转换

十二、经典24

十三、天平称量问题

十四、因式分解

参考材料:

1、常用的数论算法(C++描述)

http://blog.csdn.net/yahreso/archive/2008/02/18/2104191.aspx

2、计算数论(2)

http://www.wangchao.net.cn/shop/product_634448.html

3数论基础算法

http://acm.nuc.edu.cn:8080/forum/viewthread.php?tid=8

 

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:20969次
    • 积分:379
    • 等级:
    • 排名:千里之外
    • 原创:13篇
    • 转载:22篇
    • 译文:0篇
    • 评论:0条
    文章存档