Question

拉姆齐(Ramsly)二染色定理是什么？

Answer 1

Ramsey定理：　
Ramsey(1903~1930)是英国数理逻辑学家,他把抽屉原理加以推广，得出广义抽屉原理，也称为Ramsey定理。 　　Ramsey定理（狭义）的内容：任意六个人中要么至少三个人认识，要么至少三个不认识 　　证明如下：首先，把这6个人设为A、B、C、D、E、F六个点。由A点可以引出AB、AC、AD、AE、AF五条线段。设：如果两个人识，则设这两个人组成的线段为红色；如果两个人不认识，则设这两个人组成的线段为蓝色。由抽屉原则可知：这五条线段中至少有三条是同色的。不妨设AB、AC、AD为红色。若BC或CD为红色，则结论显然成立。若BC和CD均为蓝色，则若BD为红色，则一定有三个人相互认识；若BD为蓝色，则一定有三个人互相不认识。
希望采纳，谢谢o(∩_∩)o

Answer 2

世界级的数学逻辑题 被一个中国中南大学本科生刘嘉忆破解。

Answer 3

在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。

Answer 4

拉姆齐二染色定理是一个数学组合问题，其命题是这样的：
要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。

Answer 5

alreadydone看他报告的标题是"Ramsey theorem for pair as second order arithmetic statement does not imply Weak König Lemma"，直译：“关于二元集染色的Ramsey定理，作为一个二阶算术命题，不能推出弱König引理”。

"for pairs"指的不是二染色（使用两种颜色）。一般的Ramsey theorem是对任意有限种颜色都成立。pair这里指的是二元的集合，也就是对图中的边（顶点的二元集）进行染色。一般的，可以对所有n元集进行染色，这可以用超图的观点去理解。

不过这里说的Ramsey theorem是一个无限的版本，即“用有限种颜色对无限完全图进行染色，则必有同色的无限完全子图”，它比有限版本更强。

而Weak König lemma说的是“任何结点数无限的二叉树都有无限长的分支”。它就像reverse mathematics中的一根标杆，可用来量度一个命题的证明论强度。

很期待刘的论文能发表或在网上公开。