non-deterministic polynomial time to nonezo