Meaning of probabilistically checkable proof | Babel Free
Definitions
A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.
CEFR level
C1
Advanced
This word is part of the CEFR C1 vocabulary — advanced level.
This word is part of the CEFR C1 vocabulary — advanced level.