图论-07

07-图的着色 注：所写主要参考为许胤龙《图论导引》，因觉得此书所写不合理，故附参考张先迪《图论及其应用》

顶点着色

• k-顶点着色：把$k$个颜色分配给图$G$的顶点，每个顶点分配一种颜色，称为k-顶点着色
• 正常k-顶点着色：若相邻顶点颜色不同，则为正常k-顶点着色，此时称$G$为可k-顶点着色的。
• 顶点色数：使图G可正常顶点着色的最少颜色数k，为图G的顶点色数，简称色数，记为$X(G)$
  • 正常k-顶点着色是顶点集合的一个划分。
  • $X(G)=2$ 当且仅当它是有边二分图
  • 若图H是图G的子图，则$X(H)\le X(G)$
• 定理：对任何图$G$，$X(G)\le \Delta (G)+1$
• Brooks定理：设$G$是简单连通图，假设$G$不是完全图也不是奇圈，则$X(G)\le \Delta (G)$
• 定理：若$G$是非空简单图，若$G$中度数最大的点互不相邻，则$X(G)\le \Delta (G)$
• 着色算法：
  • 输入：图$G=(V,E)$，着色函数$\pi$，色集 C = { 1 , 2 , ⋯   , Δ + 1 } C=\{1,2,\cdots,\Delta+1\} C={1,2,⋯,Δ+1}
  • 输出：着色后的图
  • 初始化：令$\pi (v_1)=1,i=1$
  • 着色： C ( v i + 1 ) = { π ( v j ) ∣ j ≤ i ， 并 且 v j 与 v i + 1 相 邻 } C(v_{i+1})=\{\pi(v_j)|j\leq i，并且v_j与v_{i+1}相邻\} C(vi+1​)={π(vj​)∣j≤i，并且vj​与vi+1​相邻}，设$k$为KaTeX parse error: Undefined control sequence: \C at position 2: C\̲C̲(v_{i+1})中最小的正整数，令$\pi (v_{i+1})$,而后$i=i+1$循环此步，直至$i=n$停止

---

边着色

• k-边着色：把k个颜色分配给图$G$的边，每个边分配一种颜色，称为k-边着色
• 正常k-边着色：若相邻边颜色不同，则为正常k-边着色，此时称$G$为可k-边着色的。
• 边色数：使图$G$可正常顶点着色的最少颜色数$k$，为图$G$的边色数，记为$X^{\prime }(G)$
  • 正常k-边着色是边集合的一个划分，划分后每一个集合都是一个$G$的一个匹配。
• 引理：若连通图$G$不是奇圈，则存在一种2-边着色，使得所用的两种颜色在每个度数大于等于2的顶点处都出现。
• 改进：设$C$和$C^{\prime }$是图$G$的两种k-边着色，如果${\sum }_{v\in V(G)}c(v)<{\sum }_{v\in V(G)}{c}^{\prime }(v)$，则称k-边着色$C^{\prime }$是对$C$的一个改进
• 最佳k-边着色：不能再改进的k-边着色称为最佳k-边着色
• 引理：设$C=(E_1,E_2,\cdots ,E_k)$是图$G$的一个最佳k-边着色。如果存在一个顶点$v_0$和两种颜色$i$与$j$，使得$i$色不在$v_0$关联的边中出现，但$j$色在$v_0$关联的边中至少出现两次，则边导出子图$G[E_i,E_j]$中含$v_0$的连通片是一个奇圈
• 定理：若$G$是二分图，则$X^{\prime }(G)=\Delta (G)$
• 定理：若$G$是简单图，则$X^{\prime }(G)=\Delta (G)$或$\Delta (G)+1$
  • 设$G$是$\Delta (G)>0$的简单图，若$G$中恰有一个度为$\Delta (G)$的点，或$G$中恰有两个度为$\Delta (G)$的点并且这两个点相邻，则$X^{\prime }(G)=\Delta (G)$
  • 设图$G=(V,E)$是简单图，若点数$n=2k+1$且边数$m>k\Delta$，则$X^{\prime }(G)=\Delta (G)+1$
