拉姆齐定理证明（西塔潘猜想的通俗答案）
本文目录
西塔潘猜想的通俗答案
1930年，英国数学家弗兰克·普伦普顿·拉姆齐在一篇题为《形式逻辑上的一个问题》的论文中证明了R(3,3)=6。这条定理被命名为“拉姆齐二染色定理”。用文字来表述就是“要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识，这个数n记为R(k,l)”。拉姆齐二染色定理的通俗版本被称为“友谊定理”，即在一群不少于6人的人中，或者有3人，他们互相都认识；或者有3人，他们互相都不认识。
拉姆齐定理的拉姆齐数的定义
拉姆齐数，用图论的语言有两种描述：对于所有的N顶图，包含k个顶的团或l个顶的独立集。具有这样性质的最小自然数N就称为一个拉姆齐数，记作R(k,l)；在着色理论中是这样描述的：对于完全图Kn的任意一个2边着色(e1,e2)，使得Kn含有一个l边形，则称满足这个条件的最小的n为一个拉姆齐数。（注意：Ki按照图论的记法表示i阶完全图）拉姆齐证明，对与给定的正整数数k及l，R(k,l)的答案是唯一和有限的。拉姆齐数亦可推广到多于两个数：对于完全图Kn的每条边都任意涂上r种颜色之一，分别记为 e1,e2,e3,...,er ，在Kn中，必定有个颜色为e1的l1边形，或有个颜色为e2的l2边形……或有个颜色为er的lr边形。符合条件又最少的数n则记为R(l1,l2,l3,...,lr;r)。拉姆齐数的数值或上下界已知的拉姆齐数非常少，保罗·艾狄胥曾以一个故事来描述寻找拉姆齐数的难度：“想像有队外星人军队在地球降落，要求取得R(5,5)的值，否则便会毁灭地球。在这个情况，我们应该集中所有电脑和数学家尝试去找这个数值。若它们要求的是R(6,6)的值，我们要尝试毁灭这班外星人了。”显然易见的公式：1°R(1,s)=12°R(2,s)=s R(l1,l2,l3,...,lr;r)=R(l2,l1,l3,...,lr;r)=R(l3,l1,l2,...,lr;r) （将li的顺序改变并不改变拉姆齐的数值）
西塔潘猜想既然被证明了，那结论是什么
结论是：在组合数学上，拉姆齐定理是要解决以下的问题，要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。
2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，中南大学数学科学与计算技术学院酷爱数理逻辑的刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，并彻底解决了西塔潘的猜想。
西塔潘猜想是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个反推数学领域关于拉姆齐二染色定理证明强度的猜想。
扩展资料：
“拉姆齐二染色定理”以弗兰克·普伦普顿·拉姆齐命名，拉姆齐数的定义拉姆齐数，用图论的语言有两种描述：对于所有的N顶图，包含k个顶的团或l个顶的独立集。
具有这样性质的最小自然数N就称为一个拉姆齐数，记作R(k,l)，在着色理论里是这样描述的，对于完全图Kn的任意一个2边着色(e1,e2)，要Kn含有一个l阶子完全图，则称满足这个条件的最小的n为一个拉姆齐数。
拉姆齐证明，对与给定的正整数k及l，R(k,l)的答案是唯一与有限的。
拉姆齐定律什么意思
拉姆齐理论是以英国数学家和哲学家弗兰克·P·拉姆齐（Frank P. Ramsey）的名字命名的，是数学的一个分支，致力于研究必须出现阶数的条件。
拉姆齐理论中的问题通常会问一个形式的问题：“某种结构中必须有多少个元素才能保证特定的财产能够持有”。1930年弗兰克·普伦普顿·拉姆齐在论文On a Problem in Formal Logic（《形式逻辑上的一个问题》）证明了R(3,3)=6。
拉姆齐理论的例子
拉姆齐理论的一个典型结果是从一些数学结构开始，然后将其切成碎片。为了确保至少其中一部分具有给定的有趣属性，原始结构必须达到多大，这个想法可以定义为分区规则。
例如，考虑一个n阶的完整图。也就是说，有n个顶点，并且每个顶点通过一条边连接到其他每个顶点。3阶的完整图称为三角形。然后将每条边缘都涂成红色或蓝色。为了确保有蓝色三角形或红色三角形，事实证明n必须是6。
更多文章：
赫罗纳西甲排名（2-1！西班牙人对手大逆转，保住前六，张呈栋旧主留升级希望）
2024年6月4日 07:43
2025年4月25日 04:48
2024年7月13日 00:08
2024年7月22日 19:31
2023年10月23日 13:44
2023年11月6日 17:24
俄克拉荷马城雷霆队名字的由来（俄克拉荷马城雷霆队有人介绍一下吗）
2024年7月24日 08:50
2024年7月14日 15:45
2024年7月13日 11:14
2024年10月10日 16:10
2021年亚冠比分（亚冠4负川崎前锋遭5连败 小冢和季梅开二度宫城天传射）
2024年8月5日 13:21
2023年10月30日 20:38
2024年9月27日 20:30
2024年8月26日 11:01
98世界杯中国队队员（1998年世界杯预选赛,中国队客场1比1平卡塔尔,中国队那球是谁进的）
2024年9月18日 08:10
2023年10月16日 01:08
2024年7月23日 00:43
2024年10月11日 22:01
威尔士对爱尔兰比分预测，北爱尔兰VS威尔士比分几比几预测一下
2024年7月23日 18:31
2025年3月25日 00:36
