Nondeterministic Polynomial Decision Problem

Definition