• Vizing定理：设无环图$G$中边的最大重数为$\mu$，则$X^{\prime }(G)\le \Delta (G)+\mu$
• 课表问题
  • 引理：设$M$和$N$是图$G$中两个无公共边匹配，且$|M|>|N|$，则存在$G$中两个无公共边的匹配$M^{\prime }$和$N^{\prime }$，使得$|M^{\prime }|=|M|-1,|N^{\prime }|=|N|-1,M^{\prime }\cup N^{\prime }=M\cup N$
  • 定理：设$G$是二分图，$ϵ=|E(G)|,\Delta \le p$，则存在$G$的$p$个不相交匹配$M_1,M_2,\cdots ,M_p$，使得$E(G)={\cup }_{i=1}^p{M}_i$，且对$1\le i\le p$，$└\frac{ϵ}{p}┘\le |M_i|\le ┌\frac{ϵ}{p}┐$

---

平面着色

• 正常面着色：对其一个平面嵌入$G^{\prime }$的每个面着一种颜色，使得相邻的两个面着不同的颜色。
• 可k-面着色的：若能用$k$种颜色给$G^{\prime }$的面正常着色，就称$G$是可k-面着色的
• 面色数：若G是可k-面着色的，但不是可(k-1)-面着色的，则称$G$的面色数为$k$,记$X_{\ast }(G)=k$。
• 定理：设$G^{\ast }$是连通平面图$G$的对偶图，$n^{\ast },m^{\ast },{\varphi }^{\ast }$和$n,m,\varphi$分别是$G^{\ast }$和$G$的顶点数、边数和面数，则
  • $n^{\ast }=\varphi ,m^{\ast }=m,{\varphi }^{\ast }=n$
  • 设$G^{\ast }$的顶点$f^{\ast }$与$G^{\prime }$的面$f$对应，则$de{g}_{G^{\ast }}(f^{\ast })=de{g}_G(f)$
• 定理：设$G$是连通的无环平面图，则$G$是可k-面着色的，当且仅当它的对偶图$G^{\ast }$是可k-顶点着色的

---

补充

• 临界图：若G的任意真子图H均有X(H) < X(G)，则称G是临界图。
• 定理：临界图有下列性质
  • $k$色图均有$k$临界子图
  • 每个临界图均为简单连通图
  • 若$G$是$k$临界图，则$\delta \ge k-1$
    • 推论：每个k-顶点色图都最少有$k$个度不小于$k-1$的顶点。
• 惟一可着色图：设简单图$G=(V,E)$是$k$色标定图。若对$G$的所有$k$着色导出的关于$V$的划分均相同，则称$G$为惟一k可着色图，简称惟一可着色图
• 定理：设$G$是惟一$k$可着色图，$k\ge 2$，则
  • $\delta \ge k-1$
  • 在$G$的任一$k$着色中，$G$的任意两个色组的并导出的子图是连通的
• 定理：每个惟一$n(n\ge 2)$可着色图都是$(n-1)$连通的
• 定理：每个惟一4可着色平面图都是极大可平面图
• $P_k(G)$：表示图$G$的k着色数目，即正常着色的方式数
  • $P_k(K_n)=k(k-1)\cdots (k-n+1)$
  • 若图$G$含有$n$个孤立点，则$P_k(G)=k^n{P}_k(G^{\prime })$，其中$G^{\prime }$是$G$去掉$n$个孤立点的图
• 定理：若$G$是简单图，则对$G$的任意边$e$，有$P_k(G)=P_k(G-e)-P_k(G\cdot e)$
  • 推论：设$e=uv$是图$G$的一条边，并且$d(u)=1$，则$P_k(G)=(k-1)P_k(G-u)$
• 色多项式：对给定的图$G$，$P_k(G)$是一个关于$k$的多项式，称为色多项式