NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
你要自己去弄明白,人生就像一盒各式各样的巧克力,你永远不知道下一块将会是哪种口味。