非决定性多项式集合（，缩写：NP）是计算理论中最重要的集合之一。它包含P和NP-complete。P集合的问题即在多项式时间内可以找出解的决策性问题(decision problem)集合。注意NP包含P和NP-complete问题, 因此NP集合中有简单的问题和不容易快速得到解的难题。[NP等不等于P?]是一个计算机科学中知名的难题。<br>
定义与推论.
NP, NP-hard, NP-complete的定义及推论.决策问题:一个决策问题(decisio