Pertanyaan yang diberi tag «space-bounded»

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 DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Untuk fungsi apa h(n)h(n)h(n) diketahui bahwa: untuk semua konstruk ruang f(n)f(n)f(n) , DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n)⊊DSPACE(f(n))/h(n)DSPACE(o(f(n)))/h(n) \subsetneq DSPACE(f(n))/h(n) ?

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

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, terikat berlaku bahkan jika algoritma diizinkan untuk melakukan kesalahan dalam persentase kecil …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

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

10 cc.complexity-theory  space-bounded  separation 

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} *, kata-kata kita tidak linear tetapi diberikan pada beberapa struktur pohon. Untuk mencegah mesin kami dari "tersesat", tentukan kata-kata kami sebagai himpunan …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

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 ditimpa, dan agar kepala tidak pernah bisa keluar dari daerah input, …

9 automata-theory  turing-machines  regular-language  space-bounded 

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 sebelumnya.

9 ds.algorithms  space-bounded  big-picture 

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 hanya menggunakan banyak bit keacakan polylog. Dalam salah satu makalah Goldreich, disebutkan …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

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} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n, C_1^n,\dots,C_{q-1}^n){0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\}n/4n/4n/4 Input Keanggotaan Quarter-Subset : tupel bilangan bulat …

8 cc.complexity-theory  coding-theory  space-bounded  space-complexity 

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 …

8 ds.data-structures  space-bounded  space-time-tradeoff  space-complexity 

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 dilakukan ketika memori yang digunakan …

8 ds.algorithms  co.combinatorics  space-bounded  space-time-tradeoff