割点、割边和连通度

合集下载

连通图的割点、割边(桥)、块、缩点,有向图的强连通分量

连通图的割点、割边(桥)、块、缩点,有向图的强连通分量

连通图的割点、割边(桥)、块、缩点,有向图的强连通分量一、基本概念无向图割点:删掉它之后(删掉所有跟它相连的边),图必然会分裂成两个或两个以上的子图。

块:没有割点的连通子图割边:删掉一条边后,图必然会分裂成两个或两个以上的子图,又称桥。

缩点:把没有割边的连通子图缩为一个点,此时满足任意两点间都有两条路径相互可达。

求块跟求缩点非常相似,很容易搞混,但本质上完全不同。

割点可以存在多个块中(假如存在k个块中),最终该点与其他点形成k个块,对无割边的连通子图进行缩点后(假设为k个),新图便变为一棵k个点由k-1条割边连接成的树,倘若其中有一条边不是割边,则它必可与其他割边形成一个环,而能继续进行缩点。

有割点的图不一定有割边,如:3是割点,分别与(1,2)和(4,5)形成两个无割点的块有割边的图也不定有割点,如:w(1,2)为割边,有向图强连通分量:有向图中任意两点相互可达的连通子图,其实也相当于无向图中的缩点二、算法无向图借助两个辅助数组dfn[],low[]进行DFS便可找到无向图的割点和割边,用一个栈st[]维护记录块和“缩点”后连通子图中所有的点。

dfn[i]表示DFS过程中到达点i的时间,low[i]表示能通过其他边回到其祖先的最早时间。

low[i]=min(low[i],dfn[son[i]])设 v,u之间有边w(v,u),从v->u:如果low[u]>=dfn[v],说明v的儿子u不能通过其他边到达v的祖先,此时如果拿掉v,则必定把v的祖先和v的儿子u,及它的子孙分开,于是v便是一个割点,v和它的子孙形成一个块。

如果low[u]>dfn[v]时,则说明u不仅不能到达v的祖先,连v也不能通过另外一条边直接到达,从而它们之间的边w(v,u)便是割边,求割边的时候有一个重边的问题要视情况处理,如果v,u之间有两条无向边,需要仍视为割边的话,则在DFS的时候加一个变量记录它的父亲,下一步遇到父结点时不扩展回去,从而第二条无向重边不会被遍历而导致low[u]==dfn[v] ,而在另外一些问题中,比如电线连接两台设备A,B 如果它们之间有两根电线,则应该视为是双连通的,因为任何一条电线出问题都不会破坏A和B之间的连通性,这个时候,我们可以用一个used[]数组标记边的id,DFS时会把一条无向边拆成两条有向边进行遍历,但我们给它们俩同一个id号,在开始遍历v->u前检查它的id是否在上一次u->v 时被标记,这样如果两点之间有多条边时,每次遍历都只标记其中一条,还可以通过其他边回去,形成第二条新的路求割点的时候,维护一个栈st 每遍历到一个顶点v则把它放进去,对它的子孙u如果dfn[u]为0,则表示还没有遍历到则先DFS(u),之后再判断low[u]和dfn[v],如果low[u]>=dfn[v],则把栈中从栈顶到v这一系列元素弹出,这些点与v 形成一个块,如果u的子孙x也是一个割点,这样做会不会错把它们和v,u放在一起形成一个块呢,这种情况是不会发生的,如果发现x是一个割点,则DFS 到x那一步后栈早就把属于x的子孙弹出来了,而只剩下v,u的子孙,它们之间不存在割点,否则在回溯到v之前也早就提前出栈了!画一个图照着代码模拟一下可以方便理解。

4.1.4 割和环

4.1.4 割和环
其中,b-图边数;qi—区域i。
qi G



定理1:任何一个平面图都包括一个或多个内区域和一个
外区域。
定理2:对于有 n 个顶点,b 条边和q 个区域(包括外区
域)的连通平面图,都满足欧拉公式:即 n −b + q = 2。
推论2:一个节点数为n(n≥3), 且不含并联边和自回路的
平面图,其边数b的上限是3n-6。即:b≤3n-6;




