Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:characterizedBy |
two-message interactive proof system
|
| gptkbp:contains |
NP
polynomial hierarchy |
| gptkbp:definedIn |
gptkb:theoretical_computer_science
|
| gptkbp:hasSubgroup |
gptkb:IP_complexity_class
gptkb:MA_complexity_class Σ2P |
| gptkbp:introduced |
gptkb:László_Babai
|
| gptkbp:introducedIn |
1985
|
| gptkbp:numberOfIssues |
Graph Nonisomorphism
|
| gptkbp:prover |
gptkb:Merlin
|
| gptkbp:randomChance |
public coin
|
| gptkbp:referencedIn |
https://en.wikipedia.org/wiki/Arthur%E2%80%93Merlin_protocol
|
| gptkbp:relatedTo |
gptkb:IP_complexity_class
gptkb:MA_complexity_class gptkb:interactive_proof_system BPP complexity class |
| gptkbp:standsFor |
Arthur-Merlin complexity class
|
| gptkbp:verifier |
gptkb:Arthur
|
| gptkbp:bfsParent |
gptkb:public-coin_interactive_proof
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
AM complexity class
|