第4章NP完全问题预案.pptxVIP

第4章 NP完全问题 《算法分析与复杂性理论》 第1节 P类问题与NP类问题 第4章 NP完全问题 第1节 P类问题与NP类问题 确定型图灵机与非确定型图灵机 1936年，阿兰·图灵(1912-1954)提出了一种抽象的计算模型 —— 图灵机 (Turing Machine）。 最基本的图灵机：{Q，Σ，Γ，δ，q0，qaccept，qreject} Q 是状态集合； Σ 是输入字母表，其中不包含特殊的空白符 □； Γ 是带字母表，其中 □∈Γ且Σ∈Γ ； δ：Q×「→Q×Γ×{L,R}是转移函数，其中L、R 表示读写头是向左移还是向右移； q0∈Q是起始状态； qaccept∈Q是接受状态，qreject∈Q是拒绝状态，且。qreject≠qaccept 第1节 P类问题与NP类问题 确定型图灵机与非确定型图灵机 确定型图灵机示例：f(x)=x+1 Q = {q1, q2, q3}, Γ={b, 0, 1}, qaccept=q3 当前状态 当前输入 输出 移动方向 下一状态 q1 0 1 L q2 q1 1 0 L q1 q1 b 1 n q3 q2 0 0 L q2 q2 1 1 L q2 q2 b b n q3 第1节 P类问题与NP类问题 对于任意一个非确定型图灵机M，存在一个确定型图灵机M，使得它们的语言相等，即L(M) = L(M)。 第1节 P类问题与NP类问题