拉姆定理公式

你说的是拉姆齐（Ramsey）定理吧，又称拉姆齐二染色定理，是要解决以下的问题：要找这样一个最小的数 R(k,l)=n，使得 n 个人中必定有 k 个人相识或 l 个人互不相识。

这个定理以弗兰克·普伦普顿·拉姆齐命名，1930年他在论文On a Problem in Formal Logic（《形式逻辑上的一个问题》）证明了R(3,3)=6。