电子科大图论课件——第7篇.pptVIP

表明 ，而 表明 v 不与M中任意点邻接，于是由M的定义知 。这又与 （因 ) 矛盾，所以（2.2）式成立。 由定理4，G’存在一个正常 着色。因M是独立集，故此着色可扩充为G的 +1正常着色，这表明 删去M后度仍相等 (2.2) 推论 设G是非空简单图，若G中度数最大的点互不相邻，则 证明 在推论的条件下由Δ2的定义可知此时有Δ2＜Δ，再由定理6可得 定理7 对任意的平面图，均有 c ≤5。 证明 设G是平面图，对点数n用归纳法。 当 n =1时，显然 c ≤5。 设 n = k 时，结论成立。 设G是n = k+1的平面图。由§6.1的定理5，G中存在度小于等于5的顶点u。令H =G-u。由归纳法假设 c (H)≤5,从而存在H 的5-着色π。若d(u)5，则与u 相邻的点的着色最多用到4 种色，从而可将π扩充为G的5-着色。 下设d(u) = 5，邻集 N(u) = {x1, x2, …，x5}。u与N(u) 的一个平面表示如下图所示。令H(i,j) 为H中着i 色和着j 色的点导出的子图。 x4 x3 1 3 3 u x2 x5 x1 3 1 1 H(1,3) 情况1 N(u)中存在两个点 xi 与 xj 有 π(xi) = π(xj) 此时π显然可扩充为G 的5-着色。 情况2 N(u)中的点均着不同色，不妨设π(xi) = i，i =1, 2, 3, 4, 5。 若x1与x3分属于H(1,3) 的不同分支，则可通过在含x3的分支中交换颜色1和3，而得到H的另一个5-着色。此时x1与x3均着1色，情况2转变为情况1。 下设x1与x3属于H(1,3) 的同一分支。此时H中存在以x1为起点x3为终点的路P(1,3)（如图中虚线所示），从而ux1P(1,3)x3u是H中的一个圈。设此圈为C， 此时若x2与x4属于H(2,4)的同一分支，则H中也应存在以x2为起点x4为终点的路P(2,4)。但因x2在C内，x4在C外，故P(2,4)必与C相交，（如图所示）。所以x2与x4必属于H(2,4)的不同一分支。这与x1和x3属于H(1,3)的不同分支情况类似，我们也可得到H的另一个5-着色。 x4 x3 1 3 3 u x2 x5 x1 3 1 1 终上， 我们已证得 c≤5。 §7.5 着色的计数，色多项式 一．色多项式的概念与求法 假定与记号 (1) 假定着色是正常的; (2) 假定所给图是标号图，即图中若某特定点着不同 色，则视为不同的着色法。 (3) 用Pk (G)表示图G的k-着色数目. 由c (G)及Pk(G)的定义，有 1. 若kc (G)，则Pk (G) = 0 ；c (G) = min{k∣Pk (G)≥1}。 2． 若G为n阶空图，则Pk(G) = kn。 3. Pk(Kn) = k(k-1)…(k-n+1)。 4. 若图G含有n个孤立点，则Pk (G)＝kn Pk (G’)，其中 G’是G去掉n个孤立点后所得的图。 5．若图G有环或有重边，则去掉环并将重边用单边 代替之后所得图的k-着色数目与原图一样。 记号G●e表示G中删去边e再重合e的端点后所得的图. 定理17 若G是简单图，则对G的任意边e，有 Pk (G)＝Pk (G-e) - Pk (G●e) 证明 设e =uv。G-e的所有k-着色可分为两类。 一类为u与v着不同色的k-着色，此类着色相当于G的着色，其数目有Pk (G)个；另一类为u与v着同色的k-着色，此类着色相当于 G●e 的着色，其数目有Pk(G●e)个。