makine karakterizasyonu

,sınırsız fanin VEYA ve sınırlı fanin AND kapılarıolan bir derinlik devresiailesi tarafından çözülebilen karar problemleri sınıfıdır. Olumsuzluklara yalnızca giriş düzeyinde izin verilir. için tamamlayıcı altında kapalı olduğu ve kapalıolmadığı bilinmektedir. Ayrıca, ve dolayısıylaLogCFL'denbu yana makine karakterizasyonuvardır $SAC^i$ $O({\log}^i{n})$ $SAC^i$ $i \geq 1$ $SAC^0$ $SAC^1 = LogCFL$ uzay sınırlamalı ve polinom zaman sınırlamalı yardımcı PDA tarafından kabul edilen diller kümesidir . için benzer makine karakteristikleri var mı? $O({\log}n)$ $SAC^i$ $i \geq 2$

— Shiva Kintali
kaynak

Are

aynı şey olması gerekiyordu?

k

$k$

i

$i$

— András Salamon

Evet. İmla hataları için özür dilerim. Şimdi düzeltildi.

— Shiva Kintali

$\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);$

$2^{\log^{k}(n)}$ $\mathsf{P}$

— V Vinay
kaynak

Vinay, cevapta normal lateks kullanabilirsiniz: biraz daha okunabilir hale getirmeye yardımcı olabilir

— Suresh Venkat