图论讲义2连通性
(4-2)图的连通性

(3)
(4)
(5)
(6)
(7)
欧拉图
设G=<V,E>是连通无向图 欧拉通路:在图G中存在一条通路,经过图G 中每条边一次且仅一次。 欧拉回路:在图G中存在一条回路,经过图 G中每条边一次且仅一次。(能一笔画) 欧拉图:具有欧拉回路的图。
欧拉图的判定定理
定理7-4 无向图G=<V,E>具有欧拉回路,即是 欧拉图的充分必要条件是这个图是连通的,并且 图G中所有结点的度数都是偶数,即都与偶数条 边相连。 定理7-5 无向图G=<V,E>具有欧拉通路的充分 必要条件是图G是连通的,并且图G中恰有两个度 数是奇数的结点或者没有度数是奇数的结点。
v1
e6
e1
v5
e5
e7 e4
v2
e2
v4
e3
v3
通路和回路 给定图G V , E
通路: G中前后相互关联的点边交替序列 w=v0e1v1e2…envn称为连接v0到vn的通路。 W中边的数目K称为通路W的长。 回路:在点边序列v0e1v1e2…envn中,当 v0=vn时称此通路为回路。
图1
图2
哈密尔顿图
设G=<V,E>是连通无向图 图G中存在一条经过图中的每个结点一次且仅
一次的通(回)路,称此通路为哈密顿通(回)路
哈密顿图:具有哈密尔顿回路的图。
目前还没有找到连通无向图具有哈密顿通(回)
路的充分必要条件。
?
课堂思考题:
学习了欧拉图、哈密尔顿图,请总 结他们的区别。
哈密尔顿回路与欧拉回路的区别
连通
连通、一笔
案例3
周游世界问题
1856年,英国数学家哈 密尔顿设计了一个周游世界的 游戏,他在一个正十二面体的 二十个顶点上标上二十个著名 城市的名字,要求游戏者从一 个城市出发,经过每一个城市 一次且仅一次,然后回到出发 点。
图论课件第三章图的连通性

(一)、割边及其性质
定义1 边e为图G的一条割边,如果 。
红色边为该图的割边
注:割边又称为图的“桥”。 证明:可以假设G连通。 但这与e是G的割边矛盾!
实际意义:图的连通程度的高低,在与之对应的通信网络中,对应于网络“可靠性程度”的高低。
网络可靠性,是指网络运作的好坏程度,即指如计算机网络、通信网络等对某个组成部分崩溃的容忍程度。
网络可靠性, 是用可靠性参数来描述的。参数主要分确定性参数与概率性参数。
*
确定性参数主要考虑网络在最坏情况下的可靠性度量,常称为网络拓扑的“容错性度量”,通常用图论概念给出,其中,本章将介绍的图的连通度就是网路确定性参数之一。近年来,人们又提出了“坚韧度”、“核度”、“整度”等描述网络容错性的参数。
设当d (u, v) <k时结论成立。
设当d (u, v) =k。
设P是一条最短(u, v)路,w是v前面一点,则d (u, v) =k-1
由归纳假设,u与w在同一圈C =P1∪P2上。
u
w
v
P
P2
P1
考虑G-w. 由于G是块,所以G-w连通。设Q是一条在G-w中的(u, v)路,并且设它与C的最后一个交点为x。
如果包含v的其中一个块是环,显然v是割点;
设包含v的两个块是B1与B2。如果包含v的两个块不是环,那么两个块分别至少有两个顶点。假如v不是割点,在B1与B2中分别找异于v的一个点x与y, x ∈V(B1), y ∈V(B2),则在G-v中有连接x与y的路P。
显然:B1∪B2∪P无割点。这与B1 ,B2是块矛盾!
08%20图的连通性-讲义pdf

