Nisan membuktikan dalam "Psuedorandom Generator untuk Space-Bounded Computation", bahwa ada generator pseudo-acak yang "membodohi" perhitungan yang dibatasi ruang. Apakah konstruksi ini berlaku untuk setiap oracle (setidaknya untuk permintaan
Nisan membuktikan dalam "Psuedorandom Generator untuk Space-Bounded Computation", bahwa ada generator pseudo-acak yang "membodohi" perhitungan yang dibatasi ruang. Apakah konstruksi ini berlaku untuk setiap oracle (setidaknya untuk permintaan
Saya tertarik pada dua pertanyaan tentang bahasa konteks-sensitif (CSL) dan kelengkapan: Apakah ada gagasan tentang kelengkapan untuk CSL, dan bahasa apa yang lengkap? Apakah ada CSL alami yang lengkap dengan NP? Untuk 2., saya pasti bisa memikirkan bahasa NP-lengkap alami yang CSL (karena...
Dengan hasil klasik Kuroda, kelas kompleksitas NSPACE [ ]nnn (juga dikenal sebagai NLIN-SPACE) adalah kelas CSL dari bahasa yang peka konteks . Masalah kepuasan SAT ada di NSPACE [ ], karena perkiraan ukuran linier untuk solusi dapat diperiksa dengan paling banyak jumlah linier overhead untuk...
Kami sering mempertimbangkan kelas kompleksitas di mana kami dibatasi dalam jumlah ruang yang dapat digunakan mesin Turing kami, misalnya: atau . Tampaknya pada awal teori kompleksitas ada banyak keberhasilan dengan kelas-kelas ini seperti teorema ruang-hierarki dan penciptaan pada kelas-kelas...
Savitch memberikan algoritma deterministik untuk menyelesaikan st-konektivitas menggunakan ruang , menyiratkan N L ⊆ D S P A C E ( log 2 n ) . Algoritma Savitch berjalan dalam waktu 2 O ( log 2 n ) . Ini adalah masalah terbuka utama apakah st-konektivitas dapat diselesaikan dengan algoritma...
SACiSACiSAC^i 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...
Hal ini diketahui berkat Immerman dan Szelepcsényi bahwa jika f = Ω ( log ) (bahkan untuk fungsi yang dapat dibangun tanpa ruang).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dalam makalah yang sama, Immerman menyatakan bahwa hierarki...
MPA (multipebble automaton) adalah 2DFA (otomat hingga hingga deterministik dua arah) yang dapat menggunakan jumlah kerikil yang sewenang-wenang (sebenarnya paling banyak kerikil pada input yang diberikan - input ditulis pada kaset di antara dua ujung -Penanda sebagai ). Selama perhitungan, MPA...
Pertimbangkan vektor dimensional v di mana v i ∈ { 0 , 1 } . Untuk setiap i kita tahu p i = P ( v i = 1 ) dan mari kita asumsikan v i independen. Dengan menggunakan probabilitas ini, apakah ada cara yang efisien untuk beralih pada vektor biner n dimensi agar dari yang paling mungkin menjadi yang...
Teorema hierarki waktu menyatakan bahwa mesin turing dapat memecahkan lebih banyak masalah jika mereka memiliki (cukup) lebih banyak waktu. Apakah itu tahan jika ruang terbatas asimptotik? Bagaimana DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) terkait dengan...
Saya mencoba menemukan masalah yang kompleksitas ruang kasus rata-ratanya telah dianalisis. Lebih khusus, saya tertarik untuk mengetahui apakah ada masalah dengan kompleksitas ruang yang terbukti batas bawahnya yang super-linear, dan terutama jika ada dengan analisis kasus rata-rata (misalnya,...
Pertanyaan Umum Apakah teorema hierarki ruang menggeneralisasi ke perhitungan yang tidak seragam? Berikut beberapa pertanyaan spesifik: Apakah ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Untuk semua fungsi pembangun ruang f(n)f(n)f(n) , apakah
Pembaruan: Tampaknya masalah ini telah dipelajari dan diselesaikan baru-baru ini, lihat artikel wiki ini: http://en.wikipedia.org/wiki/Tree_walking_automaton Dan juga survei ini: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Misalkan alih-alih seperangkat kata yang biasa, {0,1} *,...
Tunjukkan fungsi yang dapat dikonstruksi-ruang tetapi bukan-waktu-terstruktur.f(n)f(n)f(n) Apakah masalah ini terkait dengan kemungkinan pemisahan antara kelas kompleksitas DTIME (f (n)) dan SPACE (f
Diketahui bahwa NP-Complete Problem yang disebut Subset Sum memiliki FPTAS. Saya bertanya-tanya apakah ada masalah Lengkap PSPACE yang juga memiliki FPTAS? Terima kasih
Apakah automata linear terikat kunjungan terbatas terikat hanya mengenali bahasa biasa? Dengan otomaton linear terikat nondeterministik (nLBA) yang saya maksud adalah mesin Turing nondeterministik single-tape di mana input datang "empuk" dengan endmarker di kedua ujungnya yang tidak pernah dapat...
Diberikan bilangan bulat positif dan e , apa yang diketahui tentang kompleksitas ruang dan waktu untuk menemukan bobot Hamming (jumlah biner 1s) dari b e ?bbbeeebebeb^e Jika bit tersedia, jumlahnya dapat dengan mudah dihitung dengan teknik standar dan 1s dihitung. Tetapi teknik apa yang mungkin...
Trik yang terkenal untuk menyimpan vektor bit menggunakan memori yang tidak diinisialisasi dapat mengalokasikan sedikit vektor ukuran di mana semua bit diatur ke 0 dengan mengalokasikan ( 2 n + 1 ) ⌈ lg n ⌉ bit memori dan menginisialisasi hanya ⌈ lg n ⌉ dari mereka. Representasi ini mendukung...
Pertimbangkan masalah keputusan berikut. Biarkan dan biarkan (C_0 ^ n, C_1 ^ n, \ dots, C_ {q-1} ^ n) menjadi cocok enumerasi himpunan bagian dari \ {0,1, \ dots, n-1 \} yang memiliki paling banyak n / 4 elemen.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4}
Pertimbangkan mesin (yaitu, algoritma probabilistik yang menggunakan logspace dan banyak bit acak secara polinomi). Diketahui (Saks-Zhou) bahwa .B PL.BPLBPLB PL ⊆ D SPA CE( L o g1.5( n ) )BPL.⊆DSPSEBUAHCE(lHaig1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) Pertanyaan saya adalah tentang mesin yang...