机器表征

是一类决策问题，可通过具有无穷范宁OR和有穷范宁AND门的深度电路族解决。取反仅在输入级别允许。已知的是，为是根据补体和封闭是没有的。此外，由于LogCFL，并因此具有机器特征。 $SAC^i$ $O({\log}^i{n})$ $SAC^i$ $i \geq 1$ $SAC^0$ $SAC^1 = LogCFL$ 是空间有界和多项式有时间限制的辅助PDA 接受的语言集。是否有类似的机器刻画为？ $O({\log}n)$ $SAC^i$ $i \geq 2$

— 湿婆金塔利
source

是

和

的意思是一回事吗？

k

$k$

i

$i$

— 安德拉斯·萨拉蒙（AndrásSalamon）2010年

是。抱歉打错了。立即修复。

— 席瓦·金塔利

是。堆叠高度。，即具有空间和堆栈高度；这意味着配置，因此位。我们有 $\mathsf{SAC^1} = \mathsf{NAuxPDA}(\log n, \log n)$ $O(\log n)$ $O(\log n)$ $\log n$ $\log^2(n)$

S A C^{k} = N A u x P D A (\log n, \log^{k} n);

$\mathsf{SAC^k} = \mathsf{NAuxPDA}(\log n, \log^k n);$

这些机器将以时间运行。而对烟囱高度的限制，我们会得到完全。结果应来自：W. Ruzzo，树大小有界交替。JCSS 1980。 $2^{\log^{k}(n)}$ $\mathsf{P}$

— V·维奈
source

Vinay，您可以在答案中使用常规乳胶：这可能有助于使其更具可读性

— Suresh Venkat 2010年