大一上全部离散数学.pptx

第7章图

公元十八世纪有这样一个问题：在东普鲁士有个哥尼斯堡城（konigsberg，后属于苏联立陶宛苏维埃社会主义共和国，现名为加里宁格勒；现属于立陶宛共和国）。哥尼斯堡城位于pregel河畔，河中有两个岛，城市中的各个部分由七座桥相连。ABCD图论起源

最早引入图论处理的问题就是哥尼斯堡七桥问题。1736年，瑞士数学家L.Eluer（欧拉）在他发表的“哥尼斯堡七座桥”的著名文章中阐述了解决这个问题的观点，从而被誉为图论之父。当时，城中的居民热衷于这样一个问题，从四块陆地的任一块出发，怎样才能做到经过每座桥一次且仅一次，然后回到出发点。问题看来并不复杂，但当地的居民和游人做了不少的尝试，却都没有取得成功。

Euler将四块陆地表示成四个结点，凡陆地间有桥相连的，便在两点间连一条边。ABCD

此时，哥尼斯堡七桥问题归结为：从A,B,C,D任一点出发，通过每条边一次且仅一次而返回出发点的回通路是否存在？DCAB

欧拉断言这样的回通路是不存在的。理由是：从图中的任一点出发，为了要回到原来的出发点，要求与每个点相关联的边数均为偶数。这样才能保证从一条边进入某点后，再从另一条边出去，从一个点的不同的两条边一进一出才能回到出发点。而图中的A,B,C,D全是与奇数条边相连，由此可知所要求的回通路是不可能存在的。

7第7章图7.1图的基本概念7.2通路与回路、连通的概念7.3图的表示7.4图的运算

87.1图的基本概念7.1.1无向图和有向图7.1.2度的概念7.1.3图的分类7.1.4子图与补图7.1.5图的同构

9定义7.1.1一个无向图可以表示为G=（V，E），其中V是非空有限结点集，称V中的元素为结点或顶点；E是边集，其中的元素是由V中的元素组成的无序对，称E中的元素为边。若（v，w）是无序对，则（v，w）=（w，v）。例如,G=V,E如图所示,其中V={v1,v2,…,v5}E={(v1,v1),(v1,v2),(v2,v3),(v2,v3),(v2,v5),(v1,v5),(v4,v5)}e1e2e3e4e5e6e7v5v1v2v3v47.1.1无向图和有向图无向图

10有向图定义7.1.2一个有向图可以表示为D=（V，E），其中V是非空有限结点集，称V中的元素为结点或顶点；E是有向边集，E中的元素是由V中的元素组成的有序对，称E中的元素为有向边。有向图D=（V，E）。结点集V={v1，v2，v3，v4}，有向边集E={v1，v1，v1，v2，v1，v2，v1，v3，v2，v3，v3，v4，v4，v3}。在有向图中，b，a?a，b

定义7.1.3如果关联一对结点的边多于一条，则称这些边为平行边。如果有边关联于一对结点，则称这对结点是邻接的。一条边的两个端点如果关联于同一个结点，则称为环，和任何边都不关联的点称为孤立点。边e2和e3是平行边，边e1关联结点v1和v3，则称v1和v3是邻接的，边e5=（v3，v3）是环，v4是孤立点。无向图

如果关联一对结点的方向相同的有向边多于一条，则称这些有向边为多重有向边或平行边。如关联于结点v1和v2的两条有向边是平行边，而关联于结点v3和v4的两条有向边方向相反，不是平行边。（v1，v1）称为环。对于有向边（v2，v3），称v2为起点，v3为终点，v2和v3是邻接的。有向图

n阶图:n个顶点的图零图:E=?的图平凡图:1阶零图在图的定义中规定结点集合V为非空集，但在运算中可能产生结点集为空集的运算结果，因此规定结点集为空集的图为空图，记为?

14定义7.1.6设G=V,E为无向图,v?V,v所关联的边数称为v的度数，简称度，记作d(v)。悬挂顶点:度数为1的顶点悬挂边:与悬挂顶点关联的边G的最大度?(G)=max{d(v)|v?V}G的最小度?(G)=min{d(v)|v?V}例如d(v5)=3,d(v2)=4,d(v1)=4,?(G)=4,?(G)=1,v4是悬挂顶点,e7是悬挂边,e1是环e1e2e3e4e5e6e7v5v1v2v3v47.1.2度的概念

15顶点的度数(续)定义7.1.7设D=V,E为有向图,v?V,以v为起点所关联的边数称为v的出度，记作d+(v)；以v为终点所关联的边数称为v的入度，记作d?(v)。v的总度数(度)d(v)是v的出度和入度之和：d(v)=d+(