真相很少是简单的,而且往往比我们对自己说的谎言更痛苦。
The study of computational complexity is a journey through the landscape of mathematical logic and algorithmic theory.