边色数
正常k边着色:无环图G的一个k边着色C是指k种颜色1,2,⋯,k对于G的各边的一个分配。若没有相邻的两条边有着相同的颜色,则称着色是正常的。
k边可着色:若G有正常的k边着色,则称G是k边可着色的。 若G是k边可着色的,则对于每个l>k,G亦是l边可着色的。
边色数:无环图G的边色数χ' (G)是指G为k边可着色的那些最小的k值。若χ' (G)=k,则称G是k边色的。
显然:在正常着色中,χ'≥Δ
引理7.1:设G为不是奇圈的连通图,则G有一个2边着色,它的两种颜色在度至少为2的每个顶点上都表现。
着色的改进:给定G的k边着色C后,我们用c(v)表示在v上表现的不同颜色的数目,显然恒有c(v)≤d(v) 。当另一个着色比这个着色用的颜色多就叫着色的改进
引理7.2:设C=(E_1,E_2,⋯,E_k)是G的一个最优k边着色。若存在G中的一个顶点u和颜色i及j,使得i不在u上表现,而j在u上至少表现两次,则G[E_i∪E_j]中包含u的那个分支是奇圈。
定理7.3:若G是偶图,则χ'=Δ。
Vizing定理 定理7.4:若G是简单图,则χ'=Δ或χ'=Δ+1