NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
我不知道如何解释,但我觉得我生来就是做这个的。