考虑以下定义的决策问题2CNFSAT：
%20%7C%20Question%2048_0.jpg)
(A) NP完成。
(B)可通过减少至有向图可达性而在多项式时间内求解。
(C)可以在恒定时间内解决，因为任何输入实例都是可以满足的。
(D) NP难，但不是NP完全。答案： (B)
说明： 2CNF-SAT可以简化为强连接的组件问题。而强连通的分量具有多项式时间解。因此2CNF-SAT是多项式时间可解的。有关详细信息，请参见https://en.wikipedia.org/wiki/2-satisfiability#Strongly_connected_components。
附带说明，3CNFSAT是NP完全问题。
这个问题的测验