考虑定义如下的决策问题 2CNFSAT：
_%7C_Question_48_0.jpg)
(A) NP-完全。
(B)通过减少到有向图可达性，在多项式时间内可解。
(C)可在常数时间内求解，因为任何输入实例都是可满足的。
(D) NP-hard，但不是 NP-complete。答案：(乙)
说明： 2CNF-SAT 可以简化为强连通分量问题。并且强连通分量具有多项式时间解。因此 2CNF-SAT 是多项式时间可解的。有关详细信息，请参阅 https://en.wikipedia.org/wiki/2-satisfiability#Strongly_connected_components。
作为旁注，3CNFSAT 是 NP Complete 问题。
这个问题的测验