13、多对数时间内的恰当层次结构

多对数时间内的恰当层次结构

1. 多对数时间与复杂度类

在计算复杂度理论中，多对数时间是一个重要的概念。非确定性随机访问图灵机在多对数时间内工作，例如示例中的机器，这表明多对数CNF可满足性问题属于非确定性多对数时间复杂度类（NPolylogTime）。

交替图灵机的状态集 $Q$ 可划分为存在状态子集 $Q_{\exists}$ 和全称状态子集 $Q_{\forall}$。一个配置 $c$ 被接受的条件如下：
- $c$ 处于最终接受状态；
- $c$ 处于存在状态，且存在下一个接受配置；
- $c$ 处于全称状态，存在下一个配置，且所有下一个配置都被接受。

基于此，我们定义了随机访问交替图灵机。从存在状态开始，在接受长度为 $n$ 的输入前最多进行 $O(f(n))$ 步，且存在状态和全称状态之间最多交替 $m$ 次的机器 $M$ 所接受的语言，定义了复杂度类 $ATIME(f(n), m)$。类似地，从全称状态开始的机器所接受的语言定义了复杂度类 $ATIME_{op}(f(n), m)$。由此，我们定义了多对数时间层次结构的相关类：
- $\tilde{\Sigma} {m}^{plog} = \bigcup {k,c\in N} ATIME[(\log n)^k \cdot c, m]$
- $\tilde{\Pi} {m}^{plog} = \bigcup {k,c\in N} ATIME_{op}[(\log n)^k \cdot c, m]$

多对数时间层次结构定义为 $PLH = \bigcup_{m\geq1} \tilde{\Sigma}