引出
假设现在有个问题，目的是要解决这个问题，但是这个问题很难求解，但是如果有人说我知道了这个问题的解，验证这解的正确性还是相对很简单的。
以上引出了求解和验证这两个概念。
概念
P类问题：答案在多项式时间内可以验证，问题可以在多项式时间内求解。
NP类问题：答案可以在多项式时间内验证，问题不确定能否在多项式时间内求解。
NP-C类问题（NP完全问题）：一个问题属于一个NP大类，如果大类的子类问题多项式时间可解，大类NP中所有问题多项式时间可解。
NP=?P
找一个NP大类足以涵盖足够多的子类问题，若存在子类多项时间可解，则NP问题多项式时间可解。