自由始于无知结束之时。
I'm more interested in the process than the result.
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。