第二章(PPT)-清华大学.pptVIP

定义2.3 有向图G=（V，A）若满足： （1）不包含有向圈； （2）存在一个顶点i使得d - (i)=0（即顶点i没有入弧），而对其余顶点j有d - (j)=1（即顶点j有且只有一条入弧）； 则称G为以i为根（Root）的树形图（Arborescence），也称有根树（Rooted Tree）或外向树（Out-Tree）. 定义2.4 如果一个有向图的支撑子图是一个树形图，则称该树形图为该有向图的支撑树形图(或生成树形图). 有向网络中权最小的支撑树形图称为该网络的最小树形图. 2.3最小树形图 – 定义 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 定义2.5 设v是网络N的任意一个节点，在所有指向v的入弧中，权最小的弧称为v的最小入弧. 由最小入弧组成的有向圈称为最小入弧圈. 若网络N的每个节点取最小入弧组成的子图是支撑树形图，则它就是最小树形图. (书上说法有误) 如果在网络N中，从每个节点取一条最小入弧，组成的子图是否就是最小树形图？ 2.3最小树形图 从树形图的根到每一个节点有且仅有一条有向路，这条路的长度称为该节点的代（即该节点关于根节点的层数）. 树形图在去掉每条弧的方向后，得到的无向基本图是一棵树，因此具有n个节点的树形图包含n-1条弧. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 引理2.2 网络N每个节点取一最小入弧，组成的图记为H，则 （1）若|H|n-1， （2）若|H|=n-1 ， （3）若|H|=n ， 2.3最小树形图 – 引理 证明(略) H a 最小树形图是否一定是Ｈ，或Ｈ去掉一条弧？ 则N没有支撑树形图； 且H不含有向圈，则H是N的最小树形图; 设a是H中权最大的弧，且H\a不含有向圈，则H\a是N的最小树形图. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 定理2.3 设C是网络N的最小入弧圈，如果N存在支撑树形图，则存在N的最小树形图T满足| C \ T |=1. 证明 假设定理不成立，在N的最小树形图中找一棵T使得| C \ T | 最小. 2.3最小树形图 – 定理 　　由于树形图不含有向圈，因此| C \ T |=ｋ?２.　 　　记C中不在T上的弧依次为　　　　　,　　　　　, …, 　　　　　　　　　则C中余下的弧组成的有向路　　　　,　　　　, …, 　　　　都属于T. 不妨设 v’1是所有k个节点{v’1 ,v’2 ,… ,v’k}在T 中代数最小的节点，则 v’1在T 中不会是 v’2的后代 但由于v2在T 中是v’1的后代，所以 v2在T 中不会是 v’2的后代. C Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. v’2在T 中一定有入弧(记为 a’1 )，则 T ’ = T+a2 -a’1 也是N 的支撑树形图. 2.3最小树形图 – 定理 　因为 W(a2 ) ? W( a’1 ) 所以 因此T ’也是N 的最小树形图，且|C\T ’|=|C\T|-1 这与T 的取法矛盾. 故定理得证. a’1 即:最小入弧圈中除一条弧外,包含在某个最小树形图中. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile . Copyright 2004-2011 Aspose Pty Ltd. 关键: 如果最小树形图的根节点在圈上，只需去掉圈上的一条弧(根节点的入弧)即可：记C中的最大弧为a*，则权和为W(C )-W(a* ) 2.3最小树形图 – 定理的意义 如果根节点在圈外呢?必须找一条从圈外指向圈上某节点的弧a来代替圈上指向该节点的弧a1： 替代后的权和为 W(C )+ W(a )- W( a1 ) 自然希望在上述两种可能性中使总权和增加的量尽可能小! 即要比较W(C )-W(a* )和W(C )+ W(a )