《离散数学》——图论6.8

短程线、距离:记Γ是vi到vi的一掉路径,Γi = min{Γ1、Γ2、Γ3…},那么Γi就是vi和vj之间的短程线,其长度即是vi与vj之间的距离。

点割集、割点:记p(G)为G的连通度,对于点集V的子集V’,V’任意的子集V’’,满足p(G-V’’)>p(G),那么V便成为一个点割集,当某个点割集中只有一个点v时,v称为割点。

边割集、割边(桥):类比点割集、割点有相似的概念。

点连通度:用κ(G)表示,k(G) = min{|V’| | V’是点割集或使G-V’是有一个顶点}

边连通度:与点连通度有相似的定义,用λ(G)表示。

从定义出发,我们容易得到下面几条知识点:

(1):对于平凡图(只有一个顶点),κ(G) = λ(G) = 0;

(2):对于完全图Kn,不存在点割集,因此κ(G) = n-1.(这也是为什么点连通度的定义会多出来一个或情况)

(3)若G中存在割点,κ(G) = 1,;同样如果存在割边,λ(G) = 1;

而对于κ(G) 、λ(G)、δ(G),有如下的不等式成立(这里暂且折叠证明)。

κ(G) ≤ λ(G) ≤ δ(G)

有向图的连通性:弱连通图、单向连通图、强连通图。

弱连通图:去掉有向图的方向性而得到的无向图,如果是连通图,那么称其为弱连通图。

单向连通图:有向图任意两点至少存在一个点到另一个点的通路。

强连通图:有向图中任意两点都相互可达。

能够看到,弱连通图、单向连通图、强连通图的连通性是依次增强的,即强连通图一定是单向连通图、单向连通图一定是弱连通图,反之则不然。

这里记录两个简单的判断有向图连通性的方法。

判别法一:如果有向图G中存在一条遍历所有顶点的回路,则可判断其为强连通图。

判别法二:如果有向图G中存在一条遍历所有顶点的通路,则可判断其为弱连通图。

其正确性是不证自明的,但是我们应该注意到,这两条判断条件是作为充分不必要条件出现的。

图的矩阵表达:

首先概述一下几种表示图的矩阵,它其实可以分成两大类,一种是表征顶点和边关联的次数,比如关联矩阵;另一种是表征顶点与顶点之间的关系,比如邻接矩阵和可达矩阵,不同的是前者两个点之间的直接通路的数目,而后者则是记录两点之间是否存在直接通路。

无向图的关联矩阵:设图G有n个顶点m条边,则形成n行m列矩阵M,Mij表示vi和ej关联的次数(即可取0、1、2)。

有向无环图的关联矩阵:

与无向图关联矩阵类似,但是这里矩阵的取值稍有不同,对于Mij的取值,有如下的三种情况:

(1)    vi与ej不关联,Mij =  0;

(2)    vi是ei的起点,Mij =  1;

(3)    vi是ei的重点,Mij= -1;

(4)

有向图的邻接矩阵:对于Aij,表示vi->vj(直接连通)的边数

关于有向图的邻接矩阵,这里有一条非常重要的定理:

设A为有向图D的邻接矩阵,D的定点及V={v1,v2,v3…vn},则 A^l  (l≥1)的元素aij是vi到vj长度为l的通路数,  是D中长度为l的通路数,其中  是D中长度为l的回路数。

证明:考虑利用数学归纳法。

归纳基础:当m = 1,有邻接矩阵的定义,结论显然成立。

归纳步骤:假设当m = l – 1时我们给出的定理成立,那么现在我们考虑得到长度为l的路径,我们需要找到所有的点vk,使其满足<vi,vk> = l , <vk,vj> = 1,即可以用如下的等式表达:

能够看到,这刚好是与矩阵运算的法则呼应起来的,那么基于m=l-1时成立,m = l也成立,由此归纳完成,定理证毕。

有向图的可达矩阵:对于Pij,满足(vi可达vj) ? (Pij = 1) : (Pij = 0).

时间: 2024-10-11 06:19:34

《离散数学》——图论6.8的相关文章

离散数学图论

w 如何学习数据结构? - 知乎  https://www.zhihu.com/question/21318658/answer/63652147 作者:知乎用户链接:https://www.zhihu.com/question/21318658/answer/63652147来源:知乎著作权归作者所有.商业转载请联系作者获得授权,非商业转载请注明出处. 数据结构的本质就在于:如何将现实世界中各种各样的数据放入到内存中,并且如何在内存中操作这些数据,如何评价这些存储方案和操作方法.数据结构难学吗

离散数学-图论-哈密顿图及其应用

