二编图论课件_第1页
二编图论课件_第2页
二编图论课件_第3页
二编图论课件_第4页
二编图论课件_第5页
已阅读5页,还剩79页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、第二编 图论 图论Graph Theory是数学的一个分支。它以图为研究对象。图论中的图是由若干给定的点及连接两点的线所构成的图形,这种图形通常用来描述某些事物之间的某种特定关系,用点代表事物,用连接两点的线表示相应两个事物间具有这种关系。 图论本身是应用数学的一部份,因此,历史上图论曾经被好多位数学家各自独立地建立过。关于图论的文字记载最早出现在欧拉1736年的论著中,他所考虑的原始问题有很强的实际背景。 1 Peking University图论简介图论起源于著名的七桥问题。A、B、C,D表示陆地。问题是要从这四块陆地中任何一块开始,通过每一座桥正好一次,再回到起点。然而无数次的尝试都没有

2、成功。欧拉在1736年解决了这个问题,他用抽象分析法将这个问题化为第一个图论问题:即把每一块陆地用一个点来代替,每一座桥用相应两点的一条线来代替,从而相当于得到一个图。欧拉证明了这个问题没有解,并且推广了这个问题,给出了对于一个给定的图可以某种方式走遍的判定法则。这项工作使欧拉成为图论及拓扑学的创始人。 2 Peking University第7章 图7.1 图的基本概念7.2 通路与回路7.3 无向图的连通性7.4 无向图的连通度7.5 有向图的连通性3 Peking University无序积无序积: A,B为两个集合,称 (a,b) |aAbB为A与B的无序积,记作A&B允许 a = b

3、 无序对: (a,b)=(b,a)4 Peking University有向图(directed graph)有向图(digraph): 是一个有序二元组,记作D (1)顶点集V, 结点/顶点(vertex / node) (2)边集, E是卡氏积VV的多重子集, 边(edge / link / arc)6 Peking University例: G=,V=a,b,c,d,e, E=(a,a),(a,b),(a,b),(b,c),(c,d),(b,d).abcde例:无向图7 Peking University表示方法图G:V(G), E(G)分别表示图G的顶点集和边集图D:V(D),E(D)

4、|V(G)|, |E(G)|, |V(D)|, |E(D)|分别表示G和D的顶点数和边数9 Peking Universityn阶图(有向图): 若|V(G)|=n 或|V(D)|=n有限图:若|V(G)|和|E(G)|均为有限数零图(null graph): E=, n阶零图: |V(G)|=n, Nn 平凡图(trival graph): 1阶零图, N1空图(empty graph): V=E=, 图定义中规定顶点集非空,由于图的运算中,可能产生点集为空集的运算结果10 Peking University标定图,非标定图,基图标定图(labeled graph): 顶点或边标定字母非标定

5、图(unlabeled graph): 顶点或边不标定字母基图(底图ground graph): 有向图各边的箭头都去掉,所得图为无向图abcd11 Peking University关联(incident)关联(incident):图G中, 边ek=(vivj), ek与vi(ek与vi)彼此关联 (点与边)关联次数: 若vivj ,称ek与vi(ek与vi)关联次数为1; 若vi=vj ,关联次数为2环(loop):只与一个顶点关联的边孤立点(isolated vertex):无边关联的点viekvjviek12 Peking University相邻(adjacent)相邻(邻接) :G

6、, 任意两顶点vivj,存在边ek, ek=(vi,vj) ,称vi,vj彼此相邻 (点与点)任意两边ek,el,至少存在一个公共端点,称ek,el彼此相邻(边与边)邻接到,邻接于: 有向图D, ek=, vi邻接到vj, vj邻接于vi平行边(parallel edge):端点相同的两条无向边是平行边起点与终点相同的两条有向边是平行边vivj13 Peking University邻域(neighborhood)邻域: NG(v)=u|uV(G)(u,v)E(G)uv为v的邻域(v在图G中的相邻顶点)闭(closed)邻域: 关联集: IG(v) = e | e与v关联 后继:D+(v)=u

