natural proof

/N AE1 CH ER0 AH0 L P R UW0 F/
N
  1. 1

    In computational complexity theory, a natural proof is a certain kind of proof establishing that one complexity class differs from another one.

Translate “natural proof” into another language