时间 - 空间权衡的交替层次结构

Nepomnjascii 定理指出，对于所有 0 <= \epsilon < 1 和 k > 0，在非确定性时间 n^k 和空间 n^\epsilon 内识别的语言类 NTISP[n^k, n^\epsilon ] 包含在线性时间层次结构中。通过考虑线性时间层次结构中全称量词大小的限制，本文细化了 Nepomnjascii 的结果，给出了线性时间层次结构的一个子层次结构 Eu-LinH，它包含在 NP 中且包含 NTISP[n^k, n^\epsilon ]。因此，Eu-LinH 包含 NL 和 SC。本文研究了 Eu-LinH 的基本结构性质。随后考虑了 Eu-LinH 与类 NL、SC 和 NP 之间的关系，以观察它们是否能阐明 NL = NP 或 SC = NP 问题。最后，定义了一个新的层次结构 zeta -LinH，以降低 Eu-LinH 上界所需的空间需求。