城市就像一篇文章,它会向那些能够阅读它的人说话。
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。