complexityStatus

P142021 predicate

Indicates the current level or state of complexity associated with an entity or process.

Try in SPARQL

Observed surface forms (1)

Sample triples (3)

Subject Object
NP-hardness captures worst-case difficulty relative to NP ⓘ
Max-E3-LIN-2 NP-hard to solve exactly ⓘ
mu-calculus
surface form: μ-calculus
EXPTIME-complete for general formulas via predicate surface "complexityOfModelChecking" ⓘ