如果对于将顶点映射到种颜色的每个函数有一个颜色分配,从而对于所有顶点,,则图是可选择的(也称为 -list- colorable,这样,对于所有边,。ķ ˚F ķ Ç v Ç (v )∈ ˚F (v )v 瓦特Ç (v )≠ Ç (瓦特)
现在假设图不是可选择的。也就是说,存在从顶点到颜色的元组的函数,该函数没有有效的颜色分配。我想知道的是,总共需要多少种颜色?可以有多小?是否存在一个数字(与无关),这样可以保证我们找到仅使用不同颜色的不可着色的?ķ ˚F ķ Ç ∪ v ∈ ģ ˚F (v )Ñ (ķ )ģ ˚F Ñ (ķ )
与CS的相关性是,如果存在,我们可以在单指数时间内测试常数选择性(只需尝试f的所有\ binom {N(k)} {k} ^ n个选择,然后对于每个检查,检查它是否可以在时间k ^ nn ^ {O(1)}中着色),否则可能需要像n ^ {kn}这样更快地生长的东西。k k