一切痛苦能够毁灭人,然而受苦的人也能把痛苦消灭!
真理的最小原子也代表着某个人艰苦的劳动和痛苦。
NP中的每个问题都可以归约为可满足性问题,这是计算复杂性理论的基石。