文档详情

np完全问题NDTM and Concept of NP-Completeness.pdf

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