AM complexity class

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf theoretical computer science
gptkbp:characterizedBy two-message interactive proof system
gptkbp:contains NP
polynomial hierarchy
gptkbp:definedIn theoretical computer science
gptkbp:hasSubgroup gptkb:IP_complexity_class
gptkb:MA_complexity_class
Σ2P
https://www.w3.org/2000/01/rdf-schema#label AM complexity class
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
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