2025年5月31日
Theory of Computation Review
摘要： Theorem. \(\mathsf{SPACE}(f(n)) \subseteq \mathsf{TIME}\left(2^{\mathcal O(f(n))}\right)\) when \(f(n) = \Omega(\log n)\). Proof. A TM that decides a 阅读全文
posted @ 2025-05-31 01:27 Scintilla06 阅读(48) 评论(0) 推荐(1)