四色猜测的手工证明

1．四色问题简介
2．研究四色问题应有的思想方法——用坎泊的颜色交换技术证明四色猜测
2．1 把一个无限的问题变成有限的问题
2．2 5-轮构形都是可约的
2．3 四色猜测是正确的

3．四色猜测是可以手工证明的——从H——构形不可免集的完备性上证明四色猜测
3．1 H-构形的不可免集
3．2 H-构形不可免集完备性的证明
3．3 不可免的H-构形可约性的证明
3．4 有环形链的H-构形一定可以通过"断链"交换转化成K-构形的证
3．5 无环形链的H-构形也一定可以通过"转型"交换转化成K-构形的证明
3．6 四色猜测的证明

4．无割边的3-正则平面图是可3-边着色的，四色猜测正确——用泰特猜想证明四色猜测
4．1 泰特猜想是正确的
4．2 无割边的3-正则平面图都是可3-边着色的
……