《計算複雜性：現代方法》——1.7 定理1.9的證明：O(TlogT)時間的通用模擬

本節書摘來自華章計算機《計算複雜性：現代方法》一書中的第1章，第1.7節，作者 ［美］桑傑夫·阿羅拉（Sanjeev Arora），博阿茲·巴拉克（Boaz Barak），譯 駱吉洲，更多章節內容可以訪問雲棲社區「華章計算機」公衆號查看。 1.7　定理1.9的證明：O(TlogT)時間的通用模擬 本章學習內容 ●存在許多等價方法對計算過程進行數學建模。我們採用標準的圖靈機定義。 ●圖靈機可以表示爲

>>阅读原文<<