The existence of law is one thing; its merit or demerit is another.
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
如果你想发现新事物,就去寻找新事物。