标签：若P≠NP，则所有在多项式时间内可验证的问题都将是在多项式时间内可求解（或可判定）的问题