计算复杂性第七章——时间复杂性

一、度量复杂性 语言： A = { 0 k 1 k ∣ k ≥ 0 } A=\{0^k1^k | k\ge 0\} A={0k1k∣k≥0}，显然该语言可判定 M 1 M1 M1：单带图灵机 M 2 M2 M2：更快的单带图灵机 M 3 M3 M3：双带图灵机 时间复杂度定义：令M是一个在所有输入上都停机的确定型图灵机，f(n)是M在所有长度为n的输入上运行时所经过的最大步数，若f(n)是M的运行

>>阅读原文<<