这个定理描述了最短主树的特征。 最短主树是一个网G中主树节点之间路径总和最小问题; 寻找最短主树的问题可分为无限制条件的Prim和Kruska算 法;有限制条件的穷举法、调整法(厄斯威廉E-W)算法 等。 (1) 无限制条件的情况 从图中选取一定数量的边,使其组成一主树,要求该主树 各条树枝之和最小。选择树枝时,对树枝的选取无限制条 件;但是选取的各边,一定是组成主树。先介绍顺序取端 的普列姆(Prim)算法,简称P算法。 基本思想:从图的某一端开始,依次向目的地址方向的端 搜索,只要是选择最短路径的下一端即可,(条件:在不 形成环的情况下),最后形成主树。其步骤如下: P0:起始:置邻接阵为全零阵(假设主树尚未连接,各元 素定为0);任取一端vj1,组成第一个子图:G1={vj1} 第一个子图含一个端;比较:G1到G中除G1外各端,即 (G- G1)中各边的长度,取其中的最小值;



一、关联矩阵
1. 节点–边关联矩阵(Aa) , 又称关联矩阵或完备关联矩阵 定义:用矩阵来表示图的节点与边关联关系。 A0 | aij |nb 对无向图来 1 若e j与vi关联 aij 0 若e j与vi不关联 对有向图,


1 若e j与vi的射出边(流出vi) aij -1 若e j与vi的射入边(流入vi) 0 若e j与vi不关联

图的连通性和性质

图的连通性和性质
图的连通性和性质
1
主要内容 图的连通性刻画 一、割边、割点和块 二、图的连通度与敏格尔定理 三、图的宽直径简介
教学时数
安排6学时讲授本章内容
2
本次课主要内容
割边、割点和块 (一)、割边及其性质 (二)、割点及其性质 (三)、块及其性质
3
研究图的连通性的意义
研究图的连通性,主要研究图的连通程度的刻画, 其意义是:
证明:可以假设G连通。 “必要性” 若不然。设 e 在图G的某圈 C 中,且令e = u v.
考虑P = C- e,则P是一条u v路。下面证明G-e连通。
对任意 x, y V(G-e) 由于G连通,所以存在x ---y路
有e,则可选 择路:x ---u P v --- y,说明x与y在G-e里也连通。所以,若 边e在G的某圈中,则G-e连通。
但这与e是G的割边矛盾!
6
“充分性”
如果e不是G的割边,则G-e连通,于是在G-e中存在 一条u --- v 路,显然:该路并上边e得到G中一个包含边 e的圈,矛盾。
推论1 e为连通图G的一条边,如果e含于G的某圈中, 则G-e连通。
证明:若不然,G-e不连通,于是e是割边。由定理1, e不在G的任意圈中,矛盾!
“充分性” 由割点定义结论显然。 定理7 v是树T的顶点,则v是割点,当且仅当v是树的 分支点。 证明:“必要性”
若不然,有deg(v)=1,即v是树叶,显然不能是割点。 “充分性”
设v是分支点,则deg(v)>1.于是设x与y是v的邻点,由 树的性质,只有唯一路连接x与y,所以G-v分离x与y .即 v为割点。
概率性参数主要考虑网络中处理器与信关以随机的、 彼此独立的按某种确定性概率损坏的情况下,网络的可 靠性度量,常称为网络拓扑的“可靠性度量”。

连通分支等概念深刻理解无向图的点割集和边割集

