四色问题讲座：第十八讲 四色问题的证明简单多了

雷明85639720

四色问题讲座：第十八讲  四色问题的证明简单多了  
雷  明
现在，平面图的所有的不可避免构形都是可约的（即可4—着色的）了，四色问题也就解决了。四色猜测是正确的。
从前面各讲中可以看出，在没有证明无环形链的H—构形可以直接的转化成有环形链的H—构形，可以采用断链法解决之前，为了证明该类构形用转型法解决的转型数是有限的，曾引用了埃雷拉E—图使用转型法时是一个以20次转型为一个周期的无穷周期循环转型的构形，并用了“原命题的逆否命题与原命题同真同假”的逻辑关系，才得出了任何非E—图的构形的转型次数一定是有限次的结论。最后还要证明这个有限次的转型的上界值，不但要进行实践检验，还要再进行理论证明，实在是很麻烦。现在有了两种H—构形的直接转化，四色问题的解决就要简化得多了。证明中再也不要引用一个具体的E—图了，它只是有环形链的一个H—构形罢了。与赫渥特的H—图一样，虽然也都是有环形链的H—构形，但在证明四色猜测时，并不使用赫渥特的H—图一样。而在证明时全部都用的是非具体图的不可避免构形。