记忆是一把装满了未来的武器。
A problem is in P if it can be solved quickly by a computer, and in NP if a solution can be verified quickly.
I hope it will not be long before we have a machine that will be able to solve all mathematical problems.
制度的重要性有时比我们承认的要大。