第七章节 第一讲 无向图及有向图.ppt

第一讲 无向图及有向图 知识结构 图的定义 图的一些概念和规定 简单图和多重图 顶点的度数与握手定理 图的同构 子图与补图 欧拉：传奇的一生 年少时，听从父亲的安排，巴塞尔大学，学习神学和希伯来语，结果被约翰·伯努利欣赏，17岁获得硕士学位之后，才开始专供数学。 为获得圣彼得堡科学院的医学部的职位空缺，欧拉在巴塞尔便全力投入生理学的研究，并出席医学报告会。1727年，等他到达俄罗斯时，叶卡捷琳娜一世女皇去世，他进入数学部。 1733年，欧拉回到瑞士，并结婚，一生共生育13个孩子，5个存活。 为了赢得巴黎奖金而投身于一个天文学问题，那是几个有影响的大数学家搞了几个月时间的，欧拉在三天之后把它解决了。可是过分的劳累使他得了一场病，病中右眼失明了。 欧拉到底出了多少著作，直至1936年人们也没有确切的了解。但据估计，要出版已经搜集到的欧拉著作，将需用大4开本60至80卷。彼得堡学院为了整理他的著作整整花了47年。 二、图的概念 设A，B为任意的两个集合，{{a,b}|a∈A∧b∈B}为A与B的无序积，记作AB。 可将无序积中的无序对{a,b}记为(a,b)，并且允许 a＝b。无论a,b是否相等，均有(a,b)＝(b,a)，故 AB＝BA。 元素可以重复出现的集合称为多重集合或者多重集。例如 多重集合{a,a,b,b,b,c,d}, {(a,a),(b,b),(b,b)}. 定义1 一个无向图（undirected graph）是一个有序的二元组V，E,记作G，其中 （1）V≠?称为顶点集，其元素称为顶点或结点（vertices, nodes）。 （2）E称为边集，它是无序积VV的多重子集，其元素称为无向边，简称边（edges）。 定义2 一个有向图（ directed graph ）是一个有序的二元组V，E，记作D，其中 （1）V≠?称为顶点集，其元素称为顶点或结点。 （2）E为边集，它是笛卡儿积V×V的多重子集，其元素称为有向边，简称边。 图的一些概念和规定 G表示无向图，但有时用G泛指图(无向的或有向的)。 D只能表示有向图。 V(G)，E(G)分别表示G的顶点集和边集。 若|V(G)|＝n，则称G为n阶图。 若|V(G)|与|E(G)|均为有限数，则称G为有限图。 若边集E(G)＝?，则称G为零图，此时，又若G为n阶图，则称G为n阶零图，记作Nn，特别地，称N1为平凡图(trivial graph)。 关联与关联次数、环、孤立点 设G＝V,E为无向图，ek＝(vi,vj)∈E， 称vi,vj为ek的端点，ek与vi或ek与vj是彼此相关联的。 若vi≠vj，则称ek与vi或ek与vj的关联次数为1。 若vi＝vj，则称ek与vi的关联次数为2，并称ek为环。 任意的vl∈V，若vl≠vi且vl≠vj，则称ek与vl的关联次数为0。 设D＝V,E为有向图，ek＝vi,vj∈E，称vi,vj为ek的端点。 若vi＝vj，则称ek为D中的环。 无论在无向图中还是在有向图中，无边关联的顶点均称为孤立点(isolated vertices)。 相邻与邻接 设无向图G＝V，E，vi，vj∈V，ek，el∈E。 若?et∈E，使得et＝(vi，vj)，则称vi与vj是相邻的。 若ek与el至少有一个公共端点，则称ek与el是相邻的。 简单图与多重图 定义3 在无向图中，关联一对顶点的无向边如果多于1条，则称这些边为平行边，平行边的条数称为重数。 在有向图中，关联一对顶点的有向边如果多于1条，并且这些边的始点和终点相同(也就是它们的方向相同)，则称这些边为平行边(parallel edges)。含平行边的图称为多重图(multigraph)。 既不含平行边也不含环的图称为简单图(simple graph)。 例如：在图 中e5与e6是平行边， 不是简单图。 顶点的度数(degree) 定义4 设G＝V,E为一无向图，?v∈V，称v作为边的端点次数之和为v的度数，简称为度，记做 dG(v)。 在不发生混淆时，简记为d(v)。 设D＝V，E为有向图，?v∈V， 称v作为边的始点次数之和为v的出度(out-degree)，记做d+D(v)，简记作d+(v)。 称v作为边的终点次数之和为v的入度(in-degree)，记做 d -D(v)，简记作d-(v)。 称d+(v)+d-(v)为v的度数，记做d(v)。 设G＝V,E为一个n阶无向图，V＝{v1,v2,…,vn}，称d(v1)，d(v2)，…，d(vn)为G的度数列。 对于顶点标定的无向图，它的度数列是唯