Pertanyaan yang diberi tag «cc.complexity-theory»

P versus NP dan perhitungan terbatas sumber daya lainnya.

1
Apa yang salah dengan argumen
Berikut ini tidak diyakini benar: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Bisakah Anda membantu saya melihat di mana argumennya rusak? Masalah reachability yang diarahkan selesai untuk . Saya berpendapat bahwa ini adalah dalam L- seragam N C 1 .L.L\mathsf{L}L.L\mathsf{L}N C1NC1\mathsf{NC^1} Masalah reachability diarahkan lebih grafik konfigurasi deterministik log-ruang Turing …
1
Tentang dugaan sensitivitas?
Pembentukan baru-baru ini dari hubunganb s ( f) = O ( s ( f)4)bs(f)=HAI(s(f)4)bs(f)=O(s(f)^4) melewati Gotsman, Linial . Bisakah pendekatan yang sama mencapai atau apakah ada batasan penting untuk pendekatan tersebut?O ( s ( f)2)HAI(s(f)2)O(s(f)^2)
1
Seberapa “sulit” untuk memaksimalkan fungsi polinomial yang tunduk pada batasan linear?
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 all iMaximizef(x)Subject to: ℓi(x)≤0 for all i\begin{align*} \text{Maximize} & \;\; f(\mathbf{x}) \\ \text{Subject to: } & …
1
dengan bit acak polylog berada di
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 hanya menggunakan banyak bit keacakan polylog. Dalam salah satu makalah Goldreich, disebutkan …
1
Kompleksitas modal logika IK5
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 topik ini? Sangat mudah untuk melihat bahwa ada …
1
Apakah isomorfisme kelompok abel di ?
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 waktu .O(n2)O(n2)O(n^2)O ( n log n )O(n2)O(n2)O(n^2)O(nlogn)O(nlog⁡n)O(n \log n)O(n)O(n)O(n) …
1
Apakah
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= NPPHPP=NPPH^{PP}=NP Bukti …
4
Ketidakmungkinan dalam Komputasi dan Kompleksitas: selalu pada akhirnya karena argumen diagonal?
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 langsung didasarkan pada, adanya beberapa argumen diagonal (yaitu beberapa program berperilaku sebaliknya …
1
varian dari Critical SAT
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 beberapa klausa sehingga (alih-alih untuk semua klausa, ada …
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.