四色定理的证明概述（每个平面图都是4-顶点可染的) 第一部分：（权转移方法） 证明每个平面图都含有若干种构型中的其中一个！ 此部分使用的是理论性的数学证明！ 第二部分：（可约性验证） 假设四色定理不正确，则其必然存在反例，即一个不是4-顶点可 染的平面图G,接下来证明图G不含有上述提及的任何一个构型！ 此部分使用的是计算机证明，耗时1200小时！四色定理的证明概述（每个平面图都是4-顶点可染的） 第一部分：（权转移方法） 证明每个平面图都含有若干种构型中的其中一个！ 此部分使用的是理论性的数学证明！ 第二部分：（可约性验证） 假设四色定理不正确，则其必然存在反例，即一个不是4-顶点可 染的平面图G，接下来证明图G不含有上述提及的任何一个构型！ 此部分使用的是计算机证明，耗时1200小时！