impliesHardness

P142792 predicate

Indicates that one entity suggests, entails, or leads to the conclusion that another entity possesses hardness.

Try in SPARQL

Observed surface forms (1)

Sample triples (2)

Subject Object
Karp reductions
surface form: Karp reduction
if A Karp-reduces to B and A is NP-hard then B is NP-hard ⓘ
Clique problem NP via predicate surface "isHardFor" NERFINISHED ⓘ