7NumberTheory.ppt

模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * * * 大数的素性检测 Rabin-Miller素数测试非素数通过测试概率为 ? Pollard-ρ算法大数的快速分解 * * * 梅森素数 把形如(2p-1)形式的素数称为梅森素数，p是素数。 [1, 231-1]之间的梅森素数有： 22-1, 23-1, 25-1, 27-1, 213-1, 217-1, 219-1, 231-1 梅森素数的一个性质：一个正整数n的所有约数和是2的幂当且仅当n能够被分解为若干个不同的梅森素数之积。 Summary 说太多都是没有用的，认真刷题才是真。 Thank you! * 模板来自于 * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * 模板来自于 / * * 模运算 根据模加法和模乘法定义的群： 定义在集合Zn＝{0,1,2,……,n-1}上 集合上的加法和乘法运算定义为： [a]n +n [b]n = [a+b]n [a]n *n [b]n = [a*b]n * 求解模线性方程 定理：方程ax=b(mod n)对于未知量x有解，当且仅当gcd(a, n)|b 定理：方程ax=b(mod n)或者对模n有d个不同的解，其中d=gcd(a, n)或者无解。 * 求解模线性方程 定理：设d=gcd(a, n)，假定对整数x’和y’，有d=ax’+ny’。如果d|b，则方程ax=b(modn)有一个解的值为x0，满足x0=x’(b/d)mod n。 * 求解模线性方程 定理：假设方程ax=b(mod n)有解（即有d|b，其中d=gcd(a, n)），x0是该方程的任意一个解，则该方程对模n恰有d个不同的解，分别为：xi=x0+i(n/d)(i = 1, 2, …, 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 solution” * 模线性方程 定理：对任意n1，如果gcd(a, n)=1，则方程ax=b(mod n)对模n有唯一解。 定理：对任意n1，如果gcd(a, n)=1，则方程ax=1(mod n)对模n有唯一解，否则无解。 * 公元5－6世纪前后的《孙子算经》中有“物不知数”问题：“今有物不知其数，三三数之余二 ，五五数之余三 ，七七数之余二，问物几何？”答为“23”。也就是求同余式组x≡2 （mod3），x≡3 （mod5 ），x≡2 （mod7）的正整数解。 明朝程大位用歌谣给出了该题的解法：“三人同行七十稀，五树梅花廿一枝，七子团圆月正半，除百零五便得知。”即解为 x≡2×70＋3×21＋2×15≡233≡23(mod105）。 中国剩余定理 * 中国剩余定理（孙子定理） * 欧拉函数 Euler函数 ：设m是正整数，1，2，…，m中与m互素的数的个数。 定理： * * 定理：如果p是一个奇素数且e≥1，则方程x2=1(mod pe)仅有两个解：x=1和x=-1。 定理：如果对模n存在1的非平凡平方根，则n是和数。 * 元素的幂 3k mod 7为： i 0 1 2 3 4 5 6 7 8 9 10 11 3k mod 7 1 3 2 6 4 5 1 3 2 6 4 5 2k mod 7为： i 0 1 2 3 4 5 6 7 8 9 10 11 2k mod 7 1 2 4 1 2 4 1 2 4 1 2 4 * 离散对数 定义：离散对数问题（Discrete Logarithm problom）是这样的一个问题：给定一个素数p，