目录
• 通路与回路 • 无向图的连通性与连通度 • 有向图的连通性及其分类
6
有向图的连通性
• 设D=<V,E>为有向图。vi,vj∈V,若从vi到vj存在通路,则 称vi可达vj,规定vi总是可达自身的。若vi可达vj且vj可达 vi,则称vi与vj是相互可达的。 • 设D=<V,E>为有向图,vi,vj∈V,若vi可达vj,称vi到vj长度 最短的通路为vi到vj的短程线,短程线的长度为vi到vj的距 离,记作d<vi,vj>。 • 与无向图中顶点vi与vj之间的距离d(vi,vj)相比,d<vi,vj>除 无对称性外,具有d(vi,vj)所具有的一切性质。
强连通图与单向连通图的判别
• 定理1:设有向图D=<V,E>,V={v1,v2,…,vn}。D 是强连通图当且仅当D中存在经过每个顶点至少 一次的回路。 • 定理2:设D是n阶有向图,D是单向连通图当且仅 当D中存在经过每个顶点至少一次的通路。
• 由定义可知,强连通图一定是单向连通图,单向 连通图一定是弱连通图。
oj
四、删除边(集)和顶点(集)
• 设G=<V,E>为无向图。设v∈V,从G中去 掉v及所关联地一切边称为删除顶点v,并 用G-v表示删除v后所得子图。又设V'⊆V, 称从G中删除V'中所有顶点为删除V',并用 G-V'表示所得子图。
G-e5
G-{e1,e4}
3
G-e5
G-{e1,e4}
G-v5
G-{v4,v5}
• 求下面各图的点连通度、边连通度,并将它们按 点连通程度及边连通程度排序。
• κ1=λ1=4, κ2=λ2=3, κ3=λ3=2, κ4=λ4=1, κ5=1,λ5=2, κ6=λ6=2, κ7=λ7=0, κ8=λ8=0
第五章_图论2

通路定理
[定理]通路定理 在n阶图G中,如果有顶点u到v (u v) 的通路,那么u到v必有一条长度小于等
于n1的基本通路。
7
通路定理证明
定理:在有n个顶点的图G中,如果有顶点u到v的通路,必有长 度不大于n-1的基本通路。
证明:(1)先证明u和v之间存在基本通路 若uv之间的通路P中有相同的顶点,则从P中删除相同顶点之间
路径,直到P中没有相同顶点,这样得到的路径为u和v之间的基 本通路。
(2) 再证基本通路长度不大于n-1 (反证法)设u和v之间的基本通路的长度≥n。 ∵ 一条边关联两个顶点, ∴长度≥n的基本通路上至少有n+1个顶点。 ∴至少有两个相同顶点在u和v之间的基本通路上,这与基本通路 的性质“任意两个顶点不同”相矛盾。
图G从vi点到vj点有通路当且仅当?
bij = 1
21
图的连通性与可达矩阵
有向图的连通性(n1): 设有向图G的可达矩阵为B
(1) G强连通 B中元素全为1 (2) G是单向连通的 B中所有关于主对角线对称
的两个元素中至少一个值为1
无向图的连通性(n1): 设无向图G的可达矩阵为B
G连通 B中元素全为1
[定义]基本通(回)路
结点各不相同的通路称为基本通路。 中间结点各不相同的回路称为基本回路。
A
基本通路:ACEBD
B
E
基本回路:ABCDEA
C
D
5
有向通(回)路
[定义]有向通(回)路 若通路v0v1 … vn各边是有向边,且vi-1和vi 分别是有向边的始点与终点,则称该通路为 有向通(回)路。
通路uxv相连。
由u和v的任意性,可知~G是连通的。
27
(课件)图论讲义

