Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

1
Mengevaluasi polinomial simetris
Misalkan menjadi polinomial simetris , yaitu polinomial sehingga untuk semua dan semua permutasi . Untuk kenyamanan, kita dapat menganggap adalah bidang yang terbatas, untuk menghindari mengatasi masalah dengan model perhitungan.f:Kn→Kf:Kn→Kf:\mathbb{K}^n \to \mathbb{K}f(x)=f(σ(x))f(x)=f(σ(x))f(x)=f(\sigma(x))x∈Knx∈Knx \in \mathbb{K}^nσ∈Snσ∈Sn\sigma \in S_nKK\mathbb{K} Misalkan menunjukkan kompleksitas komputasiC(f)C(f)C(f) , yaitu kompleksitas algoritma yang, diberikan x , mengembalikan f …
2
Mudah dioptimalkan tetapi sulit untuk dievaluasi
Adakah contoh alami masalah optimasi yang diketahui yang lebih mudah menghasilkan solusi optimal daripada mengevaluasi kualitas solusi kandidat yang diberikan? Demi konkret, kami dapat mempertimbangkan masalah optimisasi waktu-terpecahkan polinomial dari bentuk: "diberikan x, minimalkan ", di mana adalah, katakanlah, # P-hard. Masalah seperti itu jelas ada (misalnya, kita bisa memiliki …
1
Apa yang dimakan teorema dikotomi?
Hal ini juga diketahui bahwa kelas-kelas tertentu dari NP -problems Memiliki dikotomi teorema, yang menjamin bahwa setiap tugas di kelas adalah baik NP -Lengkap atau di P . Hasil yang paling dikenal adalah teorema dikotomi Schaefer , bersama dengan sejumlah generalisasi. Pemahaman saya adalah bahwa membuktikan teorema dikotomi ini tidaklah …
2
Algoritma multiplikasi vektor matriks menggunakan penambahan minimal
Pertimbangkan masalah berikut: Diberikan matriks kami ingin mengoptimalkan jumlah penambahan dalam algoritma multiplikasi untuk komputasi .v ↦ M vM.M.Mv ↦ Mvv↦M.vv \mapsto Mv Saya menemukan masalah ini menarik karena hubungannya dengan kompleksitas perkalian matriks (masalah ini adalah versi terbatas dari perkalian matriks). Apa yang tahu tentang masalah ini? Apakah ada …
1
Masalah komunikasi yang teorema jumlah-langsung deterministik tidak diketahui dimiliki
Ini adalah masalah terbuka tua apakah langsung-sum teorema berlaku untuk kompleksitas komunikasi deterministik, yaitu, apakah pemecahan contoh independen dari masalah adalah kali lebih keras dari pemecahan satu contoh. [FKNN95] menunjukkan hasil berikut:tttttt Hasil negatif: Ada fungsi parsial (karena [O90]) yang kompleksitas komunikasi deterministiknya adalah , tetapi menghitungnya pada instance independen …
1
Bisakah kita membangun permutasi k-wise independen pada [n] hanya menggunakan ruang dan waktu yang konstan?
Biarkan k>0k>0k>0 menjadi konstanta tetap. Diberikan bilangan bulat nnn , kami ingin membangun permutasi σ∈Snσ∈Sn\sigma \in S_n sedemikian rupa sehingga: Konstruksi menggunakan waktu dan ruang konstan (yaitu preprocessing membutuhkan waktu dan ruang konstan). Kita bisa menggunakan pengacakan. Mengingat i∈[n]i∈[n]i\in[n] , σ(i)σ(i)\sigma(i) dapat dihitung dalam ruang dan waktu yang konstan. Permutasi …
1
Bisakah persamaan diferensial digolongkan ke dalam kelas kompleksitasnya sendiri?
Masalah telah, secara keseluruhan, diklasifikasikan, berkat Kompleksitas Komputasi. Tetapi, dalam persamaan diferensial, apakah mungkin untuk mengklasifikasikan persamaan diferensial tergantung pada struktur komputasinya? Sebagai contoh, jika persamaan non-homogen orde pertama secara komparatif sulit untuk diselesaikan daripada, katakanlah, persamaan homogen urutan ke-100, dapatkah mereka digolongkan sebagai kelas konveksitas yang terpisah, mengingat metode …
2
Masalah grafik manakah yang
Mengikuti pertanyaan setara tentang NP-Completeness (lihat pertanyaan bobot dan pertanyaan terarah ), saya bertanya-tanya bagaimana masalah parameterisasi dipengaruhi oleh atribut ini. Yang masalah grafik -Hard adalah W [ 1 ] -Hard pada grafik diarahkan, tapi tetap parameter penurut pada grafik diarahkan?NPNPNPW[1]W[1]W[1] Yang masalah grafik -Hard adalah W [ 1 ] …
1
Bukti bahwa masalah Grafik isomorfisma tidak
Masalah grafik isomorfisme adalah salah satu masalah berdiri terpanjang yang menolak klasifikasi ke dalam masalah atau N P- complete. Kami memiliki bukti bahwa hal itu tidak bisa N P -Lengkap. Pertama, Graph Isomorphism tidak bisa menjadi N P -complete kecuali hierarki polinomial [1] runtuh ke level kedua. Juga, penghitungan [2] …
3
Grafik pembatasan teori untuk Bukti dalam Teori Kompleksitas Bukti
Kompleksitas bukti adalah area paling dasar dari teori kompleksitas komputasi. Tujuan utama dari area ini adalah untuk membuktikan , yaitu, setiap prover tidak dapat memberikan bukti ketidakpuasan formula input yang diberikan. NP≠ c o NPNP≠cHaiNPNP\neq coNP Grafik adalah salah satu model bukti formal. Pertanyaan saya adalah tentang pembatasan lebih lanjut …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.