Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:computational_complexity_theory_concept
|
| gptkbp:describes |
relationship between proof systems and complexity classes
|
| gptkbp:generalizes |
gptkb:PCP_theorem
|
| gptkbp:influenced |
inapproximability results
|
| gptkbp:introducedIn |
1990s
|
| gptkbp:level |
PCP[r,q] for various r and q
|
| gptkbp:relatedTo |
gptkb:theoretical_computer_science
gptkb:PCP_theorem gptkb:probabilistically_checkable_proofs |
| gptkbp:studies |
tradeoff between randomness and query complexity in proof verification
|
| gptkbp:usedIn |
hardness of approximation
|
| gptkbp:bfsParent |
gptkb:probabilistically_checkable_proofs
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
PCP hierarchy
|