Lecture Notes for CS477 combinatorics on 2025/04/21
证明 $r(4,4)=18$
即证,存在 $K_{17}$ 的 b/y 染色不存在同色 $K_4$. 每个点连16条边,如果9b+7y,9个点二染色必有3b or 4y, 都会形成同色 K4. 因此每个点都是 8b+8y
正17边形排在圆上,距离1248->b, 3567->y. 先考虑同色三角形,8+8=1,1+1=2,2+2=4,4+4=8,3+3=6,5+5=7,6+6=5,7+7=3,因此等腰。
证明 $r(3,3,3)=17$
K16, 每个点15条边,如果出现一个点连6条同色边,假设同r色,由 $r(3,3)=6$, 1.6点的边有r,有同色K3;2.6点的边无r,因此b/y染色,必有同b/y色K3.
法1 
法2 考虑 $V=\{0,1\}^5$
多染色
$r(a_1,a_2,a_3,a_4,a_5)\leq 5^{(a_1-1)+(a_2-1)+(a_3-1)+(a_4-1)+(a_5-1)+1}:=n$
每个点来说,存在一种颜色b,这个点连接的b色边有大于n/5条,因此去掉所有剩下的边和点。这个游戏最多可以进行 $(a_1-1)+(a_2-1)+(a_3-1)+(a_4-1)+(a_5-1)+1$ 轮,剩下同样数量的点,其中每个点到其他点的边都是同色的. 因此存在a1个c1,或a2个c2,或…, 这些存在每个都会形成一个同色 $K_{c_k}$.
证明 $r(k,k)=\Omega(k^2)$
$(k-1)\times K_{k-1}$ 内部染y,国际边染b
(1971, 构造性证明) $r(k,k)=\Omega(k^3)$
(Erdős, 1947) $r(k,k)>2^{k/2},k\geq3$
$n\leq 2^{k/2}$ yb染色 每k个点形成一个点集 $T$, 坏集合的概率为 $2^{1-{k\choose 2}}$, 则随机染色,坏集合个数的期望 ${n\choose k}2^{1-{k\choose 2}}$
列表:row—染色方案;col—k元子集,如果第i个k元子集在第j个染色下同色,打✔. 按col统计,每个k元子集有$2^{1+{n\choose 2}-{k\choose 2}}$个✔,共计${n\choose k}2^{1+{n\choose 2}-{k\choose 2}}$. 平均下来,每个染色方案平均有${n\choose k}2^{1-{k\choose 2}}$个✔.