Disambiguation evidence for NP via surface form

"NP"

Triples (6)

Triples where some other subject referred to this entity as "NP".

Valiant–Vazirani theorem → relatesClass →
"NP"
↳ resolves to NP
ⓘ
NP-hardness → relatedClass →
"NP"
↳ resolves to NP
ⓘ
Cook–Levin theorem → complexityClassInvolved →
"NP"
↳ resolves to NP
ⓘ
Karp reduction → complexityClassContext →
"NP"
↳ resolves to NP
ⓘ
linked to: Karp reductions
3-SAT → complexityClass →
"NP"
↳ resolves to NP
ⓘ
Clique problem → isHardFor →
"NP"
↳ resolves to NP
ⓘ