"The past is always tense, the future perfect."
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
解释:闭目塞听,不去思考,不登高博览远望的人,和死人是一类的啊!