Pertanyaan yang diberi tag «cc.complexity-theory»

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 …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

Penafian: Saya tahu sedikit tentang teori kompleksitas. Maaf, tetapi benar-benar tidak ada cara untuk mengajukan pertanyaan ini tanpa (sangat) singkat: Apa yang seharusnya menjadi morfisme dalam kategori "the" dari mesin Turing? Ini jelas subyektif dan tergantung pada interpretasi seseorang terhadap teori, jadi jawaban untuk pertanyaan ini idealnya harus memberikan beberapa …

16 cc.complexity-theory  turing-machines  ct.category-theory 

Seorang murid saya baru-baru ini mengajukan pertanyaan berikut: AsumsikanHaruskah ada sedemikian rupa sehinggaD T I M E ( f ( n ) ) ⊊ D T I M E ( g ( n ) ) . DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h ( n ) h(n)h(n)D T I M E ( f ( …

16 cc.complexity-theory 

Apa saja contoh pasangan kompleksitas kelas dan sedemikian rupa sehinggaAAABBB kita tidak tahu apakah , danA=BA=BA=B kita tidak tahu relativiasi kontradiktif juga (yaitu, kita tidak tahu orakel dan Q sehingga A P = B P dan A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Untuk ungkapan pertanyaan dengan …

16 cc.complexity-theory  complexity-classes  relativization 

Saya membaca bahwa pemrograman linear integer dapat dipecahkan dalam waktu polinominal jika jumlah variabel diperbaiki, yaitu . Jika jumlah variabel tumbuh secara logaritmik, yaitu untuk input ukuran , apakah masalahnya masih dapat dipecahkan dalam waktu polinominal atau apakah ini merupakan masalah terbuka?nnnn∈O(1)n∈O(1)n \in O(1)n∈O(log2(N))n∈O(log2⁡(N))n \in O(\log_2(N))NNN

16 cc.complexity-theory  np  open-problem 

Saya mencoba memahami kompleksitas fungsi yang dapat diekspresikan melalui ambang pintu dan ini membawa saya ke . Secara khusus, saya tertarik dengan apa yang saat ini diketahui tentang pembelajaran di dalam T C 0 , karena saya bukan ahli di bidang ini.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 Apa yang saya temukan sejauh ini adalah: Semua …

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

Apakah NP dalam DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n}) ?

16 cc.complexity-theory  complexity-classes 

Teorema hierarki adalah alat mendasar. Sejumlah besar dari mereka dikumpulkan dalam pertanyaan sebelumnya (lihat Apa hierarki dan / atau teorema hierarki yang Anda ketahui? ). Beberapa pemisahan kelas kompleksitas langsung mengikuti dari teorema hierarki. Contoh pemisahan yang sangat dikenal: L≠PSPACEL≠PSPACEL\neq PSPACE , P≠EXPP≠EXPP\neq EXP , NP≠NEXPNP≠NEXPNP\neq NEXP , PSPACE≠EXPSPACEPSPACE≠EXPSPACEPSPACE\neq EXPSPACE. …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

Saya mencari masalah yang dikenal sebagai NPC untuk grafik terarah tetapi memiliki algoritma polinomial untuk grafik tidak berarah. Saya telah melihat pertanyaan mengenai hal lain di sekitar sini masalah "Sutradara" yang lebih mudah daripada varian "tidak terarah " mereka , tetapi saya mencari kekerasan di sisi yang diarahkan. Sebagai contoh, …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

Finite Automatons (UFA) yang tidak ambigu adalah tipe khusus dari finite automatons (NFA) non-deterministik. NFA disebut tidak ambigu jika setiap kata memiliki paling banyak satu jalur penerimaan.w ∈ Σ∗w∈Σ∗w\in \Sigma^* Ini berarti .D FA ⊂ UFA ⊂ NFSEBUAHDFSEBUAH⊂UFSEBUAH⊂NFSEBUAHDFA\subset UFA\subset NFA Hasil otomat terkait yang diketahui: Minimalisasi NFA adalah PSPACE-Complete. Minimalisasi …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

Hanya ada sedikit informasi yang dapat saya temukan pada masalah NP-lengkap untuk menyelesaikan persamaan linear diophantine dalam bilangan bulat non-negatif. Artinya, apakah ada solusi dalam non-negatif dengan persamaan , di mana semua konstanta positif? Satu-satunya penyebutan penting dari masalah ini yang saya ketahui adalah dalam Teori Pemrograman Linear dan Integer …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

Gower baru-baru ini menguraikan masalah, yang ia sebut "penentuan determinasi Borel," yang solusinya terkait dengan membuktikan batas bawah sirkuit. Dapatkah Anda memberikan ringkasan dari pendekatan yang disesuaikan dengan audiens yang terdiri dari para ahli teori kompleksitas? Apa yang diperlukan untuk pendekatan ini untuk membuktikan sesuatu , termasuk membuktikan kembali batas …

16 cc.complexity-theory  p-vs-np 

Sebuah makalah baru keluar mengklaim algoritma kuasi-polinomial untuk Logaritma Diskrit. http://arxiv.org/abs/1306.4244 Jika benar, apakah itu berarti kita tidak lagi memiliki pemisahan eksponensial dalam kompleksitas algoritma klasik dan versi kuantumnya untuk masalah logaritma diskrit? Apakah ini memiliki implikasi untuk teori kompleksitas kuantum?

16 cc.complexity-theory 

n×nn×nn\times nlog2(n)log2⁡(n)\log^2(n)1111 / poly∥A∥≤1‖A‖≤1\left\|A\right\|\leq 11/poly1/poly1/\text{poly} Dalam hal ini, apa yang akan menjadi perkiraan "benar" untuk meminta - multiplikatif atau aditif? (lihat salah satu jawaban di bawah).

16 determinant  cc.complexity-theory 

Mari kita berasumsi bahwa . N P I adalah kelas masalah dalam N P yang tidak dalam P atau dalam N P -hard. Anda dapat menemukan daftar masalah yang diduga sebagai N P I di sini .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema Ladner memberitahu kita bahwa jika maka ada hierarki tak terbatas …

16 cc.complexity-theory  np-hardness  np-intermediate