- 1、本文档共3页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
西塔潘猜想证明过程(多篇)
篇:西塔潘猜想的意思西塔潘猜想是什么意思
西塔潘猜想的意思|西塔潘猜想是什么意思
基本解释
西塔潘猜想又称 拉姆齐二染色定理 ,是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个猜想。在组合数学上,拉姆齐(Ramsey)定理是要解决以下的问题:要找这样一个最小的数n,使得n个人中必定有k个人相识或l个人互不相识。
这个定理以弗兰克 普伦普顿 拉姆齐命名,1930年他在论文OnaProbleminFormalLogic(《形式逻辑上的一个问题》)证明了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,在
1 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***-*****0369*****0 ***-*****35 4149 6156 8473 ***** ***-*****43 4958 8780 ***** ***** ***** ***-***** 4158 ***** ***** ***** ***** ***** ***-*****9 6180 ***** ***** ***** ***-***** ***-***** ***-*****6 ***** ***** ***** ***-***** ***-***** ***-***** ***-*****3 ***** ***** ***** ***-***** ***-***** ***-***** ***-*****0 4392 ***** ***** ***-***** ***-***** ***-***** ***-***** *****R(3,3,3)=17R(3,3)等于6的证明证明:在一个K6的完全图内,每边涂上红或蓝色,必然有一个红色的三角形或蓝色的三角形。任意选取一个端点P,它有5条边和其他端点相连。根据鸽巢原理,3条边的颜色至少有两条相同,不失一般性设这种颜色是红色。在这3条边除了P以外的3个端点,它们互相连结的边有3条。若这3条边中任何一条是红色,这条边的两
2 个端点和P相连的2边便组成一个红色三角形。若这3条边中任何一条都不是红色,它们必然是蓝色,因此,它们组成了一个蓝色三角形。而在K5内,不一定有一个红色的三角形或蓝色的三角形。每个端点和毗邻的两个端点的线是红色,和其余两个端点的连线是蓝色即可。这个定理的通俗版本就是友谊定理。
数理逻辑是研究推理的数学分支。它使用数学的方法,即一套符号体系来研究推理前提和结论之间的形式关系,故也称符号逻辑。
2010年8月,酷爱数理逻辑的刘嘉忆在自学反推数学的时候,第一次接触到这个问题,并在阅读大量文献时发现,海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想,多年来许多著名研究者一直努力都没有解决。
3
同年10月的一天,刘嘉忆突然想到利用之前用到的一个方法稍作修改便可以证明这一结论,他随即连夜将证明写出,投给了数理逻辑国际权威杂志《符号逻辑杂志》。
2011年5月,由北大、南京大学和浙江师大联合举办的逻辑学术会议在浙江师范大学举行,还是大三学生的刘嘉忆应邀参加了这次会议,报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的
您可能关注的文档
- 留学瑞士签证面试要注意什么呢.docx
- 经典中国寓言故事短篇.docx
- 关于财务年终工作总结模板锦集5篇.docx
- 青春奋斗梦想演讲稿1000字.docx
- 有关毕业生自我鉴定模板集合多篇.docx
- 娃娃百日宴祝福语经典祝词.docx
- 哄孩子睡觉的暖心童话小故事文字版集锦.docx
- 2021年广西高考志愿填报官方解读.docx
- 实用的护理年终工作总结范文汇编七篇.docx
- 留学澳大利亚生活需要注意的事项.docx
- 2024浙江衢州市常山县“英才荟”事业单位紧缺急需人才招聘18人笔试备考试题及答案解析.docx
- 2024浙江省近海海洋工程环境与生态安全重点实验室招聘1人笔试备考试题及答案解析.docx
- 2024广东阳江市阳西县补充招聘森林消防应急队员5人笔试备考试题及答案解析.docx
- 2024浙江松阳县新华书店有限公司招聘见习大学生1人笔试备考试题及答案解析.docx
- 2024云南曲靖市马龙区部分事业单位选调(含选调计划)26人笔试备考试题及答案解析.docx
- 2024广西柳州市残疾人劳动就业服务中心招聘残疾人专职委员1人笔试备考试题及答案解析.docx
- 2024广西河池市总工会公开招聘社会化工会工作者3人笔试备考试题及答案解析.docx
- 2024贵州华贵人寿保险股份有限公司第三次社会招聘15人笔试备考试题及答案解析.docx
- 2024广西百色市田东县5月城镇公益性岗位工作人员招聘4人笔试备考试题及答案解析.docx
- 2024广西百色市那坡县坡荷乡人民政府公开招聘编外工作人员2人笔试备考试题及答案解析.docx
文档评论(0)