[工学]算法设计与分析10.pdf

计算复杂性理论简介 主要内容 Turing机 计算复杂性理论计算复杂性理论 NP完全性理论的基本概念 用NP完全性理论分析问题 NPNP难度难度 1 TuringTuring机的定义机的定义 基本模型基本模型 双向无限带的双向无限带的TuringTuring机机 M = Q, ∑, Γ, δ, q , B, F, 其中 0 Q 有穷状态集 Γ 有穷带字符集 ∑ 输入字符集 ∑⊂Γ BB 空白字符空白字符, BB ∈ΓΓ－∑∑ q 初始状态, q ∈Q 0 0 FF 终结状态集终结状态集,, FF⊂⊂QQ,, qq ,, qq ∈∈FF YY NN δ: (Q－F) ×Γ→Q ×Γ×{L,R}