next up previous
Next: Up: Previous:

NP

The complexity class NP is the class of languages that can be verified by a polynomial-time algorithm.

L $\in$ NP if algorithm A verifies language L in polynomial time.



Example: HAM-CYCLE $\in$ NP


next up previous
Next: Up: Previous: