第7章 图论课件.ppt

第七章 图的基本概念;图(Graph)： 可直观地表示离散对象之间的相互关系，研究它们的共性和特性，以便解决具体问题。 图是一类相当广泛的实际问题的数学模型，有着极其丰富的内容，是数据结构等课程的先修内容。学习时应掌握好图论的基本概念、基本方法、基本算法，善于把实际问题抽象为图论的问题，然后用图论的方法解决问题。;§1 无向图及有向图;[定义] 图 V是一个非空有限集，E是V上的一个二元关系，有序对V, E称为有向图(Directed Graph)。可记为D. 若将E中的有序对看成是无序的（即将e=a,b看成e={a,b}或(a,b)），则称V,E为无向图(Undirected Graph)。有向图和无向图统称为图(Graph)，记为G 。 G =V, E;[定义] 顶点 Ｖ中的元素称为顶点，用带标记的点表示，也称为结点(Vertices)。;[定义] 图的分类 对图G=V, E，若允许E是一个多重集合，则称图G为多重图(Multigraph)。其相同的元素称为平行边，平行边的条数称为重数。 无环的非多重图称为简单图(Simple Graph)。;[定义] 相邻和关联 在无向图G中，若e=(a, b)∈E，则称a与b彼此相邻(adjacent)，或边e关联 (incident)或联结(connect) a, b。a, b称为边e的端点或结束顶点(endpoint)。 在有向图D中，若e=a, b∈E，即箭头由a到b，称a邻接到b，或a关联或联结b。a称为e的始点(initial vertex)，b称为e的终点(terminal/end vertex)。;[定义] 孤立点 若a∈V，a不与其他顶点相邻，称a为孤立点(isolated vertex)。;[定理1 (握手定理Handshaking)] 设无向图G=V, E有n个顶点，m条边，则G中所有顶点的度之和等于m的两倍。即 证明思路：利用数学归纳法。 [定理2] 无向图中度为奇数的顶点个数恰有偶数个。 证明思路：将图中顶点的度分类，再利用定理1。;[定理3] 设有向图D=V, E有n个顶点，m条边，则G中所有顶点的入度之和等于所有顶点的出度之和，也等于m。 即： 证明思路：利用数学归纳法。;一些特殊的简单图： (1) 无向完全图Kn(Complete Graphs) (2) 有向完全图 (3) 零图：E=?. (4) 平凡图：E=?且|V|=1. (5) 正则图：若图G＝V, E中每个顶点的度均为n，称此图G是n-正则图(n-regular graph)。;完全图(n=1,2,3,4,5);[定理4] 设无向完全图G有n个顶点，则G有n(n-1)/2条边。 证明：每一顶点都与其余的n-1个顶点相邻，即每一顶点的度为n-1，共有n个顶点，则图G的度为n(n-1)，由握手定理，得边数m=n(n-1)/2.;正则图（各顶点的度相同）;[定义] 子图 设G=V, E，G’=V’, E’是两个图，若V’?V，且E’?E，则称G’为G的子图(subgraph)。 注： 当V’=V时，称G’为G的生成子图。 当E’?E，或V’?V时，称G’为G的真子图。;[定义] 补图 设G=V, E是n阶无向简单图，以V为顶点集，以所有能使G成为完全图Kn的添加边组成的集合为边集的图，称为G相对于完全图Kn的补图，简称G的补图，记为 。;图 A;图Ａ是一个无向完全图 图Ｂ，Ｃ，Ｄ，Ｅ，Ｆ均是Ａ的子图 图Ｃ的顶点ａ是孤立顶点 图Ｂ的边(ａ，ｂ)是孤立边 图Ｄ是图Ｃ的子图 图Ｅ是图Ｃ的补图;粪破午踢改婆掐近窍恍告捍份订毒苞喂顶帐栏龟肺沟饥粉笆湘趟缆脯芹聂第7章 图论课件第7章 图论课件;例：;例：;例：;有向图;例： (1) 画出4个顶点3条边的所有可能非同构的无向简单图。 (2) 画出3个顶点2条边的所有可能非同构的有向简单图。;§2 通路、回路、图的连通性;“巧渡河”问题;“巧渡河”问题的解;[定义] 简单通路(Simple Path) 若通路中所有边互不相同，称此道路为简单通路。若回路中的所有边互不相同，称为简单回路(Simple Circuit)。; e5, e1, e2, e3, e4是简单通路，不是基本通路，因为c, a, b, c, d, b中b, c均出现了两次。但c, d, b, c是基本通路，也是基本回路。;[定理] 在一个n阶图中，若从顶点u到v (u?v)存在通路，则从u到v存在长度小于等于n-1的基本通路。若存在v到自身的简单回路，则从v到自身存在长度