在计算复杂性理论中，将所有可以在多项式时间内求解的问题称为，而将所有在多项式时间内可以验证的问题称为