probabilistically checkable proof

danh từ (noun)

Nghĩa chính

Bằng chứng hợp lý về một định lý tính toán hoặc phỏng đoán thu được thông qua thuật toán ngẫu nhiêndanh từA reasonable proof of a computational theorem or conjecture obtained via a randomized algorithm.

Dạng từ (word form)

theo quy tắc (regular)

probabilistically checkable proofDạng gốc (base form)
probabilistically checkable proofsSố nhiều (plural)

Họ từ (word family)

Từ liên quan (related word)

AI