信息安全数学基础(计算复杂性).pptVIP

P类问题 易处理问题的全体称为“多项式时间可解类”，记为P类。 复杂度类P包含所有能用多项式时间解决的问题。 * 上述定义表明，如果L是多项式时间内可识别的语言，则确定性图灵机可以在多项式时间内，判定一个字符串是否属于语言L。 * . NP类问题 有这样一类问题，虽然不能够用确定性图灵机来有效求解，但是却可以用非确定性图灵机在多项式时间内得到处理 这类问题称为“非确定性多项式时间可解问题”，简称NP问题。 * 定义（NP类）NP类表示用非确定性图灵机在多项式时间内可以识别的语言类。 * . NP类问题（续） 意义：能够通过非确定性的多项式时间算法对许多对称密钥算法和所有公钥算法进行攻击。 NP完全问题 ：指NP中的任何一个问题都可以通过多项式时间转化为该问题 。NP完全问题的全体被记为NPC 。 NP完全问题是NP问题中最难的问题。 * 定义2.3.3（NP完全类）如果任意: 是非确定性多项式时间完全的（NP完全的） 都可以多项式规约到语言，则称: * . NP类问题（续） NP中的任何一个问题都可以通过多项式时间转化为该问题 。NP完全问题的全体被记为NPC 。 NP完全问题是NP问题中最难的问题。 * * . 算法复杂性 算法时间复杂度的度量方法 图灵机解决问题所移动的步数（该时间称之为算法的运行时间） 该度量方法的缺点： 没有考虑每一步具体的操作 例如：加法和乘法的计算开销是不同的 为此，引入算法“按位”的计算复杂度度量方法： 考虑操作如果按位进行所需要执行的“步数” * * . 算法复杂性（续） * * . 算法复杂性（续） * * . 算法复杂性（续） * * . 算法复杂性-普通代数运算 * * . 算法复杂性-模运算 * * . 第2章 信息安全数学基础（计算复杂性） * 问题复杂性 算法复杂性 * . 问题复杂性 图灵机分为两类： 确定性图灵机。 非确定性图灵机 * * . 问题复杂性（续） 确定性图灵机。 确定性图灵机的输出结果只取决于输入和初始状态。 因此，对于具有相同输入和初始状态，运行一个确定性图灵机所得到的结果是完全相同的。 非确定性图灵机 ： 能够进行猜测。 求解一个问题分两个阶段：猜测阶段和验证阶段。 * * . 图灵机 图灵机包括一个有限状态控制单元、k（≥1）条纸带（Tape）和k个读写头（Tapehead）。 有限状态控制单元控制每个读写头访问一条纸带，并沿着纸带左右移动 图灵机求解问题的输入是一个有限长度的字符串，该输入占据每条纸带无限个单元的最左边的有限个单元。 读写头对纸带的一次访问称之为一个合法移动（Move）。 * * . 图灵机（续） 图灵机求解问题时，被赋予一个初始状态（Initial State），且一步一步地移动，从而完成对输入的扫描。 如果图灵机最终扫描了整个输入串，且满足了中止条件而停止下来，则称图灵机识别了该输入。 否则，图灵机在某一点没有合法移动，因此会没有识别输入串而停止下来，此时称图灵机无法识别该输入。 图灵机所识别的一个输入，称为一种可识别语言的一个实例。 * * . 图灵机（续） 例如：请设计一个图灵机，用于证明某个非负整数是否能被3整除。 * * . 图灵机（续） 例如：请设计一个图灵机，用于证明某个非负整数是否能被3整除。 * * . 图灵机（续） 例如：请设计一个图灵机，用于证明某个非负整数是否能被3整除。 * * . 图灵机（续） 例如：请设计一个图灵机，用于证明某个非负整数是否能被3整除。 * * . 图灵机（续） 例如：请设计一个图灵机，用于证明某个非负整数是否能被3整除。 * * . 图灵机（续） 例如：请设计一个图灵机，用于证明某个非负整数是否能被3整除。 * * . 图灵机（续） 例如：请设计一个图灵机，用于证明某个非负整数是否能被3整除。 * * . 图灵机（续） 例如：请设计一个图灵机，用于证明某个非负整数是否能被3整除。 * * . 图灵机（续） 例如：请设计一个图灵机，用于证明某个非负整数是否能被3整除。 * * . 图灵机（续） 例如：请用DIV3图灵机证明a＝12(二进制1100)能被3整除。 * * . 图灵机（续） 例如：请用DIV3图灵机证明a＝12(二进制1011)能被3整除。 当前状态 纸带上的符号 下一步移动 下一个状态 q0（初态） 0 1 空 右 右 响铃或终止 q0 q1 q1 0 1 空 右 右 输出非整除信息 q2 q0 q2 0 1 空 右 右 输出非整除信息 q1 q2 * * . 图灵机（续） 例如：请用DIV3图灵机证明a＝12(二进制1011)能被3整除。 当前状态 纸带上的符号 下一步移动 下一个状态 q0（初态） 0 1 空 右 右 响铃或终止 q0 q1 q1 0 1 空 右