NDTMandConceptofNP-Completeness.docVIP

非确定性Turing机 (NDTM，Aho书P364) 一台k带DTM（确定性Turing机）根据其当前所在状态及 k个读写头当前读到的字符唯一地确定下一步的三个动作： 1）改变q的状态（也可不改）； 2）改写当前指向各单元的字符（亦可不改）； 3）实现带头的移动（其中若干个甚至全部亦可以不动）； 但三者中至少有一个要发生变化，否则停机。 k带Turing机是由其(转移函数：Q(Tk →Q((T({L,R,S})k而确定。 即（qi, a1, a2,…, ak）一旦给定，下一步的三个动作就唯一地确定了。 与DTM不同的是，NDTM的每一步动作允许有若干个选择， 即对于给定的Q(Tk的一个元素（qi, a1, a2,…, ak）， 它的(转移函数值不是对应于一个Q((T({L,R,S})k中的一个元素， 而是对应于Q((T({L,R,S})k中的一个子集。 对于给定的一个输入串，类似于DTM，NDTM的格局也可用ID描述： e.g. ((1l qi (1r, (2l qi (2r, ┅ , (kl qi (kr) 与DTM不同的是，DTM的 ID序列是线性的: ID0├ ID1├ ID2├ ┅├ IDm， 而NDTM的ID序列通常是用树来描述的 （因为在每个格局都可能有多个选择）。 ID序列树的一个例子 NDTM的另一种解释是，每当遇到n个（n(2）选择时， NDTM就把自身复