4.2 NP完全问题-基础理论.pptVIP

算法设计与分析 ——NP完全问题 二、基础理论 1、确定型图灵机（deterministic Turing machine)和P类 为了使算法的概念形式化，需要确定一个具体的计算模型。通常选择的模型是确定型单带图灵机（Deterministic Turing Machine，缩写成DTM）下图中给出了它的示意图。它由有限状态控制器，读写头和一条带组成，这条带由标有…，－2，一1，0，l，2，3，…的带方格的双向无穷序列构成。 * * 一个DTM程序详细规定了下述信息： （1）有穷的符号集合Γ,包括输入符号子集Σ∈Γ和一个特殊的空白符b； （2）有穷的状态集合Q，包括一个特殊的初始状态q0 和两个特殊的停机状态qY和qN； （3）转移函数δ:（Q- {qY，qN}）×Γ →Q×Γ×｛一1，＋1｝。 这样一个程序的运行很简单。DTM的输入是一个字符串x∈Σ，放在从1开始到|x|的一段带方格中，每一个方格放一个符号。所有其它的方格开始时放着空白符。程序从状态Q开始运行，这时读写头扫描方格1，然后计算一步一步地进行。如果当前状态q是qY或qN，那末计算结束，并且当q=qY时答案是“是”，当q=qN时答案是“否”，否则当前状态q属于Q-{qY，qN｝，同时在被扫描的带方格中有一个符号s，s∈G,于是确定了δ(q,s)的值。假设δ(q,s)=