对偶图(区域的染色变成了点的染色):在平面图每个面中取一个代表点,原来相邻的两个面的代表点之间用边相连接
G的对偶图不一定与G同构,如果同构,则称G是自对偶的。
G的对偶图 | G |
---|---|
对偶图的结点数 | 面数 |
对偶图的结边数 | 边数 |
对偶图的结面数 | 节点数 |
有了对偶图:Powell着色算法:
(1)对对偶图结点按度数的递减顺序排阶列;
(2)用第1种颜色对第1个结点着色,按排列次序,对与本轮已着色点不相邻的每个点着相同的颜色。
(3)用其他颜色重复(2)
图的点着色
给图的顶点着色,使得通过边链接的顶点颜色不同,最少的颜色个数称为“色数”
色多项式
t:颜色数目
p(G,t):色多项式的值是在图中顶点的不同着色方法数目
图 | 色多项式的表示 |
---|---|
K n K_n Kn | t ( t − 1 ) ( t − 2 ) … ( t − ( n − 1 ) ) t(t-1)(t-2)…(t-(n-1)) t(t−1)(t−2)…(t−(n−1)) |
有 n 个 顶 点 的 树 T n 有n个顶点的树T_n 有n个顶点的树Tn | t ( t − 1 ) n − 1 t(t-1)^{n-1} t(t−1)n−1 |
环 图 C n 环图C_n 环图Cn | ( t − 1 ) n + ( − 1 ) n ( t − 1 ) (t-1)^n+(-1)^n(t-1) (t−1)n+(−1)n(t−1) |
佩 特 森 图 佩特森图 佩特森图 | t ( t − 1 ) ( t − 2 ) ( t 7 − 12 t 6 + 76 t 5 − 230 t 4 + 529 t 3 − 814 t 2 + 775 t − 352 ) t(t-1)(t-2)(t^7-12t^6+76t^5-230t^4+529t^3-814t^2+775t-352) t(t−1)(t−2)(t7−12t6+76t5−230t4+529t3−814t2+775t−352) |