NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
处理一个不自由的世界的唯一方法是变得如此绝对自由,以至于你的存在本身就是一种反叛。