5第五章节 最小树问题.ppt

例3 机器蛇 在未来的某次战争中,我军计划了一次军事行动，目的是劫持敌人的航母．由于这个计划高度保密，你只知道你所负责的一部分：机器蛇的通信网络.计划中要将数百条机器蛇投放到航母的各个角落里．由于航母内部舱室、管线错综复杂，且大部分由金属构成，因此屏蔽效应十分强烈，况且还要考虑敌人的大强度电子干扰，如何保持机器蛇间的联系，成了一大难题.每条机器蛇的战斗位置由作战计划部门制定，将会及时通知你．每条机器蛇上都带有接收、发射系统，可以同时与多条机器蛇通讯．由于整个系统承载的数据量庞大，需要一个固定的通讯网络．情报部门提供了极其详尽的敌方航母图纸，使你对什么地方有屏蔽了如指掌． 请你设计一个程序，根据以上信息构造通讯网络,要求信息可以在任意两条机器蛇间传递，同时为了避免干扰，通讯网络的总长度要尽可能的短． 第五章 最小树问题 这一章讲的最小树问题，是图论中有一个很重要的极值问题，它的重要性不亚于最短路问题. §5.1 什么是最小树问题 定义5.1.1 设G=(V,E)是一个无向图，如果它具有下述两个性质： (1)连通； (2)没有圈 就称G是一个树（或一棵树）. 图5.1.1(a)、(b)中画的都是树的例子. (a)G1 (b)G2 图5.1.1 注：树中度为1的顶点称为树叶，度大于1的顶点称为枝点或分支点. 前面已经讲过，所谓图G=(V,E)的支撑子图，指的是G的一个子图G1=(V1,E1)，其中V1=V，即G1是由G的全部顶点及一部分边组成的.对于我们来说，特别重要的是图G(G本身不一定是树)的那些形成树的支撑子图. 定义5.1.2 设G=(V,E)是一个无向图，如果T=(V,E1)是G的支撑子图并且T是树，则称T是G的一个支撑树. 图5.1.2 是不是每个图G都有支撑树呢？不见得.很显然，如果G不连通，G就一定不会有支撑树.反过来，我们有: 定理5.1.1 连通图一定有支撑树. 证明：设G是一个连通图，如果G没有圈，那么G本身就是一个支撑树，如果G有圈，那么任取G的一个圈，并且从这个圈中任意去掉一条边，得到G的一个支撑子图G1,易见G1仍是连通的，如果G1还有圈，就再从某一个圈中去掉一条边，得到G2，G2仍是连通的，…，这样做下去，直至得到一个不含圈的连通支撑子图Gs为止，Gs就是G的一个支撑树了. 按定理5.1.1的证明方法得到一个支撑树的过程成为“破圈法”。 从破圈的过程可以看出，一个连通图G一般有许多支撑树.因为取定一个圈后，可以从这个圈上任意去掉一条边.去掉的边不一样，得到的支撑树就不同.. 现在考虑一个连通图G=(V,E)，它的每一条边ej有一个长度l(ej)0.这时，对于G的任意一个支撑树T，我们把属于T的各条边的长度加起来的和叫做树T的长度，记作l(T).如下图：l(T1)=22,l(T2)=17. v1 v2 v3 v4 v5 5 8 6 2 3 6 5 v1 v2 v3 v4 v5 5 8 6 2 3 6 5 v1 v2 v3 v4 v5 5 8 6 2 3 6 5 a:G b:T1 c:T2 图5.1.3 现在的问题是如何从G的所有支撑树中，把长度最小的支撑树找出来？. 通常，我们把长度最小的支撑树叫做最小树.所以上面的问题实际上就是如何把一个图G的最小树找出来.因此这个问题就叫做最小树问题. 最小树问题有很多很广泛的应用.例如，我们把图5.1.3(a)的图G中的五个顶点看成某个镇的5个村，G的边看成是公路，现在要假设电线(电线必须沿着公路假设)，使各村之间都能通电话,问应该怎样架线，才能使所用的电线最少？ 考虑一下，就可以看出，这个问题的关键是决定图上哪些边上架线，哪些边上不架线.设架线的边的集合是E1,那么G1=(V,E1)就是G的一个支撑子图.因为架线后各个村之间都能通话，所以G1必须是连通的.因此要使电线最节约，就是要从G的所有连通的支撑子图中，把总边长最小的找出来，但是不难看出，总边长最小的连通支撑子图一定不会含圈，从而必定是一个支撑树.因此假设电线的问题就归结为最小树问题. 类似的问题还有很多，例如修公路把一些城镇连接起来，修渠道使水源和各块地连接起来，等等，都可以归结为最小树问题.同时，最小树问题还是图论中其它很多问题的基础，也就是说，有不少的问题在计算时，往往首先必须求出一个最小树，这也是最小树问题显得特别重要的一个原因. 本节我们来看看关于树的一些等价定义. 定理5.2.1 设T=(V,E)是一个树，设T有m条边，n个顶点，则m=n-1. §5.2 树的等价定义