离散数学图论.pptx
《离散数学图论.pptx》由会员分享,可在线阅读,更多相关《离散数学图论.pptx(120页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、8.1.1 图 现实世界中许多现象能用某种图形表示,这种图形是由一些点和一些连接两点间的连线所组成。【例a,b,c,d 4个篮球队进行友谊比赛。为了表示个队之间比赛的情况,我们作出图的图形。在图中个小圆圈分别表示这个篮球队,称之为结点。如果两队进行过比赛,则在表示该队的两个结点之间用一条线连接起来,称之为边。这样利用一个图形使各队之间的比赛情况一目了然。1.图的定义 8.1 图的基本概念 第1页/共120页 图如果图中的个结点a,b,c,d分别表示个人,当某两个人互相认识时,则将其对应点之间用边连接起来。这时的图又反映了这个人之间的认识关系。8.1 图的基本概念 第2页/共120页 定义一个图
2、G是一个序偶V(G),E(G),记为GV(G),E(G)。其中V(G)是非空结点集合,E(G)是边集合,对E(G)中的每条边,有V(G)中的结点的有序偶或无序偶与之对应。若边e所对应的结点对是有序偶a,b,则称e是有向边。a叫边e的始点,b叫边e的终点,统称为e的端点。若边e所对应的结点对是无序偶(a,b),则称e是无向边。这时统称e与两个结点a和b互相关联。8.1 图的基本概念 第3页/共120页【例8.1.2】设G=V(G),E(G),其中 V(G)=a,b,c,d,E(G)=e1,e2,e3,e4,e5,e6,e7,e1=(a,b),e2=(a,c),e3=(b,d),e4=(b,c),
3、e5=(d,c),e6=(a,d),e7=(b,b)。则图G可用图8.1.2(a)或(b)表示。我们将结点a、b的无序结点对记为(a,b),有序结点对记为a,b。一个图G可用一个图形来表示且表示是不唯一的。8.1 图的基本概念 第4页/共120页图 8.1.2 8.1 图的基本概念 第5页/共120页2.图G的结点与边之间的关系邻接点:同一条边的两个端点。孤立点:没有边与之关联的结点。邻接边:关联同一个结点的两条边。孤立边:不与任何边相邻接的边。自回路(环):关联同一个结点的一条边(v,v)或v,v)。平行边(多重边):关联同一对结点的多条边。8.1 图的基本概念 第6页/共120页 如例8.
4、1.1中的图,结点集Va,b,c,d,边集 Ee1,e2,e3,e4,e5,其中 e1(a,b),e2(a,c),e3(a,d),e4(b,c),e5(c,d)。d与a、d与c是邻接的,但d与b不邻接,边e3与e5是邻接的。8.1 图的基本概念 第7页/共120页 【例8.1.3】设图GV,E 如图所示。这里Vv1,v2,v3,Ee1,e2,e3,e4,e5,其中e1=(v1,v2),e2=(v1,v3),e3=(v3,v3),e4=(v2,v3),e5=(v2,v3)。在这个图中,e3是关联同一个结点的一条边,即自回路;边e4和e5都与结点v2、v3关联,即它们是平行边。8.1 图的基本概念
5、 图 8.1.3第8页/共120页 3.图G的分类(1)按G的结点个数和边数分为(n,m)图,即n个结点,m条边的图;特别地,(n,0)称为零图,(1,0)图称为平凡图。在零图中边集为空集。(1)(2)按G中关联于同一对结点的边数分为多重图和简单图;(2)多重图:含有平行边的图(如图 8.1.3);(3)线 图:非多重图称为线图;(4)简单图:不含平行边和自环的图。8.1 图的基本概念 第9页/共120页G1、G2是多重图G3是线图G4是简单图第10页/共120页(3)按G的边有序、无序分为有向图、无向图和混合图;有向图:每条边都是有向边的图称为有向图 (图 8.1.4(b);无向图:每条边都
6、是无向边的图称为无向图;混合图:既有无向边,又有有向边的图称为混合图。如果将有向图中的每条边都变成无向边,称称为为底底图图(4)按G的边旁有无数量特征分为加权图、无权图(如图 8.1.4);8.1 图的基本概念 第11页/共120页图 8.1.4(5)按G的任意两个结点间是否有边分为完全图Kn(如图和不完全图(如图 8.1.6)。8.1 图的基本概念 第12页/共120页 完全图:任意两个不同的结点都邻接的简单图称为完全图。n 个结点的无向完全图记为Kn。图给出了K3和K4。从图中可以看出K3有条边,K4有条边。容易证明Kn有 条边。8.1 图的基本概念 图 8.1.6图K3与K4示意图第13
7、页/共120页例213213有向完全图无向完全图第14页/共120页 图的结点的度数及其计算 我们常常需要关心图中有多少条边与某一结点关联,这就引出了图的一个重要概念结点的度数。8.1 图的基本概念 定义:在有向图中,以v为终点的边数称为结点v 的入度,记为 ;以v为始点的边数称为结点v 的出度,记为 。结点v的入度与出度之和称为结点v的度数,记为 d(v)或deg(v)。第15页/共120页定义:在无向图中,图中结点v所关联的边数(有环时计算两次)称为结点v 的度数,记为d(v)或deg(v)。第16页/共120页例245136G1顶点2入度:1 出度:3顶点4入度:1 出度:0例15732
8、4G26顶点5的度:3顶点2的度:4第17页/共120页 定理 无向图GV,E中结点度数的总和等于边数的两倍,即证明:因为每条边都与两个结点关联,所以加上一条边就使得各结点度数的和增加 2,由此结论成立。定义:无向图中,如果每个结点的度都是k,则称为k-k-度正则图度正则图。8.1 图的基本概念 第18页/共120页推论:无向图G中度数为奇数的结点必为偶数个。证明:设V1和V2分别是G中奇数度数和偶数度数的结点集。由定理8.1.1知 由于 是偶数之和,必为偶数,而2|E|也为偶数,故 是偶数。由此|V1|必为偶数。8.1 图的基本概念 第19页/共120页 定理 在任何有向图GV,E中,有图第
9、20页/共120页 子图和图的同构 1.子图 在研究和描述图的性质时,子图的概念占有重要地位。定义设有图G=V,E和图 G=V,E 。1)若V V,E E,则称G是G的子图。2)若G是G的子图,且EE,则称G是G 的真子图。第21页/共120页356例245136图与子图第22页/共120页 3)若V=V,E E,则称G是G的生成子图。图给出了图G以及它的真子图G1和生成子图G2。图8.1.7 图G以及其真子图G 1和生成子图G2 8.1 图的基本概念 第23页/共120页给定任意一个含有n个结点的图G,总可以把它补成一个具有同样结点的完全图,方法是把那些缺少的边添上。定义设GV,E是一个具有
10、n个结点的简单图。以V为结点集,以从完全图Kn中删去G的所有边后得到的图(或由G中所有结点和所有能使G成为完全图的添加边组成的图)称为G的补图,记为 。例如,零图和完全图互为补图。8.1 图的基本概念 第24页/共120页G相对于Kn的补图是下图中的第25页/共120页关于补图:1、G与 互为补图第26页/共120页互为补图互为补图互为补图第27页/共120页 1.图的同构 8.1 图的基本概念 试观察下面各图有何异同?第28页/共120页 图同构的图 图 8.1.9 8.1 图的基本概念 第29页/共120页 定义8.1.6 设有图 G=V,E和图G=V,E。如果存在双射:VV,使得 e=(
11、u,v)E e=(u),(v)E,且 (u,v)与(u),(v)有相同的重数,则称G与G 同构。记作GG。注:由同构的定义可知,不仅结点之间要具有一一对应关系,而且要求这种对应关系保持结点间的邻接关系。对于有向图的同构还要求保持边的方向。8.1 图的基本概念 第30页/共120页 【例8.1.5】考察图8.1.9中的两个图GV,E和 G=V,E。显然,定义:VV,(vi)v i,可以验证是满足定义8.1.6的双射,所以GG。8.1 图的基本概念 图 8.1.9第31页/共120页 一般说来,证明两个图是同构的并非是轻而易举的事情,往往需要花些气力。请证明下图中两个图是同构的。第32页/共120
12、页第33页/共120页 根据图的同构定义,可以给出图同构的必要条件如下:(1)结点数目相等;(2)边数相等;(3)度数相同的结点数目相等。(4)有相同重数的边数相同,等等。但这仅仅是必要条件而不是充分条件。第34页/共120页下图中的(a)和(b)满足上述三个条件,然而并不同构。因为在(a)中度数为3的结点x与两个度数为1的结点邻接,而(b)中度数为3的结点y仅与一个度数为1的结点邻接。寻找一种简单有效的方法来判定图的同构,至今仍是图论中悬而未决的重要课题。高等学校高等学校2121世纪教材世纪教材第35页/共120页第36页/共120页 对于同构,形象地说,若图的结点可以任意挪动位置,而边是完
13、全弹性的,只要在不拉断的条件下,这个图可以变形为另一个图,那么这两个图是同构的。故同构的两个图从外形上看可能不一样,但它们的拓扑结构是一样的。第37页/共120页8.2 路与图的连通性(Walks&The Connectivity of Graphs)8.2.1 路 与 回 路(Walks and Circuits)8.2.2 图 的 连 通 性(The Connectivity of Graphs)第38页/共120页路与回路(Wlaks and Circuits)定义 8.2.1 给定图GV,E,设v0,v1,vkV,e1,e2,ekE,其中ei是关联于结点vi-1和vi的边,称交替序列v
14、0e1v1e2ekvk为连接v0到vk的路,v0和vk分别称为路的起点与终点。路中边的数目k称作路的长度。当v0=vk时,这条路称为回路。在简单图中一条路v0e1v1e2ekvk由它的结点序列v0v1vk确定,所以简单图的路,可表示为v0v1vk。如图8.1.1表示的简单图中,路ae1be4ce5d可写成abcd。第39页/共120页 定义 8.2.2 设=v0e1v1e2ekvk是图G中连接v0到vk的路。1)若e1,e2,ek都不相同,则称路为简单路或迹;2)若v0,v1,vk都不相同,则称路为基本路或通路;3)圈中若出现的每条边恰好一次,称简单圈。若出现的每个结点恰好一次,称基本圈。路与
15、回路(Wlaks and Circuits)第40页/共120页结点重复情况结点重复情况边重复情况边重复情况路路 允许允许 允许允许简单路简单路 允许允许不允许不允许 基本路基本路 不允许不允许 不允许不允许 回路回路允许允许允许允许简单圈简单圈允许允许不允许不允许基本圈基本圈不允许不允许不允许不允许路与回路(Wlaks and Circuits)第41页/共120页 例如在图 8.2.1中,有连接v5到v3的路v5e8v4e5v2e6v5e7v3,这也是一条简单路;路 v1e1v2 e3v3是一条基本路;路v1e1v2e3v3e4v2e1v1是一 条回路,但不是基本圈;路v1e1v2e3v3
16、e2v1是一条 简单回路,也是基本圈。图 8.2.1 8.2.1 路与回路(Wlaks and Circuits)第42页/共120页 定义 8.2.3 在图G中,若结点vi到vj有路连接(这时称vi和vj是可达的),其中长度最短的路的长度称为vi到vj 的距离,用符号d(vi,vj)表示。若从vi到vj不存在路径,则d(vi,vj)=。例如在图8.2.1中,(v1,v4)。路与回路(Wlaks and Circuits)第43页/共120页 注意:在有向图中,d(vi,vj)不一定等于d(vj,vi),但一般地满足以下性质:(1)d(vi,vj)0;(2)d(vi,vi)=0;(3)d(vi
17、,vj)+d(vj,vk)d(vi,vk)。图 8.2.1 路与回路(Wlaks and Circuits)第44页/共120页 定理 8.2.1 设G是具有n个结点的图,如果从结点v1到另一结点v2存在一条路,则从结点v1到v2必存在一条长度不大于n1的基本路(通路)。路与回路(Wlaks and Circuits)第45页/共120页 证 明:假 定 从v1到v2存 在 一 条 路 径,(v1,vi,v2)是所经的结点,如果其中有相同的结点vk,例 (v1,vi,vk,vk,v2),则删去从vk到vk的这些边,它仍是从v1到v2的路径,如此反复地进行直至(v1,vi,v2)中没有重复结点为
18、止。此时,所得的就是通路。通路的长度比所经结点数少1,图中共n个结点,故通路长度不超过n-1。推论 设图GV,E,|V|n,则G中任一基本圈长度不大于n。路与回路(Wlaks and Circuits)第46页/共120页 1.无向图的连通性 定义 8.2.4 在无向图如果一个图的任何两个结点之间都有一条路,那么我们称这个图是连通的,否则是不连通的。定义 8.2.5 图G的一个连通的子图G(称为 连通子图)若不包含在G的任何更大的连通子图中,它就被称作G的连通分支。我们把图G的连通分支个数记作(G)。图的连通性(The Connectivity of Graphs)第47页/共120页图 8.
19、2.3 图G与G 在图8.2.3中,G是不连通的,(G),而G是连通的,(G)。任何一个图都可划分为若干个连通分支。显然,仅当图G的连通分支数(G)时,图G是连通的。图的连通性第48页/共120页 在图的研究中,常常需要考虑删去与增加结点、结点集、边和边集(或弧集)的问题。所谓从图G=中删去结点集S,是指作V-S以及从E中删去与S中的全部结点相联结的 边 而 得 到 的 子 图,记 作G-S;特 别 当S=v时,简记为G-v;所谓从图G=中删去边集(或弧集)T,是指作E-T,且T中的全部边所关联的结点仍在V中而得到的子图,记为G-T;特别当T=e 时,简记作G-e。第49页/共120页 所谓图
20、G=增加结点集S,是指作VS以及向E中并入S中、S与V中所成的边而得到的图,记作G+S;特别当S=v 时,简记为G+v;图G=增加边集(或弧集)T是指作ET所得到的图,记作G+T,这里T中全部边(或弧)的关联结点属于V。第50页/共120页 定义:给定连通无向图G=,S V。若(G-S)(G),但 T S有(G-T)=(G),则称S是G的一个分离结点集。若图G的分离结点集S=v ,则称v是G的割点。类似地可定义图G的分离边集T;若图G的分离边集T=e ,则称e是G的割边或桥。P122第51页/共120页 对于连通的非平凡图G,称(G)=|S|S是G的分离结点集 为图G的结点连通度,它表明产生不
21、连通图而需要删去结点的最少数目。于是,对于分离图G,(G)=0;对于存在割点的连通图G,(G)=1。第52页/共120页 类似地定义边连通度(G)=|T|T是G的分离边集,它表明产生不连通图而需要删去边的最少数目。可见,对于分离图G,(G)=0;对于平凡图G,(G)=0;对于存在割边的连通图G,(G)=1;对于完全图Kn,(Kn)=n-1。第53页/共120页定理:一个连通无向图G中的边e是割边 存在两个结点u和w,使得联结u与w的每条链都经过e。下面再给出一个判定一条边是割边的充要条件。定理:连通无向图G中的一条边e是割边e不包含在图的任何基本圈中。第54页/共120页 2.有向图的连通性
22、定义8.2.6 在有向图中,若从结点u到v有一条路,则称u可达v。定义8.2.7 设有有向图G,1)若G的任意两个结点中,至少从一个结点可达另一个结点,则称图G是单向连通的;图的连通性第55页/共120页 2)如果G的任意两个结点都是相互可达的,则称图G是强连通的;3)如果略去边的方向后,G成为连通的无向图,则称图G是弱连通的。从定义可知:若图G是单向连通的,则必是弱连通的;若图G是强连通的,则必是单向连通的,且也是弱连通的。但反之不真。第56页/共120页 定义在有向图G=V,E中,G是G的子图,若G是强连通的(单向连通的,弱连通的),但在G中任意增加原图的一些边或一些点,所有子图便不再是强
23、连通的(单向连通的,弱连通的),则称G是G的强分图(单向分图,弱分图)。图的连通性第57页/共120页连通图例245136强连通图356例非连通图连通分图例245136第58页/共120页图图的连通性(The Connectivity of Graphs)第59页/共120页在图8.2.5中,强分图集合是:1,2,3,e1,e2,e3,4,5,6,7,8,e7,e8单向分图集合是:1,2,3,4,5,e1,e2,e3,e4,e5,6,5,e6,7,8,e7,e8 弱分图集合是:1,2,3,4,5,6,e1,e2,e3,e4,e5,e6,7,8,e7,e8图的连通性第60页/共120页下面给出简
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学
限制150内