Boolean hierarchy

GPTKB entity

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