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

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.
在计算复杂性中,我们不仅仅是在处理我们能计算的极限,也是在处理我们能证明的极限。
I'm not afraid to be a woman in a male-dominated sport. I embrace it. I love being a woman.
The demand to be loved is the greatest of all arrogant presumptions.