Apa beberapa masalah non-sepele di mana kita tahu algoritma saat ini yang kita miliki adalah yang optimal asimptotik? (Untuk mesin turing) Dan bagaimana ini
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...
Diberi dua CNF, jika mereka memiliki jumlah tugas yang sama untuk menjadikannya benar, jawab "Ya", jika tidak jawab "Tidak". Sangat mudah untuk melihatnya di , karena jika kita tahu jumlah pasti dari solusi untuk dua CNF ini, kita hanya campare mereka dan menjawab "Ya" atau
1) Apakah mungkin untuk memiliki pengurangan parsimoni dari masalah # P-complete #A ke masalah penghitungan #B ketika (versi keputusan) A adalah NP-complete dan B berada di P? Misalnya, dapatkah ada pengurangan pelit dari #SAT ke #B, ketika B ada di P? 2) Jika B ada di P, apa saja kemungkinan...
Saya membaca lampiran tentang batas bawah ACC untuk NEXP dalam buku Komputasi Kompleksitas Arora dan Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Salah satu lemmas kunci adalah transformasi dari sirkuit untuk polinomial multilinear atas bilangan bulat dengan gelar...
Saya telah melakukan beberapa pencarian tentang hal ini tetapi saya tidak dapat menemukan jawaban. Huck menjawabnya sepenuhnya. Terima kasih
Saya tahu bahwa (secara logis banyak panggilan ke oracle NP) setara dengan (polinomial jumlah kueri paralel ke oracle NP). Saya bertanya-tanya apakah versi "fungsi" dari kelas-kelas ini juga setara, yaitu, apakahP N P | |PNP[logn]PNP[logn]\mathsf{P}^{\mathsf{NP}[\log
Apakah ada masalah menarik yang ada di tetapi tidak diketahui berada di N C 2 ? Dalam tulisan 'A Taksonomi Masalah Dengan Cepat Paralel Algoritma', Masak menyebutkan bahwa MIS dikenal hanya berada di N C 5 tapi ini sejak itu telah dibawa ke N C 2 . Saya bertanya-tanya apakah ada masalah lain dengan...
Untuk waktu yang paling lama saya berpikir bahwa masalah adalah NP-lengkap jika keduanya (1) NP-hard dan (2) ada di NP. Namun, dalam makalah terkenal "Metode ellipsoid dan konsekuensinya dalam optimasi kombinatorial" , para penulis mengklaim bahwa masalah bilangan kromatik fraksi milik NP dan...
Pertanyaan ini ditanyakan oleh Jan Pax di milis Yayasan Matematika . Tentu saja tetapi saya menduga dari jawaban pertanyaan ini bahwa tidak diketahui apakah (jika tidak, akan menjadi satu kemungkinan jawaban untuk pertanyaan itu). Jika tidak diketahui, apakah ada pemisahan
Kelas kompleksitas PPAD biasanya didefinisikan dengan menyatakan bahwa End-Of-The-Line adalah PPAD-complete. End-Of-The-Line adalah masalah pencarian. Input terdiri dari grafik terarah di mana setiap node memiliki derajat dan derajat paling banyak 1. Grafik diberikan oleh fungsi komputasi waktu...
Banyak kelas kompleksitas yang didefinisikan dengan mesin Turing memiliki definisi dalam hal sirkuit yang seragam. Sebagai contoh, P juga dapat didefinisikan menggunakan sirkuit ukuran polinom yang seragam, dan juga BPP, NP, BQP, dll. Dapat didefinisikan dengan sirkuit yang seragam. Jadi, apakah...
Sebuah pertanyaan baru-baru ini (lihat Konsekuensi dari NP = PSPACE ) meminta "jahat" konsekuensi dari NP=PSPACENP=PSPACENP=PSPACE . Jawaban daftar beberapa konsekuensi keruntuhan, termasuk NP=coNPNP=coNPNP=coNP dan lain-lain, memberikan banyak alasan untuk percaya NP≠PSPACENP≠PSPACENP\neq PSPACE...
Setiap kali saya mengajar NP-Completeness, siswa bertanya "apakah ada masalah yang diketahui bukan milik NP?" Bagaimana Anda menjawabnya? Saya biasanya memberi mereka masalah yang tidak dapat diputuskan sebagai contoh, tetapi ini sering tidak berjalan dengan baik: (a) jika saya memberi mereka...
Raz Paralel pretition teorema adalah hasil yang penting dalam PCP, inapproximation, dll Teorema ini fomalized sebagai berikut. G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi,
Pertimbangkan permainan berikut pada grafik tertimbang GGG diarahkan dengan chip di beberapa node. Semua node GGG ditandai dengan A atau B. Ada dua pemain, Alice dan Bob. Tujuan dari Alice (Bob) adalah untuk menggeser chip ke node yang ditandai oleh A (B). Awalnya Alice dan Bob memiliki...
Apakah semua berikut ini dapat bertahan secara bersamaan? LsLsL_s terkandung dalam untuk semua bilangan bulat positif . sLs+1Ls+1L_{s+1}sss L=⋃sLsL=⋃sLsL = \bigcup_s L_s adalah bahasa dari semua kata hingga lebih dari .{0,1}{0,1}\{0,1\} Ada beberapa kelas kompleksitas CCC dan gagasan yang tepat...
P / poly adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit Boolean ukuran polinomial. Alternatifnya dapat didefinisikan sebagai mesin Turing polinomial-waktu yang menerima string saran yang ukuran polinomial dalam n dan yang hanya didasarkan pada ukuran n. mP / poli adalah kelas...
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
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...