probabilistically checkable proof (Q841495)
Jump to navigation
Jump to search
type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounded number of bits of the proof
- PCP
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | probabilistically checkable proof |
type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounded number of bits of the proof |
|
Statements
PCP (English)
0 references