决定性问题 编辑
在可计算性理论与计算复杂性理论中，决定性问题，亦称判定问题，是一个在某些形式系统回答“是”或“否”的问题。
2
相关
可满足性是用来解决给定的真值方程式，是否存在一组变量赋值，使问题为可满足。布尔可满足性问题属于决定性问题，也是第一个被证明属于NP完全的问题。此问题在电脑科学上许多的领域皆相当重要，包括电脑科学基础理论、算法、人工智能、硬件设计等等。
NP完全或NP完备，是计算复杂度理论中，决定性问题的等级之一。NP完备是NP与NP困难问题的交集，是NP中最难的决定性问题，所有NP问题都可以在多项式时间内被归约为NP完备问题。倘若任何NP完备问题得到多项式时间内的解法，则该解法就可应用在所有NP上，亦可证明NP问题等于P问题，然而目前为止并未发现任何能在多项式时间内解决NP完备问题的方法。
NP完全或NP完备，是计算复杂度理论中，决定性问题的等级之一。NP完备是NP与NP困难问题的交集，是NP中最难的决定性问题，所有NP问题都可以在多项式时间内被归约为NP完备问题。倘若任何NP完备问题得到多项式时间内的解法，则该解法就可应用在所有NP上，亦可证明NP问题等于P问题，然而目前为止并未发现任何能在多项式时间内解决NP完备问题的方法。
NP完全或NP完备，是计算复杂度理论中，决定性问题的等级之一。NP完备是NP与NP困难问题的交集，是NP中最难的决定性问题，所有NP问题都可以在多项式时间内被归约为NP完备问题。倘若任何NP完备问题得到多项式时间内的解法，则该解法就可应用在所有NP上，亦可证明NP问题等于P问题，然而目前为止并未发现任何能在多项式时间内解决NP完备问题的方法。
在计算复杂度理论中，P是在复杂度类别问题中可于图灵机以多项式量级求解的决定性问题。
NP完全或NP完备，是计算复杂度理论中，决定性问题的等级之一。NP完备是NP与NP困难问题的交集，是NP中最难的决定性问题，所有NP问题都可以在多项式时间内被归约为NP完备问题。倘若任何NP完备问题得到多项式时间内的解法，则该解法就可应用在所有NP上，亦可证明NP问题等于P问题，然而目前为止并未发现任何能在多项式时间内解决NP完备问题的方法。
在计算复杂度理论中，P是在复杂度类别问题中可于图灵机以多项式量级求解的决定性问题。