数学家是将咖啡转化为定理的装置。
A mathematician is a device for turning coffee into theorems.
The concept of polynomial-time reduction is central to understanding the structure of NP-complete problems.
我们不是从祖先那里继承了地球；我们是从子孙那里借来的。
"Every character is a part of the writer's soul."
Life is too short to be anything but happy.