Pertanyaan tentang sumber daya ruang komputasi dalam kompleksitas komputasi atau algoritma.
Ini mungkin pertanyaan subyektif dan bukan pertanyaan jawaban yang konkret. Dalam teori kompleksitas kita mempelajari pengertian perhitungan yang efisien. Ada kelas-kelas seperti singkatan untuk waktu polinomial , dan L berarti ruang log . Keduanya dianggap direpresentasikan sebagai semacam...
Tentukan LOGLOG sebagai kelas bahasa yang dapat dihitung dalam ruang O (loglog n) oleh mesin Turing deterministik (dengan akses dua arah ke input). Demikian pula mendefinisikan NLOGLOG sebagai kelas bahasa yang dapat dihitung dalam ruang O (log log n) oleh mesin Turing non-deterministik (dengan...
ST-Konektivitas adalah masalah menentukan apakah ada jalur terarah antara dua simpul dan t dalam grafik berarah G ( V , E ) . Apakah masalah ini dapat diselesaikan di logspace, adalah masalah terbuka yang sudah lama ada. Ini disebut N L vs L masalah.ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL Apa...
Pertama-tama, saya minta maaf sebelumnya atas kebodohan. Saya sama sekali bukan ahli teori kompleksitas (jauh dari itu! Saya seorang sarjana mengambil kelas pertama saya dalam teori kompleksitas) Inilah pertanyaan saya. Sekarang Teorema Savitch menyatakan bahwa Sekarang saya ingin tahu apakah...
Hal ini juga diketahui bahwa diarahkan st-konektivitas adalah -Lengkap. Hasil terobosan Reingold menunjukkan bahwa diarahkan st-konektivitas dalam L . Planar diarahkan st-konektivitas dikenal di U L ∩ c o U L . Cho dan Huynh mendefinisikan masalah ransel parametrized dan dipamerkan hirarki masalah...
Jelas bahwa setiap masalah yang dapat ditentukan dalam deterministic logspace ( LLL ) berjalan paling banyak waktu polinomial ( PPP ). Ada banyak kelas kompleksitas antara LLL dan PPP . Contohnya termasuk NLNLNL , LogCFLLogCFLLogCFL , NCiNCiNC^i , SACiSACiSAC^i , ACiACiAC^i , SCiSCiSC^i . Hal ini...
Lebar pohon mengukur seberapa dekat grafik dengan pohon. NP-hard untuk menghitung lebar pohon. Algoritma pendekatan yang paling dikenal mencapai faktor .O ( log n----√)HAI(logn)O(\sqrt{{\log}n}) Teorema Courcelle menyatakan bahwa setiap properti grafik yang dapat didefinisikan dalam logika orde...
Saya bertanya-tanya apakah ada pembenaran untuk percaya bahwa atau untuk percaya bahwa N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L Diketahui bahwa . Literatur tentang derandomization dari R L ini cukup meyakinkan bahwa R L = L . Adakah yang tahu tentang beberapa artikel atau ide yang meyakinkan...
Menyusul dari pertanyaan sebelumnya , apa batas bawah ruang terbaik saat ini untuk SAT? Dengan batas bawah ruang yang saya maksud di sini adalah jumlah sel worktape yang digunakan oleh mesin Turing yang menggunakan alfabet biner worktape. Istilah aditif konstan tidak dapat dihindari karena TM...
Pertimbangkan bahasa EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . Diketahui bahwa EQUALITYEQUALITY \mathtt{EQUALITY} tidak dapat dikenali oleh mesin Turing (ATM) sublogaritmik yang bergantian (Szepietowski, 1994) . (Ada ATM yang menggunakan ruang...
Immerman dan Szelepcsenyi independen membuktikan bahwa . Menggunakan teknik penghitungan induktif mereka, Borodin et al membuktikan bahwa S A C i ditutup dengan komplemen, untuk i > 0 . Sebelum teorema Reingold ( S L = L ), Nisan dan Ta-Shma membuktikan S L = c o S L , menggunakan pengurangan...
Secara umum, query-tape untuk oracle diperhitungkan dalam kompleksitas ruang TM. Namun, tampaknya masuk akal untuk memungkinkan rekaman-saja oracle-tape (seperti yang digunakan dalam pengurangan ruang-L). Apakah konstruksi seperti itu bermanfaat? Apakah itu menghasilkan hasil yang sangat tidak...
USTCONN adalah masalah yang mengharuskan memutuskan apakah ada jalur dari titik sumber sss ke titik target ttt dalam grafik GGG , di mana semua ini diberikan sebagai bagian dari input. Omer Reingold menunjukkan bahwa USTCONN berada di L (doi: 10.1145 / 1391289.1391291 ). Buktinya membangun...
Dalam sebuah makalah klasik Munro dan Paterson mempelajari masalah berapa banyak penyimpanan yang diperlukan untuk suatu algoritma untuk menemukan median dalam array yang diurutkan secara acak. Secara khusus mereka fokus pada model berikut: input dibaca dari kiri ke kanan untuk sejumlah P...
Baru-baru ini, Watrous et al membuktikan bahwa QIP (3) = PSPACE hasil yang luar biasa. Ini adalah hasil yang mengejutkan bagi diri saya untuk sedikitnya dan itu membuat saya berpikir ... Saya bertanya-tanya bagaimana jika Komputer Quantum dapat disimulasikan secara efisien oleh Komputer Klasik....
Ada banyak algoritma yang dapat menguraikan tata bahasa bebas konteks dalam waktu . Dengan menggunakan perkalian matriks, seseorang bahkan bisa berjalan lebih cepat tanpa gejala dari itu.O ( n3)O(n3)O(n^3) Namun, semua algoritma untuk parsing CFG sewenang-wenang yang saya tahu memiliki penggunaan...
Distribusi dikatakan ϵ -membodoh fungsi f jika | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Dan dikatakan menipu kelas fungsi jika menipu setiap fungsi di kelas itu. Hal ini diketahui bahwa ε ruang -biased menipu kelas paritas lebih himpunan bagian. (lihat
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...
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...
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