计算机系统安全演示课件第3章节信息论与数学基本.pptVIP

如果n是素数，就存在有限域。 1.有限域定义： 设F是至少含2个元素的集合，对F定义了两种运算“＋”和“＊”，当代数系统＜F，＋，＊＞满足封闭性、结合性、单位元、逆元和交换性的条件时，＜F，＋，＊＞被称为一个域。当F的元素为有限个时，称为有限域。 返回本节 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 依照求解问题所需的时间，复杂理论也将各种问题区分成下面几类： （1）P问题：代表那些能够在多项式时间(与时间复杂度有关)内可解的问题。 （2）NP问题：多项式时间内可验证（猜出）的问题。（找不到多项式时间算法解的问题） （3）NP—完全问题：是NP问题中的一些特殊问题，NP中的所有问题都可以转换成NP-完全问题，只要NP—完全问题解决了，其他问题都可以解决。是NP问题中最困难的问题。 返回本节 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （4）PSPACE问题：它是较NP复杂度更高一级的问题，但PSPACE＝NP是否成立仍是没有被解决的问题。 （5）EXPTIME问题：复杂度最高的称为EXPTIME，EXPTIME问题需要指数的时间才能解决。EXPTIME已被证明不等于P。 返回本节 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例举一些NP完全问题： （1）整数分解问题 任何整数都可以分解成标准形式： m= ，pi是素数，ei ∈N 当m较小时，这个问题不太困难，例如6＝2×3，100＝22×52。 但当m较大时，此问题就变得非常困难了。 返回本节 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （2）背包问题 背包问题是这样的一个问题：已知长度为k的圆形背包及长度分别为a1，a2，…，an的n个圆形物品。假定这些物品的半径和背包半径相同，要求从n个物品中选出若干个正好装满这个背包。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 把背包问题抽象成数学模型，称为子集合问题：设有长度为n的向量 A=（ a1，a2，…，an ），任意给定一个正整数k，寻找有没有一些恰好等于k，即求方程： 的解向量 x=(x1，x2，…，xn）其中xi=0或1。 当n比较小的时候，可以用穷举法求得解向量，但当n比较大时，穷举法就不可行了。 背包问题是NP－完全问题。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （3）离散对数问题 设x，r，n是正整数，已知x，r和n，可以很快地求得 反过来，如果已知y，χ和n，求r使得： 成立，这便是离散对数问题。离散对数问题也是NP－完全问题。 返回本节 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.3.1 模运算 3.3.2 素数 3.3.3 最大公因子 3.3.4 取模数求逆元 3.3.5 费马小定理 3.3.6 欧拉函数 3.3.7 中国剩余定理 3.3.8 二次剩余 3.3.9 勒让德符号 3.3.10 雅可比符号 3.3.11 Blum整数 3.3.12 生成元 3.3.13