离散数学---通路、回路与图的连通性
合集下载
离散数学图的连通性判定方法介绍
离散数学图的连通性判定方法介绍离散数学是一门研究离散结构以及这些结构中的对象、性质和关系的学科。
其中，图论是离散数学中的一个重要分支，主要研究图的性质和关系。
图是由节点和边组成的结构，可以用于表示各种实际问题以及计算机科学中的数据结构。
在图的研究中，连通性是一个重要的概念，它描述了图中节点之间是否存在路径相连。
在实际应用中，判断图的连通性是一个常见的问题。
下面将介绍几种常用的图的连通性判定方法。
1. 深度优先搜索（DFS）深度优先搜索是一种常用的图遍历算法，它通过栈来实现。
该算法从图的某个节点开始，首先访问该节点并将其标记为已访问，然后递归地访问它的邻居节点，直到所有可达的节点都被访问过。
如果在搜索过程中访问了图中的所有节点，则图是连通的。
否则，图是不连通的。
2. 广度优先搜索（BFS）广度优先搜索也是一种常用的图遍历算法，它通过队列来实现。
与深度优先搜索不同的是，广度优先搜索首先访问图中的某个节点，并将其标记为已访问。
然后访问该节点的所有邻居节点，并将未访问的邻居节点加入队列。
接下来，依次从队列中取出节点并访问其邻居节点，直到队列为空。
如果在搜索过程中访问了图中的所有节点，则图是连通的。
否则，图是不连通的。
3. 并查集并查集是一种数据结构，用于管理元素之间的动态连通性。
在图的连通性判定中，可以使用并查集来判断图中的节点是否连通。
首先，将每个节点都初始化为一个独立的集合。
然后，遍历图中的所有边，如果两个节点之间存在边，则将它们所在的集合合并为一个集合。
最后，判断图中是否只存在一个集合，如果是，则图是连通的。
否则，图是不连通的。
4. 最小生成树最小生成树是一种保留了图连通性的树结构。
在连通性判定中，可以通过构建最小生成树来判断图的连通性。
首先，选择一个节点作为起始节点。
然后，从所有与当前树相连的边中选择权值最小的边，并将连接的节点加入树中。
重复该过程，直到树中包含了图中的所有节点。
如果最后构建的树包含图中的所有节点，则图是连通的。
离散数学 图论-通路与回路
§14.4
图的矩阵表示
一、图的矩阵表示 用矩阵表示图之前，必须将图的顶点或边标定成顺序，使其成为标定图 1、无向图的关联矩阵 1）定义14．24 设无向图G＝<V，E>，V＝{v1,v2,…，vn}。 E={e1,e2,e3，…em}，令mij为顶点vi与边ej的关联次数，则称(mij)nxm为G的 关联矩阵，记作 M(G)． 2）关联矩阵的性质: 关联矩阵是n行（结点数）m列（边数）的矩阵
6、有关强连通图与单向连通图的判定 （1）定理： 设有向图D＝<V，E>，V＝{v1，v2，…，vn}． D是强连通图当且仅当D中存在经过每个顶点至少一次的回路． (2) 定理 设D是n阶有向图 D是单向连通图当且仅当D中存在经过每个顶点至少一次的通路．
例2．设有向图D是单向连通图，但不是强连通图，问在D中至少加几条边所 得图D’就能成为强连通图? 作业：P292 16、17、18、39、40（1、2）、43
(1）M(G)每列元素之和均为2，这正说明每条边关联两个顶点(环所关联的两个端 点重合)． ∑mij = 2 (j = 1，2，…，m) (2）M(G)第i行元素之和为结点vi的度数，i＝1，2，…n (3) 所有行的和（即矩阵所有元素之和）等于边数的2倍（该例10＝边数5的2倍 ）。 ∑d(vi)＝∑∑mij= ∑2 ＝ 2m，这个结果正是握手定理的内容（即各顶 点的度数之和等于边数的2倍） ． （4）第j列与第k列相同，当且仅当边ej与ek是平行边． (5) 某行i的和为0（即 ∑mij = 0）,当且仅当vi是孤立点． 2、有向图的关联矩阵 定义：设有向图D＝<V，E>中无环，V＝{v1，v2，…，vn}。 E＝{el，e2,…，em}， 令 1 vi为边ej的起点 mij = 0 vi为边ej不关联 －1 vi为边ej的终点 则称(mij)nxm，为D的关联矩阵，记作M(D）
离散数学第十四章图论基本概念
19
14.2 通路与回路
定义14.11 给定图G=<V,E>（无向或有向的），G中顶点与
边的交替序列 = v0e1v1e2…elvl，
vi1, vi 是 ei 的端点.
(1) 通路与回路： 为通路；若 v0=vl， 为回路，l 为回路长
度.
(2) 简单通路与回路：所有边各异， 为简单通——v的出度 d(v)——v的入度 d(v)——v的度或度数 (3) (G), (G) (4) +(D), +(D), (D), (D), (D), (D) (5) 奇顶点度与偶度顶点
8
握手定理
定理14.1 设G=<V,E>为任意无向图，V={v1,v2,…,vn}, |E|=m, 则
v的闭邻N 域 D(v)ND(v){v}
9. 标定图与非标定图 10. 基图
6
多重图与简单图
定义14.3 (1) 无向图中的平行边及重数 (2) 有向图中的平行边及重数（注意方向性） (3) 多重图 (4) 简单图 在定义14.3中定义的简单图是极其重要的概念
7
顶点的度数
定义14.4 (1) 设G=<V,E>为无向图, vV, d(v)——v的度数, 简称度 (2) 设D=<V,E>为有向图, vV,
n
d(vi ) 2m
i1
证 G中每条边 (包括环) 均有两个端点，所以在计算G中各顶点 度数之和时，每条边均提供2度，m 条边共提供 2m 度.
定理14.2 设D=<V,E>为任意有向图，V={v1,v2,…,vn}, |E|=m, 则
n
n
n
d (v i)2 m , 且d (v i)d (vi) m
14.2 通路与回路
定义14.11 给定图G=<V,E>（无向或有向的），G中顶点与
边的交替序列 = v0e1v1e2…elvl，
vi1, vi 是 ei 的端点.
(1) 通路与回路： 为通路；若 v0=vl， 为回路，l 为回路长
度.
(2) 简单通路与回路：所有边各异， 为简单通——v的出度 d(v)——v的入度 d(v)——v的度或度数 (3) (G), (G) (4) +(D), +(D), (D), (D), (D), (D) (5) 奇顶点度与偶度顶点
8
握手定理
定理14.1 设G=<V,E>为任意无向图，V={v1,v2,…,vn}, |E|=m, 则
v的闭邻N 域 D(v)ND(v){v}
9. 标定图与非标定图 10. 基图
6
多重图与简单图
定义14.3 (1) 无向图中的平行边及重数 (2) 有向图中的平行边及重数（注意方向性） (3) 多重图 (4) 简单图 在定义14.3中定义的简单图是极其重要的概念
7
顶点的度数
定义14.4 (1) 设G=<V,E>为无向图, vV, d(v)——v的度数, 简称度 (2) 设D=<V,E>为有向图, vV,
n
d(vi ) 2m
i1
证 G中每条边 (包括环) 均有两个端点，所以在计算G中各顶点 度数之和时，每条边均提供2度，m 条边共提供 2m 度.
定理14.2 设D=<V,E>为任意有向图，V={v1,v2,…,vn}, |E|=m, 则
n
n
n
d (v i)2 m , 且d (v i)d (vi) m
《离散数学》第6章 图的基本概念
E ' E )。
生成子图—— G ' G 且 V ' V 。
导出子图 ——非空 V ' V ，以 V ' 为顶点集， 以两端均在 V ' 中的边的全体为边集的 G 的 子图，称 V ' 的导出子图。 ——非空 E ' E ，以 E ' 为边集，以
E ' 中边关联的顶点的全体为顶点集的 G 的子
0 vi与ek 不关联 无向图关联的次数 1 vi与ek 关联1次 2 v 与e 关联2次(e 为环) i k k
1 vi为ek的始点 有向图关联的次数 0 vi与ek 不关联 1 v 为e 的终点 (无环) i k
点的相邻——两点间有边，称此两点相邻 相邻 边的相邻——两边有公共端点，称此两边相邻
孤立点——无边关联的点。 环——一条边关联的两个顶点重合，称此边 为环 (即两顶点重合的边)。 悬挂点——只有一条边与其关联的点，所
对应的边叫悬挂边。
(3) 平行边——关联于同一对顶点的若干条边 称为平行边。平行边的条数称为重数。 多重图——含有平行边的图。
简单图——不含平行边和环的图。
如例1的(1)中，
第六章 图的基本概念 第一节 无向图及有向图
内容：有向图，无向图的基本概念。
重点：1、有向图，无向图的定义， 2、图中顶点，边，关联与相邻，顶点 度数等基本概念，
3、各顶点度数与边数的关系
d (v ) 2m 及推论，
i 1 i
n
4、简单图，完全图，子图， 补图的概念， 5、图的同构的定义。
一、图的概念。 1、定义。 无序积 A & B (a, b) a A b B 无向图 G V , E E V & V ， E 中元素为无向边，简称边。 有向图 D V , E E V V ， E 中元素为有向边，简称边。
离散数学课件14.2-3通路与回路-连通性
connected graph
边割集
若存在边集子集E' E, 使G删除E'(将E'中的边从G中全删除)后, 所得子图的连通分支数与G的连通分支数 满足p(G-E')＞p(G), 而删除E'的任何真子集E''后,p(G-E'')＝p(G), 则称E'是G的一个边割集. 若边割集中只有一条边e,则称e为割边或桥. 注：完全图没有割边和割点.
当v0＝vl时,此通路称为回路.
connected graph
简单通路或迹
若Γ中的所有边e1,e2,···,el互不相同, 则称Γ为简单通路或一条迹. 若回路中的所有边互不相同,称此回 路为简单回路或一条闭迹.
connected graph
初级通路
若通路的所有顶点v0,v1···,vl互不相 同(从而所有边互不相同),则称此通 路为初级通路或一条路径. 若回路中,除v0＝vl外,其余顶点各不 相同,所有边也各不相同,则称此回 路为初级回路或圈. 长度为奇(偶)数的圈称为奇(偶)圈
通路
connected graph
给定图G＝<V,E>.
设G中顶点和边的交替序列为
Γ＝v0e1v1e2…elvl,若Γ满足如下条件: vi-1和vi是ei的端点(在G是有向图时,要求vi-1是ei 的始点,vi是ei的终点),i＝1,2,…,l,则称Γ为顶点v0 到vl的通路. v0和vl分别称为此通路的起点和终点,Γ中边的数 目l称为Γ的长度.
connected graph
有向图的连通性
易见:强连通性 单向连通性 弱连通性; 但反之 不真.反例如下:
a
c
a
强连通
d
图的通路与连通
v0e1v1e2v2…vk-1ekvk, 其中viVG, eiEG, 且 ei 的两个端点是vi-1和vi,(i=1,2,…,k)。 通路的两个特例
简单通路：v0e1v1e2v2…vk-1ekvk中，i,j, ij eiej 初级通路(路径): v0e1v1e2v2…vk-1ekvk中，i,j, ij
的初级回路。
8
可达性关系
定义：RcVGVG, u,vVG, <u,v>Rc 当且仅当 G中存在(u,v)通路。 如果约定，对G中任意顶点u，存在长度为0的(u,u)-通路，则无向图上
定义的Rc是等价关系。 Rc是VG上的相邻关系Ra的传递闭包
假如| A|n,则A上的关R系 的传递闭包是：
n
Ri RR2 Rn
5
g
9,h
21
S4
1,c
b
7 1
2 2
2,c
e
34 1
8
a
6,d 2
s c0 4
4
7
6,e f3
3
4
6
h 3,e
d
U4 4,c
5
g
9,h
22
求最短路的一个例子(续)
1
2
2
7 12
53 1
6
8 s0
4
24
7
6
3
3
3
4
6
4
5
9
23
求最短路的一个例子(续)
1
2
2
7 12
35 1
8
76
3
6
s0
3
4 24
14
求最短路的Dijkstra算法
算法步骤：
简单通路：v0e1v1e2v2…vk-1ekvk中，i,j, ij eiej 初级通路(路径): v0e1v1e2v2…vk-1ekvk中，i,j, ij
的初级回路。
8
可达性关系
定义：RcVGVG, u,vVG, <u,v>Rc 当且仅当 G中存在(u,v)通路。 如果约定，对G中任意顶点u，存在长度为0的(u,u)-通路，则无向图上
定义的Rc是等价关系。 Rc是VG上的相邻关系Ra的传递闭包
假如| A|n,则A上的关R系 的传递闭包是：
n
Ri RR2 Rn
5
g
9,h
21
S4
1,c
b
7 1
2 2
2,c
e
34 1
8
a
6,d 2
s c0 4
4
7
6,e f3
3
4
6
h 3,e
d
U4 4,c
5
g
9,h
22
求最短路的一个例子(续)
1
2
2
7 12
53 1
6
8 s0
4
24
7
6
3
3
3
4
6
4
5
9
23
求最短路的一个例子(续)
1
2
2
7 12
35 1
8
76
3
6
s0
3
4 24
14
求最短路的Dijkstra算法
算法步骤：
图的连通性_离散数学─图论初步
• 相关点
– 长度为0的通路由单个顶点组成。 – 不必区分多重边时，可以用相应顶点的序列表示通路。 – 回路：起点与终点相同，长度大于0。 – 简单通路： 边不重复，即， i, j, i j ei ej
通路（举例）
a
b
c
d
e
f
• 简单通路：a, d, c, f, e。 长度为4。 • 通路：a, b, e, d, a, b。 长度为5。 • 回路：b, c, f, e, b。长度为4。 • 不是通路：d, e, c, b。
路)
• u,v VD,均存在 (u,v)-有向通路和(v,u)-有向通路，则D
称为强连通有u向图。 (见下左u 图)
u
v
v
v
强连通的充分必要条件
• 有向图D是强连通的当且仅当D中的所有顶点在同
一个有向回路上。
– 证明： 显然 设VD={v1,v2,…,vn}，令 i是vi到vi+1的有向通路 (i=1,…,n-1)，令 n是vn到v1的有向通路，则 1，
假设这样的公共点中距离v最近的
是x(不妨假设它在P上)，则Q+wv 边以及P上的ux-段+P’上的xv-段是u
u,v之间两条中间点不相交的通路。
P
x
v
w Q
连通性的一般性质
• Menger定理（Whitney定理的推广）
– 图G是k-连通图 当且仅当 G中任意两点被至少k条除端
点外顶点不相交的路径所连接。
则称v是割
割点
(注意：只需考虑割点所在的连通分支，以下讨论不妨只 考虑连通图)
关于割点的三个等价命题
• 对于连通图，以下三个命题等价：
(1) v是割点。 (2) 存在V-{v}的划分{V1, V2}, 使 u∈V1, w∈V2, uw-通路均包含v。 (3) 存在顶点u,w(u≠v, w≠v)，使得任意的uw-通路均包含v。 – 证明： (1) (2): ∵v是割点，G-v至少存在两个连通分支，设其中一个的
– 长度为0的通路由单个顶点组成。 – 不必区分多重边时，可以用相应顶点的序列表示通路。 – 回路：起点与终点相同，长度大于0。 – 简单通路： 边不重复，即， i, j, i j ei ej
通路（举例）
a
b
c
d
e
f
• 简单通路：a, d, c, f, e。 长度为4。 • 通路：a, b, e, d, a, b。 长度为5。 • 回路：b, c, f, e, b。长度为4。 • 不是通路：d, e, c, b。
路)
• u,v VD,均存在 (u,v)-有向通路和(v,u)-有向通路，则D
称为强连通有u向图。 (见下左u 图)
u
v
v
v
强连通的充分必要条件
• 有向图D是强连通的当且仅当D中的所有顶点在同
一个有向回路上。
– 证明： 显然 设VD={v1,v2,…,vn}，令 i是vi到vi+1的有向通路 (i=1,…,n-1)，令 n是vn到v1的有向通路，则 1，
假设这样的公共点中距离v最近的
是x(不妨假设它在P上)，则Q+wv 边以及P上的ux-段+P’上的xv-段是u
u,v之间两条中间点不相交的通路。
P
x
v
w Q
连通性的一般性质
• Menger定理（Whitney定理的推广）
– 图G是k-连通图 当且仅当 G中任意两点被至少k条除端
点外顶点不相交的路径所连接。
则称v是割
割点
(注意：只需考虑割点所在的连通分支，以下讨论不妨只 考虑连通图)
关于割点的三个等价命题
• 对于连通图，以下三个命题等价：
(1) v是割点。 (2) 存在V-{v}的划分{V1, V2}, 使 u∈V1, w∈V2, uw-通路均包含v。 (3) 存在顶点u,w(u≠v, w≠v)，使得任意的uw-通路均包含v。 – 证明： (1) (2): ∵v是割点，G-v至少存在两个连通分支，设其中一个的
离散数学第五版第五章(耿素云、屈婉玲、张立昂编著)
称+(G)，+(G)，－(G)，－(G)分别为G的最大出度、 最小出度、最大入度和最小入度。
12
5.1 无向图及有向图
五、握手定理(定理5.1-5.2)
设G=<V,E>为任意无向图，V={1,2,……,n}，|E|=m，则
n
d ( i ) = 2 m
i =1
设D=<V,E>为任意有向图，V={1,2,……,n}，|E|=m，则
20
5.1 无向图及有向图
例5：下列图中那些图具有子图、真子图、生成子图的
关系？
e4 2
1 e5
e1 3
e3 4 e2
(1)
2 e4
1
e5
(2)
e4 1 2
e1 3
e3 4
(3)
1 e1
e3
2
e2 3
1 e1
e3
2
3
1 e1
2
e4
(4)
(5)
(6)
21
5.1 无向图及有向图
23
5.1 无向图及有向图
例3： (1)画出4阶3条边的所有非同构的无向简单图。 (2)画出3阶2条边的所有非同构的有向简单图。
24
5.1 无向图及有向图
例4：下列图中那些图互为同构？
e a
b
d
c
1
4
5
2
3
(1)
(2)
(3)
(4)
(5)
（6）
25
第五章 图的基本概念 5.1 无向图及有向图 5.2 通路、回路、图的连通性 5.3 图的矩阵表示 5.4 最短路径及关键路径
十一、补图的定义（定义5.9）
12
5.1 无向图及有向图
五、握手定理(定理5.1-5.2)
设G=<V,E>为任意无向图，V={1,2,……,n}，|E|=m，则
n
d ( i ) = 2 m
i =1
设D=<V,E>为任意有向图，V={1,2,……,n}，|E|=m，则
20
5.1 无向图及有向图
例5：下列图中那些图具有子图、真子图、生成子图的
关系？
e4 2
1 e5
e1 3
e3 4 e2
(1)
2 e4
1
e5
(2)
e4 1 2
e1 3
e3 4
(3)
1 e1
e3
2
e2 3
1 e1
e3
2
3
1 e1
2
e4
(4)
(5)
(6)
21
5.1 无向图及有向图
23
5.1 无向图及有向图
例3： (1)画出4阶3条边的所有非同构的无向简单图。 (2)画出3阶2条边的所有非同构的有向简单图。
24
5.1 无向图及有向图
例4：下列图中那些图互为同构？
e a
b
d
c
1
4
5
2
3
(1)
(2)
(3)
(4)
(5)
（6）
25
第五章 图的基本概念 5.1 无向图及有向图 5.2 通路、回路、图的连通性 5.3 图的矩阵表示 5.4 最短路径及关键路径
十一、补图的定义（定义5.9）
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
.
17
点割集
在连通图中，如果删去一些顶点或边，则 可能会影响图的连通性。所谓从图中删去 某个顶点v，就是将顶点v和与v关联的所 有的边均删去；删除边只需将该边删除
.
18
例如”国际会议对话”任何一人请假，图G-v还 连通，小组对话仍可继续进行，但如果f、g二 人同时不在，G-{f，g}是分离图，则小组中的 对话无法再继续进行。
即:A上模3等价关系的关系图为:
.
11
【例】 求证：若图中只有两个奇度数顶点，则二 顶点必连通。
证明 用反证法来证明。
设二顶点不连通，则它们必分属两个不同的连通 分支，而对于每个连通分支，作为G的子图只有一 个奇度数顶点，余者均数顶点，则 二顶点必连通。
0≤deg(v)≤n – q – 1,
因此deg(u) + deg(v)≤n – 2,
这与题设deg(u ) + deg(v)≥n – 1矛盾。
.
15
短程线与距离
u与v之间的短程线: u与v之间长度最短的通路 (u与v连通) u与v之间的距离d(u,v): u与v之间短程线的长
度 若u与v不连通, 规定d(u,v)=∞.
性质：
d(u,v)0, 且d(u,v)=0 u=v
d(u,v)=d(v,u)
d(u,v)+d(v,w)d(u,w)
.
16
图的连通性的应用
在实际问题中, 除了考察一个图是否 连通外, 往往还要研究一个图连通的 程度, 作为某些系统的可靠性度量。
图的连通性在计算机网、通信网和 电力网等方面有着重要的应用。
a
b
c
e d
f
g
.
19
点割集
记 Gv: 从G中删除v及关联的边 GV: 从G中删除V中所有的顶点及关联的边 Ge : 从G中删除e GE: 从G中删除E中所有边
7.2 通路、回路与图的连通性
▪ 简单通(回)路, 初级通(回)路, 复杂通(回)路 ▪ 连通图, 连通分支 ▪ 弱连通图, 单向连通图, 强连通图 ▪ 点割集与割点 ▪ 边割集与割边(桥)
.
1
一、通路和回路
在图中，一条通路是顶点和边的交替序列，以顶点
开始，以顶点结束。其中，第一条边的终点与第二
条边的始点重合…...。第一条边的始点称为通路的
.
5
关于通路与回路的几点说明
表示方法 ① 用顶点和边的交替序列(定义), 如=v0e1v1e2…elvl ② 用边的序列, 如=e1e2…el ③ 简单图中, 用顶点的序列, 如=v0v1…vl ④ 非简单图中,可用混合表示法,如=v0v1e2v2e5v3v4v5
环是长度为1的圈, 两条平行边构成长度为2的圈. 在无向简单图中, 所有圈的长度3; 在有向简单图
连通图: 平凡图, 任意两点都连通的图 连通分支: V关于R的等价类的导出子图
设V/R={V1,V2,…,Vk}, G[V1], G[V2], …,G[Vk]是G的 连通分支, 其个数记作p(G)=k.
G是连通图 p(G)=1
.
10
设 A={1,2,…,8}, R={ <x,y>| x,y∈A∧x≡y(mod 3) }
.
12
【例】 在一次国际会议中，由七人组成的小 组{a,b,c,d,e,f,g}中，a会英语、阿拉伯语；b 会英语、西班牙语；c会汉语、俄语；d会日 语、西班牙语；e会德语、汉语和法语；f会 日语、俄语；g会英语、法语和德语。问： 他们中间任何二人是否均可对话（必要时可 通过别人翻译）？
.
13
解 用顶点代表人，如果二人会同一种语言，则在代 表二人的顶点间连边，于是得到下图。问题归结为： 在这个图中，任何两个顶点间是否都存在着通路？ 由于下图是一个连通图，因此，必要时通过别人翻 译，他们中间任何二人均可对话。
始点，最后一条边的终点称为通路的终点。
当通路的终点和始点重合时，称为回路。
通路或回路中所含边数称为该通路或回路的长度。
.
2
1、简单通路：如果通路中各边都不相同。
如简单通路：v1→v2 →v5 →v6 →v2 →v3 →v4长度为6
2、简单回路：如果回路中各边都不相同。
如简单回路：v1→v2 →v3 →v5 →v2 →v6 →v1长度为6
a d
b
c
f
g
.
e
14
定理 在n阶简单图G, 如果对G的每对顶点u和v, deg(u) + deg(v)≥ n–1, 则G是连通图。
证明 假设G不连通, 则G至少有两个分图。
设其中一个分图含有q个顶点, 而其余各分图共含有 n– q个顶点。
在这两部分中各取一个顶点u和v, 则
0≤deg(u)≤q – 1,
.
3
3、基本通路：如果通路中各个顶点都不相同。 如基本通路：v1→v6 →v3 →v4长度为3
4、基本回路：如果回路中各个顶点都不相同。
如基本回路：v1→v6 →v3 →v2 →v1 显然，基本通路（回路）一定是简单通路（回路）。
反之不然。
.
4
若通路(回路)中有边重复出现, 则称为复杂通路(回路).
中, 所有圈的长度2.
.
6
在两种意义下计算的圈个数
① 定义意义下
在无向图中, 一个长度为l(l3)的圈看作2l个不同的 圈. 如v0v1v2v0 , v1v2v0v1 , v2v0v1v2看作3个不同的圈. 在有向图中, 一个长度为l(l3)的圈看作l个不同的 圈.
② 同构意义下
所有长度相同的圈都是同构的, 因而是1个圈.
.
8
二、图的连通性：
在图G中，如果A到B存在一条通路，则称A到B是可达的。 1、无向图的连通性 如果无向图中，任意两点是可达的，图为连通图。否则为 不连通图。 当图是不连通时，定是由几个连通子图构成。称这样的连 通图是连通分支。
.
9
无向图的连通性
设无向图G=<V,E>,
u与v连通: 若u与v之间有通路. 规定u与自身总连通. 连通关系 R={<u,v>| u,v V且uv}是V上的等价关系
.
7
定理 在n阶图G中，若从顶点vi到vj（vivj）存在通路， 则从vi到vj存在长度小于等于n1的通路.
推论 在n阶图G中，若从顶点vi到vj（vivj）存在通 路，则从vi到vj存在长度小于等于n1的初级通路.
定理 在一个n阶图G中，若存在vi到自身的回路， 则一定存在vi到自身长度小于等于n的回路. 推论 在一个n阶图G中，若存在vi到自身的简单 回路，则一定存在长度小于等于n的初级回路.