Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
theoretical computer science
|
| gptkbp:contains |
P
|
| gptkbp:definedIn |
the set of decision problems in both NP and coNP
|
| gptkbp:hasNoKnownNPCompleteProblem |
true
|
| gptkbp:hasOpenQuestion |
whether NP ∩ coNP = NP
whether NP ∩ coNP = P whether NP ∩ coNP = coNP |
| gptkbp:hasSubgroup |
gptkb:coNP
NP NP ∪ coNP |
| https://www.w3.org/2000/01/rdf-schema#label |
NP ∩ coNP
|
| gptkbp:isNotKnownToEqual |
gptkb:coNP
P NP |
| gptkbp:relatedTo |
graph isomorphism
discrete logarithm problem integer factorization |
| gptkbp:studiedIn |
theoretical computer science
|
| gptkbp:bfsParent |
gptkb:Boolean_hierarchy
|
| gptkbp:bfsLayer |
6
|