Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb: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
|
| 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 |
gptkb:theoretical_computer_science
|
| gptkbp:usedFor |
analyzing structure of NP
|
| gptkbp:bfsParent |
gptkb:Polynomial_hierarchy
|
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Boolean hierarchy
|