培训离散数学7.4-6.pptVIP

09:53:08 离散数学 * 2．平面区域与图的面 定义 设G是一个连通的平面图，由图中的边所包围的其内部不包含图的结点和边的区域，称为G的一个面，常常把面记为“r”；包围该面的诸边所构成的回路称为这个面的边界，面r的边界的长度称为该面的次数，记为D(r)。 一般来说，如果一个面的面积是有限的，则称该面为有限面，否则称该面为无限面(不受边界限制)。 一个平面图有且仅有一个无限面。 09:53:08 离散数学 * 例 如下图所示，该图中有六个结点，九条边.此平面 图中有几个面？各个面的次数为多少？ 09:53:08 离散数学 * 欧拉公式 欧拉定理设G＝V,E是一个连通的平面图。 若它有n个结点、m条边、r个面，则有： n-m+r＝2 (平面图的欧拉公式)。 09:53:08 离散数学 * 证明 1)、对边m进行归纳。 1．当m＝1时，则仅有下面两种连通的平面图： (a) (b) 对情况(a)，有:m＝1，n＝2，r＝1，所以有:n-m+r＝2；对情况(b)，有:m＝1，n＝1，r＝2，所以有:n-m+r＝2； 2．设m＝k-1时成立，即有：nk-1-mk-1+rk-1＝2；(其中：nk-1、rk-1分别为对应的结点数和面数，mk-1＝k-1。) 3．当m＝k时，此时可将其看成是在k-1条边的连通平面图上增加一条边，使她仍为连通平面图，此时有两种增加方法： 09:53:08 离散数学 * 证明(续1) (a)、加一个新的结点v，使得结点v与图中的某一点 vj相连，此时有： nk＝nk-1+1； mk＝mk-1+1； rk＝rk-1。 所以有： nk-mk+rk＝(nk-1+1)-(mk-1+1)+rk-1＝2。 (b)、若增加的一条边是连接的图中的两个结点vi, vj，此时有： nk＝nk-1；mk＝mk-1+1；rk＝rk-1+1。 所以有： nk-mk+rk＝nk-1-(mk-1+1)+(rk-1+1)＝2。 右图给出了上述两种情况。 09:53:08 离散数学 * 证明(续2) 所以，当m＝k时，仍然成立。 由数学归纳法知：对任意一个(n，m)连通平面图，都有：n-m+r＝2。  09:53:08 离散数学 * 定理 定理：一个有限平面图，面的次数之和等于 其边数的两倍。 定理：设G是一个有v个节点e条边的连通简 单平面图，若v 3，则e ?3v-6。 例：证明图K5，K3,3是非平面图。 ● ● ● ● ● ● 09:53:08 离散数学 * 库拉托夫斯基定理 在一个无向图G的边上,插入一个新度数为2的结 点，使一条边分成两条边，或者对于关联于一个 度数为2的结点的两条边,去掉这个结点，使两条 边化成一条边，这些都不会影响图的平面性。如 下图(1)、(2)所示。 09:53:08 离散数学 * 库拉托夫斯基定理 定义 给定两个图G1和G2，如果他们是同构的，或者通过反复插入或除去度数为2的结点后，使G1与G2同构，则称该两图是在2度结点内同构的。 定理 (库拉托夫斯基定理) 一个平面图，当且仅当它不包含与K3,3或K5在2度结点内同构的子图。 K3,3和K5(如图所示)常称为库拉托夫斯基图 09:53:08 离散数学 * 例 利用定理来判断下列彼得森图(a)是一个非平面图。 v10 v6 v7 v1 v9 v8 v5 v2 v3 v4 v10 v4 v3 v7 v9 v8 v1 v5 v6 v2 ● ● ● ● 09:53:08 离散数学 * 7-6对偶图与着色 定义 给定平面图G＝〈V，E〉，它有面F1，F2，…，Fn，若有图G*＝〈V*，E*〉满足下述条件： ⑴对于图G的任一个面Fi，内部有且仅有一个结点fi*∈V*。 ⑵对于图G的面Fi，Fj的公共边ek，存在且仅存在一条边ek*∈E*，使ek*＝(fi*，fj*)，且ek*和ek相交。 ⑶当且仅当ek只是一个面Fi的边界时，fi*存在一个环ek*和ek相交，则图G*是图G的对偶图。 从这个定义看出，G*是G的对偶图，则G也是G*的对偶图。一个连通平面图的对偶图也必是平面图。 09:53:08 离散数学 * 对偶图 例 09:53:08 离散数学 * 对偶图的性质 由偶图的定义可知： 偶图G*的节点数n*=G的 偶图G*的边数=G的 dG*(f*)= 对G的任意面f (dG*(f*)表示图G*中顶点f*的度数) 定义 如果图G的对偶图G*同构于G，则称G 是自对偶的。 09:53:08 离散数学 * 对偶图与着色 图G的正常着色(或简称为着色)是指对它的每一个结点指定一种颜色，使得没有两个相邻的结点有同一种颜色。如果图G在着色