第 五 章 图 论 (第二部分) 1. 通路 2. 图的连通性.

Slides:



Advertisements
Similar presentations
第五章 二次型. 第五章 二次型 知识点1---二次型及其矩阵表示 二次型的基本概念 1. 线性变换与合同矩阵 2.
Advertisements

第十五章 欧拉图与哈密顿图 主要内容 欧拉图 哈密顿图 带权图与货郎担问题.
7-4欧拉图和汉密尔顿图 要求: 1、理解欧拉图、汉密尔顿图的定义。 2、掌握欧拉图的判定方法。 3、会判断一些图不是汉密尔顿图。
常用逻辑用语复习课 李娟.
2017年3月21日星期二 离散  数学 计算机学院 冯伟森 2017年3月21日星期二.
第5章 定积分及其应用 基本要求 5.1 定积分的概念与性质 5.2 微积分基本公式 5.3 定积分的换元积分法与分部积分法
第三节 格林公式及其应用(2) 一、曲线积分与路径无关的定义 二、曲线积分与路径无关的条件 三、二元函数的全微分的求积 四、小结.
余角、补角.
图 2008赛前知识点梳理三.
树的基本概念 离散数学─树 南京大学计算机科学与技术系.
七 年 级 数 学 第二学期 (苏 科 版) 复习 三角形.
第七部分 图论方法 第十二章 图论方法.
非线性反馈移位寄存器探讨 戚文峰.
同学们好! 肖溪镇竹山小学校 张齐敏.
习题1.1: 一个四端元件的端子分别标为1、2、3、4。已知U12 =5V,U23 =-3V,U43 =6V。 (1)求U41 ;
第六章 图(一).
Ch.7 图 图是一种复杂的非线性结构 应用:AI、工程、数学、生物、计算机 结点间的逻辑关系:任两个结点都可能相关
图(一).
第五章 图论 5.6平面图 例 考虑把三座房和三种 设施每种都连接起来的问题, 如图7-64所示,是否有可能使 得这样的连接里不发生交叉?
强连通分量 无向图 1、任意两顶点连通称该图为连通图 2、否则将其中的极大连通子图称为连通分量 A D C B E 有向图
第七章 图 东南大学计算机学院 方效林 本课件借鉴了清华大学殷人昆老师 和哈尔滨工业大学张岩老师的课件.
§2 求导法则 2.1 求导数的四则运算法则 下面分三部分加以证明, 并同时给出相应的推论和例题 .
在数学的天地里,重要的不是我们知道什么,而是我们怎么知道什么。     
本节内容 平行线的性质 4.3.
1.1特殊的平行四边形 1.1菱形.
使用矩阵表示 最小生成树算法.
无向树和根树.
实数与向量的积.
线段的有关计算.
2.6 直角三角形(二).
离散数学─图论初步 南京大学计算机科学与技术系
线性代数 第二章 矩阵 §1 矩阵的定义 定义:m×n个数排成的数表 3) 零矩阵: 4) n阶方阵:An=[aij]n×n
线 性 代 数 厦门大学线性代数教学组 2019年4月24日6时8分 / 45.
⑴当∠MBN绕点B旋转到AE=CF时(如图1),比较AE+CF与EF的大小关系,并证明你的结论。
3.3 垂径定理 第2课时 垂径定理的逆定理.
定理 6.10(五色定理):任何平面图G是5-可着色的。
复习.
第十章 双线性型 Bilinear Form 厦门大学数学科学学院 网址: gdjpkc.xmu.edu.cn
第十六章 树 主要内容 无向树及其性质 生成树 根树及其应用.
定理21.9(可满足性定理)设A是P(Y)的协调子集,则存在P(Y)的解释域U和项解释,使得赋值函数v(A){1}。
第16讲 相似矩阵与方阵的对角化 主要内容: 1.相似矩阵 2. 方阵的对角化.
§8.3 不变因子 一、行列式因子 二、不变因子.
§6.7 子空间的直和 一、直和的定义 二、直和的判定 三、多个子空间的直和.
§2 闭区间上连续函数的性质 实数完备性理论的一个重要作用就是证 明闭区间上连续函数的性质,这些性质曾 经在第四章给出过.
1.2 子集、补集、全集习题课.
13.3 等腰三角形 (第3课时).
1.设A和B是集合,证明:A=B当且仅当A∩B=A∪B
树和图 tree and graph 蔡亚星.
第一节 不定积分的概念与性质 一、原函数与不定积分的概念 二、不定积分的几何意义 三、基本积分表 四、不定积分的性质 五、小结 思考题.
O x y i j O x y i j a A(x, y) y x 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算.
第七、八次实验要求.
离散数学─图论初步 南京大学计算机科学与技术系
第15讲 特征值与特征向量的性质 主要内容:特征值与特征向量的性质.
平行四边形的性质 鄢陵县彭店一中 赵二歌.
高中数学必修 平面向量的基本定理.
《离散结构》 二元运算性质的判断 西安工程大学计算机科学学院 王爱丽.
§2 方阵的特征值与特征向量.
定义5 把矩阵 A 的行换成同序数的列得到的矩阵,
欧拉图与汉密尔顿图.
4.2 图的存储结构(cont.) v1 v2 v3 v4 v5 vertex= v1 v2 v3 v4 v5 v
树的基本概念.
第三部分 图论 本部分主要内容 图的基本概念 树 欧拉图与哈密顿图 二部图与匹配 平面图 着色.
第四部分 图论 主要内容 图的基本概念:图、通路和回路、图的连通性、图的矩阵表示 图的可行遍性:欧拉图、哈密顿图、带权图及其应用
§4.5 最大公因式的矩阵求法( Ⅱ ).
离散数学─归纳与递归 南京大学计算机科学与技术系
1、图的基本概念 2、图的存储结构 3、图的遍历与连通性
最小生成树 最优二叉树.
§2 自由代数 定义19.7:设X是集合,G是一个T-代数,为X到G的函数,若对每个T-代数A和X到A的函数,都存在唯一的G到A的同态映射,使得=,则称G(更严格的说是(G,))是生成集X上的自由T-代数。X中的元素称为生成元。 A变, 变 变, 也变 对给定的 和A,是唯一的.
3.3.2 两点间的距离 山东省临沂第一中学.
二、平面图的特征 找出一个图是平面图的充分必要条件的研究曾经持续了几十年, 直到 1930 年库拉托斯基 (Kuratowski) 给出了平面图的一个非常简洁的特征。
Presentation transcript:

