理论计算机科学中的挑战不仅仅是解决问题,而是理解为什么它们难以解决。