NP
計算複雑性理論における NP ("Non-deterministic Polynomial time")は、複雑性クラスのひとつであり、答えがyesとなるような問いに対して、多項式時間で検証できる証拠が存在する決定問題のクラスである。