第 五 章 图 论 (第二部分) 1. 通路 2. 图的连通性

1. 通路 [定义]通路 pseudo path 设G=(V,E)是图,v0,vn是G中两点。若G中结点序列v0v1 … vn满足:vi与vi+1相邻(0 i<n), 则该序列称为从v0到vn的通路。 两个端点相同的通路称为回路(环或圈)。 通路中包含的边数称为该通路的长度。 注意: (1)通路中允许有重复的结点和边。

通路举例 A B C D E 通路:ADEBDEA 回路:ACDBCEA 回路:ABCDEA

简单通(回)路 [定义]简单通(回)路 各边均不相同的通路称为简单通路。 各边均不相同的回路称为简单回路 简单通路:ADEBD 简单回路:ACDBCEA C D

基本通(回)路 [定义]基本通(回)路 结点各不相同的通路称为基本通路。 中间结点各不相同的回路称为基本回路。 基本通路:ACEBD 基本回路:ABCDEA C D

有向通(回)路 若通路v0v1 … vn各边是有向边,且vi-1和vi分别是有向边的始点与终点,则称该通路为有向通(回)路。 [定义]有向通(回)路 若通路v0v1 … vn各边是有向边,且vi-1和vi分别是有向边的始点与终点,则称该通路为有向通(回)路。

通路定理 [定理]通路定理 在n阶图G中,如果有顶点u到v (u v)的通路,那么u到v必有一条长度小于等于n1的基本通路。

通路定理证明 定理:在有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之间的基本通路上,这与基本通路的性质“任意两个顶点不同”相矛盾。 ∴ 基本通路的长度<= n - 1

路径:回路定理 [定理]回路定理 在有n个顶点的图G中,如果有顶点v到自身的通路,那么必定有一条从v到v的长度不大于n的基本回路。

