《离散数学》讲义 - 4.pptx

离散数学第七章 图论7.1 图的基本概念离散数学图论的发展历程1736年，瑞士科学家Euler解决了格尼斯城堡七桥问题，使他成为图论（及拓扑学）的创始人。1847年Kirchhof运用图论的方法。引进了“树”的概念，解决了电路理论中求解联立方程问题。早期的图论很多是由游戏中来：周游世界问题，四色着色问题。1、图的概念 －图定义7-1.1 一个图是一个三元组V(G),E(G),?G，其中V(G)是一个非空的结点集合，E(G)是边集合，?G是从边集合E到结点无序偶(有序偶)集合上的函数。 如例题1 一个图可用图形表示，例1可表示为7-1.1(a)或(b) 若把图中的边ei看作总是与两个结点关联，图可简记为G=V,E，V：非空结点集，E：连接结点的边集。离散数学1、图的概念 －无向边与有向边 若边ei与结点无序偶(vi,vk)相关联，则称该边为无向边。若边ei与结点有序偶vi,vk相关联，则称该边为有向边。离散数学1、图的概念 －无向图、有向图和混合图 每一条边都是无向边的图称无向图。如图7-1.2（a）每一条边都是有向边的图称有向图。如图7-1.2（b）图中含有无向边和有向边的图称混合图。如图7-1.2（c）约定：今后只讨论有向图和无向图。离散数学1、图的概念 －邻接点 在一个图中，若两个结点vi,vj由一条有向边vi,vj或一条无向边(vi,vj)相关联，则这两个结点称为邻接点。 离散数学1、图的概念－孤立结点、零图和平凡图 孤立结点：一个图中，不与任何结点相邻的结点。如图7-1.2（a）v5零图：仅由孤立结点组成的图称为零图。平凡图：仅由一个孤立结点构成的图。离散数学1、图的概念－邻接边和自回路或环 邻接边：关联于同一结点的两条边。自回路（环）：关联于同一结点的一条边。如图7-1.3结点c对应的边(c,c)。环的方向没有意义，既可有向边，也可作为无向边。离散数学2、结点的度 －概念 定义7-1.2 在图G=V,E中，与结点v(v?V)关联的边数，称作是该结点的度数，记作deg(v)。约定：每个环在其对应的结点上度数增加2。 例如图7-1.3中各结点的度数。最大度：最小度：离散数学2、结点的度－性质1（握手定理）定理7-1.1 每个图中，结点度数的总和等于边数的两倍。 离散数学2、结点的度－性质2定理7-1.2 在任何图中，度数为奇数的结点必定是偶数。 设V1:G中奇数度数的结点集,V2:G中偶数度数的结点集，且V1?V2=V 离散数学3、入度和出度－概念定义7-1.3 在有向图中，射入一个结点的边数称为该结点的入度，有一个结点射出的边数称为该结点的出度。结点的出度与入度之和是该结点的度数。 离散数学3、入度和出度－性质定理7-1.3 在任何有向图中，所有结点的入度之和等于所有结点的出度之和。 离散数学4、图的分类－多重图 定义7-1.4 含有平行边的任何一个图称为多重图。例如7-1.5（a）（b）注意：结点b的平行环，有向图中注意边的方向。离散数学4、图的分类－简单图 简单图：不含有平行边和环的图称作简单图。离散数学5、完全图 －概念 定义7-1.5 简单图G=V,E中，若每对结点间都有边相连，则称该图为完全图。 有n个结点的无向完全图记作Kn。离散数学5、完全图 －性质 定理7-1.4 n个结点的无向完全图Kn的边数为n(n-1)/2。离散数学5、完全图－有向完全图 如果在Kn中，对每条边任意确定一个方向，就称该图为n个结点的有向完全图。其边数仍为n(n-1)/2。 离散数学6、补图与相对补图 －补图 定义7-1.6 给定一个图G，由G中所有结点和所有能使G成为完全图的添加边组成的图，称为G的相对于完全图的补图，或简称为G的补图，记作 。例如：7-1.6（a），（b） 离散数学6、补图与相对补图 －子图、生成子图 定义7-1.7 设图G=V,E,如果有图G’=V’,E’,且V’?V,E’?E，则称G’为G的子图。如图7-1.7中(b)和(c)都是(a)的子图。生成子图：如果G的子图包含G的所有结点，则称该子图为G的生成子图。离散数学6、补图与相对补图 －相对补图 定义7-1.8 设G’=V’,E’是图G=V,E的子图，若给定另一个图G’’=V’’,E”使得E”=E-E’，且V”中仅包含E”的边所关联的结点。则称G”是子图G’相对与图G的补图。例如7-1.7(c)是图(b)相对于图(a)的补图。离散数学7、同构定义7-1.9 设图G=V,E及G’=V’,E’，如果存在一一对应的映射g: vi?vi’且e=(vi,vj)(或vi,vj)是G的一条边，当且仅当e’=(g(vi),g(vj))(或g(vi),g(vj))是G’的一条边，则称G与G’同构，记作G?G’。即：G与G’同构的充要条件是：两个图的结点和边分别存在一一对