計算複雜性第七章——時間複雜性

一、度量複雜性 語言： 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的運行

>>阅读原文<<