第十一章图和树.ppt

第十一章 图与树 先来研究我们班同学名字中有相同汉字的问题。如果我们把每个同学用平面上的点来表示，谁与谁有相同汉字则在其对应的节点之间连一条边，于是这样就构成一个图。 我们再来看看代表图论的起源的哥尼斯堡七桥问题。哥尼斯堡（后来的加里宁格勒）位于立陶宛的普雷格尔河畔。河中有两个小岛，为方便交通，在河两岸及两个小岛之间建有七座小桥（如图11. l（a）所示）。城中居民经常来此游逛，随即提出了这样一个有趣的问题：游人是否可能从两岸或小岛的一处出发，经由每座桥一次且仅一次，然后回到原地。许多人久而不得其解，直到1736年瑞士数学家欧拉（Euler）解决了这一问题。但欧拉只用一个十分简明而又很有代表性的方法 ---- 抽象为一张图（如图11.1（b）所示），并进而研究一般的图何时有这样的解。图11.1（b）中的小圆圈叫做结点，用以表示河两岸及两个小岛；结点间的线段或弧线叫做边，用以表示小桥，如果游人可以作出所要求的那种游历，那么必可从图的某一结点出发，经过每条边一次且仅经过一次后又回到原节点。这时，对每个结点而言，每进入一次，总相应地要离开一次，而每次离开不得重复同一条边，因而它应当与偶数条边相联结。由于图11.1之（b）中并非每个结点都与偶数条边相联结，因此欧拉作出结论：游人不可能作出所要求的游历。 像如上这样由结点和联结结点的边所组成的离散结构就是本章所要讨论的图。这种图与我们以前学过的平面几何图形和立体几何图形不同，即它表示的往往是一个事物集中事物之间的关系，上例的图就分别描述的是我们班同学名字集合上的有相同汉字的关系，以及地点集合上有桥的关系。 因此，图可用来解决许多领域的问题。如生态环境里不同物种的竞争、在人事组织里谁影响谁、比赛结果等都可以用图来表示。而网络中两台计算机是否有通信链路连接、区别分子式相同但结构不同的两种化合物、动物群中存在的食物链、如何根据需要安排考试、分配电视台频道、如何最经济地将一些城市连接起来、能否走遍城市里的所有街道而不重复、能否在平面电路板上实现电路等等都可以用图论解决。因此，我们现在所要研究的图是建立和处理离散对象及其关系即离散结构模型的一个重要工具。在各类关系表示、运筹规划作业、网络结构研究、以及计算机程序流程分析中，都会遇到由这种“结点”和“边”组成的图。它在计算机科学及其应用的许多领域，如数据结构、操作系统、编译、人工智能、形式语言、网络理论、信息的组织与检索等，均起着重要作用。它广泛应用于生物学、心理学、遗传学、地理学、物理学、化学、经济学、社会学、语言学、控制论、运筹学等几乎所有的学科，我们可以说几乎每一门学科都可以用图模型来解决，而本章所要讲的树又是一个结构非常优秀的特殊图，它也有极广泛的应用。 §11．1图的基本概念 由上述介绍我们可以简略地说，有点有边即构成图。即给定一个结点集合和这些节点之间联边的情况，这样组成的离散结构就构成一个图。 11．1．2 图的概念 定义11.1 图（graph）G是一个有序二元组 V(G)，E(G)，其中： （1）非空集合V(G)称为图G的结点集，其成员称为结点或顶点（nodes or vertices）。结点用拉丁字母或希腊字母来表示。 （2）集合 E(G)称为图G的边集,其成员称为边(edges)。边用结点的序偶来表示。结点有序偶表示的边称为有向边（directed edges），节点无序偶表示的边称为无向边（indirected edges）。 当图的边均为有向边时,称该图为有向图（directed graph）；当图的边均为无向边时，称该图为无向图（indirected graph）。 以下图论术语是经常会用到的。 边e = u,v时，称边e关联端点u，v,并称u为e 的起点,v为e 的终点。边e = （u,v）时，称边e关联结点u，v,并称u，v为e 的端点，这时u，v为邻接点。当边e与e1有共同端点时，称边e，e1为邻接边。当u = v时，u,v和{u,v}均称为自环。不是任何边的端点（或称不关联任何边，或称不与任何点邻接）的节点称为孤立节点，仅由孤立节点构成的图（E = ?）称为零图。 图11.1（b）是一个图的直观表示，称为图的图形，可表示为 {A,B,C,D},{ （ A,C ）,（ A,C ）, （ A,D ）, （ A,D ）, （ A,B ）, （C,B ）,（ D,B ）} 例11.1 （1）某些城市的铁路连接问题用无向图表示： 将城市用结点表示，两城市有铁路直通时连一条边。结点集V={北京，天津，济南，南京，苏州，上海，杭州，武汉，广州}，边集E={（北京，天津），（天津，济南），（济南，南京），（南京，苏州），（苏州，上海），（上海，杭州），（武汉，广州），（天津，武汉）}