Pertanyaan yang diberi tag «complexity-classes»

Mengikuti saran Josh Grochow, saya mengubah komentar saya dari pertanyaan sebelumnya menjadi pertanyaan baru. Bukti apa yang kita miliki untuk ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Berikut UPUP\mathsf{UP} adalah kelas bahasa dikenali oleh waktu non-deterministik mesin Turing polinomial yang memiliki jalur menerima unik pada "ya" contoh dan tidak ada menerima path pada "tidak" …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

Misalkan saya mempertimbangkan varian BPP berikut, yang kami sebut E (xact) BPP: Suatu bahasa ada di EBPP jika ada waktu polinomial acak TG yang menerima setiap kata dalam bahasa dengan probabilitas 3/4 tepat dan setiap kata tidak dalam bahasa dengan tepat 1/4 probabilitas. Jelas EBPP terkandung dalam BPP tetapi apakah …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

Baru-baru ini, saya menemukan varian pewarnaan tepi berikut. Diberikan grafik tidak terarah yang terhubung, temukan pewarnaan tepi yang menggunakan jumlah warna maksimum dan juga memenuhi kendala bahwa, untuk setiap simpul , insiden tepi untuk paling banyak menggunakan dua warna.vvvvvv Dugaan pertama saya adalah bahwa masalahnya adalah NP-hard. Bukti NP-hard klasik …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

Dalam "paragraf terakhir" dari "halaman pertama" dari makalah berikut: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Jika NP Memiliki Sirkuit Ukuran Polinomial, maka MA = AM," Ilmu Komputer Teoretis, 1995. Saya menemukan klaim yang agak kontra-intuitif: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Saya pikir …

17 cc.complexity-theory  complexity-classes 

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 

Diminta oleh pertanyaan yang diajukan Greg Kuperberg kepada saya, saya ingin tahu apakah ada makalah yang mendefinisikan dan mempelajari kompleksitas kelas bahasa yang mengakui berbagai jenis bukti pengetahuan . Kelas-kelas seperti SZK dan NISZK sangat alami dari sudut pandang kompleksitas, bahkan jika kita lupa sepenuhnya tentang nol pengetahuan dan hanya …

16 complexity-classes  cr.crypto-security  zero-knowledge 

Saya butuh daftar bahasa lengkap. Ada dua masalah seperti yang tercantum di Kompleksitas Kebun Binatang , yaitu:Σp2Σ2p\Sigma_2^p DNF setara minimum. Dengan rumus DNF F dan integer k, adakah rumus DNF yang setara dengan F dengan k atau lebih sedikit kemunculan literal? Implan terpendek. Diberikan rumus F dan integer k, adakah …

16 complexity-classes  polynomial-hierarchy 

Kami mengatakan bahwa NFA adalah Konstanta Ambigu jika ada sehingga setiap kata diterima oleh atau (persis) jalur .MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Jika automaton secara konstan ambigu untuk , maka disebut Unambiguous FA (UFA).MMMk=1k=1k=1MMM Biarkan menjadi bahasa biasa.LLL Bisakah beberapa automaton yang selalu ambigu untuk lebih kecil dari UFA terkecil yang menerima …

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

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

16 cc.complexity-theory  complexity-classes 

Saya tertarik jika ada artikel eksposisi yang bagus atau survei yang dapat saya rujuk ketika saya menulis tentang operator kelas kompleksitas : operator yang mengubah kelas kompleksitas dengan melakukan hal-hal seperti menambahkan quantifiers ke dalamnya. Contoh operator Berikut ini dapat diartikan sebagai daftar minimum operator yang jawabannya harus dapat diuraikan. …

16 reference-request  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 bertanya-tanya apakah masalah yang waktu sublinear (dalam ukuran input) algoritma yang ada dapat dicirikan memiliki sifat-sifat tertentu. Ini termasuk waktu sublinear (mis. Pengujian properti, gagasan alternatif perkiraan untuk masalah keputusan), ruang sublinear (mis. Algoritma sketsa / streaming di mana mesin Turing memiliki pita baca-saja, ruang kerja sublinear, dan keluaran …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

LogCFL adalah himpunan semua bahasa yang logspace direduksi menjadi bahasa bebas konteks. Demikian pula, LogDCFL adalah himpunan semua bahasa yang logspace direduksi menjadi bahasa bebas konteks deterministik. Lihat artikel wikipedia ini untuk beberapa masalah lengkap LogCFL. Ada beberapa masalah lengkap lengkap yang menarik dari LogCFL. Saya tidak dapat menemukan masalah …

16 cc.complexity-theory  complexity-classes 

Pertanyaan pendek. Apa kekuatan komputasi dari sirkuit "kuantum", jika kita mengizinkan gerbang non-kesatuan (tapi masih tidak dapat dibalik), dan membutuhkan output untuk memberikan jawaban yang benar dengan pasti? Pertanyaan ini dalam arti tentang apa yang terjadi pada kelas EQPEQP\mathsf{EQP} ketika Anda membiarkan sirkuit menggunakan lebih dari sekadar gerbang kesatuan. (Kami …

15 complexity-classes  quantum-computing 

Ada pekerjaan luar biasa yang dilakukan pada Permanen yang terjadi selama dua dekade terakhir. Saya telah bertanya-tanya untuk sementara waktu tentang kemungkinan algoritma Smooth P untuk Permanen Matriks Nonnegatif. Tentu saja ada algoritma JSV yang terkenal tetapi ini adalah fpras. Berpikir tentang pekerjaan lain dalam Smoothed Complexity, petunjuk kuat berada …

15 cc.complexity-theory  complexity-classes