Saya telah melihat bagaimana XOR-3-SAT dapat dipecahkan secara efisien (misalnya, lihat bagian "XOR-satisfiability" di entri Wikipedia untuk masalah kepuasan Boolean ). Saya bertanya-tanya pertanyaan mendasar: Apakah XOR-k-SAT efisien dipecahkan, untuk formula dengan jumlah liter yang berbeda per...
Saya ingin tahu apakah ada masalah lengkap di kelas kompleksitas Arthur-Merlin. Grafik Non-Isomorfisme (GNI) tampaknya menjadi contoh kanonik dari suatu masalah di AM, tapi itu mungkin bukan yang lengkap. Saya kira saya juga bertanya-tanya apakah masalah "lengkap" didefinisikan dengan baik untuk...
Apa yang dimaksud dengan kelas kompleksitas ? Saya tahu bahwa adalah kelas kompleksitas yang berisi bahasa yang ada polinomial waktu nondeterministik mesin Turing sedemikian sehingga jika jumlah keadaan penerimaan mesin pada input aneh.⊕P⊕P⊕P⊕P\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in...
Bagaimana membuktikan bahwa ? Saya hanya mencari oracle TM M dan bahasa rekursif L ( M ) = L yang ini berlaku.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Aku tahu buktinya mana Anda menunjukkan bahwa ada sebuah ramalan sehingga P A ≠ N P A dan oracle A sehingga P A...
Dalam membaca beberapa blog tentang kompleksitas komputasi (misalnya di sini ) saya berasimilasi gagasan bahwa memutuskan apakah dua kelompok isomorfik lebih mudah daripada menguji dua grafik untuk isomorfisme. Sebagai contoh, pada halaman lain dikatakan bahwa graf isomorfisme adalah masalah yang...
Definisi: Pengurangan Karp Bahasa adalah Karp dapat direduksi menjadi bahasa jika ada fungsi yang dapat dihitung polinomial waktu sedemikian rupa sehingga untuk setiap , jika dan hanya jika .AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in...
Kami memiliki banyak masalah, seperti faktorisasi, yang sangat dugaan, tetapi tidak terbukti, berada di luar P. Apakah ada pertanyaan dengan properti yang berlawanan, yaitu, bahwa mereka sangat dugaan tetapi tidak terbukti berada di dalam
Sebuah pertanyaan diajukan di Stack Overflow (di sini ): Dengan bilangan bulat , cetak semua kemungkinan kombinasi nilai integer A , B , C dan D yang menyelesaikan persamaan A 2 + B 2 + C 2 + D 2NNNA , B , CA,B,CA,B,CDDD .SEBUAH2+ B2+ C2+ D2= NA2+B2+C2+D2=NA^2+B^2+C^2+D^2 = N Pertanyaan ini...
Di bawah, asumsikan kita sedang bekerja dengan mesin Turing pita tak terbatas. Ketika menjelaskan gagasan kompleksitas waktu kepada seseorang, dan mengapa itu diukur relatif terhadap ukuran input sebuah instance, saya menemukan klaim berikut: [..] Misalnya, wajar bahwa Anda akan memerlukan...
Saya membaca tentang NPC dan hubungannya dengan PSPACE dan saya ingin tahu apakah masalah NPC dapat dipecahkan dengan menggunakan algoritma dengan persyaratan ruang polinomial kasus terburuk, tetapi berpotensi mengambil waktu eksponensial (2 ^ P (n) di mana P adalah polinomial). Selain itu,...
Saya mencoba membuat daftar algoritma / masalah yang "sangat berguna", seperti dalam, memecahkan masalah yang 'tampak' sangat eksponensial di alam, tetapi memiliki beberapa algoritma yang sangat pintar yang akhirnya menyelesaikannya. Contoh yang saya maksud: Linear Programming (Algoritma simpleks...
Aku bertanya-tanya ini didasarkan pada beberapa tempat online yang panggilan co- masalah terbuka besar ... tapi saya tidak dapat menemukan indikasi apakah atau tidak ini adalah sama dengan Masalah ...N P P = N PNP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf
Saya baru saja membaca beberapa halaman dalam buku Sipser. Pengantar Teori Komputasi tentang Masalah Pasca Korespondensi, dan saya berpikir bahwa PCP sebenarnya dalam NP. adalah: untuk konfigurasi masukan tumpukan menyatukan sebagai string dan merangkai sebagai string , lalu bandingkan dan untuk...
Saya memiliki "bukti" yang sangat sederhana ini untuk NP = CoNP dan saya pikir saya melakukan sesuatu yang salah di suatu tempat, tetapi saya tidak dapat menemukan apa yang salah. Adakah yang bisa membantu saya? Biarkan A menjadi beberapa masalah dalam NP, dan biarkan M menjadi penentu untuk A....
Apakah kesulitan masalah NP-hard atau NP-complete (seperti misalnya didefinisikan di sini ) berubah ketika inputnya unary bukan binary encoded? Apa bedanya jika input dari masalah NP-hard sangat tidak terenkripsi? Maksud saya, jika saya mengambil contoh masalah Knapsack NP-complete yang lemah, itu...
Saya sadar bahwa ini tampaknya pertanyaan yang sangat bodoh (atau terlalu jelas untuk dinyatakan). Namun, saya bingung di beberapa titik. Kami dapat menunjukkan bahwa P NP=== jika dan hanya jika kami dapat merancang algoritma yang memecahkan setiap contoh masalah dalam NP dalam waktu...
Saya mengalami kesulitan membungkus kepala saya di sekitar masalah PRIME, KOMPOSIT, FAKTOR dan bagaimana mereka terkait dalam hal kompleksitas. Saya mengerti bahwa PRIME telah terbukti berada di oleh tes primality AKS, dan saya percaya ini juga berfungsi untuk COMPOSITE.PPP Adapun...
Apakah kelengkapan CoNP menyiratkan kekerasan NP? Secara khusus, saya memiliki masalah yang saya tunjukkan sebagai coNP-complete. Dapatkah saya mengklaim bahwa ini NP-hard? Saya menyadari bahwa saya dapat mengklaim kekerasan TNN, tetapi saya tidak yakin apakah terminologi itu standar. Saya merasa...
Saya mencoba menyelesaikan masalah ini dan saya benar-benar berjuang. Sebuah monoton rumus boolean adalah formula dalam logika proposisional mana semua literal positif. Sebagai contoh, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor...
Saya bertanya-tanya, apa kerumitan waktu menentukan kekosongan untuk DFA 2 arah? Yaitu, automata terbatas yang dapat bergerak mundur pada tape input read-only. Menurut Wikipedia, mereka setara dengan DFA, meskipun DFA yang setara mungkin secara eksponensial lebih besar. Saya telah menemukan...