機械特性評価

$SAC^i$ は、アンバウンドファニンORゲートとバウンドファニンANDゲートを持つ深さ回路のファミリーによって解決可能な決定問題のクラスです。否定は入力レベルでのみ許可されます。それは、その知られているのために補数の下で閉鎖され、はありません。また、LogCFLは空間制限および多項式時間制限補助PDAで受け入れられる言語のセットであるため、であり、したがってマシンの特性があり。に対する同様のマシン特性はありますか？ $O({\log}^i{n})$ $SAC^i$ $i \geq 1$ $SAC^0$ $SAC^1 = LogCFL$ $O({\log}n)$ $SAC^i$ $i \geq 2$

— シヴァ・キンタリ
ソース

あると同じことを意味するもの？

k

$k$

i

$i$

— アンドラスサラモン

はい。タイプミスでごめんなさい。今それを修正しました。

— シヴァキンタリ

はい。スタックの高さ。、つまりスペースとスタックの高さ; これは、構成、つまりビットを意味し。我々は持っています $\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ヴィナイ
ソース

ビナイは、あなたは答えに定期的にラテックスを使用することができます。それはそれは少し読みやすく役立つかもしれない

— スレシュヴェンカト