天美乌鸦糖心mv

因为对于图灵机来说，常系数的差异是可以磨平的。

Linear Speedup Theorem：对于任意一个有 [公式] 条纸袋的图灵机( [公式] )，如果其运行时间为 [公式] ，那么对于任意正实数 [公式] , 必然存在另一个有 [公式] 条纸袋的图灵机，在 [公式] 的时间里解决一样的问题 证明：主要的思路就是用新的图灵机的 [公式] 步来模拟原图灵机的 [公式] 步， [公式] 可以设置成很大的数***设原来的图灵机 [公式] ,运行时间为 [公式] ,…。