集合论与图论第九章.ppt

? ? ? ? ? ? 定义9.3.4 设G=(V,E)是一个平面图,由G按如下方法构造一个图G*,G*称为G的对偶图; 3、如果某条边x仅在一 个面中出现而不是两个面的 公共边,则在G*中这个面对应 的顶点有一个环。 1、对G的每个面f对应地有G*的一个顶点f*; 2、对G的每条边e对应地有G*的一条边e*:G*的两个顶点f*与g*由边e*联结,当且仅当G中与顶点f*与g*对应的面f与g有公共边e。 9.3 库拉托斯基定理、对偶图 若G是一个有p个顶点和q条边及f个面的平面连通图,则G的对偶图G*也是一个平面图,如果G*的顶点数、边数和面数分别记为p*,q*和f*,则 p*=f,q*=q和f*=p, 由定义可直接得到p*=f,q*=q 只需证明f*=p 由图G与G*都是平面图 p*-q*+f*=2得f*=q*-p*+2=q-f+2 p-q+f=2,可得p=q-f+2 因此f*=p 9.3 库拉托斯基定理、对偶图 定理9.1.1(欧拉公式) 如果一个平面连通图有p个顶点、q条边、f个面，则：p-q+f=2 9.1 平面图及欧拉公式 推论9.1.4 若G是任一有p个顶点q条边的可平面图p≥3,则q≤3p-6,若G是2-连通的且没有三角形,则q≤2p-4 推论9.1.6 每个平面图G中顶点度的最小值不超过5,即?(G)≤5 第九章：平面图与图的着色 9.1 平面图及其欧拉公式 9.2 非哈密顿平面图 9.3 库拉托斯基定理、对偶图 9.4 图的顶点着色 9.5 图的边着色 9.4 图的顶点着色 K26 K6 9.4 图的顶点着色 定义9.4.1 图的一种(顶点)着色是指对图的每个顶点指定一种颜色,使得没有两个邻接的顶点有同一颜色。 若图G=(V,E)的顶点已着色，则着同一颜色的那些顶点之集称为G的一个色组； 同一色组内的各顶点不邻接，这样的顶点集合称为G的一个顶点独立集； 如果G有一个n着色,则G的顶点集V被这种n着色划分为n个色组。 图G的一个n着色是用n种颜色对G的顶点着色； 定义9.4.2 图G的色数是使G为n—着色的数的最小值,图G的色数记为?(G),?(G)?n,则称G是n—可着色的，若?(G)=n,则称G是n色的。 ?(Kp)=p, ?(Kpc)=1, ?(Km,n)=2, 若G是偶数个顶点圈C2n,则?(C2n)=2, 若G是奇数个顶点圈C2n+1,则?(C2n+1)=3。 9.4 图的顶点着色 定理9.4.1 一个图是可双色的当且仅当它没有奇数长的圈。 一个图是可双色的当且仅当是偶图。 偶图的充分必要条件是它的圈的长度都是偶数。 9.4 图的顶点着色 定理9.4.2 设?=?(G)为图G的顶点度的最大值,则G是(?+1)—可着色的. [证] 对顶点数p用归纳法 当p=1成立, 假设对顶点数为p-1的图定理成立,今设G是一个有p个顶点的图, 从G中去掉一个顶点v,则G-v有p-1个顶点, ?(G-v)≤?(G) 由归纳假设G-v是(?+1)—可着色的, 但在G中与v邻接的顶点最多有?个,与v邻接的顶点最多用去?种颜色,剩下一种给顶点v着色即可。 9.4 图的顶点着色 定理9.4.3 如果G是一个连通图且不是完全图也不是奇数长的圈,则G是?(G)—可着色的。 9.4 图的顶点着色 定理9.4.4 每个平面图都是6可着色的 [证] 如果顶点数小于7,显然是6—可着色的; 对平面图的顶点数p用归纳法; 设G是一个有p个顶点的平面图; 假设对p-1个顶点的平面图是6—可着色的,只需证对有p个顶点的平面图也是6—可着色的即可; 由推论9.1.6知G有顶点v,degv≤5, G-v是一个p-1个顶点的平面图, 9.4 图的顶点着色 由归纳假设,G-v是6—可着色的,与v邻接的顶点至多5个,所以与v邻接的顶点着色时至多用了5种色, 用另一种未用的颜色对v着色即得G的一个6—着色,因此,G是6可着色的。 9.4 图的顶点着色 定理9.4.5 每个可平面图是5—可着色的 [证]对可平面图的顶点数进行归纳证明； 当p≤5时,定理显然成立； 假设对一切有p个顶点的可平面图都是5—可着色的,需证对一切有p+1个顶点的可平面图也是5—可着色的； 设G是一个有p+1个顶点可平面图,由推论9.1.6知G中有一个顶点v使degv≤5,于是,G-v是一个有p个顶点的可平面图,由归纳假设,G-v是5可着色的； 9.4