西安电子科技大学$6.6.2平面图的着色软件学院教家定理！（四色定理）平面图的色数不超过4。四色定理至今没有简单的理论证明。1976年美国伊利诺斯大学的两位数学家肯尼斯·阿佩尔和沃尔夫冈·黑肯用计算机运行了将近1200小时证明了四色猜想成立。+西安电子科技大学 §6.6.2 平面图的着色 软件学院