西塔潘猜想(什么是西塔潘猜想)
知识大全 2022-07-31 18:36www.worldometers.cn知识大全
西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个猜想。但定理以弗兰克·普伦普顿·拉姆齐正式命名，1930年其在论文One Problem in Formal Logic（《形式逻辑上的一个问题》）证明了R(3，3)=6。因此又叫拉姆齐二染色定理。
拉姆齐数，用图论的语言有两种描述：
对于所有的N顶图，包含k个顶的团或l个顶的独立集。具有这样性质的最小自然数N就称为一个拉姆齐数，记作R(k，l)；
拉姆齐数亦可推广到多于两个数：