Caratterizzazione meccanica di


14

è la classe di problemi di decisione risolvibili da una famiglia dicircuiti di profondità O ( log i n ) con porte OR senza limiti e porte E con limiti limitati. Le negazioni sono consentite solo a livello di input. È noto che S A C i per i 1 è chiuso sotto complemento e S A C 0 no. Inoltre, S A C 1 = L o g C F L e quindi ha una caratterizzazione della macchina, dalLogCFLSACiO(login)SACii1SAC0SAC1=LogCFLè l'insieme di lingue accettate da un spazio delimitato e tempo polinomiale delimitata PDA ausiliario. Esistono caratterizzazioni macchina simili di S A C i per i 2 ?O(logn)SACii2


Sono e ho intenzione di essere la stessa cosa? ki
András Salamon,

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

Risposte:


14

Sì. Stack altezze. , cioè con O ( log n ) spazio e O ( log n ) altezza pacco; questo implica log n configurazioni e quindi log 2 ( n ) bit. abbiamoSAC1=NAuxPDA(logn,logn)O(logn)O(logn)lognlog2(n)

SACk=NAuxPDA(logn,logkn);

queste macchine funzioneranno nel tempo . Senza limitazione di altezza della pila, avremo esattamente P . Il risultato dovrebbe seguire da: W. Ruzzo, alternanza limitata al formato dell'albero. JCSS 1980.2logk(n)P


Vinay, puoi usare il lattice normale nella risposta: potrebbe aiutare a renderlo un po 'più leggibile
Suresh Venkat
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.