1中所有顶点均染上颜色1（这必定不会造成冲突）。其次，formula_67给其余顶点分配互异且非1的颜色。容易看出formula_67仅仅使用了formula_72种颜色，因此着色数必定不少于该数。
计算复杂性.求最大独立集是计算机科学中的重要问题，因为许多现实场景可以抽象成该问题。例如，人们希望组织一场会议，候选的某些演讲者之间或有嫌隙，不愿同时出席。可以将这种候选人之间敌意关系抽象成一张图，两个候选人间有边当且仅当二者不和。那么，最终的演讲者名单就应当是这张图的一个独立集。会议组