Dalam makalah 'Pada lenyapnya koefisien Kronecker' di sini di http://arxiv.org/pdf/1507.02955v1.pdf , ditunjukkan bahwa menentukan kepositifan koefisien kronecker pada umumnya sulit NP. Namun ada peringatan yang menyatakan bahwa hanya kepositifan 'koefisien Kronecker persegi panjang' diperlukan...
Dalam [1] dinyatakan bahwa "Ini masih menjadi pertanyaan terbuka apakah setiap fungsi di memiliki sirkuit T C 0 (meskipun setidaknya diketahui bahwa tidak semua fungsi # P memiliki sirkuit T C 0 DLogTime-uniform-uniform )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 sirkuit yang dihasilkan oleh...
The isomorfisma Dugaan dari Berman dan Hartmanis menyatakan bahwa semua -Lengkap set waktu polinomial isomorfik satu sama lain. Ini berarti bahwa masalah lengkap dapat direduksi secara efisien satu sama lain melalui waktu polinomial yang dapat dihitung dan biopsi yang tidak dapat dibalik. Dugaan...
Saya mencari lebih banyak masalah di dengan kompleksitas waktu klasik batas bawah. Beberapa orang mungkin bertanya-tanya bagaimana Anda dapat membuktikan batas bawah seperti itu. Lihat di bawah.PPP Batas Bawah Eksponensial: Klaim: Jika Anda memiliki masalah yaitu -complete di bawah pengurangan...
Dalam https://en.wikipedia.org/wiki/Geometric_complexity_theory disebutkan bahwa ".. Ketan Mulmuley percaya bahwa program tersebut, jika layak, kemungkinan akan memakan waktu sekitar 100 tahun sebelum dapat menyelesaikan masalah P vs NP". Tampaknya mengindikasikan bahwa satu-satunya program yang...
Saya membaca koran Ahmed Younes, " Algoritma Waktu Polinomial Kuantum-Kesalahan Terbatasi untuk Dua Masalah Dua Grafik ", 2015. doi: 10.1007 / s11128-015-1069-y yang diterbitkan dalam jurnal Springer's Quantum Information Processing. Makalah ini tampaknya mengklaim bahwa ia menyediakan...
Seperti yang ditunjukkan dalam makalah "Sirkuit Monoton untuk Fungsi Mayoritas", adalah mungkin untuk membangun sirkuit boolean monoton untuk fungsi mayoritas pada variabel n dengan ukuran O (n ^ 3) dan kedalaman 5,3 log (n) + O (1).
Pertimbangkan masalah keputusan berikut. Biarkan dan biarkan (C_0 ^ n, C_1 ^ n, \ dots, C_ {q-1} ^ n) menjadi cocok enumerasi himpunan bagian dari \ {0,1, \ dots, n-1 \} yang memiliki paling banyak n / 4 elemen.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4}
Singkatnya, pertanyaan saya adalah: apakah bukti asli Karp yang mengurangi SAT menjadi 3SAT tidak perlu diuraikan? Dengan rincian sebagai berikut. Dalam makalahnya pada 1972, Reducibilitas Diantara Masalah Combinatorial , Karp membuktikan bahwa SAT berkurang menjadi 3SAT dengan menyatakan:...
Versi P, NP dan coNP yang tidak seragam adalah P / poly, NP / poly dan coNP / poly. Demikian pula, kita dapat mendefinisikan versi yang tidak seragam untuk setiap level di PH. Sebagai contoh: / poly terdiri dari masalah bentuk , di mana C adalah sirkuit dari ukuran polinomial yang dapat bervariasi...
Apakah #P pertama kali diperkenalkan di [1] ? [1] Valiant, Leslie G. "Kompleksitas komputasi yang permanen." Ilmu komputer teoretis 8.2 (1979):
Latar Belakang Kita tahu bahwa .P# P⊆ P.SPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Selain itu, kami tahu dari teorema Toda bahwa .PH⊆ P.# PPH⊆P#PPH \subseteq P^{\#P} Untuk latar belakang lebih lanjut tentang , lihat di sini: https://en.wikipedia.org/wiki/Sharp-P#P#P\#P Pertanyaan...
Bahasa Critical SAT didefinisikan sebagai himpunan rumus boolean sedemikian rupa sehingga tetapi menghapus klausa apa pun dari membuatnya memuaskan. Diketahui bahwa SAT kritis adalah lengkap. Saya bertanya-tanya tentang varian berikut: diberi rumus , apakah ini kasus bahwa ada di dan bahwa ada...
Misalkan . Kemudian argumen sederhana menunjukkan bahwa P H P P = N P . Bisakah kita melangkah lebih jauh dan mendapatkan P P P P = N P ? Argumen sederhananya adalahNP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NPPPPP= NPPPPP=NPPP^{PP}=NP Teorema Jika maka P H P P = N P .NP= PPNP=PPNP=PPPHPP=...
Dalam Computability, jika kita ingin membuktikan bahwa masalah tidak rekursif atau tidak dihitung secara rekursif, kita dapat menggunakan misalnya pengurangan dari masalah non-rekursif atau non-re lainnya, teorema Rice, teorema Rice-Shapiro, dll. Teknik-teknik ini bekerja berkat , atau secara...
Sebuah berjalan algoritma waktu untuk isomorfisma grup abelian mudah untuk melihat. Kemudian mengerjakan masalah ini pada tahun 2003, Vikas meningkatkan hasil dari waktu berjalan ke . Pada tahun 2007, Kavitha menunjukkan bahwa isomorfisma kelompok abelian dapat dilakukan dalam waktu linier yaitu...
Apa kompleksitas masalah kepuasan lokal untuk modal logika ? Di sini kita dilambangkan oleh I K 5 logika modal atas bingkai euclidean diperpanjang dengan modalitas terbalik. Bisakah Anda memberikan referensi? Apakah dalam N P ?I K 5IK5\mathit{IK5}sayaK5IK5IK5NPNPNP Apa yang saya ketahui tentang...
Pertimbangkan mesin (yaitu, algoritma probabilistik yang menggunakan logspace dan banyak bit acak secara polinomi). Diketahui (Saks-Zhou) bahwa .B PL.BPLBPLB PL ⊆ D SPA CE( L o g1.5( n ) )BPL.⊆DSPSEBUAHCE(lHaig1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) Pertanyaan saya adalah tentang mesin yang...
Savický dan Woods (Jumlah Fungsi Boolean Dihitung dengan Rumus dari Ukuran yang Diberikan) membuktikan hasil berikut. Teorema [SW98]: Untuk setiap konstan , hampir semua fungsi boolean dengan kompleksitas rumus paling n k memiliki kompleksitas rangkaian setidaknya n k / k
Masalah umum Misalkan kita memiliki fungsi polinomial multivariat , dan beberapa fungsi linear ℓ i ( x ) . Apa yang diketahui tentang kompleksitas penyelesaian masalah pengoptimalan berikut?f( x )f(x)f(\mathbf{x})ℓi(x)ℓi(x)\ell_i(\mathbf{x}) MaximizeSubject to: f(x)ℓi(x)≤0 for...