—— 请按键盘 空白键 开始游戏 ——

In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.
Challenges are what make life interesting and overcoming them is what makes life meaningful.
The past is never dead. It's not even past.