NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。
"To live is the rarest thing in the world. Most people exist, that is all."
Politics and literature are both attempts to change reality, just in different ways.