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...
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 ≡ e...
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...
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...
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...
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...