连通性定义 [定义]两结点连通(可达) [定义]连通无向图 规定:任意顶点与自身连通。 任意两个顶点都连通的无向图 若u与v之间有通路相连,则称u与v连通(可达)。 规定:任意顶点与自身连通。 [定义]连通无向图 任意两个顶点都连通的无向图 a b c d e f

有向图的连通性 强连通的有向图 单向连通的有向图 弱连通的有向图 b c a 任意两个顶点都是互相连通的。 任意两个顶点,至少从一个顶点到另一个是连通的 弱连通的有向图 底图连通的 b c a

强连通图性质(补充) 定理:一个有向图G是强连通的当且仅当G中有一条包含所有顶点至少一次的回路。 证明:  : G中有一条包含所有顶点的回路,显然强连通。/*连通图的定义*/  :如果 G强连通,G中的顶点为v1,v2,….vn, 设v1到v2路径为P1,v2到v3的路径为P2 ,……, vn到v1 的路为Pn ,将P1, P2,…... Pn连起来,此路是一条包含G中所有顶点的回路。

有向图连通性举例 判断下面给出的图是强连通图、单向连通图还是弱连通图。 A B C D E F A B C D E F A B D C E

无向图的连通分支 [定义]连通分支(connected component) G [定义]连通图:只有一个连通分支的图。 设图G’ 是无向图G的子图的,如果: (1) G’ 是连通的, (2) G’ 不是任何其它连通子图的真子图(极大性) 则称G’ 是G的连通分支。 G [定义]连通图:只有一个连通分支的图。

无向图连通分支举例 例 请指出下图G的连通分支数。 v1 v6 v2 v3 v7 v5 v4 G

有向图的连通分支 [定义]强(单向、弱)连通分支 设图G’ 是有向图G的子图的,如果: (1) G’ 是强连通(单向连通、弱连通)的,

有向图的连通分支举例 例 请指出下图G的所有强分支、单向分支和弱分支。 G v8 v2 v1 v6 v3 v5 v4 e2 e1 e7 e6 强分支: <{v1,v2,v3,v6},{e1,e2,e5,e6,e7}>、 <{v4},>、<{v5},  >、 <{v7},  >、 <{v8},  >、 单向分支: <{v1,v2,v3,v4,v6},{e1,e2,e3,e5,e6,e7}>、<{v4 ,v5},{e4}>, <{v7,v8},{e8}> 弱分支: <{v1,v2,v3,v4,v5,v6},{e1,e2,e3,e4,e5,e6,e7}>、<{v7 ,v8},{e4}>

有向图连通分支举例 请给出下图的所有强分支、单向分支和弱分支 A B C D E F P Q S T 强分支:G[{A}]、G[{E}]、G[{F}]、G[{B}]、G[{C}]、G[{D}] 、 G[{P,Q,S,T}] 单向分支: G[{A,E,F}]、G[{B,C,D}]、G[{A,B,C,D}]、 G[{A,C,D,E}]、G[{P,Q,S,T}] 弱分支:G[{A,B,C,D,E,F}], G[{P,Q,S,T}]

图的连通性:连通性质讨论 若n阶图G的邻接矩阵为A=(aij)n×n,V(G)={v1,v2,…,vn}, 则: (1)若aij= 1,表明vi到vj有一条边,即vi到vj连通; (2)若aij=0,表明vi到vj没有长度为1的通路。 bij的值表示G中Vi到Vj长度为2的通路条数。

连通性质讨论(续) [定理] 若G的邻接矩阵为A,则矩阵Am的元素bij表示vi到vj长度为m的通路条数。

可达矩阵 [定义]可达矩阵 若n阶有向图G的邻接矩阵为A,令 B = A+A2+…+An-1 +An 将B中不为0的元素改为1,为0的元素不变,修改后所得到的矩阵(bij)nn称为G的可达矩阵。 图G从vi点到vj点有通路当且仅当? bij = 1

图的连通性与可达矩阵 B中元素全为1 B中所有关于主对角线对称 的两个元素中至少一个值为1 B中元素全为1 有向图的连通性(n1): 设有向图G的可达矩阵为B (1) G强连通 (2) G是单向连通的 无向图的连通性(n1): 设无向图G的可达矩阵为B G连通 B中元素全为1 B中所有关于主对角线对称 的两个元素中至少一个值为1 B中元素全为1

