Caratterizzazione meccanica di

è la classe di problemi di decisione risolvibili da una famiglia dicircuiti di profondità con porte OR senza limiti e porte E con limiti limitati. Le negazioni sono consentite solo a livello di input. È noto che per è chiuso sotto complemento e no. Inoltre, e quindi ha una caratterizzazione della macchina, dalLogCFL $SAC^i$ $O({\log}^i{n})$ $SAC^i$ $i \geq 1$ $SAC^0$ $SAC^1 = LogCFL$ è l'insieme di lingue accettate da un spazio delimitato e tempo polinomiale delimitata PDA ausiliario. Esistono caratterizzazioni macchina simili di per ? $O({\log}n)$ $SAC^i$ $i \geq 2$

— Shiva Kintali
fonte

Sono

intenzione di essere la stessa cosa?

k

$k$

i

$i$

— András Salamon,

Sì. Ci scusiamo per l'errore di battitura. Risolto il problema ora.

— Shiva Kintali,

Sì. Stack altezze. , cioè con spazio e altezza pacco; questo implica configurazioni e quindi bit. abbiamo $\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);$

queste macchine funzioneranno nel tempo . Senza limitazione di altezza della pila, avremo esattamente . Il risultato dovrebbe seguire da: W. Ruzzo, alternanza limitata al formato dell'albero. JCSS 1980. $2^{\log^{k}(n)}$ $\mathsf{P}$

— V Vinay
fonte

Vinay, puoi usare il lattice normale nella risposta: potrebbe aiutare a renderlo un po 'più leggibile

— Suresh Venkat