Definition

NP is a set of decision problems for which there exists a poly-time certifier.

How to verify problem Y is NP?

Find a solution can solve problem Y in polynomial time.

Examples