第6章—一些特殊的图综述.ppt

第6章 一些特殊的图 内容导读: 二部图 欧拉图 哈密顿图 平面图 难点:各种图的判别定理 2017-4-10离散数学 1 2017-4-10离散数学 2 (1) (2) 设无向图 G = V, E 有两个V的子集V1,V2, 它们具有满足： V1∪V2= V V1∩V2= ? 图G中的每一边 e 均具有 e = ( vi , vj ) 其中： vi ∈ V1 , vj∈ V2 则称G是一个二部图， 2017-4-10离散数学 3 定义6.1 若一个图G的结点集V能划分为两个子集V1和V2，使得G的每一条边{vi,vj}满足vi∈V1, vj∈V2 , 则称G是一个二部图， V1和V2称为G的互补结点子集。此时可将G记成 G = V1,V2, E 若V1中任一结点与V2中每一结点均有边相连接, 则称二部图为完全二部图。若|V1|=n, |V2 |=m 则记完全二部图G为Kn, m。 (1) (2) K2,3 K3,3 2017-4-10离散数学 4 (1) (2) 例 6.1 判断下列图是否是二部图？ v1 v3 v5 v2 v4 v6 v1 v4 v8 v5 v2 v3 v6 v7 v1 v2 v3 v4 v5 (3) 在图 (1) 中, V1={v1, v3, v5}, V2={v2, v4, v6}, 是一个完全二部图。在图 (2) 中, V1={v1, v4, v8, v5}, V2={v2, v3, v7, v6}, 是一个二部图。在图 (3) 中, 对于其中的顶点无法将它们分到两个不同的子集V1和 V2,使其边能满足二部图的定义, 所以它不是二部图。 二部图是不是 一定是连通图? 2017-4-10离散数学 5 (4) (5) 定理6.1 一个无向图 G = V, E 是二部图当且仅当G中无奇数长度的回路。 下图所示前3个图中, 均无奇数长度的回路, 所以它们都是二部图, 其中图(2)所示为K2, 3, 图(3)所示为K3, 3, 它们分别与图(4)和(5)同构。 (1) (2) (3) 2017-4-10离散数学 6 (1) (2) e1 e2 e3 e4 e5 e6 e7 e1 e2 e3 e4 e5 e6 e7 在图(1)中，{e1}, {e1, e7 }, {e5}, {e4 , e6 }等都是图中的匹配。在图(2)中找出匹配。 定义6.2 设 G = V, E 为无向图, E*?E, 若E*中任意两条边均不相邻, 则子集E*称为G中的匹配(或边独立集), 并把E*中的边所关联的两个结点称为在E*下是匹配的。 2017-4-10离散数学 7 (1) (2) e1 e2 e3 e4 e5 e6 e7 e1 e2 e3 e4 e5 e6 e7 在图(1)中, {e5}, {e1, e7 }, {e4 , e6 } {e3, e7 }, {e2, e6 }是极大匹配，后4个是最大匹配，匹配数?1 =2。 若在E*中再加入任何一条边就都不是匹配了, 则称E*为极大匹配。边数最多的极大匹配称为最大匹配，最大匹配中的元素(边)的个数称为G的匹配数，记为?1(G), 简记为?1 。 2017-4-10离散数学 8 (2) e1 e2 e3 e4 e5 e6 e7 在图(2)中, {e2, e5 }, {e3 , e6 },{e1 , e7 , e4 }都是极大匹配, 其中{e1, e7, e4 }是最大匹配。 2017-4-10离散数学 9 (1) (2) e1 e2 e3 e4 e5 e6 e7 e1 e2 e3 e4 e5 e6 e7 在图(1)中不存在完美匹配。在图(2)中, {e1, e7, e4 }是最大匹配，同时也是完美匹配。 今后常用M表示匹配，设M为G中一个匹配，v?V(G), 若存在M中的边与v关联，则称v为M饱和点，否则v为M非饱和点，若G中每个顶点都是饱和点，则称M为G中完美匹配。 2017-4-10离散数学 10 v1 v2 v3 v4 v5 v6 v7 v8 v9 v1 v2 v3 v4 v5 v6 v7 v8 (2) (1) 在图(1)中的一个最大匹配是 M={(v1, v2), (v3, v9), (v5, v6), (v7, v8)} 在图(2)中的一个完美匹配是 M={(v1, v2), (v3, v4), (v5