每一步选择可用的最小颜色。上一步的估计保证总有可用颜色。每个禁配点对都会在给较晚端点染色时被检查，所以所得函数满足当 ∣x−y∣∈{5,7,12}|x-y|\in\{5,7,12\}∣x−y∣∈{5,7,12} 时 f(x)≠f(y)f(x)\ne f(y)f(x)=f(y)。因此 k≤4k\le4k≤4。