Statements (18)
Predicate | Object |
---|---|
gptkbp:instanceOf |
theoretical computer science
|
gptkbp:definedIn |
alternating unions and intersections of NP sets
|
gptkbp:hasProperty |
collapses if PH collapses
strict if PH is strict |
gptkbp:hasSubgroup |
polynomial hierarchy
|
https://www.w3.org/2000/01/rdf-schema#label |
Boolean hierarchy
|
gptkbp:introduced |
gptkb:Alan_Selman
|
gptkbp:level |
gptkb:NP_∩_coNP
NP empty set |
gptkbp:levelk |
alternating k Boolean operations on NP sets
|
gptkbp:relatedTo |
NP-complete
polynomial hierarchy Boolean operations |
gptkbp:studiedIn |
theoretical computer science
|
gptkbp:usedFor |
analyzing structure of NP
|
gptkbp:bfsParent |
gptkb:Polynomial_hierarchy
|
gptkbp:bfsLayer |
5
|