NP time

nondeterministic polynomial time