Non Deterministic Polynomial Time Problem