chap1 平面图.ppt

* 离散数学 * 至少有4个顶点的度不超过5 证明：设G的顶点集V = {v1 , v2 , … , vp}。 若最多只有三个顶点的度不超过5，即对 i = 1, 2, …, p –3，均有d(vi) ? 6，则由性质④， 对i = p–2 , p–1, p，有d(vi) ? ?(G) ? 3。 于是，6p –21= 2q –9 ？ 因为由性质①，q = 3p – 6 ，于是 6p – 12 = 2q ? 2q – ?d( vj ) (这里j = p–2, p-1, p) = ?d(vi ) (这里i =1, 2, …, p –3) ? 6(p –3) = 6p –18 . 此为矛盾，故结论成立。 * 离散数学 * §13.3 可平面性判定 * 离散数学 * 剖分图 定义13.3.1：设G是一个图，e = uv ∈ E(G)，在G –uv中增加一个新点w及边wu , wv .称此过程为对图G的一次剖分运算。如果H是由G经过有限次剖分运算得到的，则称H是G的剖分图。 直观地说，剖分就是在图的某边上加个顶点。 右边就是K4的剖分。 * 离散数学 * 可平面图的充要条件 定理13.3.1 (Kuratowski定理) 一个图是可平面图的充分必要条件是它不包含K5或K3,3的剖分图. 该定理亦可描述为：一个图是可平面的当且仅当它没有一个可以收缩到K5或K3,3的子图。 * 离散数学 * Petersen图的收缩和剖分 Petersen图 例如：Petersen图不是可平面图，因为它含有K3,3的剖分。 Petersen图含有K3,3的剖分 Petersen图 收缩为K5 它也可以收缩为K5。 * 离散数学 * §13.4 平面图的面着色 * 离散数学 * 给平面图着色 对简单图G(p, q)只考虑顶点和边，其着色也只有点着色和边着色。 对简单平面图G (p, q, r)则还需要考虑面，其着色还有相应的面着色。 平面图着色的一个直接的重要的应用:地图着色 。 用颜色来区分地图中的区域，最少需要多少种颜色呢？这就是著名的四色问题。 * 离散数学 * 面的邻接 定义13.4.1：设 f1 和 f2是平面图G的两个面。若 f1 和 f2的边界至少有一条公共边，则称f1与 f2是邻接的，否则称 f1与 f2不邻接。 三种邻接： ⑴点邻接：两个顶点有边相关联； ⑵边邻接：两条边有共同的端点； ⑶面邻接：两个面有共同的边。 * 离散数学 * 有公共顶点的面不是邻接的面 注意：两个面如果在边界上只有一个或有限个公共点，则它们是不邻接的。如下左图中的面A与E , A与C , A与D都不是邻接的面。下右图中的面A与C，B与D也都不是邻接的面 A B C D E F A B C D * 离散数学 * 面着色 定义13.4.2：设G是平面图，S = {1, 2, …, k}，k?1。若存在面集R(G)到S的满射r，则称r为G的k面着色，S为面色集。若对G中任意两个邻接面 f1和 f2 ，均有r(f1)≠r(f2)，则称r是正常k面着色，并称G是k面可着色的。图G 的正常k面可着色中最小的k称为G的面色数，记为?*(G) 。 对比：色数?(G) ：最小正常k(顶点)着色； 边色数?’(G) ：最小正常k边着色； 面色数?*(G) ：最小正常k面着色。 * 离散数学 * 对偶图 如果把每个面看作一个顶点，若两个面的边界有一条公共边，则看作两个顶点之间有一条边关联。这样就可以把一个平面图G中面与面之间邻接关系描述为另一个图G*中顶点与顶点之间的邻接关系。 这样对一个平面图G进行转换，所得到的图G*称为图G的对偶图 于是可将对平面图G的面着色转换为对其对偶图G*的点着色问题。 * 离散数学 * 对偶图的构造 对偶图的构造：在G的每个面内放一个顶点 f*，这些顶点就构成了G*的顶点集V(G*)。 若G的两个面 f 和g有一条公共边e， 则画一条以 f*和 g*为端点的边e*， e*仅穿过e一次，对于G中仅属于一个面的割边e，则画一条以 f*为端点的环，穿过e一次。 如果一个图的对偶图就是它自己，则称为自对偶图。 * 离散数学 * 对偶图的举例 ? ? 自对偶图 * 离散数学 * G与G*的关系 对任何一个平面图G，G*是唯一确定的： p(G*) = r(G) , q(G*) = q(G) ; G*中的顶点 f* 和 g* 邻接当且仅当G中与 f* 和 g*对应的两个面 f 和 g 邻接； G*有多重边当且仅当G的某两个面至少有两条公共边； G*有环当且