哈密顿图 一.定义概念 1.哈密顿通路 设G=<V,E>为一图(无向图或有向图).G中经过每个顶点一次且仅一次的通路称作哈密顿通路 2.哈密顿回路 G中经过每个顶点一次且仅一次的回路(通路基础上+回到起始点)称作哈密顿回路 3.哈密顿图 若G中存在哈密顿回路,则称它是哈密顿图 4.定义详解: (1)存在哈密顿通路(回路)的图一定是连通图: (2)哈密顿通路是初级通路,哈密顿回路是初级回路: (3)若G中存在哈密顿回路,则它一定存在哈密顿通路,反之不真(看课本的话,是必要条件,而不是充分条件,故

[USACO]时间管理

作为一名忙碌的商人,约翰知道必须高效地安排他的时间.他有N工作要 做,比如给奶牛挤奶,清洗牛棚,修理栅栏之类的. 为了高效,列出了所有工作的清单.第i分工作需要T_i单位的时间来完成,而 且必须在S_i或之前完成.现在是0时刻.约翰做一份工作必须直到做完才能停 止. 所有的商人都喜欢睡懒觉.请帮约翰计算他最迟什么时候开始工作,可以让所有工作按时完成.(如果无法完成全部任务,输出-1) Finley AOE网与AOV网 有向无环图(Directed Acycline Graph, DAG)是一类特

【离散数学2】代数系统与图论个人总结

代数系统部分 基础定理 鸽巢原理 群论 广群 半群 独异点 群 群的阶数与元素的阶数 陪集与拉格朗日定理 特殊群 交换/阿贝尔群 循环群 sylow定理 环与域 环 整环 域 格论 格 分配格 模格 有界格 补格 图论部分 基础定理 握手定理 握手定理,有n个人握手,每人握手x次,握手总次数为S= nx/2. 推出 图的度与边数的关系 基础概念 路 节点与相邻的边交替出现 v0e1v1e2...vn-1envn 回路  v0=vn的路//某教材虽然这么写 但题出的都是欧拉回路呵呵 通路 圈 迹

《离散数学》——图论6.6

关于简单的握手定理及其推论这里不在体现,这里我们记录三道利用握手定理并基于反证法的证明题. Ex1:设n阶m条边的无向图G中,m=n+1,证明G中存在顶点v,满足d(v) ≥3. 证明:考虑反证法,既需要将待证命题的否命题归谬.首先我们写出带证明题的否命题:G中任意的顶点v,都满足d(v)≤2. 由握手定理可知,∑d(v) = 2m = 2(n+1) ,结合假设,∑d(v) ≤ 2n,即有2n + 2≤2n,矛盾.原命题的正确性得证. Ex2:证明:空间不存在有奇数个面且每个面均有奇数条棱的多面

《离散数学》——图论6.7

图论里的一系列概念.性质.定理. 无向图中的平行边:字面理解,即是两个顶点相同的边,互称为平行边. 无向图重数:无向图中平行边的条数成为重数,这里要注意,是所有平行边的和而不是最大的一组平行边. 有向图中的平行边:与无向图平行边的定义很类似,但是这里要求起点和终点是一致的(即方向要一致). 多重图:含有平行边的图. 简单图:不含平行边和自环的图.容易看到,对于n阶简单图满足Δ≤n-1. 无向完全图:任意两个顶点之间都存在边,用Kn来表示.基于其定义,我们可知边数m = C(n,2) 有向完全图:

《离散数学》——图论6.10

与树相关的知识点: 相对来说清华大学出版社的这本<离散数学>有关树的这一章节还是比较简单地,概念也不多,有关树.森林.树叶.分支点.生成树.最小生成树等概念都很简单,这里不再累述,下面记录几个定理和重要的算法步骤. 定理1:设T<V,E>是n阶非平凡的无向树,则T至少有2片树叶. 证明:设T有k片树叶,则有n-k个分支点(分支点的度数大于等于2),由握手定理可知2m≥k + 2(n-k),然后考虑到树结构中一个非常常用的性质,边数m和顶点数n满足m = n – 1,带入不等式,可得

《离散数学》——图论6.9

几种特殊的图: 二分图: 定义:对于G,存在点集V1.V2满足V1∩V2 = ∅,V1∪V2 = V,并对于任意边eij,有vi.vj分别属于V1.V2,则称这样的图是二分图,也叫二部图.偶图.双图.这里需要注意的是,我们这里约定n阶零图(不含边的图)也是二分图.(并且这里我们主要讨论无向二分图) 定理:无向图G=<V,E>是二分图当且仅当G中无奇数长度的回路. 必要性:根据二分图的定义,能够看到对于路径Γ,当起点vi和vj同属于V1的时候,则必然经过了偶数条边,而回路显然满足这种情况. 充分

&lt;图论&gt;&lt;离散数学&gt;计算机科学中的&quot;图&quot;

1.Graph的定义 我们对图的定义是G=<V,E>.V是一群顶点的集合,E是一群边的集合,每条边连接V中的两个顶点,V不可以是空集,E可以是空集,V和E组成一个G,G就是一个图.1<1>  directed graph和undirected graph有向图和无向图 如果E中没有有向边,我们说G是一个无向图,否则G是一个有向图(当然无向图也可以视为有向图).1<2>  simple graph和multigraph 如果在G中,每两个顶点间最多有一条边,或者说每两个顶