Pertanyaan yang diberi tag «complexity-theory»

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 P?

12 complexity-theory  polynomial-time 

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 FAKTOR, FACTOR={(m,r):∃s such that1<s<r and s divides m}FACTOR={(m,r):∃s such that1<s<r …

12 complexity-theory  factoring 

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 melihat apakah keduanya sama dan kemudian menyimpulkan bahwa input …

12 complexity-theory  decision-problem  np 

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 polinomial. Namun, saya tidak mengerti bagaimana bisa …

12 complexity-theory  p-vs-np 

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 AM. Karena AM = BP.NP, tampaknya pergi ke "reduksi" …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

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 klausa? Saya benar-benar ingin tahu apakah kita dapat meningkatkan jumlah literal per klausa …

12 complexity-theory  satisfiability 

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 lebih umum daripada isomorfisme kelompok. Karenanya saya mengajukan yang berikut …

12 complexity-theory  graph-isomorphism  group-theory 

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 nyaman dengan klaim bahwa jika masalah NP-lengkap milik coNP, maka …

12 complexity-theory  np-hard 

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 x_4 \lor x_5) adalah fungsi boolean monoton. Di sisi lain, sesuatu seperti (x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)(x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)\qquad (x_1 \lor …

12 complexity-theory  np-complete  satisfiability 

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 adalah NP-complete ketika biner dikodekan tetapi dapat diselesaikan dalam …

12 complexity-theory  time-complexity  np-complete 

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. Biarkan …

12 complexity-theory  p-vs-np  check-my-proof  np 

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 langkah lebih banyak untuk mengalikan dua bilangan bulat dengan 100000 …

12 complexity-theory  time-complexity  intuition 

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 B Definisi: Pengurangan Levin Masalah pencarian adalah Levin dapat direduksi menjadi masalah pencarian jika ada fungsi waktu polinom sehingga Karp …

12 complexity-theory  reductions  check-my-proof 

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 = …

12 complexity-theory  time-complexity  number-theory  enumeration 

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 AMMMxxx Tapi apa artinya ? Saya tidak bisa mengikuti apa yang sebenarnya :)⊕P⊕P⊕P⊕P\oplus …

12 complexity-theory  terminology  complexity-classes