Pertanyaan yang diberi tag «space-bounded»

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 "efisiensi", dan mereka menangkap kesulitan dari beberapa masalah dengan cukup baik.PP\mathsf{P}LL\mathsf{L} Tapi …

49 cc.complexity-theory  space-bounded  big-picture 

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 akses dua arah ke input). Apakah …

32 cc.complexity-theory  reference-request  space-bounded 

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 kompleksitas ST-Connectivity, ketika grafik tidak …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

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 jika batas bawah ini ketat, yaitu itu adalah sesuatu di …

28 cc.complexity-theory  space-bounded 

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 antara L dan N L .NLNLNLLLLUL∩coULUL∩coULUL \cap …

26 cc.complexity-theory  space-bounded 

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 secara luas diyakini bahwa …

24 cc.complexity-theory  lower-bounds  space-bounded 

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 dua monadik (MSO2) dapat diputuskan dalam waktu linier pada setiap kelas grafik dari …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

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 dapat menggunakan kondisi internal untuk …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

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 …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

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 sublogaritmik untuk anggota tetapi tidak untuk semua bukan anggota!) Di sisi lain, Freivalds (1981) menunjukkan …

21 space-bounded  polynomial-time 

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 , …

20 cc.complexity-theory  space-bounded 

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 masuk akal?

20 cc.complexity-theory  space-bounded  oracles 

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 expander derajat konstan melalui produk …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

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 ruang kasus terburuk (meskipun, diakui, saya tidak tahu apa …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

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. Mungkinkah ini HANYA terkait dengan Divide …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs