Pertanyaan yang diberi tag «space-bounded»

Pertanyaan tentang sumber daya ruang komputasi dalam kompleksitas komputasi atau algoritma.

1
Hasil mana yang membuat ruang kuantum menarik?
Perhitungan kuantum terikat waktu jelas sangat menarik. Bagaimana dengan perhitungan kuantum yang dibatasi ruang? Saya tahu banyak hasil menarik untuk komputasi kuantum dengan batas ruang sublogaritmik dan berbagai jenis model quantum automata. Di sisi lain, itu menunjukkan bahwa probabilistik dan ruang kuantum unbounded-error adalah setara untuk setiap ruang yang dapat …
3
Algoritma logspace yang efisien
Mudah untuk melihat bahwa masalah apa pun yang dapat ditentukan dalam deterministic logspace ( ) berjalan paling banyak pada waktu polinomial ( P ). Banyak algoritma diketahui logspace (Misalnya: diarahkan st-konektivitas, planar grafik isomorfisma) berjalan dalam O ( n k ) di mana k gila-gilaan besar.L.L.LPPPO ( nk)HAI(nk)O(n^k)kkk Saya mencari …
1
Hubungan kuadratik antara ruang nondeterministik dan deterministik?
Teorema Savitch menunjukkan bahwa untuk semua fungsi yang cukup besar , dan membuktikan bahwa ini ketat telah menjadi masalah terbuka selama beberapa dekade. .fNSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Misalkan kita mendekati masalah dari ujung yang lain. Untuk kesederhanaan, asumsikan alfabet Boolean. Jumlah ruang yang digunakan oleh TM untuk menentukan bahasa yang dapat …
1
Bahasa Kelengkapan dan Konteks-Sensitif.
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 CSL sama dengan NSPACE [ ], SAT …
2
Algoritma SC ^ 2 untuk st-konektivitas
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 …
2
Analog kuantum kelas kompleksitas SPACE
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 penting seperti dan . Apakah ada definisi analog untuk perhitungan kuantum? …
1
Karakterisasi mesin dari
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 mesin, karena LogCFL adalah sekumpulan bahasa yang diterima oleh ruang yang dibatasi …
2
Hirarki ruang bergantian
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 bolak-balik logspace runtuh, ini berarti bahwa (definisi mesin turing bolak terbatas dan apa yang ada hierarki dapat …
1
Hierarki Waktu di DSPACE (O (s (n)))
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 DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) jika fgfg\frac{f}{g} tumbuh cukup cepat? Saya terutama tertarik pada kasus yang s(n)=ns(n)=ns(n) = n , g(n)=n3g(n)=n3g(n) = …
2
Dapatkah multipebble automata menentukan semua bahasa yang peka konteks-deterministik?
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 dapat mendeteksi apakah simbol di bawah kepala memiliki kerikil, …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.