第8章图论课件.ppt

第8章 图论 8.1 图的基本概念 8.2 路径和回路 8.３ 图的矩阵表示 8.４ 二部图 8.5 平面图 8.6 树 8.7 有向树 8.8 运输网络 8.1 图的基本概念 8.1.1 图 现实世界中许多现象能用某种图形表示,这种图形是由一些点和一些连接两点间的连线所组成。例如,可用图形表示某一城市中各工厂间的业务往来关系。以点代表工厂,以连接两点的连线表示这两工厂间有业务往来关系。对于这种图形,我们的兴趣在于有多少个点和哪些点对间有线连接,至于连线的长短曲直和点的位置都无关紧要。对它们进行数学抽象我们就得到以下作为数学概念的图的定义。 定义8.1―1 一个图G是一个三重组〈V(G),E(G),ΦG〉,其中V(G)是一个非空的结点(或叫顶点)集合,E(G)是边的集合,ΦG是从边集E到结点偶对集合上的函数。一个图可以用一个图形表示。 例1 设G=〈V(G),E(G),ΦG〉,其中V(G)={a,b,c,d},E(G)={e1,e2,e3,e4, e5,e6,e7},ΦG(e1)=(a,b),ΦG(e2)=(a,c),ΦG(e3)=(b,d), ΦG(e4)=(b,c),ΦG(e5)=(d,c),ΦG(e6)=(a,d),ΦG(e7)=(b,b)。则图G可用图8.1―1(a)或(b)表示。 定义中的结点偶对可以是有序的,也可以是无序的。若边e所对应的偶对〈a,b〉是有序的,则称e是有向边。有向边简称弧,a叫弧e的始点,b叫弧e的终点,统称为e的端点。称e是关联于结点a和b的,结点a和结点b是邻接的。若边e所对应的偶对(a,b)是无序的,则称e是无向边。无向边简称棱,除无始点和终点的术语外,其它术语与有向边相同。 每一条边都是有向边的图称为有向图,如图8.1―2所示。第三章中的关系图,第六章中表示群的图都是有向图的例子。 每一条边都是无向边的图称为无向图,如图8.1―1所示。如果在图中一些边是有向边,而另一些边是无向边,则称这个图是混合图。我们仅讨论有向图和无向图,且V(G)和E(G)限于有限集合。 我们仅讨论有向图和无向图,且V(G)和E(G)限于有限集合。为方便叙述,我们约定用〈a,b〉表示有向边,(a,b)表示无向边,既表示有向边又表示无向边时用［a,b］。于是,图8.1―1中的G和图8.1―2中的G′可分别简记为 G=〈V,E〉=〈{a,b,c,d},{(a,b),(a,c),(b,d),(b,c),(d,c),(a,d),(b,b)}〉 G′=〈V′,E′〉=〈{a,b,c,d,e,f},{〈a,b〉,〈b,a〉,〈b,c〉,〈c,c〉,〈a,d〉,〈e,e〉}〉 有向图和无向图也可互相转化。例如,把无向图中每一条边都看作两条方向不同的有向边,这时无向图就成为有向图。又如,把有向图中每条有向边都看作无向边,就得到无向图。这个无向图习惯上叫做该有向图的底图。 在图中,不与任何结点邻接的结点称为弧立结点,如图8.1―2崐中的结点f。全由孤立结点构成的图称为零图。关联于同一结点的一条边称为自回路,如图8.1―2中的〈c,c〉和〈e,e〉,自回路的方向不定。自回路的有无不使有关图论的各个定理发生重大变化,所以有许多场合都略去自回路。 在有向图中,两结点间(包括结点自身间)若同始点和同终点的边多于一条,则这几条边称为平行边。在无向图中,两结点间(包括结点自身间)若多于一条边,则称这几条边为平行边。两结点a、b间互相平行的边的条数称为边［a,b］的重数。仅有一条时重数为1,无边时重数为0。 定义8.1―2含有平行边的图称为多重图。非多重图称为线图。无自回路的线图称为简单图。 在图8.1―3中,(a)、(b)是多重图,(c)是线图,(d)是简单图,关系图都是线图。 对于多重图,定义8.1―1中的ΦG有时是不可缺少的,对于线图,因为每结点偶对间无平行边,就可用结点偶对表示边,而毋需引用ΦG。通常,我们就和上边G和G′那样表示一个图,非必要时不出现ΦG。 ? 从实际问题抽象出来的图中往往结点和边上都带有信息,因此需要以下定义。 定义 8.1―3赋权图G是一个三重组 〈V,E,