跳过导航链接
首页
学校概况
万博注册
党务建设
校务信息
教育教学
数理特色
德育天地
团委天地
学生空间
教工之家
对外交流
招考指南
学生社团
科技节专栏
  您目前所在的位置:首页—>详细新闻信息
西塔潘猜想
作者:数学组 来源:数学组 日期:2013/10/16 0:00:00

 

西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个猜想。但定理以弗兰克·普伦普顿·拉姆齐正式命名,1930年其在论文Ona Problem in Formal Logic(《形式逻辑上的一个问题》)证明了R(3,3)=6。因此又叫拉姆齐二染色定理。[1]

2定义 

拉姆齐数,用图论的语言有两种描述:

对于所有的N顶图,包含k个顶的团或l个顶的独立集。具有这样性质的最小自然数N就称为一个拉姆齐数,记作R(k,l)

在着色理论中描述为:对于完全图Kn任意一个2边着色(e1,e2),使得Kn[e1]里含有一个k阶子完全图,Kn[e2]含有一个l阶子的完全图,则称满足这个条件的最小的n是一个拉姆齐数。(注意的是Ki按照图论的记法表示i阶完全图)拉姆齐证明,对与给定的正整数数klR(k,l)的答案为唯一和有限的。

拉姆齐数亦可推广到多于两个数:

对完全图Kn每条边都任意涂上r种颜色之一,要分别记e1,e2,e3,...,er,在Kn里,一定有一个颜色为e1l1阶子完全图,或有一个颜色为e2l2阶子完全图……或有一个颜色是erlr阶子完全图。符合条件又最少的数n则记R(l1,l2,l3,...,lr;r)

拉姆齐数的数值或上下界:

已知的拉姆齐数非常少,保罗·艾狄胥曾以一个故事来描述寻找拉姆齐数难度:“想像有队外星人军队在地球降落,要取得R(5,5)的值,否则就会毁灭地球。

在这一个情况,应该集中所有电脑和数学家尝试去找这一个数值。假如它们要求的是R(6,6)的值,要尝试毁灭这班外星人了。”

20108月,酷爱数理逻辑的刘路(后改名为刘嘉忆)在自学反推数学的时候,第一次接触到这个问题,并在阅读大量文献时发现,海内外不少学者都在进行反推数学中的拉姆齐二染色定理的证明论强度的研究。这是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想,10多年来许多著名研究者一直努力都没有解决。201010月的一天,刘路突然想到利用之前用到的一个方法稍作修改便可以证明这一结论,连夜将这一证明写出来,投给了数理逻辑国际权威杂志。

20115月,由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行,还是大三学生的刘路应邀参加了这次会议,报告了他对反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答,彻底解决了西塔潘的猜想。[

what is infidelity read why women cheat in relationships
testing for chlamydia go symptoms of oral chlamydia
your wife cheated on you blog.sitters4charities.org how to know your wife cheated
printable viagra coupon liberitutti.info viagra prescription coupon
cialis coupons online open discount coupons for prescriptions
coupon for prescriptions codesamples.in cialis coupon
discount coupons for cialis cialis discounts coupons 2015 cialis coupon
articles on abortion pill types of abortion pill how much do abortion pill cost
discount prescription drug cards your pharmacy card viagra coupons and discounts
anti abortion facts klitvejen.dk abortion pill is wrong
cialis prescription coupon cialis free coupon discount prescription coupons
vermox vermox vermox spc
aspiration abortion against abortion pill facts abortion pill services
cialis 2015 coupon artsricksha.com coupon for free cialis
alternatives to abortion pill types of abortion pill how does abortion pill work
abortion pill atlanta does an abortion hurt arguments against abortion
neltraxone house.raupes.net ldn for cancer
(责任编辑:数学组 )