九np完全性理论与近似计算.pptVIP

图灵机TM的复杂性（续） 图灵机TM的空间复杂性 图灵机对输入x的空间复杂性：计算x时，k条带上所有方格数的总和 图灵机的空间复杂性S(n)是它处理所有长度为n的输入时，在k条带上所使用过的方格数的总和。如果某个读写头无限地向右移动而不停机，S(n)也无定义。 第32页/共59页 TM功能很强大 许多TM能够完成复杂的工作。虽然TM只有一条（或k条）连续的带，在每一步也只能完成非常有限的工作。但是，可以设计出TM完成在普通计算机上能够完成的任何计算，尽管可能要慢得多。 第33页/共59页 1、给定图林机TM M=(Q，T，I，δ，B，q0，qf) Q = { q0, q1, q2, q3 , q4 } T = { a, b, s, t } I= { a, b } 初态 q0 接受状态 q4 转移函数?如下边所示： ?(q0, a)= (q1, s, R) ?(q0,t )= (q3, t, R) ?(q1, a)= (q1, a, R) ?(q1, b)= (q2, t, L) ?(q1,t )= (q1, t, R) ?(q2, a)= (q2, a, L) ?(q2, s)= (q0, s, R) ?(q2,t )= (q2, t, L) ?(q3, t)= (q3, t, R) ?(q3, b)= (q4, b