图论第3章讲义
离散数学图论基础知识文稿演示
![离散数学图论基础知识文稿演示](https://img.taocdn.com/s3/m/d210ffd8f12d2af90342e6c0.png)
图的定义
定义8.1 一个图是一个序偶<V,E>,记为 G=<V,E>,其中: 1) V={v1,v2,v3,…,vn}是一个有限的非空集合,
vi(i=1,2,3,…,n)称为结点,简称点,V为结 点集; 2) E={e1,e2,e3,…,em}是一个有限的集合, ei(i=1,2,,…,m)称为边,E为边集,E中的 每个元素都有V中的结点对与之对应。即对任 意e∈E,都有e与<u,v>∈VV或者(u,v)∈ V&V相对应。
图论
▪ 一个图就是一个离散的拓扑结构,经常用于描 述和研究许多领域中的各种问题。
▪ 随着计算机科学的飞速发展,图论组合和算法 的研究在近代也成为计算机科学和数学中发 展最快的基础学科之一,也受到国际上的学术 界和高新技术企业方面特别重视。
图论
▪ 理论计算机科学中的算法理论经典问题(图中点对之 间最短路,货郎担问题,图重抅问题,HAMILTON 问 题,P-NP问题等),通信网络通讯(网络设计, 通讯速度 和容量, 网络可靠性和容错性等) ;
图论本身是应用数学的一部份,因此,历史上图论曾经 被好多位数学家各自独立地建立过。关于图论的文字 记载最早出现在欧拉1736年的论着中,他所考虑的原 始问题有很强的实际背景
图论
图论起源于著名的哥尼斯堡七桥 问题。
欧拉证明了这个问题没有解,并 且推广了这个问题,给出了对于 一个给定的图可以某种方式走遍 的判定法则。 这项工作使欧拉成为图论〔及拓 扑学〕的创始人。
1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学 的两台不同的电子计算机上,用了1200个小时,作了 100亿判断,终于完成了四色定理的证明。
不过不少数学家并不满足于计算机取得的成就,他们认 为应该有一种简捷明快的书面证明方法。
数学竞赛:图论讲义
![数学竞赛:图论讲义](https://img.taocdn.com/s3/m/393a0bbbfd0a79563c1e72ff.png)
数学竞赛:图论讲义大连市第二十四中学 邰海峰重要的概念与定理完全图 每两个顶点之间均有边相连的简单图称为完全图,有n 个顶点的完全图(n 阶完全图)记为n K .顶点的度 图G 中与顶点v 相关联的边数(环按2条边计算)称为顶点v 的度(或次数),记为()d v .()G δ与()G ∆分别表示图G 的顶点的最小度与最大度.度为奇数的顶点称为奇顶点,度为偶数的顶点称为偶顶点.树 没有圈的连通图称为树,用T 表示,其中度为1的顶点称为树叶(或悬挂点).n 阶树常表示为n T .k 部图 若图G 的顶点集V 可以分解为k 个两两不相交的非空子集的并,即1,()ki i j i V V V V i j ===∅≠并且同一子集i V (1,2,,)i k =内任何两个顶点没有边相连,则称这样的图为k 部图,记作12(,,,;)k G V V V E =. 2部图又叫做偶图,记为(,;)G X Y E =.完全k 部图 在一个k 部图12(,,,;)k G V V V E =中,i i V m =(1,2,,)i k =,若对任意,,(,,1,2,,)i i j j v V v V i j i j k ∈∈≠=均有边连接i v 和j v ,则称图G 为完全k 部图,记为12,,,k m m m K .欧拉迹 包含图中所有边的迹称为欧拉迹.起点与终点重合的欧拉迹称为闭欧拉迹.欧拉图 包含欧拉迹的图为欧拉图. 欧拉图必是连通图.哈密顿链(圈) 经过图上各顶点一次并且仅仅一次的链(圈)称为哈密顿链(圈).包含哈密顿圈的图称为哈密顿图.平面图 若一个图G 可画在平面上,即可作一个与G 同构的图G ',使G '的顶点与边在同一平面内,且任意两边仅在端点相交,则图G 称为平面图.一个平面图的顶点和边把一个平面分成若干个互相隔开的区域,称为平面图的一个面,在所有边的外面的面称为外部面,其余的称为内部面.竞赛图 有向完全简单图称为竞赛图.有n 个顶点的竞赛图记作n K .有向路 在有向图(,)D V U =中,一个由不同的弧组成的序列12,,,n u u u ,其中i u 的起点为i v ,终点为1(1,2,,)i v i n +=,称这个序列为从1v 到1n v +的有向路(简称路),n 为这个路的长,1v 为路的起点,1n v +为路的终点.若11n v v +=,则称这个路为回路.定理1 设G 是n 阶图,则G 中n 个顶点的度之和为边数的2倍.定理2 对于任意图G ,奇顶点的个数一定是偶数.定理3(Turan 定理) 有n 个顶点且不含三角形的图G 的最大边数为24n ⎡⎤⎢⎥⎣⎦.定理4 图G 为偶图,当且仅当G 中不含长度为奇数的圈.定理5 若树T 的顶点数2,则T 中至少有两个树叶.定理6 若数T 有n 个顶点,则T 的边数1e n =-.定理7 设T 是有n 个顶点、e 条边的图,则下列命题等价:⑴ 图T 是树; ⑵ 图T 无圈,且1e n =-; ⑶ 图T 连通,且1e n =-.定理8 n 阶连通图中以树的边数最少,且n 阶连通图必有一个子图是树.定理9(一笔画定理) 有限图G 是一条链或圈(可以一笔画成)的充要条件是G 是连通的,且奇顶点的个数为0或2. 当且仅当奇顶点个数为0时,连通图G 是一个圈.定理10 在偶图12(,;)G V V E =中,若12V V ≠,则G 一定无哈密顿圈.若1V 与2V 的差大于1,则G 一定无哈密顿链.定理11 设G 是(3)n n 阶简单图,且对每一对顶点,v v '有()()1d v d v n '+-,则图G 有哈密顿链.定理12 设G 是(3)n n 阶简单图,且对每一对不相邻的顶点,v v '有()()d v d v n '+,则图G 有哈密顿圈.定理13 设G 是(3)n n 阶简单图,若每个顶点的度()2n d v ,则图G 有哈密顿圈. 定理14 若图G 有哈密顿圈,从G 中去掉若干个点12,,,k v v v 及与它们关联的边得到图G ',则图G '的连通分支不超过k 个.定理15(欧拉公式) 若一个连通的平面图G 有v 个顶点、e 条边、f 个面,则2v f e +-=. 定理16 一个连通的平面简单图有v 个顶点、e 条边,则36ev -,对于连通的偶图,则有24ev -. 定理17 一个图是平面图当且仅当它不包含同胚于5K 或3,3K 的子图.定理18 设n 阶竞赛图n K 的顶点为12,,,n v v v ,则11(1)()()2n n i i i i n n d v d v +-==-==∑∑,且2211[()][()]n ni i i i dv d v +-===∑∑. 定理19 竞赛图中出度最大的点称为“优点”,“优点”到其余各点都有长度不超过2的链. 定理20 竞赛图n K 中存在一条长为1n -的哈密顿路. 定理21 竞赛图(3)n K n 中有一个回路是三角形的充要条件是有两个顶点,v v '满足()()d v d v ++'=.定理22(Ramsey 定理) 任意2色完全图6K 中必存在同色三角形.例题选讲例1 某天晚上21个人之间通了电话,有人发现这21人共通话102次,且每两人至多通话一次.他还发现,存在m 个人,第1个人与第2个人通了话,第2个人与第3个人通了话,……, 第1m -个人与第m 个人通了话,第m 个人又与第1个人通了话,他不肯透露m 的具体值,只说m 是奇数.求证: 21个人中必存在3人,他们两两通了话.证:用21个点表示21个人,若两人通电话则对应两点连一条边,构成图G .由已知,G 中存在一个长度为m 的奇圈.要证: G 中存在三角形.设图G 中长度最短的奇圈为C ,长度为21k +.若1k =,则C 为三角形.若2k ,设C 为12211k v v v v +,则i v 与j v 之间无边(1,21,1(mod 21)i j k j j k +-≡±+),否则,若i v 与j v 相邻,则圈12211i j k v v v v v v +与圈1i i j i v v v v +长度之和为23k +,故其中必然有一个长度小于21k +的奇圈,与C 最短矛盾.假设除1221,,,k v v v +外的21(21)202k k -+=-个点无三角形,由Turan 定理,它们至多连了22(202)(10)4k k ⎡⎤-=-⎢⎥⎣⎦条边. 又其中任意一点不与C 的相邻两点相邻(否则存在三角形),所以它至多与C 中k 个点相邻.故总边数为221(202)(10)k k k k ++-+-22210021102(1)102(21)101k k k =++-=----=(2k ).与图G 共有102条边矛盾. 故图G 中存在三角形,即存在三个人两两通话.例2 45个校友聚会,在这些人中,任意两个熟人数目相同的校友互不认识.问在参加校友聚会的所有人中,熟人最多的人的数目最多是多少?解: 用45个点表示45个人,若两人认识,则对应两点间连一条边,得图(,)G V E =.设共有m 个人熟人最多,每人有t 个熟人,这些人对应的点构成集合X ,其余的人对应点构成集合Y ,显然X Y V =,X Y =∅.由题意知,X 中任何两点不相邻,且(),(1,2,,)i d v t i m ==,G 中各顶点的度的最大值()G t ∆=.下面证明:22m. 若23m ,则X 中至少有23个点,每点的度为t ,且任意两点不相邻,则从X 中发出的另一端是Y 中点的边共有23t 条,而22Y .所以,Y 中至少有一个点的度大于t ,与()G t ∆=矛盾.当22m =时,构造完全偶图22,23G K =,满足题意. 故熟人最多的人数最多为22人.例3 在17名科学家中,每人都和其它人通信.在他们的通信中只讨论三个题目.而且任意两名科学家通信时,只讨论一个题目.证明,其中至少有三名科学家,他们相互通信时,讨论的是同一个题目.证: 用顶点代表科学家,两人相互通信则连上一条边.若两人在通信中讨论第i (1,2,3)i =个题目,则在此边上染上第i 种颜色. 在这个三色完全图17K 中,任取一个顶点, 从它出发的16条边中,至少有染上某一种颜色(设为第i 种颜色)的边的数目不小于6.从其中取出6条第i 种颜色的边,如果这些边的另一端点所构成的子图6K 中含第i 色边,这就构成第i 色三角形. 否则,6K 就是两色完全图,由Ramsey 定理知,其中必有单色三角形.这就是说,有三位科学家在通信中讨论的是同一题目.证毕.例4 设n 个新生中,任意3个人中有2个人互相认识,任意4个人中有2个人互不认识,求n 的最大值.解: 所求n 最大值为8.8n =时,如右图,其中128,,,A A A 表示8两点相邻当且仅当两人认识.下面设n 个学生满足题设要求,证明8n.为此,先证明如下两种情况 不可能出现.⑴若某人A 至少认识6个人,记为126,,,B B B .由Ramsey 定理知, 这6个人中或存在3个人互不认识(与已知任意3个人中有2个人互相认识 矛盾),或存在3个人互相认识,这时,A 与这3个人共4个人两两互相认识,与已知矛盾.⑵若某人A 至多认识5n -个人,则剩下至少4个人均与A 互不认识,从而,这4个人两两认识,与已知矛盾.当10n 时,⑴与⑵必有一种情况出现,故此时n 不满足要求.当9n =时,要使⑴与⑵都不出现,则此时每个人恰好认识其他5个人,于是,这9个人产生的“朋友对”的数目为952N ⨯∉,矛盾. 由上述讨论知,8n .3 4 A A综上,n 的最大值为8.例5 设(3)n n >是整数, 在一次会议上有n 位数学家,每一对数学家只能用会议规定的n 种办公语言之一进行交流,对于任意3种不同的办公语言,都存在3位数学家用这3种语言互相交流.求所有可能的n ,并证明你的结论.证:当n 位奇数时,结论成立.原命题等价于将完全图n K 的边染以n 种颜色之一,使得对于任意3种颜色,都存在3个顶点,它们相互所连的边为这3种颜色.由于n 种颜色有3n C 种选取方法,而顶点也有3n C 种选取方法,这就意味着每3个顶点相连的边一定被染为确定的3种颜色,不能染为其他情况的颜色,反之亦然.特别地,对于每一个三角形其3条边为3种不同颜色.固定颜色S ,恰好有21n C -个三角形,其有一条边为颜色S ,而颜色为S 的边可以与其他2n -个顶点构成2n -个三角形.于是,有21122n C n n --=-条边被染为颜色S .所以,n 不能为偶数. 当n 为奇数时,将n 个顶点分别记为顶点1,2,,n ,n 种颜色记为12,,,n S S S ,连结顶点,i j 的边染为颜色t S ,其中(mod )t i j n ≡+.则对于任意3种颜色123,,t t t S S S ,有同余方程组123(mod )(mod )(mod )i j t n j k t n k i t n +≡⎧⎪+≡⎨⎪+≡⎩. 利用消元法,可得在{}1,2,,n 内有唯一的解(,,)i j k ,且,,i j k 互不相同. 所以,对于任意3种颜色,存在唯一的三角形,其3条边的颜色为这3种颜色.例6 一个元素都是0或1的方阵称为二进制方阵. 若二进制方阵其主对角线(左上角到右下角的对角线)以上(不包括主对角线)的元素都相同,而且主对角线以下(不包括主对角线)的元素也相同,则称它为一个“好方阵”. 给定正整数m . 证明:存在一个正整数M ,使得对任意正整数n M >和给定的n n ⨯二进制方阵n A ,可选出整数121n m i i i n -<<<,从n A 中删除第12,,,n m i i i -行和第12,,,n m i i i -列后所得到的二进制方阵m B 是“好方阵”.证:记n A 中第i 行,第j 列的元素为,i j a ,n K 表示n 阶完全图. 我们对n K 的边按如下方式染色:对于连接顶点,(1)i j i j n <的边⑴ 若,,0i j j i a a ==,则染红色; ⑵ 若,,0,1i j j i a a ==,则染绿色;⑶ 若,,1,0i j j i a a ==,则染蓝色; ⑷ 若,,1i j j i a a ==,则染白色.按照上面的染色方式,则一个单色完全子图m K 对应于n A 的一个“好子方阵”.事实上,若12,,,,m i i i v v v 是m K 的顶点,我们可以删去指标12{1,2,3,,}\{,,,}m j n i i i ∈的n m -行和n m -列,得到一个“好子方阵”m B .我们只需取M 使得,对任何n M >,四染色的n K 必定包含一个单色子图m K .根据Ramsey 定理,我们可取(,,,)M R m m m m =即可.例7 现有十个互不相同的非零数.现知它们之中任意两个数的和或积是有理数.证明:每个数的平方都是有理数.证:考查其中任意6个数.作一个图,在它的6个顶点上分别放上我们的6个数.如果某两个数的和为有理数,就在相应的两个顶点之间连一条蓝边;如果某两个数的积为有理数,就在相应的两个顶点之间连一条红边.由Ramsey 定理,此图中存在一个同色三角形.⑴ 若存在蓝色三角形,则表明存在三个数,,x y z ,使得,,x y y z z x +++都是有理数.因而()()()x y z x y z +++-+2x =为有理数,亦即x 为有理数.同理可知y 和z 也都是有理数.此时我们再来观察其余的任意一个数t .显然,无论由xt 的有理性(由已知,所有的数均非0),还是由x t +的有理性,都可以推出t 为有理数.所以此时10个数都是有理数.⑵ 若存在红色三角形,则表明存在三个数,,x y z ,使得,,xy yz zx 都是有理数.因而()()xy zx yz2x =为有理数,同理可知2y 和2z 也都是有理数.如果,,x y z 三者中至少有一个为有理数,那么只要按照前一种情况进行讨论,即可得知我们的10个数都是有理数.现在设x =其中a 为有理数,而1m =±.由于xy b ==是有理数,所以y===其中c m ≠为有理数.再观察其余的任意一个数t ,若xt 或yt 为有理数,则经过与上述类似的讨论,可知t =其中d 为有理数,因而2t 为有理数.而若x t +与y t +都是有理数,则()()x t y t +-+是有理数,但()()(x t y t m c +-+=-,矛盾.综上,我们已证或者每个数都是有理数,或者每个数的平方都是有理数.练习1.旅行团一行6人到一个城市观光,此城市开放15个景点,每人可选择若干个景点参观(亦可不选或全选). 求证: 或者必有3人,他们选择的景点各不相同; 或者必有4人,在他们选择的景点中有相同的.2.设一次至少有5人参加的循环赛的结果满足如下条件:若A 胜B,则胜A 而负于B 的人数不少于胜B 而负于A 的人数.证明:对任意两人,x y ,总有另外两人,z w ,使得若x 胜y ,则y 胜z 、z 胜w 、w 胜x .3.在一个足球联赛里有20支球队.第一轮它们分成10对互相比赛,第二轮也分成10对互相比赛(每支球队两轮比赛的对手不一定不同).求证:在第三轮开赛之前,一定可以找到10支球队,它们两两没有比赛过.4.某国际社团共有 1978 名成员,他们来自六个国家,用号码1,2,3,,1978给成员编号.证明至少有一名成员,他的编号是他的某个同胞的 2 倍,或者是两位同胞编号之和.练习题答案1.证:用6个点表示6个人,再用15个点表示15个景点.若某人选择了某个景点,则在相应两点之间连一条边,得一偶图.以i N 表示点i v 在图中的邻域,它表示第i 个人选择的景点的集合(1,2,,6i =).假设结论不真,则⑴任意三个i N 有公共元,且⑵任意四个i N 无公共元.由⑴知,对每个i N ,在{},16j N j i j ≠中每取两个与i N 的交均非空,故可确定i N 的一个元素,用这样的方式可确定2510C =个元素.由⑵知,这些元素各不相同,故每个i N 至少有2510C =个不同的元素.对每个(16)i i 这样做,得到25660C =个元素.又由⑵知,每个元素至多是3个i N 的公共元,故每个元素至多重复计算3次.故其中不同的元素至少有256203C =个,即至少有20个景点,矛盾. 2. 证:由题意知,若A 胜B 且存在胜B 而负于A 的人,则必存在胜A 而负于B 的人.任取两选手,x y 且x 胜y ,分三种情况讨论:⑴若存在w 胜y 且有x 胜y 而负于w ,根据条件,存在z 胜w 而负于y ;⑵若存在z 同时负于,x y ,则y 胜z 而x 同时胜,y z ,同情形⑴;⑶若不存在有同时胜(或同时负于),x y 的人,在其余3人中,胜x 而负于y 的至少有2人,设为,w z ,且z 胜w ,则,,,x y z w 符合题意.3. 证:用20个点表示20个球队,第一轮互相赛过的队之间连红线,第二轮互相赛过的队之间连蓝线,则每个点都连有一红一蓝两条边,从而整个图必由一个或若干个偶圈组成.在每个偶圈中可以选出半数定点,任两个不相邻,共选出10支球队,两两未赛过.4.证: 用顶点表示成员,并加上编号.于是任意两顶点,i j v v 编号差大于 0 而小于 1978.如果这个差是第(16)i i 国成员的编号,则将(,)i j v v 边染上第i 种颜色i C ,这样我们就用六种颜色染了1978K 的所有边. 以下首先证明,六色完全图1978K 中必定含有单色三角形. 取1978K 的任一顶点v ,与它关联的 1977 条边分为 6 种颜色,于是其中必有一种颜色的边至少有197713306⎡⎤+=⎢⎥⎣⎦条. 不妨设12330,,,vu vu vu 是1C 色边.如果1978K 中以12330,,,u u u 为顶点的完全子图330K 中含有1C 色边(,)(1,330)i j u u i j ,则i j vu u 为1C 色三角形,命题得证.如果330K 不含1C 色边,则330K 是五色完全图.从它的顶点1u 引出的 329 条边中至少有3291665⎡⎤+=⎢⎥⎣⎦条边同色(1C 色之外的某色),不妨设1213167,,,u u u u u u 边为2C 色.以2367,,,u u u 为顶点的完全子图66K 中如果有2C 色边(,)(2,67)s t u u s t ,那么在1978K 中就有2C 色三角形1s t u u u ,命题得证.若此66K 中没有2C 色边,则此66K 是4色完全图.由66K 的顶点2u 伸出的65条边,共4种颜色,至少有651174⎡⎤+=⎢⎥⎣⎦条边是除12,C C 外的某种颜色.不妨设2324219(,),(,),,(,)u u u u u u 是3C 色边.66K 中以3419,,,u u u 为顶点的完全子图17K 中若含3C 色边(,)(3,19)p q u u p q ,则2p q u u u 为3C 色三角形.否则17K 为三色完全图.由例3可知必有单色三角形.因此六色完全图1978K 中必有单色三角形.其次,设三角形xyz 是1978K 中的i C 色三角形.其中x y z >>,由染色方法,若a x y =-, b y z =-,c x z =-,则,,a b c 都是第i 国成员的编号.显然c a b =+,如果a b =,那么2c a =.证明完毕.。
【5-图论】3.托兰定理【讲师版】
![【5-图论】3.托兰定理【讲师版】](https://img.taocdn.com/s3/m/5c207159f111f18582d05a02.png)
课程类型数学
“托兰定理”讲义编号:
托兰定理在求极值的图论问题中具有重要作用,本讲主要介绍该定理及其相关方法。
定理:有n个顶点且不含三角形的简单图G中最多有[n2/4]条边。
证明
1
例1 设n≥2。
平面上已给2n个点,每三点不共线。
在这些点之间连n2+1条线段。
证明至少形成n个以已知
点为顶点的三角形。
【解答】
例2 由n个点和这些点之间的l条连线段组成一个空间四边形,其中n=q2+q+1,l≥1/2q(q+1)2+1,q≥2,q∈N。
已知此图中任四点不共面,每点至少有一条连线段,存在一点至少有q+2条连线段。
证明:图中必存在一个空
间四边形(即由四点A,B,C,D和四条连线段AB,BC,CD,DA组成的图形)
2。
图论讲义-图的基本概念
![图论讲义-图的基本概念](https://img.taocdn.com/s3/m/c5c49c36dd36a32d73758197.png)
到目前为止,判断两图同构 还只能从定义出发。判断过 程中不要将两图同构的必要 条件当成充分条件。
注意:在研究图的过程中,顶点的位置以及边的曲直长短 都是无关紧要的。而且也没有假定这些顶点和边都要在一 个平面上(正方体的顶点和棱也可构成图)。我们研究的 只是顶点的多少及这些边是连接那些顶点的。
五、顶点的度
若e=(u,v),则表示u到v的一条边(Edge),此时的
图称为无向图(Undigraph)。
有向图(Digraph)、无向图(Undigraph)
V1 V4
V1
V5 V2 V3 V2 V3
V4
有向图(Digraph)、无向图(Undigraph)
例1、设V={v1,v2,v3,v4,},E={e1,e2,e3,e4,e5},满足e1=(v1,v2),
六、路与图的连通性
v1 v2 v5
图G中,取Γ1=v1v2v3,
v3
v4
G
Γ2=v1v2v3v4v2, Γ3=v1v2v3v2v3v4 则 Γ1,Γ2,Γ3依次为长为2,4,5的 通路,其中Γ1与Γ2为简单通路, Γ1为基本通路。 由定义可看出,G中v1v2v5v1为 长为3的圈,v1v2v3v4v2v5v1为 长为6的简单回路。
e2=(v2,v3),e3=(v2,v3),e4=(v3,v4),e5=(v4,v4),则G=(V,E)是一个图。图 中边集E的边也可直接由点对表示,而将E作为多重集(即允许E中有相同元素的 集合)。 例2、设V={v1,v2,v3,v4},E={(v1,v2),(v1,v2),(v2,v3)},则H=(V,E)是 一个图。 e
d (V ) 2m
i 1 i
n
五、顶点的度
推论:任何图(无向图或有向图)中,度为奇数的顶点个
《图论》第3章_树
![《图论》第3章_树](https://img.taocdn.com/s3/m/344670df89eb172ded63b780.png)
② Bi中有某一列只含一个+1或-1,按此列作展开,
得到一个降一阶子式det(Bi-1),且det(Bi)=det(Bi-1)
或det(Bi)=-det(Bi-1);
10
3.2 关联矩阵
[证明] (续) ③ i=i-1,若 i >2 转 ② ;否则计算结束,此时
det(Bk) = det(B2) 或 det(Bk) = -det(B2) ,易知 B2的
3.1 树的基本概念
[割边] 图 G=(V,E) 中,eE。设 G=(V,E{e}),若G 的连通分支数目比G多1,则称e为G的一条割边。 [定理3-1-1] 上述e、G中,e是G的一条割边当且仅当e 不属于G中任何回路。 [树] 连通图G=(V,E),若G中不含任何回路,则称G为 树。|V|=1时称之为平凡树。
Dk=
D1k 0
l
lk 行
n-1-lk 行
16
3.2 关联矩阵
① 若C不经过 vk,则从B生成Bk时从D中划去的是全0 (不在 D1中) 的行向量,lk=l,D1k=D1 ,即D1k每列都含+1和-1。
故 D1k不满秩,或 r(D1k) < l ;
② 若C经过vk,则从B生成Bk时从D中划去了D1中的一行,此 时 lk=l -1,即D1k中最多有l -1个非0行向量,故
是从v到T的叶子的最长路的长度。
根结点深度为0,称为第0层;
深度同为i 的结点构成树的第i 层;
具有最大深度的结点的深度称为树的深度(高 度)。
28
3.4 有向树
[有序树] 将各树的每个结点的所有儿子按次序排列, 称这样的根树为有根有序树。
有序树的每个结点的出度小于或等于m时,称为m
13级离散数学(3-1图论)
![13级离散数学(3-1图论)](https://img.taocdn.com/s3/m/e84bed1710a6f524ccbf85b4.png)
【作业6】在一个部门的25个人中间,由于意见不
同,是否可能每个人恰好与其他5个人意见一致? 分析:考虑一个图,其中顶点代表人,如果两个人 意见相同,可用边连接,所以每个顶点都是5度。 解:令 25 个人分别为 v1 v2 …v25 . 则 degv1 = degv2 =…= degv25 =5 degv1 + degv2 +…+degv25 =125 是奇数 但在任何图中, 度数为奇数的结点必定是偶数, 所以是不可能的。
【作业5】求出下列各图的补图?
测试题
【测试题1】
a)画出无向完全图K4 和K6 并求出它们的边数。 b)画出完全二部图K4,2 ,和K3,3 并求出它们的边数。
【测试题2】
a)判断下列各图是否是(1)图的生成图、导出图或补图? b)画出(1)图的补图,并求出完全图K5的边数。
例:G1是无向图,deg(v1)=3,deg(v2)=1
G2是有向图,deg+(v1)=3,deg-(v1)=2,
deg(v1)=5,
v1 v2 v1
G2
v2
v3
G1
d(v1)=3(注意,环提供2
度), v2是悬挂顶点,
v4
【作业4】求下列各图顶点的度数
【注意】d-(a)=4,d+(a)=1
(环e1提供出度1,提供入度1) d(a)=4+1=5。
【说明】无向完全图:每一条边都是无向边不
含有平行边和环,每一对顶点间都有边相连。
完全图举例
K5
3阶有向完全图
4阶有向完全图
n阶无向完全图的边数为:
n(n-1)/2
【作业2】画出无向完全图K3 ,K4 和K6 并求出
它们的边数。
图论讲稿
![图论讲稿](https://img.taocdn.com/s3/m/4d7d2dde783e0912a3162a0b.png)
选址问题--重心问题
图论讲稿
3.最小生成树及算法
1) 树的定义与树的特征 定义 连通且不含圈的无向图称为树.常用T表示.
树中的边称为树枝. 树中度为1的顶点称为树叶. 孤立顶点称为平凡树.
平凡树
图论讲稿
定理2 设G是具有n个顶点的图,则下述命题等价: 1) G是树( G无圈且连通); 2) G无圈,且有n-1条边; 3) G连通,且有n-1条边; 4) G无圈,但添加任一条新边恰好产生一个圈; 5) G连通,且删去一条边就不连通了(即G为最
1)
是非空有限集,称为顶点集,
其中元素称为图G的顶点. 2) E(G)是顶点集V(G)中的无序或有序的元素对 组成的集合,即称为边集,其中元素称为边.
定义 图G的阶是指图的顶点数|V(G)|, 用 来表示; 图的边的数目|E(G)|用 来表示.
用 也用 来表示边
表示图,简记
图论讲稿
定义 若一个图的顶点集和边集都是有限集,则称
其为有限图. 只有一个顶点的图称为平凡图,其他的 所有图都称为非平凡图.
图论讲稿
定义若图G中的边均为有序偶对
,称G为有向
图. 称边
为有向边或弧,称
是从
连接 ,称 为e的弧尾,称 为e的弧头.
若图G中的边均为无序偶对 ,称G为无向图.称
边
为无向边,称e连接 和 ,顶点 和 称
为e的端点. 既有无向边又有有向边的图称为混合图.
1) 置
,对 ,
,
且.
2) 对每个 ,用
代替 ,计算
,并把达到这个最小值的
一个顶点记为 ,置
3) 若
,则停止;若
替i,并转2).
,则用 i+1 代
离散数学讲义-图论
![离散数学讲义-图论](https://img.taocdn.com/s3/m/6a804b89d0d233d4b14e6910.png)
图论图的基本概念和性质 图的连通性及可达性 图的矩阵表示Euler图与Hamilton图 平面图对偶图与着色树与生成树根树及其应用图论简介一、图的基本概念一个图是一个序偶<V,E>,记为G=<V,E>,其中:V={v1,v2,v3,…,v n}是一个有限的非空集合,v i(i=1,2,3,…,n)称为结点,简称点,V 为结点集;E={e1,e2,e3,…,e m}是一个有限的集合,e i(i=1,2,3,…,m)称为边,E为边集,E中的每个元素都有V中的结点对与之对应。
二、图的类型1)若边e与无序结点对(u,v)相对应,则称边e为无向边,记为e=(u,v),这时称u,v是边e的两个端点;2)若边e与有序结点对<u,v>相对应,则称边e为有向边(或弧),记为e=<u,v>,这时称u是边e的始点(或弧尾).v是边e的终点(或弧头),统称为e的端点;图的类型(续)3)在一个图中,关联结点v i和v j的边e,无论是有向的还是无向的,均称边e与结点v i 和v j相关联,而v i和v j称为邻接点,否则称为不邻接的;4)关联于同一个结点的两条边称为邻接边;5)图中关联同一个结点的边称为自回路(或环);图的类型(续)6)图中不与任何结点相邻接的结点称为孤立结点;7)仅由孤立结点组成的图称为零图;8)仅含一个结点的零图称为平凡图;9)含有n个结点、m条边的图称为(n,m)图;10)每条边都是无向边的图称为无向图;11)每条边都是有向边的图称为有向图;图的类型(续)12)有些边是无向边,而另一些是有向边的图称为混合图。
13)在有向图中,两个结点间(包括结点自身间)若有同始点和同终点的几条边,则这几条边称为平行边,在无向图中,两个结点间(包括结点自身间)若有几条边,则这几条边称为平行边,两结点v i,v j间相互平行的边的条数称为边(v i,v j)或<v i,v j>的重数;图的类型(续)14)含有平行边的图称为多重图。
图论PPT
![图论PPT](https://img.taocdn.com/s3/m/71d0ee48852458fb770b560f.png)
W (P) =
e∈ ( P) W (P
∑W(e)
则称W 为路径P(u, v) 的权或长度(距离). 长度(距离) 则称 (P)为路径 为路径 定义2:若P0 (u, v) 是G 中连接u, v的路径 且对任 定义 : 中连接 的路径, 的路径 意在G 中连接u, 的路径 的路径P 意在 中连接 v的路径 (u, v)都有 都有 W(P0)≤W(P), ≤ 则称P 中连接u, 的最短路. 则称 0 (u, v) 是G 中连接 v的最短路
解:
表示设备在第i 年年初的购买费, 设bi 表示设备在第 年年初的购买费 ci 表示设备使用 年后的维修费 表示设备使用i 年后的维修费, V={v1, v2, … , v6},点vi表示第 年年 表示第i 点 表示第 初购进一台新设备,虚设一个点 虚设一个点v6表 初购进一台新设备 虚设一个点 表 示第5年年底 年年底. 示第 年年底 E ={vivj | 1≤i<j≤6}. <
如果E的每一条边都是无向边 则称G为 如果 的每一条边都是无向边, 则称 为无向 的每一条边都是无向边 如图1) 如果E的每一条边都是有向边 1); 的每一条边都是有向边, 图(如图1) 如果 的每一条边都是有向边 则称 G为有向图(如图2) 否则 称G为混合图 2); 为有向图(如图2) 否则, 为混合图.
图论在数学建模中的应用
• • • • 第一部分 第二部分 第三部分 第四部分概念
图论中的“ 图论中的“图”并不是通常意义下的几何图 形或物体的形状图, 形或物体的形状图, 而是以一种抽象的形式来表 达一些确定的事物之间的联系的一个数学系统. 达一些确定的事物之间的联系的一个数学系统. 称为一个图, 定义1 :一个有序二元组 一个有序二元组( 定义1 :一个有序二元组(V, E ) 称为一个图, 记为G = (V, E ), 其中 的顶点集, 其元素称为顶点, ① V 称为G的顶点集, V≠φ, 其元素称为顶点, 简称点; 简称点; 的边集, 其元素称为边, ② E 称为G的边集, 其元素称为边, 它联结V 中的两个点, 如果这两个点是无序的, 中的两个点, 如果这两个点是无序的, 则称该边 为无向边, 否则, 称为有向边. 为无向边, 否则, 称为有向边.
离散数学——图论
![离散数学——图论](https://img.taocdn.com/s3/m/af006575b80d6c85ec3a87c24028915f804d8404.png)
2021/10/10
11
哥尼斯堡七桥问题
❖ 把四块陆地用点来表示,桥用点与点连线表 示。
2021/10/10
12
❖ 欧拉将问题转化为:任何一点出发,是否存在通过 每条边一次且仅一次又回到出发点的路?欧拉的结 论是不存在这样的路。显然,问题的结果并不重要, 最为重要的是欧拉解决这个问题的中间步骤,即抽 象为图的形式来分析这个问题 。
2021/10/10
2
图论的发展
❖ 图论的产生和发展经历了二百多年的历史, 从1736年到19世纪中叶是图论发展的第一阶 段。
❖ 第二阶段大体是从19世纪中叶到1936年,主 要研究一些游戏问题:迷宫问题、博弈问题、 棋盘上马的行走线路问题。
2021/10/10
3
❖ 一些图论中的著名问题如四色问题(1852年)和哈密 尔顿环游世界问题(1856年)也大量出现。同时出现 了以图为工具去解决其它领域中一些问题的成果。
❖ P(G)表示连通分支的个数。连通图的连通 分支只有一个。
2021/10/10
40
练习题---图的连通性问题
❖ 1.若图G是不连通的,则补图是连通的。 ❖ 提示:直接证法。
根据图的不连通,假设至少有两个连通分 支;任取G中两点,证明这两点是可达的。
2021/10/10
41
❖ 2.设G是有n个结点的简单图,且 |E|>(n-1)(n-2)/2,则G是连通图。
❖ 例子
2021/10/10
29
多重图与带权图
❖ 定义多重图:包含多重边的图。 ❖ 定义简单图:不包含多重边的图。 ❖ 定义有权图:具有有权边的图。 ❖ 定义无权图:无有权边的图。
2021/10/10
30
第2编图论第3章
![第2编图论第3章](https://img.taocdn.com/s3/m/bd6ba145a26925c52dc5bf08.png)
28
左3,v5}, {v4}导出;
1个单侧分图由
v4 {v1,v2,v3,v4,v5}导出;
v2
v3
1个弱分图由{v1,v2,v3,v4,v5} 导出。
定理7 在有向图D = <V,E>中,它的每一个结 点位于且仅位于一个强(弱)分图中。
定理8 在有向图D = <V,E>中,它的每一个结
v1 v2
v5 v4
v3
v6
G
{v1,v3}, {v4}, {v6}为 三个点割集。 v7 v4, v6为两个割点。
{v3,v5}, {v2,v4}不是点 割集。
31
定义17 设无向图G=<V,E> ,若存在边集E'E, 使图G删除E'后,所得子图G-E'的连通分支数 W(G-E')>W(G),而删除任何E''E',都有 W(G-E'')=W(G),则称E'为G的一个边割集, 只有一边的边割集,称该边为割边或桥。
• 如果边ei与结点无序对(u,v)相对应,则称ei为 无向边,记为ei = (u,v)。如果边ei与结点有序 对<u,v>相对应,则称ei为有向边,记为ei = <u,v>,称u为ei 的始点,v为ei 的终点。
3
• 每条边都是无向边的图称为无向图;每条边
都是有向边的图称为有向图;在一个图中如
果一些边是无向边,另一些边是有向边,则
图). 4. 若V'V, 且V', 以V'为结点,以两端点均在
V'中的边为边集的G的子图称为V'的导出子图。 5. 若G''=<V'',E''>,使得E''=E-E',且V''中仅包 含E''的边所关联的结点,则称G''是是子图G'的 相对于G的补图。
图论讲义ppt教学课件
![图论讲义ppt教学课件](https://img.taocdn.com/s3/m/0afac25bcc22bcd126ff0ce1.png)
旅行商问题(TSP)
• 给出城市之间的距离,要求一位推销员从某一城 市出发,周游每个城市一次,然后回到出发的城 市,并且选的路径最短。(Traveling Salesman Problem)
• 这是一个图论优化问题,最早由美国数学家威特 涅于1934年在普林斯顿一次讨论班上提出。 1954年几位美国数学家写了第一篇论文,用线性 方程的方法解决了49个城市的旅行售货员问题。 后来也有不少论文讨论这个问题,在理论和应用 上都很有价值。
• 有向图: 一个有向图是指一个有序三元组 (V(G),A(D), ),其中V(G)是一个非空有限集,A(D) 是与V(G)不相交的有限集合,是关联函数,它使 A(D)中每一元素对应于V(G)中的有序元素对(可 以相同)
• 图/Graph:可直观地表示离散对象之 间的相互关系,研究它们的共性和特 性,以便解决具体问题。
• 无向图(简称图): 一个图是指一个有序三元组 (V(G),E(G), ),其中V(G)是一个非空有限集,E(G) 是与V(G)不相交的有限集合,是关联函数,它使 E(G)中每一元素对应于V(G)中的无序元素对(可 以相同)
关键路径问题
一项工程任务,大到建造一座大坝,一座体育中心,小
至组装一台机床,一架电视机, 都要包括许多工序.这些工 序相互约束,只有在某些工序完成之后, 一个工序才能开 始. 即它们之间存在完成的先后次序关系,一般认为这些 关系是预知的, 而且也能够预计完成每个工序所需要的 时间.
这时工程领导人员迫切希望了解最少需要多少时间才 能够完成整个工程项目, 影响工程进度的要害工序是哪 几个?
第一部分
引言
两个有趣的问题
• 1.任意一群人中(人数不小于2),总有两人在该 人群中认识相同的朋友数
哈工大 集合与图论 讲义
![哈工大 集合与图论 讲义](https://img.taocdn.com/s3/m/c68554eb33d4b14e85246843.png)
第一篇集合论集合论是德国数学家康托(Contor)在1874年建立的,它是现代数学的基础,当今数学中的每个对象本质上都是集合。
有时我们说:“数学能嵌套在集合论中”其含义就是指数学的一些对象如数、函数、线、面等都可以用集合来定义。
换句话说,数学的各个分支在本质上都是研究这种或那种对象的集合。
例如:几何学是研究点、线、面的集合;数学分析是研究函数的集合;代数学是研究数的集合以及在此集合上有关运算的集合等。
因此,我们把集合论作为现代各种数学的基础是有道理的、合适的。
集合论也是计算机科学的重要工具。
集合论在程序设计、数据结构、形式语言、操作系统等计算机科学中,都有重要应用,成为计算机科学工作者必不可少的基础知识。
计算机科学领域中的大多数基本概念和理论,几乎均采用集合论的术语来描述和论证。
集合论主要有以下几个特点:第一、第一、它所研究的对象十分广泛。
例如数、图形或其它任何客体作为对象。
第二、第二、因为它研究的对象是如此广泛,为了便于研究,就必须寻找对象的共性。
而要做到这一点,就必须进行抽象。
第三、第三、在抽象化的基础上,可以用统一的方法来研究和处理集合论中的各种问题。
总之,集合论的主要特点是研究对象的广泛性,分析思考问题的抽象性和处理问题的统一性。
正是这些特点,使我们便于用它来描述和研究离散对象及其关系。
第一章集合及其运算基本要求1. 1.掌握集合、子集、全集、空集和幂集等概念。
熟悉常用的表示集合的方法以及用文氏图来表示集合的方法。
能够判定元素与集合、集合与集合之间的关系;熟练掌握两个集合相等关系和包含关系的定义和性质,能够利用定义证明两个集合相等。
2. 2.熟练掌握集合之间的各种运算以及集合运算的基本等式,能够利用它们来证明更复杂的集合等式。
3. 3.掌握余集与集合笛卡儿乘积的概念以及De Morgan公式。
4.掌握求解与有穷集合计数相关的实际问题。
1.1 必备知识和考试要点1.1.1基本定义集合是一个不能精确定义的数学概念。
图论基本概念讲课文档
![图论基本概念讲课文档](https://img.taocdn.com/s3/m/b25a407af342336c1eb91a37f111f18583d00c2a.png)
第18页,共49页。
实例
例2 画出K4的所有非同构的生成子图
19
第19页,共49页。
补图
定义14.9 设G=<V,E>为n阶无向简单图,以V为顶点集,以所有
使G成为完全图Kn的添加边组成的集合为边集的图,称为G的补图
,记作 .
G
若G G , 则称G是自补图.
相对于K4, 求上面图中所有图的补图,并指出哪些是自补图.
图论基本概念
第1页,共49页。
14.1 图
定义14.1 无向图G = <V,E>, 其中 (1) V 为顶点集,元素称为顶点 Vertex (2) E为VV 的多重集,其元素称为无向边,简称边 Edge
实例 设 V = {v1, v2, …,v5}, E = {(v1,v1), (v1,v2), (v2,v3), (v2,v3),
几点说明
表示法 ① 定义表示法 ② 只用边表示法 ③ 只用顶点表示法(在简单图中) ④ 混合表示法
环(长为1的圈)的长度为1,两条平行边构成的圈长度为 2,无向简单图中,圈长3,有向简单图中圈的长度2.
不同的圈(以长度3的为例) ① 定义意义下 无向图:图中长度为l(l3)的圈,定义意义下为2l个 有向图:图中长度为l(l3)的圈,定义意义下为l个 ② 同构意义下:长度相同的圈均为1个
i 1
i 1
i 1
此二定理是欧拉1736年给出,是图论的基本定理
9
第9页,共49页。
握手定理推论
推论 任何图 (无向或有向) 中,奇度顶点的个数是偶数.
证 设G=<V,E>为任意图,令
V1={v | vV d(v)为奇数} V2={v | vV d(v)为偶数} 则V1V2=V, V1V2=,由握手定理可知
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
4 3 B5 B6 4 6
B8 B5 2 B4 B3
3 6
B8
5
B7
5
B7
bc(G)是树;若G为块,则bc(G)为平凡图,否则至少3个点,且1 度点必是G的端块点(恰含G的一个割点的G的块)
§3.2 连通度
本节及后几节所讨论的图均指无环图。 定义1 给定图G, V ’ 是 V(G) 的顶点子集,若G - V ’ 不连通,则称 V ’ 为G 的顶点割,含有k 个顶点的顶点 割称为G 的 k-顶点割。G中点数最少的顶点割称为最小 点割。 易知,若G是非平凡连通图,则v是G的割点,当且仅 当 {v}是G的1-顶点割。 完全图没有顶点割,实际上也只有以完全图为生成子图 的图没有顶点割。
例1
设图G 如下图所示.
v1 e1 v2
e5
v6 e4
v5 e3 v4
e2
v5
e6 v3
取 V’={v3, v6}. 则 G – V’ 如下:
v1 e1 v2
e3
v4
G – V’
所以 V’ 是2顶点割; 同时, v5 , v6 是割点。
定义2 对n阶连通图G,若G存在顶点割,则称G的最小顶点 割中的点数为G的连通度;否则称n-1为其连通度。G的连通 u 度记为κ (G),简记为κ ;对非连通图G定义κ (G) = 0。
λ(G) = k ,κ(H)≤k-1,|S|≤k-1
κ(G)≤|V(G)|-1= | S | +1≤k 若G-S至少含3个点,则G-S有1顶点割 {v},于是S∪{v} 是 G的顶点割,从而 κ(G)≤| S∪{v}|≤k 所以总有 κ(G)≤k=λ(G)
y
e1
u C
v e2
x
y
定理1 e是图G的割边当且仅当e不在G的任何圈中。 充分性 设e = uv,若e不是G的割边,则G-e仍连通,从而在G-e中
存在(u, v) 路W,这样W+e便是G中含e的圈, 这与假设“e 不在G的任何圈中矛盾”。所以e是G的割边。 推论 设e是连通图G的任意一条边,若e含在G的某圈中,则 G-e仍连通。
必要性 G无环是显然的。下证G中任意两点都位于同一个 圈上。我们对任意两点u和v的距离d(u,v)用归纳法。
当d(u,v) = 1时,因G是至少三个点的块,故边uv不是割边。 由定理1,边uv位于某一圈中,于是u和v也位于此圈中。
设对满足d(u,v)< k的任意两点u和v结论成立。 对d(u,v) = k ≥ 2的u和v,取一条长为k的(u, v)路P,设w 是v前面的那一点。因此有d(u, w) = k-1,由归纳假设知u与 w位于同一个圈C中。若v也在C中,则已得到证明。
例3 (1) 对如下所示的四个图,G1的每条边均可构成1边 割;{e1, e2}为G3的2边割;
e1
e2 G1 G2 G3 G4
(2) λ(G1) =1(非平凡树的边连通度均为1) λ(G2) = 3, λ(G3) = 2, λ(G4)=3。 对连通图G,由定义易知, e是G的割边当且仅当{e}是G 的1边割。
定义2 图G = (V, E) 的顶点v 称为割点,如果 E 可划分为两个 非空子集 E1 和 E2,使得G[E1] 和 G[E2] 恰有一个公共顶点v。 例 图3-2中,点u1, u2, u3和 u4是割点,其余点均不为割点。
u1
u2 u3 图3-2
e1
u4
e2Leabharlann 说明:(1) 若ω(G-v)>ω(G), 则 v 必为G 的割点;
第三章 图的连通度
考察:
u
G1:删去任意一条边后便不连通
G2 :删去任意一条边后仍连通,
但删去点u后便不连通;
G3
G4
G3和G4删去任意一条边或任意一个点后仍连通,但从直观上看G4的连通
程度比G3高。那么如何来衡量一个图的连通程度呢?本节将讨论这个问题。
§3.1 割边、割点和块
定义1 设e是图G的一条边,若ω(G-e)>ω(G), 则称e为 G的割边。 例 (1) 若G连通,则割边是指删去后使G不连通的边,故 非平凡树的每条边均为割边。 (2) 图3-2中,边e1和e2为割边,而其余边均不为割边。 u
若一个图的边连通度至少为k,我们也称该图是k边连 通的。易知, 非平凡连通图均是1边连通的; 图G是2边连 通的当且仅当G连通、无割边且至少含有两个点。 定理6 对任意的图G,有
κ(G)≤λ(G)≤δ(G)
(2.1)
证明 若G平凡或不连通,则κ(G) =λ(G) =0,(2.1)式 成立。下设G为非平凡连通图。 对任意的u∈V(G),由于全体与u相关联的边构成 的集合是G的一个边割集,从而推知λ(G)≤δ(G) 成立。 下面对λ(G)用归纳法证明 κ(G)≤λ(G)。
|V(G-S)|=2: |V(G)|=|S| +2 κ(G)≤|V(G)|-1=|S| +1≤k
G-S连通: 这时,e是 G-S的割边
|V(G-S)| ≥ 3: G-S有割点v
κ(G)≤| S∪{v}|≤k
S∪{v}是G的顶点割
当λ(G) =1时,κ(G) =λ(G) =1。 设对λ(G)<k(k≥2)的图G,κ(G)≤λ(G)。 对λ(G) = k的图G。设E′是G的一个k边割,取e∈E′。令H = G-e, 则λ(H) = k-1。由归纳假设κ(H)≤k-1。
u C
x
w
Q
v
P2
定理得证
推论 设G的阶至少为3,则G是块当且仅当G无孤立点且 任意两条边都在同一个圈上。 证明 设G无孤立点且任意两条边都在同一个圈上。此时G 无环且任意两个点也在同一个圈上,由定理4知G是块。
反之,设G是块。任取G中两条边e1和e2。在e1和e2的边 上各插入一个新的顶点v1和v2,使e1和e2均成为两条边, 记这样得到的图为G′。显然G′是阶大于4的块,由定理4, G′中v1和v2位于同一个圈上,于是在G中e1和e2位于同一个 圈上。 v e1 1
e1
v
e2
图3-2
定理1 e是图G的割边当且仅当e不在G的任何圈中。
定理1 e是图G的割边当且仅当e不在G的任何圈中。 证明 因定理的结论若在G的含e的连通分支中成立,则必 在G中成立,所以我们不妨就假定G连通。 必要性 设e = uv 是图G的割边, 若e含在圈C中,令W = C-e。 易知W是G-e中一条(u, v)路。下面考虑G-e的连通性。 任取G-e中两个不同点x和y,因G连通,故G中存在 (x, y) 路Γ。 若Γ不含e,则Γ也是G-e中一条(x, y) 路;若Γ含e,用W替换e 后也可得到G-e中一条(x, y) 路,以上表明G-e连通,这与e是 割边矛盾,所以e不在G的任何圈中。
(2) 若G无环且非平凡,则v是G 的割点当且仅当 ω(G-v)>ω(G)
(3) 若无环图G连通,则割点是指删去该点使G不 连通的点。 思考:树中的割点满足什么性质?
定理2 设 v 是树的顶点,则 v是G 的割点当且仅当 d(v)>1。 定理3 设v是无环连通图G的一个顶点,则v是G的割点当 且仅当V(G-v)可划分为两个非空顶点子集V1与V2,使x∈V1 ,y∈V2,点v都在每一条 (x, y) 路上。
定义3 没有割点的连通图称为块。若图G的子图B是块 ,且G中没有真包含B的子图也是块,则称B是G的块。 G中成块的极大子图叫做G的块。
例 图G如图(a)所示,G的所有块如图(b)所示。
(a)
(b)
由定义3可推知:若e是图G的割边或e是一个环,则G[{e}] 是G的块;G的仅含一个点的块或是孤立点,或是环导出的 子图;至少两个点的块无环,至少三个点的块无割边。 对于无环连通图,有割边是否一定有割点? 反之是否成立? 若图的阶数至少为3呢? 至少三个点的图中,有割边则一定有割点
情况1 H含有完全图作为生成子图,则G也如此。此时
κ(G) =κ(H)≤k-1 情况2 情况1的反面。 设S是H的一个κ(H) 顶点割,于是|S|≤k-1。若G-S不 连通,则κ(G) ≤ |S| ≤k-1。若G-S连通,因H-S不连通, 故e是G-S的割边。此时若G-S恰含两个点,则 |V(G)| = |S| +2,于是
每个图都是它的块的并图。一个图的两个不同块的公共点只 能是割点,即块与块之间只能由割点相联接。 图G的块割点图—bc(G):顶点由图G(非平凡联通)的块和 割点组成,uv是bc(G)中的一条边当且仅当u,v中有一个是G 的割点,另一个是该割点联结的块。
B1 1 B3 2 B2 B1 1 B4 B2 B6
V2
v
V1
证明 必要性 因v是G的割点,故G-v至少含两个连通分支 ,设V1是其中一个连通分支的顶点集,V2为其余分支的顶 点集。对x∈V1,y∈V2,因在G-v中x与y不连通,而在G 中x与y连通(因 G连通)所以v在每一条 (x, y) 路上。
充分性 取x∈V1,y∈V2,由假设G中所有 (x, y) 路均含 点v,从而在G-v中不存在从x到y的路,这表明G-v不连 通,所以v是割点。
G1 G2
连通度也可描述为“删去图中 k(k可为0)个点,使 κ(G1) =κ(G2) =1 图不连通或成为单点图的最小k值”。 例2 (1) κ (Kn) = n-1; κ (Cn) = 2,其中Cn为n圈,n≥2。
G3
κ(G3) =2
κ(G4) = 4
G4
例2 (2)
若一个图的连通度至少(大于等于)为k,则称该图 是k连通的。于是,非平凡连通图均是1连通的;图G是2 连通的当且仅当 G 连通、无割点且至少含有3个点。 k连通的:删除k-1个点仍然连通的图 定义3 (1)设G为连通图,称使G-E′不连通的G的边子 集E′为G的边割,含有k条边的边割称为k 边割。边数最 少的边割称为最小边割。 (2)设G是非平凡连通图,若M是G的最小边割,则 称 |M| 为G的边连通度。记为λ(G), 简记为λ。对非连通 图或平凡图G,定义λ(G) = 0。