图论及应用重点.ppt

图论简介 图论是数学的一个分支,以图为研究对象.这种图由若干给定的点和连接两点的线构成,借以描述某些事物之间的关系.用点代表事物,用连接两点的线表示两个事物之间具有特定关系. 图论起源于18世纪,追朔到1736年瑞士数学家L.Euler出版第一本图论著作,提出和解决著名Konigsberg七桥问题.从那时以来,图论不仅在许多领域,如计算机科学,运筹学,心理学等方面得到了广泛的应用,而且学科本身也获得长足发展,形成了拟阵理论,超图理论,代数图论,拓扑图论等新分支.(8.5,8.8二节不讲) 图的定义与记号 图G是一个二重组:G=?V,E?,其中V是非空有限集合,它的元素称为结点, E 也是(可空)有限集合,它的元素称为边. 图G的边e是一个结点二重组:?a,b?,a,b?V,e可以是有序的,称为有向边,简称为弧,a称为弧e的始点,b称为e的终点; e也可以是无序的,称为无向边.e=?a,b?时,称e与a,b关联,或a,b与e关联,或a与b相邻接;关联于同一结点的一条边称为自回路. 每条边都是无向边的图称为无向图;每条边都是有向边的图称为有向图;我们仅讨论无向图和有向图. (看图8.1-1和图8.1-2) 图的定义与记号续 不与任何结点邻接的结点称为孤立结点,全为孤立结点组成的图(视为无向图有向图均可)称为零图. 在无向图中两结点间(包括结点自身)若多于一条边，则称这几条边为平行边.在有向图中若同始点和同终点的边多于一条,则称这几条边为平行边,平行边的条数称为该边的重数.含平行边的图称为多重图,非多重图称为线图.无自回路的线图称为简单图.例子见图8.1-3. 有向图去掉方向所得无向图称为该图的底图. 常用一个图形来表示图称为图的图示 deg+(1)=2,deg-(1)=0, deg(1)=deg(2)=… deg+(2)=deg-(2)=1,… =deg(6)=3. deg(1)=…=deg(4)=2. 结点的度(次数) 有向图中,以结点v为始点的边数称为v的出度,记为deg+(v);以结点v为终点的边数称为v的入度,记为deg-(v);它们的和: deg(v)=deg+(v)+deg-(v) 称为v的度. 无向图中,与结点v相关联的边数称为v的度,记为deg(v). 各结点的度都相等的图称为正则图,或k-正则图,其中k为结点度的公共值.(注:可以只考虑正则的无向图,然后再定义其底图的无向图是正则图的有向图为正则有向图.) 例子见上一张幻灯片和图8.1-5. 关于有 n 结点 m 边的(n,m)图度的定理 定理8.1-1 令 v1,…,vn为图的所有结点,则 ?i=1n deg(vi)=2m. (1) 证:对于公式(1)左边的和式,图的每条边贡献的度数恰为2,从而结论成立. 注:对有向图(1)可写成 ?i=1n deg+(v)+?i=1n deg-(v)=2m. 定理8.1-2 任何图中度为奇数的结点必为偶数个. 证: 因偶度点度的和为偶数,若奇度点为奇数个,则奇度点度的和必为奇数.但偶数加奇数得奇数,便与(1)式右边为偶数相矛盾. 8.1#4(c)简单无向图 G 必有2结点同度 证:令 G={v1,…,vn}.若 G 中没有孤立点,则 G 中 n个结点的度只取 n-1 个可能值: 1,2,…,n-1,从而 G 中至少有两个结点的度相同. 否则,G中有孤立点,不妨设vk,vk+1,…,vn为全部孤立点,则 v1,…,vk-1的度只取 k-2个可能值: 1,2,…,k-2,从而此 k-1个结点中至少有两个同度点. 图的同构 定义:对给定两个图 G=?V,E?,G?=?V?,E??,若存在双射 f:V?V? 使对任意a,b?V, (a,b)?E ?(f(a),f(b))?E?,并且(a,b)与(f(a),f(b))有相同重数,则称 G 与 G?同构,记为 G?G?. 注:① 两图同构是相互的: G?G? ? G??G. ② 两图同构时不仅结点之间要有一一对应关系,而且要求这种对应关系保持结点间的邻接关系.对有向图同构还要求保持边的方向. ③ 寻求判断图同构的简单有效方法仍是图论待解决的重要问题. 同构图举例 G ? G’ H ? H’ 1?a,2?b,3?c, 1?a,2?b,3?c, 4?d 4?d,5?e,6?f 非同构图举例 存在结点数及每个结点对应度都相等的两个图仍然不同构的情况.一个例子是图8.1-8;另一例如下:(注意:两个4度点或邻接或不相邻接) 子图的概念 定义:给定两个无(有)向图 G=?V,E?,G?=?V?,E??. 若 V??V 和 E