西塔潘猜想，西塔潘猜想是什么

本文目录一览

1，西塔潘猜想是什么
2，什么是西塔潘猜想
3，什么是西塔潘猜想
4，西塔潘猜想的定义

1，西塔潘猜想是什么

西塔潘猜想又称“拉姆齐二染色定理”，是由英国数理逻辑学家西塔潘于上个世纪90年代提出的一个猜想。在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。

西塔潘猜想是什么

2，什么是西塔潘猜想

西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个猜想。但定理以弗兰克·普伦普顿·拉姆齐正式命名，1930年他在论文On a Problem in Formal Logic（《形式逻辑上的一个问题》）证明了R(3,3)=6。因此也叫拉姆齐二染色定理。在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。2011年5月，刘嘉忆给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。

什么是西塔潘猜想

3，什么是西塔潘猜想

就是西塔潘在（On the Strength of Ramseys Theorem）论文中提出的并不强于. 他猜测可能要强于。结果被刘嘉忆（化名）证明不包含，所以该猜想不成立。参考：http://en.wikipedia.org/wiki/Reverse_mathematics#Weak_K.C3.B6nig.27s_lemma_WKL0 http://en.wikipedia.org/wiki/Second-order_arithmetic http://www3.nd.edu/~cholak/papers/tarragona.pdf http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ndjfl/1040136917

这个问题我不能回答你不过你那名字我知道是谁唱的

什么是西塔潘猜想

4，西塔潘猜想的定义

对于所有的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)的值，要尝试毁灭这班外星人了。”

西塔潘是一个人名，是英国数理逻辑学家。他在上世纪90年代提出的一个对拉姆齐二染色定理的证明强度研究的一个猜想。拉姆齐二染色定理是以数学家弗兰克·普伦普顿·拉姆齐命名。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)的答案是唯一...西塔潘是一个人名，是英国数理逻辑学家。他在上世纪90年代提出的一个对拉姆齐二染色定理的证明强度研究的一个猜想。拉姆齐二染色定理是以数学家弗兰克·普伦普顿·拉姆齐命名。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)的答案是唯一和有限的。这个就是西塔潘猜想