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

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.
过去是一个跟随我们的影子,但让它定义我们是我们的选择。