np完全问题NDTM and Concept of NP-Completeness.pdf
文本预览下载声明
非确定性Turing 机 (NDTM ,Aho 书P364)
一台k 带DTM(确定性Turing 机)根据其当前所在状态及
k 个读写头当前读到的字符唯一地确定下一步的三个动作:
1)改变q 的状态(也可不改);
2 )改写当前指向各单元的字符(亦可不改);
3 )实现带头的移动(其中若干个甚至全部亦可以不动);
但三者中至少有一个要发生变化,否则停机。
k 带Turing 机是由其δ转移函数:Q×Tk k
显示全部