回复刘景教授

雷明85639720

回复刘景教授
雷  明
（二○一七年元月十四日）

刘景教授在回复“紫色”的提问题时，提到了关于我对四色问题的研究，我也就想再次回复刘教授如下：
刘景教授说：“在网上发现雷明新给出的《四色猜测的最简单证明》，而且他的证明已经得到另一位网友敢峰的肯定。我粗看了一下，也没有看他是如何把不可约的H-构形转化为可约的K-构形的，只是觉得其证明的基本逻辑有疑问，他说“以上我们对H—构形的各种情况都进行了分析，并证明了其都是可以转化成K—构形的，这就应该说四色猜测得到了证明是正确的。”，从逻辑上说，感觉作者似乎忽略了肯普证明的主要条件：要组成一个“不可免完备集”。我想，其实他根本不必证明“所有的H-构形都可以转化为K-构形”，例如，只要把肯普给出的4构形集中的那个不可约构形R“转化”为可约构形，同时，它还必须与其它3个可约构形组成不可免完备集，问题就解决了。估计做到后者很难，试想，如果容易做到，那么，四色问题也许在一百多年前的肯普和海伍德时代就解决了。提出此意见，我没有深思熟虑，仅供参考。”
刘教授上面那段话中说“我粗看了一下，也没有看他是如何把不可约的H—构形转化为可约的K—构形的，只是觉得其证明的基本逻辑有疑问”。我文中把坎泊没有证明是可约的构形叫H—构形，把坎泊证明了的是可约的构形叫K—构形，我并没有脱离坎泊的不可免集，只是研究了其中的一种——R构形的一部分，我没有必要再“组成一个‘不可免完备集’。”我文中分析了H—构形中，把四种颜色所能构形的六种色链的可能分布的四种情况，已经证明了再也没有别的形式的H—构形存在了。而且也把这四种情况的H—构形，采用坎泊的颜色交换技术的三种作用：即空出颜色给待着色顶点的交换，断开A—C链和A—D链各自连通的断链交换，使5—轮构形（即刘教授所说的R—构形）的类型转化（即由双B夹A型转化成为双D夹C型或双C夹D型等）的转型交换，使每一种H—构形都已经转化成为了坎泊的K—构形了，这不等于把坎泊的R—构形就转化成为了K—构形了吗。难怪你说你是“粗看了一下，也没有看他是如何把不可约的H—构形转化为可约的K—构形的”。谁让你是“粗”看呢，你不往下看就凭空的发表议论吗。这合适吗，一个教授说话就这样轻率吗。我已证明了它们都可转化为K—构形，为什么不能说“我们对H—构形的各种情况都进行了分析，并证明了其都是可以转化成K—构形的，这就应该说四色猜测得到了证明是正确的。”呢。你只有在指出我的证明不对后，不管你指出的是对，还是不对，你才有资格下这样的结论。
这里刘教授还有一个错误的论点：即“没有看他是如何把不可约的H—构形转化为可约的K—构形的”。不可约就是不可约，怎么还能说转化成可约的呢。我认为H—构形本来就是可约的，只是坎泊和赫渥特当年没有证明它是可约的，而不能说它就是不可约的。我这里说的可是“我们对H—构形的各种情况都进行了分析，并证明了其都是可以转化成K—构形的”，没有提到什么可约不可约的问题。既然H—构形已转化成为了K—构形，那么K—构形是可约的，当然H—构形也就是可约的了。
刘教授还说：“其实他根本不必证明‘所有的H—构形都可以转化为K—构形，例如，只要把肯普给出的4构形集中的那个不可约构形R‘转化’为可约构形，同时，它还必须与其它3个可约构形组成不可免完备集，问题就解决了。”这不是在脱了裤子放屁，多此一举吗。H—构形本来就只是R—构形中的一部分，且它们都转化成为K—构形，由于K—构形都是可约的，不等于R—构形中的这一部分也就是“可约”的了吗。你怎么连这么一点道理也不明白呢，我的教授呀。H—构形本来就只是R—构形中的一部分，并没有脱离坎泊的不可免集，我为什么还要把它“与其它3个可约构形组成不可免完备集”，来“解决”“问题”呢。
刘教授，因为你是只是“粗”看了一下，“也没有看”我“是如何把不可约的H—构形转化为可约的K—构形的，”那就请你再去看一下。我还有《四色猜测的最简证明（完善稿）》、《四色猜测证明过程中的三部曲——空出颜色、断链和转型》和《我研究四色问题的思想方法》三篇文章，都是进行证明H—构形如何转化成为K—构形的，其中以《三部曲》中最为祥细，请你好好的看。

雷  明
二○一七年元月十四日于长安

注：此文已于二○一七年元月十四日在《中国博士 发表过，网址是：