在计算机科学中,我们经常处理那些容易陈述但难以解决的问题。