西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个猜想。但定理以弗兰克·普伦普顿·拉姆齐正式命名，1930年他在论文On a Problem in Formal Logic（《形式逻辑上的一个问题》）证明了R(3,3)=6。因此也叫拉姆齐二染色定理。在组合数空汪学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样斗铅仔一个最小的数n，使得n个人中必定有k个人相识或l个激皮人互不相识。2011年5月，刘嘉忆给这一悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。
标签：塔潘
版权声明：文章由 知识问问 整理收集，来源于互联网或者用户投稿，如有侵权，请联系我们，我们会立即处理。如转载请保留本文链接：https://www.zhshwenwen.com/life/330524.html
