Razborov–Rudich natural-proofs barrier
= Razborov–Rudich natural-proofs barrier
{c}
{wiki=Natural_proof}
The Razborov–Rudich natural-proofs barrier says that the existence of sufficiently secure <pseudorandom function family>[pseudorandom function families] rules out constructive, large properties useful against the associated circuit class.