西塔潘猜想研究之一 友谊定理

mathzhongguo

西塔潘猜想研究之一  友谊定理

西塔潘猜想又称“拉姆齐二染色定理”，是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。
原定理是：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。
中南大学数学科学与计算技术学院酷爱数理逻辑的刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答。

这个定理的通俗版本就是友谊定理。
友谊定理原定理如下：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。
友谊定理的主要内容是：在一群不少于三人的人中，若任何两人都刚好只有一个共同认识的人，这群人中总有一人是所有人都认识的。从图论的角度来说，一幅图，若每个顶点都跟另一个顶点刚好只有一个共同相邻的顶点，这幅图中总有一个顶点和其他顶点都相邻。
下面是历史上对友谊定理的证明，仅作参考

mathzhongguo

下一篇准备写
西塔潘猜想研究之二  关于拉姆齐数