幾乎催化性計算

設計空間有限的模型並滿足對大部分使用的空間進行恢復的要求是一個重要的挑戰。我們放鬆了恢復要求:只有當催化磁帶的內容是w∈A⊆Σ∗時,催化圖靈機需要在計算結束時恢復w。我們證明了,如果一個問題有關於集合A及其補集的幾乎催化性算法,則該問題可以被一個零錯誤隨機算法在預期多項式時間內解決。此外,我們展示了使用錯誤校正碼設計幾乎催化性算法的新技術,並改進了催化集合的子立方體分割複雜度。