第1章-图和子图优秀PPT.ppt
《第1章-图和子图优秀PPT.ppt》由会员分享,可在线阅读,更多相关《第1章-图和子图优秀PPT.ppt(66页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第一章 图的基本概念v1.1 图的概念v1.2 同构v1.3 图的矩阵和顶点的度v1.4 子图v1.5 路和连通性 v1.6 圈v1.7 最短路问题 1.1 图的概念lKnigsberg七桥问题l电网络 l四色猜想图图 G=(V(G),E(G),其中 V(G)=V-顶点集,-顶点数 E(G)=E-边集,-边数例如,下图中,V=a,b,f,E=k,p,q,ae,af,ce,cf defG=(V,E)p q abc k v留意,留意,右图仅仅是图右图仅仅是图G的的一个几何实现一个几何实现(geometric realization,代表代表representation),),它们有无穷多个,随顶点
2、它们有无穷多个,随顶点位置及边的形态而不同。位置及边的形态而不同。真正的图真正的图G是上面所给出是上面所给出式子,它与顶点的位置、式子,它与顶点的位置、边的形态等无关。不过今边的形态等无关。不过今后对图后对图G及其几何实现将及其几何实现将常常不加以区分。常常不加以区分。defG=(V,E)p q abc k v称 边 ad 与顶点a(及d)相关联(incident)。也称顶点 b(及 f)与边 bf 相关联。v称顶点a与e 相邻(adjacent)。也称有公共端点的一些边,例如v p与af彼此相邻。v称一条边的两个顶点为它的两个端点v环(loop,selfloop):如边 k,它的两个端点相同
3、。v棱(link):如边ae,它的两个端点不相同。v重边:如边p及边q。v简洁图:(simple graph)无环,无重边v平凡图:仅有一个顶点的图。v留意:任何一图都有 V 。v记号:(,)defG=(V,E)p q abc k 例题例题1.1 若若G为简洁图,则为简洁图,则 。1.2 若一群人中,凡相识的两人都无公共若一群人中,凡相识的两人都无公共挚友,凡不相识的两人都恰有两个公共挚挚友,凡不相识的两人都恰有两个公共挚友,则每人的挚友数相等。友,则每人的挚友数相等。1.2 同构例如在下图中,称 图G恒等恒等于图H(记为 G=H)VG)=V(H),E(G)=E(H)。a y zx wb c
4、d e G=(V,E)x d w a b c y e z F=(V,E)x w b c d e a yz H=(V,E)图G同构同构于图F (记为 G F)V(G)与V(F),E(G)与E(F)之间各各存在一 一映射,及且这二映射保持关联关联关系,即:a y zx wb c d e G=(V,E)x w b c d e a yz H=(V,E)x d w a b c y e z F=(V,E)注注 两个图同构是指”它们有相同的结构”,仅在顶点及边的标号上或两个图的画法上有 所不同而已。往往将同构慨念引伸到非标号图中,以表达两个图在结构上是否相同。注注 判定两个图是否同构是个未解决的困难问题(o
5、pen problem)。a y zx wb c d e G=(V,E)x w b c d e a yz H=(V,E)x d w a b c y e z F=(V,E)v完全图完全图(complete graph)Knv空图空图(empty g.)E=。V(V)为独立集独立集 V中任二顶点都互不相邻。v二部图二部图(偶图偶图,bipartite g.)G=(X,Y;E)存在 V(G)的一个 2-划分划分(X,Y)(即V(G)=X Y,且XY=),使X与Y 都是独立集。K1K2K3K4K5v完全二部图完全二部图 Km,n 二部图G=(X,Y;E),其中X和Y之间的每对顶点都相邻,且 X=m,Y
6、=n。v类似地可定义,完全三部图完全三部图(例如,Km,n,p),完完全全 n-部部 图图等。二部图K3,3K1,5K2,2,2v例。用标号法判定二部图。用红蓝两种颜色进行顶点标号如下:任取一顶点v 标以红色。再将v的全部相邻顶点都标以兰色。这时称v为已扫描顶点。若尚存在一已标号未扫描顶点u,将它的全部相邻顶点,(若不出现冲突)都标以(其相异色)红色,并称u为已扫描顶点。如此接着下去,直到或者全部顶点都已标号,从而该图为一二部图;或者在标号过程中出现冲突,该图为非二部图。习题1.2.1 G H (G)=(H),(G)=(H)。并证明其逆命题不成立。1.2.2 证明下面两个图不同构:v1.2.3
7、 证明下面图证明下面图1与图与图2是同构的;是同构的;而图而图1与图与图3是不同构的:是不同构的:v1.2.4 证明两个简洁图证明两个简洁图G和和H 同构同构 存在一存在一 一一映射映射 f:V(G)V(H),使,使 v 得得 uv E(G)当且仅当当且仅当 f(u)f(v)E(H)。图1 图2 图3 v1.2.5 证明:证明:(a).(Km,n)=mn;v (b).对简洁二部图有对简洁二部图有 2/4.v1.2.6 记记Tm,n为这样的一个完全为这样的一个完全m-部图:其顶点部图:其顶点数为数为n,每个部分的顶点数为,每个部分的顶点数为n/m v 或或n/m个。证明:个。证明:v (a).(
8、Tm,n)=其中其中 k=n/m.v (b)*.对随意的对随意的n顶点完全顶点完全m-部图部图G,确定有,确定有(G)(Tm,n),且仅当,且仅当G Tm,n v 时等式才成立。时等式才成立。v1.2.7 所谓所谓k-方体是这样的图:其顶点是由方体是这样的图:其顶点是由0与与1组成的有序组成的有序k-元组,其二顶点相元组,其二顶点相 v邻当且仅当它们恰有一个坐标不同。证明邻当且仅当它们恰有一个坐标不同。证明k-方体方体有有2k个顶点,个顶点,k*2 k-1条边,且是一偶图。条边,且是一偶图。v1.2.8 简洁图简洁图G的补图的补图G c 是指和是指和G有相同顶点集有相同顶点集V的一个简洁图,在
9、的一个简洁图,在G c中两个中两个v 顶点相邻当且仅当它们在顶点相邻当且仅当它们在G中不相邻。中不相邻。v (a).画出画出Kcn和和 Kcm,n。v (b).假如假如G G c则称简洁图则称简洁图G为自补的。证为自补的。证明:若明:若G是自补的,则是自补的,则 v 0,1(mod 4)。v1.2.9 设设 ,且,且v ,则则H确确定是个完全二部图。定是个完全二部图。v1.2.10若若 的简洁图的简洁图 中如下性质成立中如下性质成立v 则则G确定是个确定是个完全(某)完全(某)m部图。部图。1.3 图的矩阵和顶点的度M(G)=mi,j,(关联矩阵)mi,j=顶点vi与边ej 的关联次数=0,1
10、,2.e1e2e3e4e5e6v1v2v3v4G=(V,E)e7A(G)=ai,j,ai,j=连接顶点vi 与 vj 的边数。(邻接矩阵)v顶点 v的 度度 dG(v)=G中与顶点v 相关联边数。(每一环记为2)v记号:最大、最小度最大、最小度 ,。((G),(G))v奇点奇点:度为奇数的顶点;v偶点偶点:度为偶数的顶点;v孤立点孤立点:度为0的顶点;v悬挂点悬挂点:度为1的顶点;v悬挂边悬挂边:悬挂点的关联边。v定理定理1.3.1(hand shaking lemma)任一图中,v推论推论1.1 任一 图中,度为奇数顶点的个数为偶数。例:任一多面体中,边数为奇数的外表面的数目为偶数。(提示:
11、作一图,其顶点对应于多面体的面,且二顶点相邻当且仅当对应的两个面相邻(即有公共边界)。)k-正则图正则图(k-regular g.)0-正则图1-正则图2-正则图3-正则图习题v1.3.1 证明:证明:2/。v1.3.2 若若 k-正则偶图正则偶图(k 0)的的2-划分为划分为(X,Y),则则 X=Y。v1.3.3 在人数在人数 1的人群中,总有二人在该人的人群中,总有二人在该人群中有相同的挚友数群中有相同的挚友数 v1.3.4 设设V(G)=,则称,则称(d(v1),d(v2),d(v)为为G的度序列。的度序列。v 证明:非负整数序列证明:非负整数序列(d1,d 2,d n)为某一为某一图的
12、度序列图的度序列 是偶数。是偶数。v v1.3.5 证明:任一证明:任一 无环图无环图G都包含一偶生成子图都包含一偶生成子图H,使得,使得 dH(v)dG(v)/2 对全部对全部v V 成立。成立。v (提示:考虑(提示:考虑G的边数最多的偶生成子图)的边数最多的偶生成子图)v1.3.6*设平面上有设平面上有n个点,其中任二点间的距离个点,其中任二点间的距离 1,证明:最多有,证明:最多有 3n对点的距离对点的距离=1。1.4 子图v子图子图(subgraph)H G V(H)V(G),E(H)E(G)。v真子图真子图 H G H G 且且HG。母图(。母图(super graph)。)。v生
13、成子图(生成子图(spanning subg.)H H G 且且V(H)=V(G)。v生成母图。生成母图。v基础简洁图基础简洁图(underlying simple g.):从一图中去掉其全部):从一图中去掉其全部重边及环后所得的剩余(简洁图)图称之为其基础简洁图。重边及环后所得的剩余(简洁图)图称之为其基础简洁图。v导出子图(导出子图(induced subgraph.)GV,(非空非空 V V)v 以以V为顶点集,以为顶点集,以G中两端都在中两端都在V上的边全体为边集构上的边全体为边集构成的成的G的子图的子图 v边导出子图边导出子图 GE (非空非空E E)v 以以E为边集,以为边集,以E
14、中全部边的端点为顶点集的的子图。中全部边的端点为顶点集的的子图。GV,GE 两种子图对应于取子图的两种基本运算。下面是取子图的另两种基本运算:vG-V 去掉V及与V相关联的一切边所得的剩余子图。即 GV VvG-E 从中去掉E 后所得的生成生成子图 fea bc dghG=(V,E)x wvyuGu,w,x Gu,w,x,y Gc,d,eGf,c v例。G-b,d,g,(=GE b,d,g )v G-b,c,d,g,(GE b,c,d,g )v G-a,e,f,g.(GE a,e,f,g )v留意 GE E 与G-E v虽有相同的边集,但两者不确定相等:后者确定是生成子图,而前者则不然。fea
15、 bc dghG=(V,E)x wvyubc dhx wvyufeac hxwvyuxfeahwvyuv上述四种运算是最基本的取子图运算,今后常常会遇到,确定要细致驾驭好。关于子图的另一些定义还有:v G+E 往G上加新边集E 所得的(G的)母图。v 为简洁计,今后将v G e 简记为 G e;v G-v 简记为 G-v。v 设 G1,G2 G,称G1与G2为v 不相交的(disjiont)V(G1)V(G2)=v (E(G1)E(G2)=)v 边不相交(edge-distjiont,边不重的)v E(G1)E(G2)=。v(但这时G1与G2仍可能为相交的)。v 并图 G1G2,当不相交时可简
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 优秀 PPT
限制150内