Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theoretical computer science
|
| gptkbp:closed |
under complement
under composition |
| gptkbp:complexityClassType |
promise problem
|
| gptkbp:contains |
gptkb:Graph_Isomorphism
gptkb:QSZK Entropy Difference Statistical Difference |
| gptkbp:field |
theoretical computer science
|
| gptkbp:hasSubgroup |
gptkb:IP
gptkb:AM |
| https://www.w3.org/2000/01/rdf-schema#label |
SZK
|
| gptkbp:introduced |
Goldwasser, Micali, Rackoff
|
| gptkbp:notKnownToBeContainedIn |
NP
|
| gptkbp:notKnownToContain |
NP-complete problems
|
| gptkbp:numberOfIssues |
Entropy Difference
Graph Non-Isomorphism Statistical Difference |
| gptkbp:relatedTo |
gptkb:BPP
gptkb:PSPACE gptkb:QSZK zero-knowledge proofs NP |
| gptkbp:standsFor |
Statistical Zero Knowledge
|
| gptkbp:usedIn |
cryptography
interactive proofs |
| gptkbp:bfsParent |
gptkb:Skukuza_Airport
|
| gptkbp:bfsLayer |
7
|