连通性证明题举例1 [试证]:若n个顶点的无向图G=(V,E)连通,则|E|(n-1)。 证明:(归纳法) (1)n=2,由G连通可知: |E|  1=n-1,定理成立。 (2)假设n=k时,结论成立,即|E|k-1. (3)证法一: 当n=k+1时,由递归假设可知:|E|k-1. 任选G中一个结点v 若G-v连通, 则 |V(G-v)|=k,故由递归假设|E(G-v)|k-1; 而由v与G-v至少有一条边相连可知: |E||E(G-v)|+1k; 若G-v不连通,不妨设G-v中有m个连通分支G1,G2,…,Gm,设|V(Gi)|=xi; 显然,对所有i=1,2,3,…,m,都有:xi<k. 由归纳假设可知E(Gi)xi-1,而v与每个连通分支至少有一条边相连,故 E(Gi)m+i=1m(xi-1)= m+i=1mxi-m=i=1mxi=k.

连通性证明题举例1(续) (3) 证法二: 显然, 在k+1个顶点中,不存在孤立顶点,否则,G不连通。即G中所有顶点度数至少为1。 G中所有顶点的度数和≥2k+2。 进而,由握手定理可知:|E| ≥k+1。 命题得证。 2) 若G中至少存在一个度数为1的顶点,设为v。 令G’=G-v,则G’有k个顶点且G’连通。 根据递归假设E(G’)k-1, 故|E|=E(G’)+v与G’相连的边数k-1+1=k. 命题得证.

连通性证明举例2 证明:若G是简单图,设为G的顶点的最小度,若>[|V(G)|/2]-1,则G是连通图。 证明:(反证法) 则G中至少存在两个连通分支,不妨设G中的两个连通分支分别为G1和G2,且|V(G1)||V(G2)|。 则有: |V(G1)|[|V(G)|/2]。 而由G是简单图可知:G1中任意顶点v的度数满足: d(v) |V(G1)|-1 [|V(G)|/2]-1 进而,  d(v) [|V(G)|/2]-1,这与前提条件>[|V(G)|/2]-1矛盾。 因此,G是连通图。

连通性证明举例3 设G是n阶无向简单图,若G中任意不同的两个顶点的度数 之和大于等于n – 1,请证明G是连通图。 证明:反证法。 不妨设G有k个连通分支G1,G2,……,Gk ,n1,n2,……,nk是各分支的顶点数。则有: n1 + n2 +…+nk = n 任取u  G1, v  G2。 由G是简单图可知: deg(u) <= n1 – 1 且 deg(v) <= n2 – 1。 因此, deg(u) + deg(v) = n1 – 1 + n2 – 1 <= n – 2 这与题设“任意不同的两个顶点的度数之和大于等于n – 1”矛盾。  G是连通图

连通性证明举例4 请证明图G和补图~G中至少有一个连通图。 证明: (1)如果G是连通图,问题得证。 (2) 如果G不是连通图。 任取u, v  ~G,设G的连通分支有G1,G2,……,Gk ① 如果u和v是属于G中不同的连通分支Gi和Gj,则(u, v)  ~G ②如果u和v是属于G中相同的连通分支Gi ,则可在G的另一个连通分支中取一个结点x ,则(u, x)  ~G, (v, x)  ~G。∴ u和v之间在~G中有通路uxv相连。 由u和v的任意性,可知~G是连通的。 综上所述, G和补图~G中至少有一个是连通图。

课堂练习 证明:若G是简单图,设为G的顶点的最小度,若k,则G中有长为k的基本通路。

课堂练习解答 2. 证明:(反证法) 假设G中不存在长度为k的基本通路。 设P=v1v2…vm为G中最长基本通路。则mk。 2. 证明:(反证法) 假设G中不存在长度为k的基本通路。 设P=v1v2…vm为G中最长基本通路。则mk。 假设vm与V(G)-V(P)中的一个结点相连,不妨设为w,则v1v2…vmw为比P更长的一条基本通路。这与P是G中最长的基本通路相矛盾。 因此,vm结点只能与P上的结点v1,v2 , …,vm-1相连,故d(vm)m-1k-1,进而 d(vm)k-1,这与k矛盾。