北京大学屈婉玲算法设计与分析最新课件07.pdfVIP

第7章 NP完全性 主要内容 Turing机 计算复杂性理论计算复杂性理论 NP完全性理论的基本概念 用NP完全性理论分析问题 NPNP难度难度 1 Turing机的定义 基本模型 双向无限带的Turing机 MM == QQ, ∑∑, ΓΓ, δδ, qq , BB, FF , 其中其中 0 Q 有穷状态集 Γ 有穷带字符集 ∑ 输入字符集 ∑⊂Γ B 空白字符, B ∈Γ－∑ q 初始状态初始状态, q ∈QQ 0 0 F 终结状态集, F⊂Q, q , q ∈F Y N δδ:: ((QQ－FF)) ××ΓΓ→→QQ ××ΓΓ××{{LL,RR}} 状态转移函数状态转移函数 B x1 x2 x3 … xn B 带 读写头 有限状态控制器 FSC 2 瞬时描述-格局(ID) αqα 表示此刻Turing机的FSC处于状态q, 读写头指在串α 1 2 2 的第的第一个字符个字符. 例如例如Turingg机机 M 的某时刻的状态转移函数是的某时刻的状态转移函数是 δ(q, x ) = (p ,Y,L) i 带上的字符串为x x ... x ... x , 读写头指向字符 x , 则它的 11 22 ii nn ii 瞬间描述是: x x ... x q x ... x x x ... x p x Yx ... x 1 2 i-1 i n 1 2 i-2 i-1 i+1 n 表示由左边的ID一步达到右边的ID * 表示由左边的表示由左边的IDID经有限步达到右边的经有限步达到右边的IDID 3 实例 n n 设 L={ 0 1 | n ≥1 }, 设计接受 L 的Turing机如下: MM = QQ, ∑∑, ΓΓ, δδ, q , FF 0 Q = { q , q , q , q , q , q }, 0 1 2 3 Y N ∑∑= {{ 00, 1}1}, Γ= { 0, 1, X , Y, B }, FF = {{ qY,qN }} 初始将字符串放在从 1 到 n 方格中, FSC处在状态 q , 读写头