Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:communicationRounds |
gptkb:algebra
|
| gptkbp:complexityClassType |
probabilistic
|
| gptkbp:contains |
gptkb:BPP
gptkb:PSPACE NP |
| gptkbp:describes |
decision problems solvable by an interactive proof system in polynomial time
|
| gptkbp:equivalentTo |
gptkb:PSPACE
|
| gptkbp:fullName |
gptkb:Interactive_Polynomial_time
|
| gptkbp:introduced |
gptkb:Adi_Shamir
|
| gptkbp:introducedIn |
1990
|
| gptkbp:notableAchievement |
gptkb:IP_=_PSPACE_theorem
|
| gptkbp:proverType |
computationally unbounded
|
| gptkbp:relatedTo |
gptkb:Arthur-Merlin_protocol
gptkb:interactive_proof_system zero-knowledge proof |
| gptkbp:significance |
proved that IP = PSPACE
|
| gptkbp:usedIn |
gptkb:complexity_theory
cryptography |
| gptkbp:verifierType |
probabilistic polynomial time
|
| gptkbp:bfsParent |
gptkb:interactive_proof_systems
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
IP (complexity class)
|