Pertanyaan yang diberi tag «monotone»

Keadaan pengetahuan kita tentang sirkuit aritmatika umum tampaknya mirip dengan keadaan pengetahuan kita tentang sirkuit Boolean, yaitu kita tidak memiliki batas bawah yang baik. Di sisi lain, kami memiliki batas bawah ukuran eksponensial untuk sirkuit Boolean monoton . Apa yang kita ketahui tentang sirkuit aritmatika monoton ? Apakah kita memiliki …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

Apakah masalah berikut di PTIME, atau coNP-hard: Diberikan dua ekspresi Boolean dan dalam variabel , tanpa negasi (yaitu, ekspresi sepenuhnya dibangun melalui dan ). Putuskan apakah , yaitu mereka memiliki nilai yang sama untuk semua tugas ke variabel.e 2 x 1 , ... , x n ∧ ∨ e 1 …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Razborov membuktikan bahwa pencocokan fungsi monoton tidak dalam mP . Tetapi bisakah kita menghitung pencocokan menggunakan sirkuit ukuran polinomial dengan beberapa negasi? Apakah ada sirkuit P / poli dengan negasi yang menghitung pencocokan? Apa trade-off antara jumlah negasi dan ukuran untuk pencocokan?O(nϵ)O(nϵ)O(n^\epsilon)

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Kita tahu masalah menghitung jumlah penugasan yang memuaskan dalam formula boolean umum yang diberikan (CNF-SAT), formula DNF yang diberikan, atau bahkan formula 2SAT yang diberikan adalah masalah # P-complete . Sekarang, pertimbangkan CNF-SAT tanpa literal negatif (tidak , selalu A ). Masalah keputusan sangat mudah (atur semua variabel ke TRUE …

13 sat  counting-complexity  polynomial-time  monotone 

P / poly adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit Boolean ukuran polinomial. Alternatifnya dapat didefinisikan sebagai mesin Turing polinomial-waktu yang menerima string saran yang ukuran polinomial dalam n dan yang hanya didasarkan pada ukuran n. mP / poli adalah kelas masalah keputusan yang dipecahkan oleh keluarga sirkuit …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

Berat |x||x||x|dari string biner x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n adalah jumlah yang ada dalam string. Apa yang terjadi jika kita tertarik untuk menghitung fungsi monoton pada input dengan sedikit? Kita tahu bahwa memutuskan apakah sebuah grafik memiliki kkk -clique sulit untuk rangkaian monoton (lihat antara lain Alon Boppana, 1987), tetapi jika sebuah grafik memiliki …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone