计算复杂性的研究不仅仅是关于问题的分类；它是关于理解计算本身的本质。

It is better to be a human being dissatisfied than a pig satisfied； better to be Socrates dissatisfied than a fool satisfied.

出自《花前劝酒吟》。水是万古以来的最无情的绿色，酒是千年以来可以让人长寿不老的丹药。

I’ve never lost a game, I just ran out of time.

煤炭的未来不仅仅是开采，而是我们如何负责任地将其融入不断变化的能源格局。