拉姆齐定理是 Dilworth 引理的推广,它指出对于每对正整数 和
,都存在一个整数
(称为拉姆齐数),使得任何具有
个节点的图都包含至少有
个节点的团或至少有
个节点的独立集。
该定理的另一种表述是,对于整数 ,存在一个最小正整数
,使得无论如何对完全图
进行双色着色,它都将包含一个绿色子图
或一个红色子图
。
该定理的第三种表述指出,对于所有 ,都存在一个
,使得任何具有
个图顶点的完全有向图都包含一个具有
个图顶点的完全顶点传递子图。
例如, 且
,但
仅已知在
和
的范围内。
确实如此
如果 。