When somebody hits you, hit back harder.

计算的目的是洞察，而非数字。

Every problem in NP can be reduced to the satisfiability problem, which is the cornerstone of computational complexity theory.

我不喜欢被遗忘，我希望被铭记。