Pertanyaan yang diberi tag «complexity-classes»

TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Entri Kebun Binatang untuk TC0TC0\mathsf{TC^0} hanya menyebutkan pemisahan antara kedalaman 2 dan 3. Juga adakah referensi standar untuk fakta bahwa AC0dACd0\mathsf{AC^0_d} hierarki tidak runtuh?

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

secara luas dikira salah.RP=NPRP=NPRP = NP Tetapi bayangkan sejenak bahwa itu benar. Dalam kasus seperti itu, seberapa besar kemungkinan ?P=NPP=NPP = NP Dengan kata lain: di dunia di mana , apa yang mungkin masih dilihat sebagai penghalang bagi kita untuk percaya P = N P ?RP=NPRP=NPRP = NPP=NPP=NPP = NP

12 cc.complexity-theory  complexity-classes  conditional-results 

Saya baca di SP Yordania, D. Gosset, "PJ Cinta masalah -Lengkap untuk Hamiltonians stoquastic dan matriks MarkovQ MSEBUAHQMAQMA " bahwa tidak mungkin bahwa .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Saya terkejut dengan pernyataan ini. Jadi apa hubungan yang tepat antara dan A M ?Q MSEBUAHQMAQMAA M.AMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

Saat bekerja pada proyek yang agak tidak terkait untuk Suresh I baru-baru ini menemukan beberapa pekerjaan yang dilakukan oleh Page dan Opper tentang sistem yang dapat dikomposisikan oleh Pengguna dan sebagian dari pekerjaan mereka secara singkat membahas masalah yang tidak dapat diverifikasi dalam waktu polinomial. Saya tidak dapat menemukan banyak …

12 cc.complexity-theory  complexity-classes 

Hasil Baker-Gill-Solovay menunjukkan bahwa pertanyaan P = NP tidak relativize, dalam arti bahwa tidak ada bukti relativizing (tidak sensitif terhadap keberadaan oracle) yang mungkin dapat menyelesaikan pertanyaan P = NP. Pertanyaan saya adalah: Apakah ada hasil yang serupa untuk pertanyaan, "Apakah ada masalah lengkap PH?" Jawaban negatif untuk pertanyaan ini …

12 cc.complexity-theory  complexity-classes 

Oleh http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Jika adalah bahasa PSPACE-lengkap, P A = N P A .AAAPA=NPAPA=NPAP^{A}=NP^{A} Jika adalah oracle waktu polinomial deterministik, P B ≠ N P B (dengan asumsi P ≠ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP adalah kelas masalah keputusan analog untuk # P dan P ⊆ P P ⊆ P S …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Kertas Lauri Hella dan José María Turull-Torres, Komputasi kueri dengan logika tingkat tinggi , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 mengusulkan logika VO, variabel-order logic. Ini memungkinkan kuantifikasi atas pesanan atas variabel. VO cukup kuat dan dapat mengungkapkan beberapa pertanyaan yang tidak dapat dihitung. (Seperti yang ditunjukkan oleh …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

Apa masalah lain yang berbeda dari bahasa isomorfisme grafik dalam ? Bisakah Anda memberikan beberapa referensi?NP∩coAMNP∩coAMNP\cap coAM Update: Saya lupa menyebutkan bahwa saya tertarik dalam bahasa yang tidak dikenal berada di .coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Apa saja (tidak terkenal) pernyataan bahwa jika benar, PH harus runtuh? Balasan yang berisi pernyataan tingkat tinggi pendek dengan referensi dihargai. Saya mencoba mencari balik tanpa banyak hasil.

12 cc.complexity-theory  complexity-classes  big-list 

Berapakah lebar pohon minimum dari suatu sirkuit di atas {∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} untuk menghitung MAJ? Di sini MAJ :{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\} menghasilkan 1 jika setidaknya setengah dari inputnya adalah 111 . Saya hanya peduli tentang ukuran sirkuit (seharusnya polinomial) dan bahwa input harus dibaca hanya sekali meskipun fan-out dari gerbang input dapat …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Kita tahu bahwa jika maka seluruh PH akan runtuh. Bagaimana jika hierarki polinomial runtuh sebagian? (Atau bagaimana memahami bahwa PH dapat runtuh di atas titik tertentu dan tidak di bawah?)P=NPP=NPP=NP Dengan kata yang lebih singkat, apa yang akan menjadi konsekuensi dari dan ?P ≠ N PNP=coNPNP=coNPNP=coNPP≠NPP≠NPP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

Pertanyaan berikut ini menggunakan ide-ide dari kriptografi yang diterapkan pada teori kompleksitas. Yang mengatakan, itu adalah pertanyaan-kompleksitas teori murni, dan tidak ada pengetahuan kripto apa pun yang diperlukan untuk menjawabnya. Saya sengaja menulis pertanyaan ini dengan sangat informal. Karena tidak memiliki detail, kemungkinan ini dinyatakan sedikit salah. Silakan tunjukkan koreksi …

12 cc.complexity-theory  complexity-classes  np-hardness  p-vs-np 

Saya memiliki bagian dari upaya pembuktian⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Upaya pembuktian terdiri dari pengurangan Karp dari⊕P⊕P\oplus \mathbf{P} masalah lengkap⊕⊕\oplus 3-REGULER VERTEX COVER ke SAT. Diberikan grafik kubik GGG , reduksi menghasilkan rumus CNF FFF memiliki kedua properti berikut: FFF memiliki paling banyak111 tugas yang memuaskan. memuaskan jika dan hanya …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Dari teorema ruang-hierarki diketahui bahwa jika fff -ruang-dibangun maka DSPACE ( 2f(n)2f(n)2f(n) ) tidak sama dengan DSPACE ( f(n))f(n))f(n)) . Di sini, oleh DSPACE ( f(n))f(n))f(n)) saya maksud adalah kelas semua masalah yang dapat diselesaikan dalam ruang f(n)f(n)f(n) oleh mesin Turing dengan beberapa alfabet tetap. Hal ini memungkinkan untuk mempertimbangkan …

11 cc.complexity-theory  complexity-classes 

Apakah NPPP=PPPNPPP=PPP\mathsf{NP^{PP}} = \mathsf{P^{PP}} ? Atau, lebih umum, Apakah NPPP⊆PPP/polyNPPP⊆PPP/poly\mathsf{NP^{PP}} \subseteq \mathsf{P^{PP}/poly} ?

11 complexity-classes