complementary nondeterministic polynomial