Pertanyaan yang diberi tag «natural-proofs»

Apakah ada contoh mainan yang memberikan wawasan 'esensial' untuk memahami tiga hambatan yang diketahui untuk masalah - relativization, bukti alami dan algebrization?P=NPP=NPP = NP

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers 

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 sirkuit dan dapat dihitung dengan ukuran sirkuit di …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

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 digunakan dalam bukti-bukti ini semuanya layak - tetapi …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

m o n o t o n emHainHaitHainemonotone

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs