1701005821
1701005822
假设有一对夫妻，丈夫是RCAO系统，妻子是WKLO系统（是最基本系统，而且具有生育能力至关重要），ACAO系统是这对夫妻系统的男性客体系统。而丈夫RCAO为添加弱柯尼希定理的系统（生育能力不确定），而RCAO为添加拉姆齐二染色定理的系统（具有生育能力）被称为RT2 2系统（RT2 2系统为RCAO和WKLO系统的子系统，即为他们的子女）。
1701005823
1701005824
RCAO和WKLO系统的子系统（他们的子女）在未出生时是包含在母体WKLO系统的胚胎中。
1701005825
1701005826
在孩子未出生时，RCAO和WKLO系统夫妻2人与客体ACAO系统构成一个三维码维持系统的稳定。如果丈夫RCAO有生育能力且与妻子WKLO交配，则孕妇肚子里的小孩是丈夫RCAO的孩子，如果丈夫RCAO没有生育能力，且客体ACAO与WKLO发生了性关系，则孕妇肚子里的小孩是客体ACAO的小孩，则客体变成了主体，主体RCAO变成了客体。所以孩子未出生，孩子是谁的具不确定性，而肚子里的小孩相对RCAO、WKLO和ACAO三维码，系统是一个独立存在的独立集，从而满足拉姆齐数的要求。
1701005827
1701005828
如果小孩是丈夫RCAO的小孩，则RCAO、WKLO和RT2 2为K个项的团，则ACAO为一个项的独立集。
1701005829
1701005830
如果小孩是ACAO的，则ACAO，WKLO和RT2 2为K个项的团，RCAO则为一个项的独立集。这一认识也符合理论中的描述，对于完全图Kn的任何2边着色（e1，e2），即男女双方交配，使得Kn（e1）中含有一个K阶子完全图，生育一个或多个子系统完全图（1个或多个子女），Kn（e2）含有一个1阶子完全图，即ACAO或RCAO（无生育能力）的1阶完全图。
1701005831
1701005832
周秉根（安徽师范大学国土资源与旅游学院教授）在《西塔潘猜想的真实涵义与现实意义》一文中写到，可以得出结论，刘路的证明RT2 2并不包含WKLO的推导是错误的或者至少是不完全的，因为西塔潘猜想不是一个友谊定理，而是一个繁殖定理。
1701005833
1701005834
西塔潘猜想是否真的被破解，还有求待证实。
1701005835
1701005836
我了解的可能比较片面，希望读者可以更加深入研究。
1701005837
1701005838
1701005839
1701005840
1701005841
我和数学有约：趣味数学及算法解析 [:1701004196]
1701005842
我和数学有约：趣味数学及算法解析 4.2 四色定理
1701005843
1701005844
四色猜想是数学的难题之一。
1701005845
1701005846
四色猜想首先是在简单平面上成立的，对于地图上的各个国家来讲，需要说明的是，国家就是简单的国家，即一个国家是一个可以单独连通的一块曲面，一个国家分成几个独立的几部分在这里不考虑。对于国中国的现象和环形的国家也暂时不考虑。在这两点的前提下，再对地图作简化，将国家和国家之间的相连关系变成点和线的关系。
1701005847
1701005848
可以用点来代替国家，用点之间的连线表示国家的相连关系，对点涂色来代表对国家的着色，每一个线的两个端点颜色不能相同。这样就可以研究点和线之间的关系，用这个关系来代替对国家的着色。
1701005849
1701005850
如图4-1所示的地图，A、B、C和D代表四个国家。
1701005851
1701005852
1701005853
1701005854
1701005855
图4-1 四色地图
1701005856
1701005857
将图4-1转化为点和线的关系图，如图4-2所示。
1701005858
1701005859
1701005860
1701005861
1701005862
图4-2 点线连接图
1701005863
1701005864
点和线的关系图完全和图4-1相对应，四种颜色就可以用四种数字表示，点A代表国家A，由组合论知识可知，点A的颜色有四种选择，点B有三种选择，点C有两种选择，点D有两种选择。用四种颜色对上面的图着色，可以有4×3×2×2＝48种着色方式。
1701005865
1701005866
1701005867
1701005868
1701005869
图4-3 连接关系图2
1701005870