离散数学屈婉玲第九章

例
图同构的实例
(1)与(2), (3)与(4), (5)与(6)均不同构.
(1)
(2)
(3)
(4)
(5)
(6)
说明: 1. 图的同构关系具有自反性、对称性和传递性.
2. 判断两个图同构是个难题
12
图同构的实例
所有4阶3条边非同构的简单无向图 所有3阶2条边非同构的简单有向图
13
补图与自补图
定义9.6 设G=<V,E>为n阶无向简单图，令
推论 任何图 (无向或有向) 中，奇度顶点的个数是偶数. 证 由握手定理, 所有顶点的度数之和是偶数, 而偶度顶点的度 数之和是偶数, 故奇度顶点的度数之和也是偶数. 所以奇度顶 点的个数必是偶数．
9
握手定理应用
例1 无向图G有16条边，3个4度顶点，4个3度顶点，其余 均为2度顶点度，问G的阶数n为几？ 解 本题的关键是应用握手定理. 设除3度与4度顶点外，还有x个顶点, 由握手定理,
E ={(u,v) | uVvVuv(u,v)E}, 称 G =<V,E >为G的补图．
若G G 则称G是自补图．
例
(b)与(c)互为补图，(a)是自补图．
完全图与竞赛图
定义9.7 (1) n (n1) 阶无向完全图——每个顶点与其余顶点均相邻的
无向简单图，记作 Kn.
简单性质：m=n(n-1)/2, ==n-1
+=4, +=0, =3, =1, =5, =3.
8
握手定理
定理9.1 在任何无向图中, 所有顶点的度数之和等于边数的2倍. 证 G中每条边 (包括环) 均有两个端点，所以在计算G中各顶 点度数之和时，每条边均提供2度，m 条边共提供 2m 度.
定理9.2 在任何有向图中，所有顶点的度数之和等于边数的2倍; 所有顶点的入度之和等于所有顶点的出度之和, 都等于边数.
第三部分 图论
本部分主要内容 图的基本概念 树 欧拉图与哈密顿图 二部图与匹配 平面图 着色
1
第九章 图的基本概念
主要内容 图 通路与回路 图的连通性 图的矩阵表示 预备知识 多重集合——元素可以重复出现的集合 无序集——AB={(x,y) | xAyB}
2
14.1 图
定义9.1 无向图G = <V,E>, 其中 (1) V为非空有穷集, 称为顶点集，其元素称为顶点 (2) E为VV 的多重有穷集, 称为边集, 其元,E>为无向图,
G的最大度(G)=max{d(v) | vV} G的最小度 (G)=min{d(v) | vV}
设D=<V,E>为无向图,
D的最大度(D)=max{d(v) | vV} D的最小度 (D)=min{d(v) | vV} D的最大出度+(D)=max{d+(v) | vV} D的最小出度 +(D)=min{d+(v) | vV} D的最大入度(D)=max{d(v) | vV} D的最小入度 (D)=min{d(v) | vV}
称边
例 无向图G = <V,E>, 其中 V = {v1, v2, v3, v4, v5}, E = {(v1,v1), (v1,v2), (v2,v3), (v2,v3),
(v2,v5), (v1,v5), (v4,v5)}
有向图
定义9.2 有向图D=<V,E>,其中 (1) V 为非空有穷集, 称为顶点集，其元素称为顶点 (2) E为VV 的多重有穷集, 称为边集, 其元素称为有向边, 简
(2) n (n1)阶有向完全图——每对顶点之间均有两条方向相 反的有向边的有向简单图.
简单性质： m=n(n-1), ==2(n-1) +=+===n-1
称边
例 有向图D=<V,E>, 其中 V={a,b,c,d} E={<a,a>,<a,b>,<a,b>,<a,d>,
<d,c>,<c,d>,<c,b>}
注意：图的集合表示与图形表示之间的对应
4
相关概念
1. 无向图和有向图通称图. 记顶点集V(G), 边集E(G). 2. 图的阶, n阶图. 3. n 阶零图Nn, 平凡图N1. 4. 空图. 5. 标定图与非标定图. 6. 有向图的基图. 7. 无向图中顶点与边的关联及关联次数, 顶点与顶点、边与
悬挂顶点: 度数为1的顶点, 悬挂边: 与悬挂顶点关联的边. 偶度(奇度)顶点: 度数为偶数(奇数)的顶点
7
实例
d(v1)=4, d(v2)=4, d(v3)=2, d(v4)=1, d(v5)=3.
=4, =1.
v4是悬挂点, e7是悬挂边.
d+(a)=4, d(a)=1, d(a)=5, d+(b)=0, d(b)=3, d(b)=3, d+(c)=2, d(c)=1, d(c)=3, d+(d)=1, d(d)=2, d(d)=3,
定义9.4 设G=<V,E>为无向图, vV, 称v作为边的端点的次 数之和为v的度数, 简称度, 记作d(v).
设D=<V,E>为有向图, vV, 称v作为边的始点的次数之和 为v的出度, 记作d+(v); 称v作为边的终点的次数之和为v的入 度, 记作d(v); 称d+(v)+d(v)为v的度数, 记作d(v).
边的相邻关系. 8. 有向图中顶点与边的关联, 顶点与顶点、边与边的相邻关
系. 9. 环, 孤立点.
5
多重图与简单图
定义9.3 无向图中关联同一对顶点的2条和2条以上的边称为 平行边. 有向图中2条和2条以上始点、终点相同的边称为平 行边. 平行边的条数称为重数. 含平行边的图称为多重图, 不含平行边和环的图称为简单图.
162=32 = 34+43+2x 解得 x = 4, 阶数 n = 4+4+3=11.
定理9.3 设G为任意n阶无向简单图，则(G)n1．
10
图的同构
定义9.5 设G1=<V1,E1>, G2=<V2,E2>为两个无向图(两个有向 图)，若存在双射函数f:V1V2, 使得vi,vjV1,
(vi,vj)E1 当且仅当 (f(vi),f(vj))E2 （<vi,vj>E1 当且仅当 <f(vi),f(vj)>E2 ) 并且, (vi,vj)（<vi,vj>）与 (f(vi),f(vj))（<f(vi),f(vj)>）的重数相 同，则称G1与G2是同构的，记作G1G2.