可以在合理时间内验证。
与其他复杂度的关系.复杂度P，是多项式时间可解的问题集合，是一个NP和反NP的子集。P通常认定是一个在此两类别下的严格子集（但无法验证是落在两个集合的哪一边）。NP和反NP通常认为是不相等的。如果那样，NP完全问题将不会落在反NP问题中，且反NP完全问题将不会落在NP中。本问题可由下述步骤粗略证明：假设有个NP完全问题formula_1处于反NP问题的集合中，由于所有NP问题可被变换成formula_1问题，因此我们可以为所有NP问题建造一个可在多项式时