路径示例连通图.pptVIP

* 无向图中，顶点的度为与每个顶点相连的边数 有向图中，顶点的度分成入度与出度 入度：以该顶点为头的弧的数目 出度：以该顶点为尾的弧的数目 * 有向无环图应用一：描述表达式 有向无环图可用于描述含有公共子式的表达式，例如 ( (a+b)*(b*(c+d))+(c+d)*e)*((c+d)*e) 有向无环图应用二：描述工程 有向无环图还可用于研究工程项目的工序问题、工程时间进度问题等。 一个工程(project)都可分为若干个称为活动(active)的子工程(或工序)，各个子工程受到一定的条件约束：某个子工程必须开始于另一个子工程完成之后；整个工程有一个开始点(起点)和一个终点。人们关心： 工程能否顺利完成?影响工程的关键活动是什么? 估算整个工程完成所必须的最短时间是多少? 对工程的活动加以抽象：图中顶点表示活动，有向边表示活动之间的优先关系，这样的有向图称为顶点表示活动的网(Activity On Vertex Network ，AOV网) 。 7.5.1 拓扑排序 集合上的关系回顾： 自反性：若?a∈A有(a，a)∈R，称集合A上的关系R是自反的。 对称性：如果对于a，b∈A ，只要有(a，b)∈R就有(b，a)∈R ，称集合A上的关系R是对称的。 反对称性：如果对于a，b∈A ，仅当a=b时有(a，b)∈R和(b，a)∈R ，称集合A上的关系R是反对称的。 传递性：若a，b，c∈A，若(a，b)∈R，并且(b，c)∈R ，则(a，c)∈R ，称集合A上的关系R是传递的。 偏序与全序 偏序：若集合A上的关系R是自反的，反对称的和传递的，则称R是集合A上的偏序关系。 全序：设R是集合A上的偏序关系，a，b∈A，必有aRb或bRa， 则称R是集合A上的全序关系。 偏序是指集合中仅有部分元素之间可以比较，而全序是指集合中任意两个元素之间都可以比较。 拓扑排序 拓扑排序(Topological Sort) ：由某个集合上的偏序关系得到该集合上的全序关系。 拓扑排序的应用 在AOV网中，若有有向边i, j，则i是j的直接前驱，j是i的直接后继；若从顶点i到顶点j有有向路径，则i是j的前驱，j是i的后继。 AOV网中不能有环，否则，某项活动能否进行是以自身的完成作为前提条件。 检查方法：对有向图的顶点进行拓扑排序，若所有顶点都在其拓扑有序序列中，则无环。 拓扑排序 有向图的拓扑排序：构造AOV网中顶点的一个拓扑线性序列(v’1,v’2, ?,v’n)，使得该线性序列不仅保持原来有向图中顶点之间的优先关系，而且对原图中没有优先关系的顶点之间也建立一种(人为的)优先关系。 例：拓扑排序 该图的拓扑有序序列：(不唯一) (c1,c2,c3,c4,c5,c7,c9,c10,c11,c6,c12,c8) (c9,c10,c11,c6,c1,c12,c4,c2,c3,c5,c7,c8) 用户应按照这样的顺序推进工程。 如何进行拓扑排序? 在AOV网中选择一个没有前驱的顶点且输出； 在AOV网中删除该顶点以及从该顶点出发的所有有向边 ； 重复前面两步，直到图中全部顶点都已输出或图中不存在无前驱的顶点。 图中全部顶点都已输出表示？ 图中无环 图中不存在无前驱的顶点表示？ 图中存在环 例: 拓扑排序 v1 v2 v3 v4 v5 v6 (a) 有向图 (b) 输出v1后 v4 v2 v3 v5 v6 图7-28 有向图的拓扑排序过程 (c) 输出v6后 v4 v2 v3 v5 (d) 输出v4后 v2 v3 v5 (e) 输出v3后 v2 v5 拓扑排序的实现 假设采用邻接表作为有向图的存储结构，并且头结点中有用于存放顶点入度的数组indegree。 如何查找没有前驱的结点？ 入度为0的数组就是没有前驱的结点 如何删除顶点及以它为尾的弧？ 将弧头顶点的入度减1 为了避免每次检测哪些结点入度为0，设置一个栈S来存放所有入度为0的结点。 7.5.2 关键路径 与AOV网相对应的是AOE(Activity On Edge) ，用边表示活动。 图中顶点表示事件(Event)，每个事件表示在其前的所有活动已经完成，其后的活动可以开始；弧表示活动，弧上的权值表示相应活动所需的时间。 关于AOE网 与AOE有关的研究问题 完成整个工程至少需要多少时间? 哪些活动是影响工程进度的关键? 关键路径 由于AOE网中有些活动可以并行进行，所以完成工程的最短时间是从开始点到完成点的最长路径的长度。长度最长的路径称为关键路径，关键路径上的活动称为关键活动。关键活动是影响整个工程的关键。 设v0是起点，从v0到vi的最长路径长度称为事件vi的最早发生时间。这个时间决定了所有以vi为尾的所有活