本文研究了一種放鬆了恢復要求的催化圖靈機模型,稱為"幾乎催化性圖靈機"。在這個模型中,只有當催化磁帶的內容屬於集合A⊆Σ∗時,機器才需要在計算結束時恢復它。
首先,作者證明了如果一個問題有關於集合A及其補集的幾乎催化性算法,則該問題可以被一個零錯誤隨機算法在預期多項式時間內解決。這為設計催化算法提供了新的方法。
接下來,作者考慮了兩個衡量集合A複雜度的指標:隨機投影複雜度R(A)和子立方體分割複雜度P(A)。作者展示了對於任意k≥1,存在一個集合Ak,使得DSPACE(nk)⊆ACL(Ak),且Ak具有很大的R(Ak)和P(Ak)。這與標準催化圖靈機模型形成對比,在該模型中,很難確定是否可以接受所有DSPACE(log1+ϵn)的語言。
最後,作者進一步改進了催化集合的子立方體分割複雜度,證明了對於任意k≥1,存在Ak使得DSPACE(logkn)⊆ACL(Ak),且Ak具有很大的R(Ak)和P(Ak)。作者的主要新技術是使用錯誤校正碼設計幾乎催化性算法。
На другой язык
из исходного контента
arxiv.org
Дополнительные вопросы