多项式时间归约的概念对于理解NP完全问题的结构至关重要。
The concept of polynomial-time reduction is central to understanding the structure of NP-complete problems.
如果能够擂鼓让天下的人都达到义,那么我的义难道不是更进一步了吗? 
Small-scale fishermen are not relics of the past—they're pioneers of the future.
我的作品是我灵魂的投射。
The challenge in model checking is not just to find errors, but to understand why they occur.