关于无需建议的合理语义类别时间层次的一点说明
摘要：没有指导的情况下，通过消除先前结果中的常数比特建立了合理语义类的时间层次结构。通过反证法证明了消除的方法，即对于任何合理的计算模型，设$ ext{CTIME}(f(n))/{g(n)}$表示在该模型中，以时间复杂度$O(f(n))$运行的带有$g(n)$比特的指导的机器能够决定的所有语言集合，则如果$ ext{CTIME}(t(n))subseteq ext{CTIME}(T(n))/{A(n)}$，那么$ ext{CTIME}(t(n))/a subseteq ext{CTIME}(T(n))/{a+2^aA(n)}$，其中$a$是一个常数整数。
作者：Hao Wu
论文ID：1711.11158
分类：Computational Complexity
分类简称：cs.CC
提交时间：2022-08-17