07 第十四章 图的基本概念

离散数学与组合数学汇总

主要内容

• 图
• 通路与回路
• 图的连通性
• 图的矩阵表示
• 图的运算

一 图

定义14.1 无向图 G = <V,E>, 其中
(1) V ≠ Ø为顶点集，元素称为顶点
(2) E为V&V 的多重集，其元素称为无向边，简称边

定义14.2 有向图 D=<V,E>, 只需注意E是V×V 的多重子集
图2表示的是一个有向图，试写出它的V 和 E

注意：图的数学定义与图形表示，在同构（待叙）的意义下
是一一对应的

1 相关概念

• 1、 图

   ① 可用G泛指图（无向的或有向的）
   ② V(G), E(G), V(D), E(D)
   ③ n阶图
  

• 2、 有限图

• 3、 n 阶零图与平凡图

• 4、 空图——Ø

• 5、 用 e_k 表示无向边或有向边

• 6、 顶点与边的关联关系
  ① 关联、关联次数
  ② 环
  ③ 孤立点

• 7、 顶点之间的相邻与邻接关系

• 8、 邻域与关联集
  ① vV(G) (G为无向图)
  

  ② vV(D) (D为有向图)
  

• 9、 标定图与非标定图

• 10、 基图

多重图与简单图

定义14.3
(1) 无向图中的平行边及重数
(2) 有向图中的平行边及重数（注意方向性）
(3) 多重图
(4) 简单图
在定义14.3中定义的简单图是极其重要的概念

顶点的度数

定义14.4
(1) 设G=<V,E>为无向图, ∀v∈ V, d(v)——v的度数, 简称度
(2) 设D=<V,E>为有向图, ∀v∈ V,
d+(v)——v的出度
d-(v)——v的入度
d(v)——v的度或度数
(3) △(G), δ(G)
(4)△+(D), δ+(D), △-(D), δ-(D), △(D), δ(D)
(5) 奇顶点度与偶度顶点

握手定理

握手定理推论

图的同构

n 阶完全图与竞赛图

子图

定义14.8 G=<V,E>, G’=<V’,E’>
(1) G’⊆G —— G’为G的子图，G为G’的母图
(2) 若G’⊆G且V’=V，则称G’为G的生成子图
(3) 若V’⊂V或E’⊂E，称G’为G的真子图
(4) V’（V’⊂V且V‘≠Ø）的导出子图，记作G[V’]
(5) E’（E’⊂E且E’≠ Ø）的导出子图，记作G[E’]

补图

二 通路与回路

定理14.5 在n 阶图G中，若从顶点vi 到vj（vi≠ vj）存在通路，
则从v_i 到 v_j 存在长度小于或等于n-1 的通路.
推论 在 n 阶图G中，若从顶点v_i 到 v_j（vi≠ vj）存在通路，则
从v_i 到v_j 存在长度小于或等于n-1的初级通路（路径）.
定理14.6 在一个n 阶图G中，若存在 v_i 到自身的回路，则一
定存在v_i 到自身长度小于或等于 n 的回路.
推论 在一个n 阶图G中，若存在 v_i 到自身的简单回路，则一
定存在长度小于或等于n 的初级回路.

三 图的连通性

无向图的连通性
(1) 顶点之间的连通关系：G=<V,E>为无向图
① 若 vi 与 vj 之间有通路，则 v_i ~ v_j
② ~是V上的等价关系 R={<u,v>| u,v ∈V且u ~v}
(2) G的连通性与连通分支
① 若∀u,v∈V，u~v，则称G连通
② V/R={V₁,V₂,…,V_k}，称G[V₁], G[V₂], …,G[V_k]为连通分
支，其个数 p(G)=k (k≥1)；
k=1，G连通
(3) 短程线与距离
① u与v之间的短程线：u～v，u与v之间长度最短的通路
② u与v之间的距离：d(u,v)——短程线的长度
③ d(u,v)的性质：
d(u,v)≥0, u≁v时d(u,v)=∞
d(u,v)=d(v,u)
d(u,v)+d(v,w)≥d(u,w)

无向图的连通度

1. 删除顶点及删除边
   G-v ——从G中将v及关联的边去掉
   G-V’——从G中删除V‘中所有的顶点
   G-e ——将e从G中去掉
   G-E‘——删除E‘中所有边
2. 点割集与边割集
   点割集与割点
   定义14.16 G=<V,E>, V‘⊂ V
   V‘为点割集——p(G-V‘)>p(G)且有极小性
   v为割点——{v}为点割集
   定义14.17 G=<V,E>, E‘ ⊆E
   E‘是边割集——p(G-E‘)>p(G)且有极小性
   e是割边（桥）——{e}为边割集

有向图的连通性

定义14.20 D=<V,E>为有向图
v_i → v_j（v_i 可达 v_j）——v_i 到v_j 有通路
v_i ↔ v_j（v_i 与v_j 相互可达）
性质
→ 具有自反性(v_i →v_i)、传递性
↔ 具有自反性、对称性、传递性
v_i 到v_j 的短程线与距离
类似于无向图中，只需注意距离表示法的不同
(无向图中d(v_i,v_j)，有向图中d<v_i,v_j>) 及 d<v_i,v_j>无对称性

定义14.22 D=<V,E>为有向图
D弱连通(连通)——基图为无向连通图
D单向连通—— ∀v _i,v_j∈V，v_i→v_j 或 v_j→v_i
D强连通——∀v_i,v_j∈V，v_i↔v_j
易知，强连通⇒单向连通⇒弱连通
判别法
定理14.8 D强连通当且仅当D中存在经过每个顶点至少一次
的回路
定理14.9 D单向连通当且仅当D中存在经过每个顶点至少一
次的通路

扩大路径法

二部图

定义14.23 设 G=<V,E>为一个无向图，若能将 V分成 V1和V2
(V₁∪V₂=V，V₁∩V₂= Ø)，使得 G 中的每条边的两个端点都是
一个属于V₁，另一个属于V₂，则称 G 为二部图 ( 或称二分
图、偶图等 )，称V1和V2为互补顶点子集，常将二部图G
记为<V₁,V₂,E>.
又若G是简单二部图，V1中每个顶点均与V2中所有的顶点相
邻，则称G为完全二部图，记为 K_r,s，其中r=|V₁|，s=|V₂|.

注意，n 阶零图为二部图.

定理14.10 无向图G=<V,E>是二部图当且仅当G中无奇圈

四 图的矩阵表示

定义14.26 设有向图D=<V,E>, V={v₁, v₂, …, v_n}, E={e₁, e₂, …,
e_m}, 令为顶点 v_i 邻接到顶点 v_j 边的条数，称为D的邻接矩
阵，记作A(D)，或简记为A.

有向图的可达矩阵（无限制）

五 图的运算