7、|uV(D)E(D)uv前驱:D-(v)=u|uV(D)E(D)uv邻域: ND(v)=D+(v)D-(v)闭邻域: 14 Peking University最大(出/入)度,最小(出/入)度最大度: (G) = max dG(v) | vV(G) 最小度: (G) = min dG(v) | vV(G) 最大出度: +(D) = max dD+(v) | vV(D) 最小出度: +(D) = min dD+(v) | vV(D) 最大入度: -(D) = max dD-(v) | vV(D) 最小入度: -(D) = min dD-(v) | vV(D) 简记为 , , +, +, -, -

8、16 Peking University03340,02,12,2=0=4+ = 2, +=0- =2, - = 017 Peking University定理2:设D=是有向图, V=v1,v2,vn, |E|=m, 则d+(v1)+d+(v2)+d+(vn) = d-(v1)+d-(v2) +d-(vn) = m. #d+, d-19 Peking University推论:任何图中,奇数度顶点的个数是偶数. #证明:分为奇数度顶点集合V1和偶数度顶点集合V220 Peking University简单图(simple graph)简单图(simple graph): 无环,无平行边若G是

9、简单图, 则 0 (G) n-121 Peking University度数列度数列: 设G=,V=v1,v2,vn, 称 d = ( d(v1),d(v2), d(vn) )为G的度数列例: d = ( 5, 1, 2, 3, 3 )v2v3v4v5v122 Peking University可图化可图化:设非负整数列d=( d1,d2, , dn ), 若存在图G, 使得G的度数列是d, 则称d为可图化的例: d = ( 5, 3, 3, 2, 1 )23 Peking University定理3(可图化充要条件)定理3:非负整数列d=(d1,d2,dn)是可图化的, 当且仅当d1+d2+

10、dn=0(mod 2).证明: () 握手定理 () 奇数度点两两之间连一边, 剩余度用环来实现. #24 Peking University可简单图化可简单图化:设非负整数列d=( d1, d2, , dn ), 若存在简单图G, 使得G的度数列是d, 则称d为可简单图化的26 Peking University可简单图化充要条件定理5(V. Havel, 1955):设非负整数列d=(d1,d2,dn)满足:d1+d2+dn=0(mod 2), n-1d1d2dn0,则d可简单图化当且仅当 d=(d2-1,d3-1,dd1+1-1,dd1+2,dn)可简单图化.27 Peking Univ

11、ersity定理5(图示)v1v2v3vd1+1vnvd1+2v2v3vd1+1vnvd1+2GGd = (d1,d2,d3,dd1+1,dd1+2,dn)d = (d2-1,d3-1,dd1+1-1,dd1+2,dn)29 Peking University定理5(证明)证明: () 设d=(d2-1,d3-1,dd1+1-1, dd1+2, , dn)可简单图化为 G=, 其中V=v2,v3,vn, 则令G=, V=Vv1, E = E (v1,v2), (v1,v3), , (v1,vd1+1) ,于是d可简单图化为G. 30 Peking University定理5(证明,续)证明:

12、() 设d可简单图化为G=, 其中V=v1,v2,vn, d(v1)d(v2)d(vn).(1) 若NG(v1)=v2,v3, ,vd1+1, 则令 G=, V=V-v1, E=E- (v1,v2), (v1,v3), , (v1,vd1+1) , 于是d可简单图化为G.(2) 若ij( ij viNG(v1) vjNG(v1) ),31 Peking University定理5(示意)v1v2vivd1+1vnvkGd = (d1,d2,d3,dd1+1,dd1+2,dn)vjv1v2vivd1+1vnvkG1d = (d1,d2,d3,dd1+1,dd1+2,dn)vjv1NG(vi)v1

