2
Lingkup pembatas bukti alami
Penghalang bukti alami dari Razborov dan Rudich menyatakan bahwa di bawah asumsi kriptografi yang kredibel orang tidak dapat berharap untuk memisahkan NP dari P / poli dengan menemukan sifat kombinatorial dari fungsi yang konstruktif, besar, dan bermanfaat. Ada beberapa hasil terkenal yang berhasil menghindari penghalang. Ada juga beberapa makalah yang …