Karakterisasi mesin dari

14

SACi 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 ?O(login)SACii1SAC0SAC1=LogCFLO(logn)SACii2

Siwa Kintali
sumber
Apakah dan seharusnya sama? ki
András Salamon
Iya. Maaf atas kesalahan ketiknya. Perbaiki sekarang.
Shiva Kintali

Jawaban:

14

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)lognlog2(n)

SACk=NAuxPDA(logn,logkn);

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

V Vinay
sumber
Vinay, Anda dapat menggunakan lateks biasa dalam jawabannya: mungkin membantu membuatnya sedikit lebih mudah dibaca
Suresh Venkat