Apakah ada contoh mainan yang memberikan wawasan 'esensial' untuk memahami tiga hambatan yang diketahui untuk masalah - relativization, bukti alami dan algebrization?P=NPP=NPP =
Saya berpikir bahwa teorema hierarki ukuran untuk kompleksitas sirkuit dapat menjadi terobosan besar di bidang ini. Apakah ini pendekatan yang menarik untuk pemisahan kelas? Motivasi untuk pertanyaan itu adalah yang harus kita katakan ada beberapa fungsi yang tidak dapat dihitung dengan ukuran...
Dalam makalah Natural Proofs karya Razborov-Rudich , halaman 6, pada bagian yang mereka bahas bahwa ada "bukti lowerbound yang kuat terhadap model sirkuit monoton " dan bagaimana mereka masuk dalam gambar, ada kalimat-kalimat berikut: Di sini masalahnya bukan konstruktif - sifat-sifat yang...