对类P是类NP的真子集猜测的证明,徐万东,,可平面图的可三着色性(P3C)是一个NP---完全问题。在用计算机判定一个可平面图是否可以三着色时,会产生第二类设定颜色错误。此时