定义

$k$ 元 $q$-着色（$k$-ary $q$-coloring） 函数 $B$ 称为 $k$ 元 $q$-着色，若对任意 $1\le a_1<a_2<\cdots<a_{k+1}\le n$：

1. 取值界：$B(a_1,\dots,a_k)\in\{1,\dots,q\}$；
2. 相邻异色：$B(a_1,\dots,a_k)\ne B(a_2,\dots,a_{k+1})$（相邻“窗口”异色）。 :::

观察 1.9. 若存在 $t<\tfrac{\log^* n}{2}-2$ 轮的 3-着色算法 $A$，则存在 $k$ 元 3-着色 $B$，$k=2t+1<\log^* n-3$。

构造： 在一段 ID 恰为 $a_1,\dots,a_k$ 的虚拟路径上模拟 $A$，取节点 $a_{t+1}$ 所得色作 $B(a_1,\dots,a_k)$。若性质 2 被违反，则 $A$ 给某虚拟路径上相邻两点同色，矛盾。

2.1 两条降维引理

引理 1.10. 不存在 $q<n$ 的 1 元 $q$-着色。 （1 元着色要求 $B(a_1)\ne B(a_2)$ 对所有 $a_1<a_2$，鸽笼原理迫使 $q\ge n$。）

引理 1.11. 若存在 $k$ 元 $q$-着色 $B$，则存在 $(k-1)$ 元 $2^q$-着色 $B'$。

证明. 令 $B'(a_1,\dots,a_{k-1})=\{\,i\in\{1,\dots,q\}:\exists a_k>a_{k-1},\,B(a_1,\dots,a_{k-1},a_k)=i\,\}$，是 $\{1,\dots,q\}$ 的子集，故 $B'$ 取值于 $2^{\{1,\dots,q\}}$（共 $2^q$ 个值，满足性质 1）。验证性质 2：若 $B'(a_1,\dots,a_{k-1})=B'(a_2,\dots,a_k)$，取 $q^*=B(a_1,\dots,a_k)\in B'(a_1,\dots,a_{k-1})$，则 $q^*\in B'(a_2,\dots,a_k)$，即存在 $a_{k+1}$ 使 $B(a_2,\dots,a_{k+1})=q^*=B(a_1,\dots,a_k)$，与 $B$ 是 $k$ 元着色矛盾。$\square$

2.2 合成证明

定理 1.7 的证明. 由观察 1.9 得 $k$ 元 3-着色，$k<\log^* n-3$。反复用引理 1.11： $3\text{-色}\xrightarrow{\ 2^{(\cdot)}\ }8\text{-色}\to2^8\text{-色}\to\cdots$ 每次指标 $k$ 减 1、颜色数变为 $2^{(\cdot)}$。$k<\log^* n-3$ 次迭代后到 1 元、颜色数 $<n$，与引理 1.10 矛盾。故算法不存在。$\square$

直觉： 颜色数的“塔状指数”增长恰好被 $\log^*$ 抵消——每轮算法只能把“塔”削掉一层，而把任意 ID 着 3 色需要的“塔高”是 $\log^* n$，于是至少 $\sim\tfrac12\log^* n$ 轮。

2.3 Ramsey 理论的替代证明

完全 $k$ 阶超图用 3 色染超边时，只要 $n\ge n_0$（其中 $k=O(\log^* n_0)$），必有大小 $k+1$ 的单色团，即存在 $a_1<\cdots<a_{k+1}$ 使 $\{a_1,\dots,a_k\}$ 与 $\{a_2,\dots,a_{k+1}\}$ 同色——直接违反性质 2。于是 Ramsey 定理排除了 $o(\log^* n)$ 轮的 3-着色算法。

2.4 推广到随机算法

不存在能在 $<\tfrac{\log^* n}{2}-3$ 轮内、以概率 $1-\tfrac{1}{2n}$ 给长度 $\le n$ 有向路径 3-着色的随机算法。

证明草图（去随机化）： 设有这样的随机算法 $R$，在 $\sqrt n\cdot n/n'$ 条长度 $\le n'=\log n$ 的路径上跑它；对每个 ID 排列，失败的随机串占比 $\le 1/2^{n'+1}$。对全部 $\le 2^{n'}$ 种排列做并集界，存在一个随机串对所有排列都不失败——把它固定下来即得一个确定性算法，与定理 1.7 矛盾。