图论与网络流理论(Graph Theory and Network Flow Theory)讲授:高随祥中科院研究生院专业基础课学时/学分:60/3本课程适合基础数学、应用数学、计算数学、运筹学与控制论、概率论与数理统计各专业的硕士学位研究生作为专业基础课,也可供物理学、化学、天文学、地学、生物科学、计算机科学与技术、计算机软件、管理科学与工程以及通信、信号等学科专业的硕士研究生选修。
主要讲授图论与网络流理论的基本概念、方法和定理,介绍该领域重要的问题以及典型的算法,展示图论与网络流模型及方法的广泛应用。
为学习者将来从事有关方面的理论研究打下基础,也为进行应用性研究提供一种有力的工具。
内容提要第一章 图的基本概念图的基本概念;二部图及其性质;图的同构;关联矩阵与邻接矩阵。
路、圈与连通图;最短路问题。
树及其基本性质;生成树;最小生成树。
第二章 图的连通性割点、割边和块;边连通与点连通;连通度;Whitney定理;可靠通信网络的设计。
第三章 匹配问题匹配与最大匹配;完美匹配;二部图的最大匹配;指派问题与最大权匹配。
第四章 欧拉图与哈密尔顿图欧拉图;中国邮递员问题;哈密尔顿图;旅行商问题。
第五章 支配集、独立集、覆盖集与团支配集、点独立集、点覆盖集、边覆盖集与团的概念及其求法。
第六章图的着色问题点着色;边着色;平面图;四色猜想;色多项式;色数的应用。
第七章网络流理论有向图;网络与网络流的基本概念;最大流最小割定理;求最大流的标号算法;最小费用流问题;最小费用最大流;网络流理论的应用。
主要参考书[1] J.A. Bondy and U.S. Murty, Graph theory with applications, 1976, 有中译本(吴望名等译)。
[2] B.Bollobas, Modern graph theory (现代图论),科学出版社,2001。
[3] 蒋长浩,图论与网络流,中国林业出版社,2001。
第7章 图论 [离散数学离散数学(第四版)清华出版社]
![第7章 图论 [离散数学离散数学(第四版)清华出版社]](https://img.taocdn.com/s3/m/58b7923143323968011c9244.png)
6/27/2013 6:02 PM
第四部分:图论(授课教师:向胜军)
21
例:
a j i h c g d
1(a)
无 向 图
b
f
e
2(b)
7(j) 8(g) 9(d) 10(i)
6(e)
3(c) 4(h)
5(f)
6/27/2013 6:02 PM
第四部分:图论(授课教师:向胜军)
22
例:
1(b)
有向图
第四部分:图论(授课教师:向胜军)
6
[定义] 相邻和关联
在无向图G中,若e=(a, b)∈E,则称a与 b彼此相邻(adjacent),或边e关联 (incident) 或联结(connect) a, b。a, b称为边e的端点或 结束顶点(endpoint)。 在有向图D中,若e=<a, b>∈E,即箭头 由a到b,称a邻接到b,或a关联或联结b。a 称为e的始点(initial vertex),b称为e的终点 (terminal/end vertex)。
证明思路:将图中顶点的度分类,再利用定理1。
6/27/2013 6:02 PM 第四部分:图论(授课教师:向胜军) 9
[定理3] 设有向图D=<V, E>有n个顶点,m 条边,则G中所有顶点的入度之和等于所 有顶点的出度之和,也等于m。
即:
d ( v i ) d ( v i ) m.
i 1 i 1
n
n
证明思路:利用数学归纳法。
6/27/2013 6:02 PM
第四部分:图论(授课教师:向胜军)
10
一些特殊的简单图:
(1) 无向完全图Kn(Complete Graphs)
图论课件第三章图的连通性

Bellman-Ford算法
总结词
Bellman-Ford算法是一种用于查找带权图中单源最短路径的算法。
详细描述
Bellman-Ford算法的基本思想是从源节点开始,通过不断更新节点之间的距离,逐步找到从源节点到 其他节点的最短路径。该算法可以处理带有负权重的边,并且在图中存在负权重环的情况下也能正确 处理。
THANKS
感谢观看
Floyd-Warshall算法
总结词
Floyd-Warshall算法是一种用于查找所有节点对之间最短路 径的动态规划算法。
详细描述
Floyd-Warshall算法的基本思想是通过动态规划的方式,逐 步构建最短路径矩阵。该算法首先初始化一个距离矩阵,然 后通过一系列的转移操作,逐步更新距离矩阵,直到找到所 有节点对之间的最短路径。
欧拉回路
总结词
欧拉回路是指一个路径的起点和终点是同一点,且经过图中的每条边且仅经过 一次的路径,并且该路径闭合。
详细描述
欧拉回路是欧拉路径的一种特殊情况,它不仅满足欧拉路径的所有条件,而且 起点和终点是同一点,形成一个闭合的路径。在图论中,欧拉回路具有重要的 应用价值。
欧拉回路的判定
总结词
判断一个图是否存在欧拉回路是一个NP 难问题,目前没有已知的多项式时间复 杂度的算法。
连通度
总结词
连通度是描述图中任意两点之间可达性的度量,表示图中节点之间的连接紧密程度。
详细描述
在图论中,连通度是衡量图连通性的一个重要参数。对于一个无向图,连通度通常用K表示,表 示图中任意两点之间是否存在路径。对于有向图,连通度分为入度和出度,分别表示从一个节 点到另一个节点是否存在路径和从另一个节点到这个节点是否存在路径。
连通性(二)

连通性(二)道路连通性与连通性类似的概念是道路连通性,它同样可以看作是人的直观的一种数学化,但在某些特殊的例子上他似乎又与人的直观不太类似,本节我们介绍道路连通性的定义以及基本性质并证明:拓扑学家的正弦曲线不是道路连通的.设与为空间的两点, 中从到的一条道路 (path) 是指从实直线的某一个闭区间到的一个连续映射 , 使得和 . 如果空间中每一对点都能用中的一条道路连接, 则称是道路连通的 (path connected).道路连通必然连通.假设道路连通但不是连通的,那么我们有的一个分割:.而取中的两点,构造道路,那么是连通的,因此必然全含于或,这与分别在或者中是矛盾的.注意到:道路是映射,而非函数的像,但是由于我们无法画出函数,因此有函数的像加箭头表示.习惯上,我们会令为.若,我们把这样的道路称为环路或者闭路.1.中的凸集是道路连通的.(凸集的定义.)2.穿孔欧式空间是道路连通的.道路连通集的像还是道路连通的.证明:设是道路连通集,是其像.那么对于任意的存在使得:,又因为道路连通,因此村子啊使得,所以:是中的一条道路.由于的任意性.命题得证.这说明连通性是拓扑不变性质,在连续映射下可以保持自然可以在同胚下保持.设和是道路连通的,证明是道路连通的.设是乘积空间中任意两点,我们要构造从到的连续映射使得.首先由于是连通的,因此存在使得他们是中的道路,并且有:,那么我们有:连续映射的复合还是连续映射,因此道路连通.作为道路连通的结束,我们来证明拓扑学家的正弦曲线不是道路连通的.拓扑学家的正弦曲线是连通的但不是道路连通的.前一部分我们已经证明过了,现在我们证明后半部分.我们仍然采用前边的记号:,为整个图像记为,我们假设是中的一条道路,且,是中任何一点.由于是图的闭集因此是闭集,那么是闭集,因此有最大元,因此将中的点都除了之外都映在了中,我们不妨令,,其中,,但是我们可以证明不连续.可以取,使得从而得到不连续.(我们可按照以下方式选取 : 对于给定的 , 选取满足的使得 . 那么由介值定理知, 存在满足的使得 .)。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(2)⇒(1)若 v 在每条 (u, w) 路上,则 G − v 中不存在 (u, w) 路,即 G − v 不连通,故
v 是 G 的割点。 定理 2.3.2 设 e 是连通图 G 的一条边,则下列命题等价:
证毕。
(1) 是 G 的割边;
(2) e 不在 G 的任何圈上;
(3) 存在 u, v ∈V (G) ,使得 e 在每条 (u, v) 路上;
以上均与条件矛盾。
充分性:设 d (v) > 1,则 v 至少有两个邻点 u,w。路 uvw 是 T 中一条 (u, w) 路。因 T 是树, uvw 是 T 中唯一的 (u, w) 路,从而 w(T − v) > 1 = w(T ) 。故 v 是割点。证毕。
推论 2.1.2 每个非平凡无环连通图至少有两个顶点不是割点。 证明:设 T 是 G 的生成树,则 T 至少有两个叶子 u,v,由上一定理知,u,v 都不是 T 的割点,
任意性知,G 无割点,即 G 是 2-连通的。
必要性:设 G 是 2-连通图,欲证任二顶点 u,v 都在同一圈上。
对距离 d (u, v) 作归纳法。
d (u, v) = 1 时,因κ ′ ≥ κ ≥ 2 ,故边 uv 不是割边, G − uv 仍连通。因此 G − uv 中存 在一条 (u, v) 路 P1 。这表明在 G 中 u,v 都在圈 P1 + uv 上。
4
§2.3 关于割点、割边和块的其它结论
定理 2.3.1 设 v 是连通图 G 的一个顶点,则下列命题等价: (1) v 是 G 的割点;
(2) 存在 u, w ∈V (G) ,使得 u, w ≠ v 且 v 在每条 (u, w) 路上;
(3) 存在V (G) \ {v} 的一个划分:V (G) \ {v} = U U W ,U I W = φ ,使得对 ∀u ∈U 和 ∀w ∈W ,v 在每条 (u, w) 路上。
P
u
P´ P0
x
v w
Q
推论 2.2.1 ν ≥ 3 的图 G 是 2 连通图(块)当且仅当 G 中任二顶点被至少两条内部无公共顶
点的路所连。
推论 2.2.2 若ν ≥ 3 的图 G 是 2 连通图(块),则 G 的任二边都位于同一圈上。 证明:设 G 是ν ≥ 3 的 2 连通图,且 e1, e2 ∈ E(G) ,在 e1 和 e2 上各添加一个新的顶点 v1 和 v2 ,构成一个新图 G′ 。G′ 仍是 2 连通的。由 Whitney 定理,v1 和 v2 在 G′ 中位于同一个圈 上。故 e1 和 e2 在 G 中位于同一个圈上。证毕。
即 w(T − u) = w(T ) = 1 。由于 T − u 是图 G − u 的生成树,故 w(G − u) = w(T − u) = w(T ) = 1 = w(G) ,
1
因此 u 不是 G 的割点。同理 v 也不是 G 的割点。证毕。
二、顶点割集:
定义 2.1.2 对图 G,若 V(G)的子集V ′ 使得 w(G − V ′) > w(G) ,则称V ′ 为图 G 的一个顶点
证明:充分性:设 G 中任二顶点在同一圈上,欲证 G 是 2-连通的。
对 ∀w ∈V (G) ,任取 u, v ∈V (G − w) 。由条件,u,v 在 G 中共处于某个圈 C 上。若 w ∉ C ,则在 G \ w 中 u,v 仍在圈 C 上;若 w ∈ C ,则 G − w 中 u,v 在路 C − w 上。总之 u,v 在 G − w 中有路相连。由 u,v 的任意性, G − w 是连通图,故 w 不是 G 的割点。再由 w 的
(1) H 是图 G 的子图;(2)H 本身是一个块;(3)H 是具有此性质的极大子图。 则称 H 是图 G 的一个块。 例:
块
含 4 个块的图
注:至少有三个顶点的图是块当且仅当它是 2-连通图。(若只有两个顶点,则有反例,例
如 K2 是个块,但不是 2 连通的。)
3
3.Whitney 定理
定理 2.2.1 (Whitney,1932) ν ≥ 3 的图 G 是 2-连通图(块)当且仅当 G 中任二顶点共圈。
若 G 不连通,则κ (G) = κ ′(G) = 0 。 若 G 是完全图,则κ (G) = κ ′(G) = ν − 1。 下设 G 连通但不是完全图。则 G 有边割集含有κ ′ (1 ≤ κ ′ < ν − 1 )条边。设这个边 割集为 E′ 。对 E′ 中每条边,选取一个端点,去掉这些端点(至多κ ′ 个)后,G 便成为不 连通图,故这些端点构成一个点割集V ′ , |V ′ |≤ κ ′ 。因此κ (G) ≤|V ′ |≤ κ ′(G) 。
著作有所不同,主要是在有环边的顶点是否算作割点上有区别)。 例
定理 2.1.1 如果点 v 是图 G 的一个割点,则边集 E(G)可划分为两个非空子集 E1 和 E2 ,使得 G[E1] 和 G[E2 ] 恰好有一个公共顶点 v。 推论 2.1.1 对连通图 G,顶点 v 是 G 的割点当且仅当 G − v 不连通。
割集。含有 k 个顶点的顶点割集称为 k-顶点割集。 注:(1)割点是 1-顶点割集。
(2)完全图没有顶点割集。
三 、 连 通 度 : κ (G) = min{|V ′ ||V ′ 是 G 的 顶 点 割 集 } 。 完 全 图 的 连 通 度 定 义 为 κ (Kν ) = ν − 1。空图的连通度定义为 0。 注:(1)使得 |V ′ |= κ (G) 的顶点割集V ′ 称为 G 的最小顶点割集。
(1) G 是 2 连通的(块); (2) G 的任二顶点共圈; (3) G 的任一顶点与任一边共圈; (4) G 的任二边共圈;
(5) 对 ∀u, v ∈V (G) 及 ∀e ∈ E(G) ,存在 (u, v) 路含有边 e;
(6) 对 ∀u, v, w ∈V (G) ,存在 (u, v) 路含有顶点 w;
注:(1) 对非平凡图 G,若 E′ 是一个边割集,则 G \ E′ 不连通。
(2) 一条割边构成一个 1-边割集。
(3) 设 S ⊂ V (G) ,S ′ ⊂ V (G) ,S, S′ ≠ φ ,记号[S, S′] 表示一端在 S 中另一端在 S′ 中
2
的所有边的集合。对图 G 的每个边割集 E′ ,必存在非空的 S ⊂ V (G) ,使得[S, S ] 是 G 的 一个边割集,其中 S = V \ S 。 六、边连通度: κ ′(G) = min{|[S, S ] || ∀S ⊂ V (G), S ≠ φ }。完全图的边连通度定义为
证明:(1)⇒(3)因 v 是割点,故 G − v 至少有两个连通分支 G1 、G2 。令U = V (G1 ) 而 W = V (G) \ (V (G1) U {v}) ,则对 ∀u ∈U 和 ∀w ∈W ,u、w 分别属于 G − v 的不同的连 通分支。可见 G 中所有的 (u, w) 路必经过 v(否则 G − v 中仍有 (u, w) 路,这与 u、w 分别 属于 G − v 的不同的连通分支矛盾)。
再证κ ′(G) ≤ δ (G) 。
设 d (v) = δ 。删去与 v 关联的δ 条边后,G 变成不连通图,故这δ 条边构成 G 的一个 边割集。因此κ ′(G) ≤ δ (G) 。证毕。
§2. 2-连通图的性质-whitney 定理
1. 块(block):无割点的连通图。 2. 图的块:若满足下列三条:
以上两个结论的证明留作习题。
定理 2.1.2 设 v 是树 T 的顶点,则 v 是 T 的割点当且仅当 d (v) > 1。 证明:必要性:设 v 是 T 的割点,下面用反证法证明 d (v) > 1。 若 d (v) = 0 ,则 T ≅ K1 ,显然 v 不是割点。 若 d (v) = 1,则 T − v 是有ν (T − v) − 1 条边的无圈图,故是树。从而 w(T − v) = 1 = w(T ) 。 因此 v 不是割点。
第二章 图的连通性
连通图:任二顶点间有路相连。 例
可见在连通图中,连通的程度也是有高有低。 本章的目的就是定义一种参数来度量连通图连通程度的高低。
§2.1 割边、割点与连通度
一、割点: 定义 2.1.1 设 v ∈V (G) ,如果 w(G − v) > w(G) ,则称 v 为 G 的一个割点。(该定义与某些
图,故 G − w 仍连通。在 G − w 中存在 (u, v) 路 P′ 。令 x 是 P′ 上最后一个与 P U Q 的公共 顶点(因 u ∈ P U Q ,这样的 x 存在)。不妨设 x ∈ P ,则 P 上 (u, x) 段+ P′ 上 (x, v) 段与 Q + wv 是两条内部无公共点的 (u, v) 路。故 u,v 在同一圈上。归纳法完成。证毕。
(4) 存在V (G) 的一个划分:V (G) = U U W ,U I W = φ ,使得对 ∀u ∈U 和 ∀w ∈W , e 在每条 (u, w) 路上。
证明:(1) ⇔ (2)定理 2.1.1 已证。(1) ⇒ (4) ⇒ (3) ⇒ (1)的证明与上一定理的
证明类似。
定理 2.3.3 设 G 是ν ≥ 3 的连通图,则下列命题等价:
定理 2.1.3 边 e 是 G 的割边当且仅当 e 不在 G 的任何圈中。 证明:证其逆否命题:e 不是割边当且仅当 e 含在 G 的某个圈中。
必要性:设 e = xy 不是割边。假定 e 含在 G 的某个连通分支 G1 中,则 G1 − e 仍连通。故在 G1 − e 中有 ( x, y) 路 P,P + e 便构成 G1 中一个含有 e 的圈。 充分性:设 e 含在 G 的某个圈 C 中,而 C 含于某连通分支 G1 中,则 G1 − e 仍连通。故 w(G − e) = w(G) ,这说明 e 不是割边。证毕。