adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit kedalaman dengan fanin tanpa-batas OR dan gerbang AND-fanin terikat. Negasi hanya diperbolehkan di level input. Diketahui bahwa untuk ditutup dengan komplemen dan tidak. Juga, dan karenanya memiliki karakterisasi mesin, karena LogCFL adalah sekumpulan bahasa yang diterima oleh ruang yang dibatasi dan PDA tambahan yang dibatasi waktu polinomial. Apakah ada karakterisasi mesin yang serupa dengan untuk ?
14
Jawaban:
Iya. Tinggi tumpukan. , yaitu, dengan O ( log n ) spasi dan O ( log n ) tinggi tumpukan; ini menyiratkan konfigurasi log n dan karenanya mencatat 2 ( n ) bit. Kita punyaSAC1=NAuxPDA(logn,logn) O(logn) O(logn) logn log2(n)
mesin ini akan berjalan dalam waktu . Tanpa batasan ketinggian tumpukan, kita akan mendapatkan P yang tepat . Hasilnya harus mengikuti dari: W. Ruzzo, bergantian seukuran pohon. JCSS 1980.2logk(n) P
sumber