文章目錄

• 一、確定性模型的計(jì)算復(fù)雜性關(guān)系
• 二、證明 "多個帶子圖靈機(jī)時間復(fù)雜度是 $\mathrm{O}({\mathrm{n}}^2)$"

一、確定性模型的計(jì)算復(fù)雜性關(guān)系

---

計(jì)算的 復(fù)雜性 取決于 模型的計(jì)算 ;

給定一個函數(shù) $\mathrm{t}(\mathrm{n})$ , 假設(shè)有一個 兩個帶子圖靈機(jī) 時間復(fù)雜度是 $\mathrm{O}(\mathrm{t}(\mathrm{n}))$ , 那么對應(yīng)的有相同計(jì)算能力的 一個帶子圖靈機(jī) 時間復(fù)雜度是 $\mathrm{O}({\mathrm{t}}^2(\mathrm{n}))$ ;

示例 : 參考上一篇博客 【計(jì)算理論】計(jì)算復(fù)雜性 ( 兩個帶子的圖靈機(jī)的時間復(fù)雜度 ) , 識別語言 $\mathrm{A}=\{0^{\mathrm{k}}{1}^{\mathrm{k}}:\mathrm{k}\ge 0\}$ , 一個帶子圖靈機(jī)識別上述語言的 計(jì)算時間復(fù)雜度是 $\mathrm{O}({\mathrm{n}}^2)$ , 兩個帶子圖靈機(jī)識別上述語言的 計(jì)算時間復(fù)雜度是 $\mathrm{O}(\mathrm{n})$ ;

二、證明 "多個帶子圖靈機(jī)時間復(fù)雜度是 $\mathrm{O}({\mathrm{n}}^2)$"

---

參考 【計(jì)算理論】圖靈機(jī) ( 多個帶子的圖靈機(jī) | 計(jì)算能力對比 | 證明過程 | 一個帶子圖靈機(jī) ) 博客 , 以如下三個帶子的圖靈機(jī)為例 , 加入下面的 三個帶子圖靈機(jī)的時間復(fù)雜度是 $\mathrm{t}(\mathrm{n})$ ;

使用 單個帶子圖靈機(jī) 模仿上述 三個帶子圖靈機(jī) , 那么對應(yīng)的單個帶子圖靈機(jī)的時間復(fù)雜度是 ${\mathrm{t}}^2(\mathrm{n})$ ;

計(jì)算 單個單子圖靈機(jī) 模仿 三個帶子圖靈機(jī) 一步的計(jì)算 , 需要花費(fèi)的步數(shù) ;

模仿的核心是將三個帶子的字符串放在一個帶子中 , 使用 “#” 分割 , 并使用紅色記錄三個帶子對應(yīng)的位置 , 一個讀頭需要記錄三個位置 , 如下圖 :

使用 $1$ 個帶子的圖靈機(jī) 模擬 $3$ 個帶子的圖靈機(jī) 的代價是 讀寫頭必須從左向右整個遍歷一遍帶子 , 才能模擬 $3$ 個帶子的圖靈機(jī) 一步的計(jì)算 ;

最壞的情況下就是 , 三個帶子圖靈機(jī)走 $1$ 步 , 單個帶子圖靈機(jī)走 三個帶子所有字符串的內(nèi)容長度 對應(yīng)的步數(shù) , 也就是 $10+4$ 步 , 多出來的 $4$ 步是 $4$ 個 “#” 分割字符 ;

三個帶子圖靈機(jī) 每個帶子的長度是 $\mathrm{t}(\mathrm{n})$ , 單個帶子圖靈機(jī) 帶子長度是 $3\mathrm{t}(\mathrm{n})$ ;

單個帶子圖靈機(jī) 模仿 三個帶子圖靈機(jī) 一步操作 , 最壞的情況下 , 需要執(zhí)行的步數(shù)是 $3\mathrm{t}(\mathrm{n})$ ;

總共需要模仿 $\mathrm{t}(\mathrm{n})$ 步 , 因此總共需要模仿的步數(shù)是 $3{\mathrm{t}}^2(\mathrm{n})$ ;

如果是 四個帶子圖靈機(jī) , 總共需要模仿的步數(shù)是 $4{\mathrm{t}}^2(\mathrm{n})$ ,

如果是 五個帶子圖靈機(jī) , 總共需要模仿的步數(shù)是 $5{\mathrm{t}}^2(\mathrm{n})$ ,

如果是 一百個帶子圖靈機(jī) , 總共需要模仿的步數(shù)是 $100{\mathrm{t}}^2(\mathrm{n})$ ,

其數(shù)量級還是 ${\mathrm{t}}^2(\mathrm{n})$ ,

因此增加到 $2$ 個帶子 , 與 增加到 $100$ 個帶子 , 甚至 一億個帶子 , 算法復(fù)雜度的數(shù)量級是 $\mathrm{O}({\mathrm{n}}^2)$ , 這是不變的 ;

單個帶子模仿多個帶子圖靈機(jī) , 所花費(fèi)的時間是平方增加 , 不管多個帶子的個數(shù)是多少 ;

總結(jié)

以上是生活随笔為你收集整理的【计算理论】计算复杂性 ( 两个带子的图灵机的时间复杂度 | 证明多个带子图灵机时间复杂度 )的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。