NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
一幅画本身必须美丽,而不是因为它代表美丽的事物。