拉姆齊定理是 Dilworth 引理的推廣,它指出對於每對正整數 和
,都存在一個整數
(稱為拉姆齊數),使得任何具有
個節點的圖都包含至少有
個節點的團或至少有
個節點的獨立集。
該定理的另一種表述是,對於整數 ,存在一個最小正整數
,使得無論如何對完全圖
進行雙色著色,它都將包含一個綠色子圖
或一個紅色子圖
。
該定理的第三種表述指出,對於所有 ,都存在一個
,使得任何具有
個圖頂點的完全有向圖都包含一個具有
個圖頂點的完全頂點傳遞子圖。
例如, 且
,但
僅已知在
和
的範圍內。
確實如此
如果 。