1975年,计算机科学家理查德·拉德纳尔在《论计算复杂性谱系》中提出的这个定理,本质上构建了复杂性类别的精细分层结构。这个定理最震撼的启示在于:如果P不等于NP,那么存在既不属于P类又不属于NP完全类的问题,在确定性多项式时间可解问题与最难的非确定性多项式时间问题之间,存在着无数过渡形态的计算难题。 理解这个...