non-deterministic polynomial ⇢