西塔潘猜想，又称“拉姆齐二染色定理”，是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，中南大学数学科学与计算技术学院酷爱数理逻辑的刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。来源于“拉姆齐二染色定理”以弗兰克·普伦普顿·拉姆齐命名，1930年他在论文On a Problem in Formal Logic（《形式逻辑上的一个问题》）证明了R(3,3)=6。拉姆齐数的定义拉姆齐数，用图论的语言有两种描述：对于所有的N顶图，包含k个顶的团或l个顶的独立集。具有这样性质的最小自然数N就称为一个拉姆齐数，记作R(k,l)；在着色理论中是这样描述的：对于完全图Kn的任意一个2边着色(e1,e2)，使得Kn[e1]中含有一个k阶子完全图，Kn[e2]含有一个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)的值，我们要尝试毁灭这班外星人了。”显然易见的公式： R(1,s)=1， R(2,s)=s， R(l1,l2,l3,,lr;r)=R(l2,l1,l3,,lr;r)=R(l3,l1,l2,,lr;r)（将li的顺序改变并不改变拉姆齐的数值）。　r,s 3 4 5 6 7 8 9 103 6 9 14 18 23 28 36 40 – 434 9 18 25 35 – 41 49 – 61 56 – 84 73 – 115 92 – 1495 14 25 43 – 49 58 – 87 80 – 143 101 – 216 125 – 316 143 – 4426 18 35 – 41 58 – 87 102 – 165 113 – 298 127 – 495 169 – 780 179 – 11717 23 49 – 61 80 – 143 113 – 298 205 – 540 216 – 1031 233 – 1713 289 – 28268 28 56 – 84 101 – 216 127 – 495 216 – 1031 282 – 1870 317 – 3583 317 – 60909 36 73 – 115 125 – 316 169 – 780 233 – 1713 317 – 3583 565 – 6588 580 – 1267710 40 – 43 92 – 149 143 – 442 179 – 1171 289 – 2826 317 – 6090 580 – 12677 798 – 23556R(3,3,3)=17 R(3,3)等于6的证明证明：在一个K6的完全图内，每边涂上红或蓝色，必然有一个红色的三角形或蓝色的三角形。任意选取一个端点P，它有5条边和其他端点相连。根据鸽巢原理，3条边的颜色至少有两条相同，不失一般性设这种颜色是红色。在这3条边除了P以外的3个端点，它们互相连结的边有3条。若这3条边中任何一条是红色，这条边的两个端点和P相连的2边便组成一个红色三角形。若这3条边中任何一条都不是红色，它们必然是蓝色，因此，它们组成了一个蓝色三角形。而在K5内，不一定有一个红色的三角形或蓝色的三角形。每个端点和毗邻的两个端点的线是红色，和其余两个端点的连线是蓝色即可。这个定理的通俗版本就是友谊定理。编辑本段相关研究　　2010年8月，中南大学数学科学与计算技术学院酷爱数理逻辑的刘嘉忆在自学反推数学的时候，第一次接触到拉姆齐二染色定理，并在阅读大量文献时发现，海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想，10多年来许多著名研究者一直努力都没有解决。同年10月的一天，刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论，连夜将这一证明写出来，投给了数理逻辑国际权威杂志《符号逻辑杂志》。　2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，还是大三学生的刘嘉忆应邀参加了这次会议，报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。　《符号逻辑杂志》的主编、逻辑学专家、芝加哥大学数学系邓尼斯·汉斯杰弗德看到论文后给他写信：“我是过去众多研究该问题而无果者之一，看到这一问题的最终解决感到非常高兴，特别如你给出的如此漂亮的证明，请接受我对你令人赞叹的惊奇的成果的祝贺！”同时，邓尼斯·汉斯杰弗德教授高兴地将刘嘉忆的研究介绍给了其他几位同仁和专家，他们一起审读、反复商讨。　论文审稿人、芝加哥大学博士达米尔·扎法洛夫也认为：“这是一个重要的结果，过去20多年许多著名科研工作者在这方面进行努力。该问题的研究促进了反推数学和计算性理论方面的研究。”　2011年9月16日，美国芝加哥大学数理逻辑学术会议上，云集了来自欧美的许多数理逻辑专家、学者。大会邀请了12位专家、学者作学术报告，刘嘉忆作为亚洲高校唯一一位代表在会上作了40分钟报告。他在数理逻辑方面的研究成果，让与会专家、学者对这位来自中国的“80后”投上赞许的目光。刘嘉忆表示，他投给《美国数学会汇刊》的论文获得威士康星大学、伯克利大学等几位教授很高的评价，有望公开发表。刘路成名后的反响强基招生计划是指从2020年起，在部分高校开展基础学科招生改革试点，主要招收选拔有志于服务国家重大战略需求且综合素质优秀或者基础学科拔尖的优秀学生。强基计划招收的优秀学生主要有两种，一种凭借高考成绩入选，要求高考成绩在本省的分数在一本分数之上，品学兼优，具有创新思维，热爱钻研。另一种是面向相关学科领域具有突出才能和表现的考生，达到相关对应的条件可以破格录取，破格入选的条件除了高考成绩在所在省一本线以上之外，更应该在高中阶段获得数学、化学、物理、生物等学科奥林匹克竞赛决赛二等奖以上。录取成绩核算高考成绩不低于百分之八十五，其余的百分之十五便是校测成绩，这对于那些学习成绩优异，并且在某一学科领域表现突出，思维敏捷、身体素质良好的学生来说，增加了一次更好的选择发展的机会，如果入选录取，前途不可估量！强基计划的核心在于结合高校自身的办学特色，在数学、物理、化学、生物、历史、哲学、古文字学等相关专业招生。在建议学科专业的动态调整上，根据新形势要求和招生，适时地调整强基计划招生专业。强基计划的招生院校：强基计划招生院校一共有36所，分别是北京大学、中国人民大学、清华大学、北京航空航天大学、北京理工大学、中国农业大学、北京师范大学、中央民族大学、南开大学、天津大学、大连理工大学、吉林大学、哈尔滨工业大学、复旦大学、同济大学、上海交通大学。华东师范大学、南京大学、东南大学、浙江大学、中国科学技术大学、厦门大学、山东大学、中国海洋大学、武汉大学、华中科技大学、中南大学、中山大学、华南理工大学、四川大学、重庆大学、电子科技大学、西安交通大学、西北工业大学、兰州大学、国防科技大学。其实无论是人工智能还是量子通信，都需要数学、物理等基础学科作有力支撑，基础学科对于原始创新的重要意义不言而喻。之所以缺乏重大原创性科研成果，呈现“卡脖子”局面，与基础学科发展较慢，顶尖基础学科人才缺乏密切相关。教育部文件提出，“强基计划”起步阶段，突出基础学科的支撑引领作用，结合高校办学特色，重点在数学、物理、化学、生物及历史、哲学、古文字学等基础学科专业安排招生。国际知名数学家邓尼斯·汉斯杰弗德，曾任2010至2012年《符号逻辑杂志》编辑，他在阅读到一篇论文后，向作者刘嘉忆表达了深深的敬意。他感慨道：“我曾是众多探索这个问题而无果的人之一，看到它终于被解决，特别是你提供了如此精妙的证明，我对你这一惊人成果表示热烈祝贺。”汉斯杰弗德教授积极地将刘嘉忆的研究分享给了他的同行和专家们，他们一起深入研究和讨论他的成果。2011年9月16日，刘嘉忆作为亚洲高校唯一的代表，在美国芝加哥大学的数理逻辑学术会议上发表了40分钟的报告，引起了学术界的广泛关注。为了支持他的学术发展，中南大学决定提前授予他大学毕业，并立即接纳他为硕、博连读研究生，甚至直接攻读博士学位，以期他能更快地投入到这一领域的研究中。博士生导师侯振挺教授在了解到刘嘉忆的才华后，倾尽全力为他创造了学术环境，鼓励他参加各类重要会议，并接纳他为门下弟子，共同探讨学术难题。他们的合作无疑为刘嘉忆的成长提供了强有力的助力。中国科学院院士李邦河、丁夏畦和林群在得知刘嘉忆的卓越成就后，主动向教育部的相关负责人推荐。他们强调，刘嘉忆在大学三年级就独立解决了重大数学问题，显示出他的非凡才华，被誉为难得一见的数学奇才。扩展资料本名刘路，中南大学数学科学与计算技术学院2008级本科生，在大学三年级时独立解决了英国数理逻辑学者西塔潘提出的一个猜想，在国内引起关注。2011年10月，中国科学院李邦河等3名院士分别向教育部写信推荐，请予破格录取刘嘉忆为研究生，并建议教育部有关部门立即采取特殊措施，加强对其学术方面的培养。