在计算复杂性中,我们不仅仅是在处理我们能计算的极限,也是在处理我们能证明的极限。
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.
There is an awful lot you can tell about a person by their shoes. Where they're going. Where they've been.