13、NG(vj)didj vk(vkNG(vi)vkNG(vj)32 Peking University定理5(示意)v1v2vivd1+1vnvkGd = (d1,d2,d3,dd1+1,dd1+2,dn)vjv1v2vivd1+1vnvkG1d = (d1,d2,d3,dd1+1,dd1+2,dn)vj33 Peking University定理5(证明,续)证明: ()(2)若ij(1ijnviNG(v1)vjNG(v1),则由didj可得 k(1knvkNG(vj)vkNG(vi),令G1=,则G1与G的度数列都还是d,重复这个步骤,直到化为(1)中情形为止. #34 Peking Uni

14、versity定理4 (可简单图化充要条件)定理4(P.Erds,T.Gallai,1960):设非负整数列d=(d1,d2,dn)满足:n-1d1d2dn0,则d可简单图化当且仅当d1+d2+dn=0(mod 2)并且对r=1,2,n-1有d1+d2+dr r(r-1)+minr,dr+1+minr,dr+2+minr,dn. #35 Peking UniversityPaul Erds(1913-1996) 一生中同485位合作者发表过1475篇数学论文,每天工作19个小时以上。 Another roof, Another proofErdos数是数学界流传的一个典故。即给每一个数学家赋予

15、一个Erdos数:Erdos本人的Erdos数是0;曾与Erdos合作发表过文章的人的Erdos数是1;没有与Erdos合作发表过文章,但与Erdos数为1的人合作过的是2;不属于以上任何一类的就是.36 Peking University几乎每一个当代数学家都有一个有限的Erdos数,而且这个数往往非常小Fields奖得主的Erdos数都不超过5Nevanlinna奖得主的Erdos数不超过3Wolf数学奖得主的Erdos数不超过6Steele奖的终身成就奖得主的Erdos数不超过4. 一些其他领域的专家,Bill Gates,他的Erdos数是4,通过如下途径实现:Erdos-Pavol

16、Hell-Xiao Tie Deng-Chris tos H. Papadimitriou-William H. (Bill) Gates 37 Peking University定理4(举例)例3: 判断下列非负整数列是否可简单图化. (1) (5,4,3,2,2,1) (2)(5,4,4,3,2) (3) (3,3,3,1) (4)(6,6,5,4,3,3,1) (5) (5,5,3,3,2,2,2) (6) (d1,d2,dn), d1d2dn1,解: (1) 5+4+3+2+2+1=170(mod 2).不可(简单)图化.38 Peking University定理4(举例)例3: 判

17、断下列非负整数列是否可简单图化. (2)(5,4,4,3,2) 解: (2) 5+4+4+3+2=18=0(mod 2). 但是d1=5n-1=4,不满足n-1d1, 不可简单图化. ( 或者: 但是r=1时, d1=51(1-1)+min1,4 +min1,4+min1,3 +min1,2=4, 不可简单图化.)39 Peking University定理4(举例)例3: 判断下列非负整数列是否可简单图化. (3) (3,3,3,1) 解: (3) 3+3+3+1=10=0(mod 2). d1=3=n-1,满足n-1d1, 但是r=2时,d1+d2=62(2-1)+min2,3+min2,

18、1=5, 不可简单图化.40 Peking University定理4(举例)例3: 判断下列非负整数列是否可简单图化. (4)(6,6,5,4,3,3,1) 解: (4) 6+6+5+4+3+3+1=28=0(mod 2).d1=6=n-1,满足n-1d1. r=1,2时,d1=61(1-1)+min1,6+min1,5+ =6, d1+d2=122(2-1)+min2,5+=11, 不可简单图化.或:6,6,*,*,*,*,1不可简单图化41 Peking University定理4(举例)例3: (5) (5,5,3,3,2,2,2)解: (5) 5+5+3+3+2+2+2=22=0(m

19、od 2).d1=5n-1,满足n-1d1. r=1,2,7时,d1=51(1-1)+min1,5+min1,5+ =6, d1+d2=102(2-1)+min2,3+=12, d1+d2+d3 =133(3-1)+min3,3+=15,d1+d2+d3+d4 =164(4-1)+min4,2+=18,42 Peking University定理4(举例)例3: (5) (5,5,3,3,2,2,2)解: (5) d1+d2+d5 =185(5-1)+min5,2+=24,d1+d2+d6 =206(6-1)+min6,2=32,d1+d2+d7 =22d2dn1,解: (6) d1d2dn1

20、, dn-12, dn-23, d1n,不满足n-1d1, 不可简单图化. #45 Peking University图同构(graph isomorphism)图同构: 设(有向)图G1=, G2=, 若存在双射 f:V1V2, 满足uV1,vV1, (u,v)E1 (f(u),f(v)E2且与重数相同, 则称G1与G2同构, 记作G1G2算法:NAUTY46 Peking University图同构(举例)G1G2G3G1G3, G1G247 Peking University图同构(举例)G1G2G3G1G3, G1G248 Peking University图同构(举例)G1G2G3G

21、1G2G3彼得森(Peterson)图49 Peking University图同构(举例)D1D2D3D1D2, D2D350 Peking University同构关系同构关系是全体图集合上的二元关系自反的对称的传递的同构关系是等价关系51 Peking University图族(graph class)完全图,有向完全图,竞赛图正则图:柏拉图图,彼德森图,库拉图斯基图r部图,二部图(偶图),完全r部图路径,圈,轮52 Peking University完全图(complete graphs)K1K2K3K4K5每个顶点均与其余的n-1个顶点相邻,记作Kn53 Peking Univers

22、ity有向完全图54 Peking University竞赛图(tournament)55 Peking University正则图(regular graph)k正则图: vV(G), d(v)=k, r=0,1,2,完全图Kn是n-1正则图(n=1,2,3,)56 Peking University柏拉图图(Platonic graphs)正四面体图正六面体图正八面体图正十二面体图正二十面体图57 Peking University彼德森图(Pertersen graph)58 Peking University库拉图斯基图(Kuratowski graph)K3,3K559 Peking

23、 Universityr部图(r-partite graphs)r部图: G=,若V分成r个互不相交的子集,使得G中任何一条边的两个端点都不在同一个Vi中, 即V=V1V2Vr, ViVj= (ij),EU(Vi&Vj)也记作 G=.60 Peking University二部图(偶图)(bipartite graphs)二部图: G=, 也称为偶图61 Peking University完全r部图(complete r-partite graphs)K3,3K2,3Kr,sK1,1,1K1,1,2K1,2,2K1,2,3r个s个Kn1,n2,nr:Vi中任一个顶点均与Vj(ij)所有顶点相邻

24、62 Peking University圈(cycles)C1C2C3C4C563 Peking University轮(wheels)W1W2W3W4W564 Peking University树(trees)树: 连通无回图65 Peking University子图,生成子图子图(subgraph): G=, G=,GG VV EE真子图(proper subgraph): GG GG (VV EE)生成子图(spanning subgraph):G是G的生成子图 GG V=V66 Peking University导出子图(induced subgraph)导出子图: G=, 若V1V

25、, 以G中两个端点都在V1中的边组成边集E1的图,即E1 = E V1&V1,GV1 = 为由V1导出的子图若E1E, 以E1中的边关联的点为顶点集V1, 则称GE1 = 为由E1导出的子图67 Peking University导出子图(举例)Ge1GV1GE1v1v2v3v4v5v6v7v1v4v5v6v7e2e368 Peking University补图(complement graph)补图: 以V为顶点集,以使G称为n阶完全图的所有添加边组成的集合为边集的图,为G的补图, 即G=, G=自补图(self-complement graph):GG69 Peking Universit

26、y例5例5: (1) 画出5阶4条边的所有非同构的无向简单图; (2)画出4阶2条边的所有非同构的有向简单图.解: (1) d(v)=2m=8, n-1=4,(4,1,1,1,1),(3,2,1,1,1),(2,2,2,1,1),(3,2,2,1,0),(2,2,2,2,0)(2) d+(v)=d-(v)=m=2, d(v)=2m=4,(2,1,1,0),(1,1,1,1),(2,2,0,0)70 Peking University例5(1)例5: (1) 画出5阶4条边的所有非同构的无向简单图;解: (1)4,1,1,1,13,2,1,1,12,2,2,1,12,2,2,1,13,2,2,1

27、,02,2,2,2,071 Peking University例5(2)例5: (2)画出4阶2条边的所有非同构的有向简单图.解: (2) 2,1,1,02,1,1,02,1,1,01,1,1,12,2,0,072 Peking University图的运算删除,收缩,加新边,不交并图,交图,差图,环和联图,积图73 Peking University删除(delete)删除边e: G-e = 删除边集E: G-E = , 删除顶点v以及v所关联的所有边:G-v = ,删除顶点集V以及V所关联的所有边:G-V = ,74 Peking University收缩(contract)Ge: e=(u,v)E, 删除e,将e的两个端点u与v用一个新的顶点w代替,使w关联除e之外的u,v关联的所有边euvw75 Peking University加新边(add new edge)G(u,v) = , 在u与v之间加新边也写成G+(u,v)76 Pe

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论