评张彧典行生的《研究四色猜想人工证明的七次创新》一文

雷明85639720

评张彧典行生的《研究四色猜想人工证明的七次创新》一文
雷明
（二○一九年六月三日）
张先生在《研究四色猜想人工证明的七次创新》一文中说：“到此 ，得到颠倒染色次数从2到16的连续递增的15个非十折对称染色困局构形 ，这个集合是否完备呢 ？这时 ，他反过来寻求其理论依据 。在深入分析第10个至第15个染色困局构形的构造法则----在具有十折对称的H-M族4个构形中发现 ：在四色四边形中有两条互为相反的对角链 ，当用其中一条替换另一条时 ，原来构形的色图不会改变 ，但是几何结构变化了，解法也不同了。最终确认 ，构造的15个非十折对称几何结构的染色困局构形，与通过H-M族4个构形之第二五边形中可以替换了的15条边而得到的构形完全一样。”“这样 ，他得到的15个非十折对称几何结构的染色困局构形 ，加上H-M族4个具有十折对称性的染色困局构形 ，一共组成16个（类）有解染色困局构形的一个最小不可避免构形可约集合 ，与敢峰先生2008年发表的《四色定理简证》（包含于2011年出版的《4CC与1+1的证明》专著）中经过16次顺时针颠倒染色得到16个无解的染色困局构形一一对应 ，于是写了《四色猜想的创新证明》 。”
1、我理解，张先生这里所说的“染色困局”就应是H—构形。15个染色困局实际上就是15个H—构形。
2、你的第一段话说的完全是一回事，并不是你说的“最终确认 ，构造的15个非十折对称几何结构的染色困局构形，与通过H-M族4个构形之第二五边形中可以替换了的15条边而得到的构形完全一样。”
3、“15个非十折对称的几何对构的染色困局构形，加上H—M族4个具有十折对称的染色困局构形”应该是19个，而不是“一共组成16个（类）有解染色困局构形的一个最小不可避免构形可约集合”。
4、你在这里的19个“有解的染色困局构形”，都是极大图，而敢峰的16个所谓四色不可解构形却是非极大图，且敢峰的这16个构形除了第16个是H—构形（即张先生说的染色困局）外，其他的构形都是可以连续的移去两个购的K—构形，怎么能说是“无解的染色困局”（构形）呢，又怎么与你的16个“有解的染色困局”有“一一对应”的关系呢。
5、你的构形集的大小由原来的七个不可免构形，一直在不断的增大，你每一次都说是经过了证明是完备的，可每次的集合又都不是完备的。这次的16个构形集合，是否完备，你的证明还是不能说服人的。
6、不要认为你说了颠倒次是“有限的”，就不需要再证明这个“界”是多大了。既是“有限的”，总得要有一个“限度”的。只有这样，你的证明也才能是完满的。你我的证明也就可以统一起来了。
雷明，2019，6，3