我们只是试图解决一个需要解决的问题。
理论计算机科学中的挑战不仅仅是解决问题,而是理解为什么它们难以解决。