颜色。这个算法并不能保证得到最小的着色数，但是它给出了图"G"色数formula_6的一个上界，即formula_7。根据布鲁克定理，不等式formula_7取等当且仅当"G"为完全图或奇环。
定理的证明思路.我们给出洛瓦兹·拉兹洛的一个证明。当"G"为完全图时，formula_9，formula_10，当"G"为奇环时，formula_11，formula_12，均满足formula_13。下面我们证明，当"G"不是完全图或奇环时，formula_14。设k=Δ(G)