NP中的每个问题都可以归约为可满足性问题，这是计算复杂性理论的基石。
Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.
永远不要让成功冲昏头脑，也不要让失败打击心灵。
效率是企业的竞争力，没有效率就没有优势。
Thinking is a form of computation.
腐蚀青年最可靠的方法就是教导他尊重那些思想相同的人，而不是那些思想不同的人。