前言:参考教材:《集合论与图论》第三版 屈婉玲,刘捍贫,刘田
第12章 图的着色
12.1 点着色
着色:对无环图G顶点的一种着色,是指对它的每个顶点涂上一种颜色,使得相邻的顶点涂不同的颜色;如果G是k-可着色的,则称对G进行了k-着色,如果G是k-可着色的,但不是(k-1)可着色的,则称G为k-色图,则称k为G的色数,记为χ(G)=k
Theorem:χ(K_n)=n,奇圈和奇数阶轮图都是三色图;偶圈和偶数阶轮图都是二部图;χ(G)=2当且仅当G为非零二部图(应用:如果一个图中含有这些图作为子图,则这个图的色数必定大于这些图的色数)
Theorem:χ(G)≤Δ(G)+1(Δ为最大度)
Theorem(Brooks):如果G不是完全图也不是奇圈,则χ(G)≤Δ(G)
12.2 色多项式
色多项式:记f(G,k)为图G的k-着色的总数量,其为关于k的一个多项式;若k<χ(G),则显然有f(G,k)=0,因此χ(G)是使得色多项式的值