The ultimate goal of computer science is to create systems that are both powerful and reliable.
一个问题如果在计算机上可以快速解决,那么它属于P类问题;如果一个解可以快速验证,那么它属于NP类问题。