Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:theoretical_computer_science
|
| gptkbp:characterizedBy |
problems solvable by an interactive proof system in polynomial time
|
| gptkbp:contains |
gptkb:co-NP
NP |
| gptkbp:definedIn |
gptkb:theoretical_computer_science
|
| gptkbp:equivalentTo |
gptkb:PSPACE
|
| gptkbp:fullName |
gptkb:Interactive_Polynomial_time
|
| gptkbp:hasApplication |
cryptography
zero-knowledge proofs |
| gptkbp:hasMajorResult |
IP = PSPACE
|
| gptkbp:hasProperty |
randomized algorithms
interactive communication prover is computationally unbounded verifier runs in polynomial time |
| gptkbp:introduced |
gptkb:Adi_Shamir
|
| gptkbp:introducedIn |
1990
|
| gptkbp:relatedTo |
gptkb:Arthur-Merlin_protocol
gptkb:interactive_proof_system PSPACE complexity class |
| gptkbp:bfsParent |
gptkb:public-coin_interactive_proof
|
| gptkbp:bfsLayer |
6
|
| https://www.w3.org/2000/01/rdf-schema#label |
IP complexity class
|