probabilistically checkable proof английский

Значение probabilistically checkable proof значение

Что в английском языке означает probabilistically checkable proof?

probabilistically checkable proof

(mathematics) A reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

Возможно, вы искали...