连通分支等概念深刻理解无向图的点割集和边割集
2
证:(反证法)设结论不成立,即存在
v V , (G-v) 1 d(v)
2
因为G是连通的,所以G-v的每个分支都至少有
一个点与v相邻接,而且存在一个分支,其与v相邻接
的点w只有一条边与v相连(因为如每个分支中有二个
以上的点与v相连,则 d(v) 2(G-v) d(v) ,出现矛
2019/12/23
计算机学院
2
5. 深刻理解无向图的连通性,连通分支等概念 6. 深刻理解无向图的点割集和边割集、点连通
度、边连通度等概念及其之间的关系,并能 熟练地求出给定的较为简单的图的点割集和 边割集、点连通度与边连通度 7. 深刻理解有向图连通性的概念及其分类,掌 握判断有向连通图类型的方法 8. 深刻理解有向图的邻接矩阵、可达矩阵的基 本概念
25
………
w
………
v
2019/12/23
计算机学院
26
30、解:
v1 e1 v2
e2
v3
e7
e3 e5
e6 v5
e4
v4
e8
v6
e9
e11
e12
e10
v7
v1 v2 v3 v4 v5 v6 v7
0 1 1 0 0
0
0

0 0 0 1 0 0 0

A

0 1

0 011 0101

m

n(n 1 ) 2

C
2 n
2019/12/23
计算机学院
16
4、证:
由欧拉定理,2m d(v)
vG
d(v)
vG vG

第3章 连通度问题

第3章 连通度问题
证明:⇒ :当ν ≤ 2时,显然成立。当ν ≥ 3时,将G的 任二边e1 和e2 分别用新顶点v1 和v2 加以剖分,得 新图G’ 。它仍是块,因此为2-连通的。由推论3.2.1 知,v1 与v2 共圈。从而e1 与e2共圈。 ⇐ :由条件,易见 G无环、连通。只要再证G也不 会有割点即可:假设G中有割点u 。由割点定义知, 存在E(G)的一个2-划分(E1 ,E2 )使边导出子图 G[E1]与G[E2]恰只有一公共顶点u 。由边导出子图 定义知,E1 和E2 中一定各存在一边 e1 =ux 和e2 =uy,它们都以u为其端点。但G-u中无(x,y)路,从 而,易见, e1 和e2不能共圈,矛盾。
推论3.2.1 当ν ≥ 3时,图G为2-连通的⇔G的任 连通的⇔ 的任 推论 时 为 连通的 二顶点共圈。 二顶点共圈。
证明:由定理3.2 ,显然。
称边e被剖分 ⇔ 用连接e的两端点的长2为 的新路去替换e。 容易验证,当ν ≥ 3时,块的一些边被剖分后 仍然保持是块。
推论3.2.2 设ν ≥ 3,则G为块 ⇔ G连通且其任 推论 , 为块 连通且其任 二边共圈。 二边共圈。
称G中极大不含割点的连通子图为G的块。 当一个图G有割点时,我们可沿G的割点将G 逐步划分为一些G的块。因此一个图是它的 块的边不重并。例如
划分 ⇒ G的块
图G
性质
(1) G的两个块之间至多有一公共顶点,它一定是G 的割点。 (2) G的任一割点至少是G的两个块的公共顶点。 (3) 含割点的连通图G中,至少有两个G的块每个恰 含G的一个割点,称之为endblock。 (4) G是它的块的边不重并。 (5)* 任一图 G中,易证,边之间的共圈关系是边集 合上的一个等价关系。它将E(G)划分为一些等价类 (E1 ,E2 ,...,Eq ),而每个 G[Ei ]都是G的块(其中q为 G的块数)。

算法学习:图论之图的割点,桥,双连通分支

算法学习:图论之图的割点,桥,双连通分支

图的割点、桥与双连通分支[点连通度与边连通度]在一个无向连通图中,如果有一个顶点集合,删除这个顶点集合,以及这个集合中所有顶点相关联的边以后,原图变成多个连通块,就称这个点集为割点集合。

一个图的点连通度的定义为,最小割点集合中的顶点数。

类似的,如果有一个边集合,删除这个边集合以后,原图变成多个连通块,就称这个点集为割边集合。

一个图的边连通度的定义为,最小割边集合中的边数。

注:以上定义的意思是,即有可能删除两个或两个以上点的时候才能形成多个连通块![双连通图、割点与桥]如果一个无向连通图的点连通度大于1,则称该图是点双连通的(point biconnected),简称双连通或重连通。

一个图有割点,当且仅当这个图的点连通度为1,则割点集合的唯一元素被称为割点(cut point),又叫关节点(articulation point)。

如果一个无向连通图的边连通度大于1,则称该图是边双连通的(edge biconnected),简称双连通或重连通。

一个图有桥,当且仅当这个图的边连通度为1,则割边集合的唯一元素被称为桥(bridge),又叫关节边(articulation edge)。

可以看出,点双连通与边双连通都可以简称为双连通,它们之间是有着某种联系的,下文中提到的双连通,均既可指点双连通,又可指边双连通。

[双连通分支]在图G的所有子图G’中,如果G’是双连通的,则称G’为双连通子图。

如果一个双连通子图G’它不是任何一个双连通子图的真子集,则G’为极大双连通子图。

双连通分支(biconnected component),或重连通分支,就是图的极大双连通子图。

特殊的,点双连通分支又叫做块。

[求割点与桥]该算法是R.Tarjan发明的。

对图深度优先搜索,定义DFS(u)为u在搜索树(以下简称为树)中被遍历到的次序号。

定义Low(u)为u或u的子树中能通过非父子边追溯到的最早的节点,即DFS序号最小的节点。

一棵生成树的基本回路系统

一棵生成树的基本回路系统

一棵生成树的基本回路系统1.引言1.1 概述在计算机科学领域,生成树和回路系统是图论中的两个重要概念。

生成树是一个无向图的子图,它包含了原图的所有顶点,并且是一个连通图,即任意两个顶点之间都存在唯一的路径。

回路系统是图中由一些边和顶点构成的闭合路径的集合,每个闭合路径中的顶点和边都具有特定的关联性。

生成树和回路系统在实际问题的建模和求解中发挥着重要作用。

生成树可以用来描述一些优化问题,例如最小生成树问题,该问题的解决方法可以用来确定一个连通图的子图,使得这个子图的所有边的权重之和最小。

回路系统则常常出现在电路分析和网络规划中,用于描述电路中的闭合路径和网络中的环路。

本文将着重讨论生成树和回路系统的基本概念、定义和特性,探究它们之间的关系,并深入探讨它们在实际应用中的意义和应用领域。

接下来的章节将依次介绍生成树的基本概念和回路系统的定义与特性,以及它们在图论和实际问题中的应用。

通过对这些内容的研究和探讨,读者将能够更好地理解生成树和回路系统的内涵,进而应用于更广泛的领域中。

总之,生成树和回路系统作为图论中的核心概念,对于解决实际问题和优化分析具有重要意义。

本文将通过深入探讨它们的基本概念和特性,帮助读者更好地理解和应用这些概念,并展示它们在不同领域中的广泛应用。

文章结构部分的内容应该包括对整篇文章的组织和章节安排的介绍。

在本篇文章中,我们将按照以下结构来组织内容:1. 引言1.1 概述1.2 文章结构1.3 目的2. 正文2.1 生成树的基本概念2.2 回路系统的定义和特性3. 结论3.1 生成树和回路系统的关系3.2 应用领域和意义在引言部分,我们将首先对整篇文章进行一个简要的概述,介绍生成树和回路系统的基本概念,并明确文章的目的。

接下来,在正文部分,我们将详细讨论生成树的基本概念,包括什么是生成树以及它的特性。

然后,我们将介绍回路系统的定义和特性,探讨回路系统在图论中的重要性以及和生成树的关系。

图论讲义第2章-连通性

图论讲义第2章-连通性

第二章 图的连通性在第一章中已经定义连通图是任二顶点间都有路相连的图。

对于连通图,其连通的程度也有高有低。

例如,下列三个图都是连通图。

对于图G 1,删除一条边或一个顶点便可使其变得不连通;而对于图G 2,至少需要删除两条边才能使其不连通,也可以删除一个顶点使其不连通;对于图G 3,要破坏其连通性,则至少需要删除三条边或三个顶点。

本章主要讨论如何通过图的顶点集、边集和不交的路集合的结构性质来获知图的连通性程度。

通过研究割边和割点来刻画1连通图的特性;定义连通度和边连通度来度量连通图连通程度的高低;通过不交路结构和元素的共圈性质来反映图的2连通和k 连通性。

§2.1 割点和割边定义2.1.1 设)(G V v ∈,如果)()(G w v G w >−,则称v 为G 的一个割点。

(注:该定义与某些著作中的定义有所不同,主要是在环边的顶点是否算作割点上有区别)。

例如,下图中u , v 两点是其割点。

定理2.1.1 如果点v 是简单图G 的一个割点,则边集E (G)可划分为两个非空子集1E 和2E ,使得][1E G 和][2E G 恰好有一个公共顶点v 。

证明留作习题。

推论2.1.1 对连通图G ,顶点v 是G 的割点当且仅当v G −不连通。

定理2.1.2 设v 是树T 的顶点,则v 是T 的割点当且仅当1)(>v d 。

证明:必要性:设v 是T 的割点,下面用反证法证明1)(>v d 。

若0)(=v d ,则1K T ≅,显然v 不是割点。

若1)(=v d ,则v T −是有1)(−−v T ν条边的无圈图,故是树。

从而)(1)(T w v T w ==−。

因此v 不是割点。

以上均与条件矛盾。

充分性:设1)(>v d ,则v 至少有两个邻点u ,w 。

路uvw 是T 中一条),(w u 路。

因T 是树,uvw 是T 中唯一的),(w u 路,从而)(1)(T w v T w =>−。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

T u v e u e v

T
T
u
e
v
21
定理2.2.1 (续)
• κ(G)≤κ’(G)≤δ(G) 证明: • 左式:对κ’(G)用数学归纳法证明。 • 右式:度最小的顶点关联的边构成一个边割集。
22
κ(G)的一个上界
2 • 对具有ν个顶点ε条边的连通图G,有 G 。 证明:
7
连通图中割点的等价定义
1. v是G的割点。 2. G‐v不连通。 3. 存在V(G)\{v}的一个划分:V(G)\{v}=U∪W,U∩W=∅,使 得对∀u∈U和∀w∈W,v在每条u‐w路上。 4. 存在u, w∈V(G),使得u, w异于v,且v在每条u‐w路上。
⇒ G‐v中不存在u‐w路 ⇒ G‐v不连通
v3
v1 v4
v3
v2 v5
v1 v3
v2 v4
13
连通度
• 连通度 (connectivity),记作κ(G)
– – – – G不是完全图:最小点割集的势 G是完全图:ν‐1 G不连通:0 G是零图或平凡图:不讨论

κ(G)=k的性质
– 没有势为k‐1或更小的点割集 – 任意去掉k‐1或更少个顶点,仍然连通
4
连通的程度
5
割点
• 割点 (cut vertex)
– v∈V(G): w(G‐v)>w(G)
• 割点未必唯一
v6
v1
v2
v3
v6
v1
v3
v7
v4
v5
v7
v4
v5
6
定理2.1.2
• 如果点v是简单图G的一个割点,则边集E(G)可划分为两个 非空子集E1和E2,使得边导出子图G[E1]和G[E2]恰好有一个 公共顶点v。 证明: 1. 从G中删除v必将G中一个连通分支分为至少两个,其中一 个记作G1。 2. 定义E1={G1中的边}∪{关联v和G1中顶点的边},E2=E(G)\E1。 3. E1≠∅,E2≠∅。 v v1 4. v是G[E1]和G[E2]的公共顶点。 5. v是G[E1]和G[E2]的唯一公共顶点。 v2 v3
v
v1
v2
8
割边
• 割边 (cut edge)
– e∈E(G): w(G‐e)>w(G)
• 割边未必唯一
e5 e6 e1 e2 e3 e4 e6 e1
e5 e3 e4
9
割边的等价定义
1. e是G的割边。 2. e不在G的任何圈中。 证明: 1. 证明其逆否命题:e不是割边当且仅当e在G的某个圈中。 2. 仅考虑e所在的连通分支G1。 • e=(x, y)不是割边 ⇒ G1‐e连通 ⇒ G1‐e中有x‐y路 ⇒ 形成圈 • e在圈中 ⇒ G1中任意两顶点间均有不过e的路 ⇒ 不是割边

k‐边连通 (k‐edge‐connected)
– κ'(G)≥k
e5 e1 e2 e3 e4 e1
e2 e3
e8 e7
e4 e6 e5
e6 e1 e2 e3 e5 e4
19
定理2.2.1
• κ(G)≤κ’(G)≤δ(G) 证明: • 左式:对κ’(G)用数学归纳法证明。
1. 2. κ’(G)=1时,存在割边(u, v),要证明κ(G)=1。 讨论d(u)和d(v):
e
11
• 以下只讨论连通图
12
点割集
• 点割集 (vertex cut)
– S⊆V(G): w(G‐S)>1
• 极小点割集 (minimal vertex cut)
– 顶点数极少(任何一个真子集都不再是点割集)
• 最小点割集 (minimum vertex cut)
– 顶点数最少
v1 v4
v2 v5
• • d(u)=d(v)=1 ⇒ κ(G)=1 ⇒ κ(G)≤κ’(G) d(u)>1 ⇒ u是割点 ⇒ κ(G)=1 ⇒ κ(G)≤κ’(G) G有最小边割集E1 ⇒ |E1|=k+1 ∀e=(u, v)∈E1 ⇒ E1\{e}是G‐e的最小边割集 ⇒ κ’(G‐e)=k G‐e有最小点割集T ⇒ |T|=κ(G‐e) 由归纳假设 ⇒ |T|=κ(G‐e)≤κ’(G‐e)=k ? ⇒ κ(G)≤|T|+1≤k+1=κ’(G)
⇒ d u
S 2 S 2 k 2 1 S 2 2
G
k 2
k 2 ⇒ G d u ,矛盾。
2
G’ S u u最多关联到几条边?
16
连通的一个充分条件
• 设G是一个简单图,若 证明:前式中取k=1。
– 讨论两种情况:e在或不在原有的路上
u
x y e
v
10
连通图中割边的等价定义
1. e是G的割边。 2. 存在V(G)的一个划分:V(G)=U∪W,U∩W=∅,使得对 ∀u∈U和∀w∈W,e在每条u‐w路上。 3. 存在u, v∈V(G),使得e在每条u‐v路上。
⇒ G‐e中不存在u‐v路 ⇒ G‐e不连通
G 1
27
κ(G)=κ’(G)的一个充分条件*
• G是3‐正则图。 证明: 如果G是完全图,显然成立,以下只讨论非完全图的情况。 只需要证明κ’(G)≤κ(G)。 1. G有最小点割集S ⇒
– –
2.
G是3‐正则图 ⇒ S中每个顶点的第三条边有三种情况:
– – – 关联到H1或H2 关联到另一个H 关联到S内部 H1和H2不连通 ⇒ 删除的边构成一个边割集 共删除|S|=κ(G)条边
– 边数最少
e5 e1 e2 e3 e4 e1
e2 e3
e8 e7
e4 e6 e5
e6 e1 e2 e3 e5 e4
18
边连通度
• 边连通度 (edge‐connectivity),记作κ’(G)
– 最小边割集的势 – G不连通:0 – G是零图或平凡图:不讨论

κ'(G)=k的性质
– 没有势为k‐1或更小的边割集 – 任意去掉k‐1或更少条边,仍然连通
|S|=κ(G) S中每个顶点至少各关联一条边到G‐S的两个连通分支H1和H2
H1
H2
3. 4.
从S中每个顶点关联的边中删除一条 ⇒
– –
κ’(G)≤κ(G) ⇒ κ(G)=κ’(G)
28
作业
• 2.1 //第3章将用到该结论 • 2.8 //割点和割边 • 2.22 //连通度和边连通度
29
1. 2. … G‐e有最小点割集T … κ(G)≤|T|+1?
– – –
u∈T或v∈T ⇒ T也是G的点割集 ⇒ κ(G)≤|T|<|T|+1 u和v在G‐e‐T的同一连通分支中 ⇒ T也是G的点割集 ⇒ κ(G)≤|T|<|T|+1 u和v在G‐e‐T的不同连通分支中,讨论V(G)\T V(G)\T={u, v} ⇒ |T|= ν(G)‐2 ⇒ κ(G)≤ν(G)‐1=|T|+1 u所在的连通分支中还有其它顶点 ⇒ T∪{u}是G的点割集 ⇒ κ(G)≤|T|+1
• G是一个直径为2的简单图。 证明: 1. G有最小边割集E’ ⇒ G‐E’中顶点数最少的连通分支记作G1, 另一个记作G2 2. G直径为2 ⇒ G1中每个顶点都在G2中有邻点,或反之 ⇒ κ’(G)=|E’|≥ν(G1)或≥ν(G2) ⇒ κ’(G)≥min{ν(G1), ν(G2)}=ν(G1) 3. G1中任取顶点u:
G 1
2
,则G是连通的。
17
边割集
• 边割集 (edge cut)
– S⊆E(G): w(G‐S)>1
注意:与教材、参考书的定义略有不同,做了简化!
• 极小边割集 (minimal edge cut)
– 边数极少(任何一个真子集都不再是边割集)
• 最小边割集 (minimum edge cut)
3.
假设κ’(G)=k时成立,则κ’(G)=k+1时:
1. 2. 3. 4. 5.
u v
u w v u
E1 e v
20
定理2.2.1 (续)
• κ(G)≤κ’(G)≤δ(G) 证明: • 左式:对κ’(G)用数学归纳法证明。
1. 2. κ’(G)=1时,成立。 假设κ’(G)=k时成立,则κ’(G)=k+1时:
2
uV G
d u G G
2
G G
2
2 G
23
κ’(G)=δ(G)的充分条件
• κ’(G)=δ(G)意味着这个图有什么特点?
24
κ’(G)=δ(G)的充分条件1
– – 有不相邻顶点 ⇒ diam(G)≥2 任二不相邻顶点u和v ⇒ d(u)+d(v)≥ν(G)‐1 ⇒ u和v有公共邻点 ⇒ diam(G)≤2
⇒ diam(G)=2 ⇒ κ’(G)=δ(G)
26
κ’(G)=δ(G)的充分条件3
• G是简单图且 2 。 证明: 任二不相邻顶点u和v ⇒ d(u)+d(v)≥ν(G)‐1 ⇒ κ’(G)=δ(G)
– – κ’(G)≤δ(G)≤d(u)=dG1(u)+dG2(u)≤(ν(G1)‐1)+dG2(u)≤κ’(G)‐1+dG2(u) ⇒ dG2(u)≥1 ' E ' d G 2 v d G 2 v d G 2 u G1 1 d G 2 u

k‐连通 (k‐connected)
– κ(G)≥k
相关文档
最新文档