第四章 网络优化与petri网.pptxVIP

第4章 网络优化与Petri网4.1 网络流与截集4.2 最大流问题及其解法4.3 最小费用路算法4.4 Petri网重庆邮电大学 理学院从某种意义上说，现代社会是一个由计算机信息网络、通信网络、运输服务网络、能源和物质分派网络等各种网络所组成的复杂的网络系统。网络优化就是研究如何有效地计划、管理和控制这个网络系统，使之发挥出最大的社会和经济效益 。重庆邮电大学 理学院网络优化是运筹学中的一个重要分支，所研究的问题涉及经济管理、交通运输、计算机科学与信息技术、通讯与网络技术等诸多领域。在现实生活中，诸如最短路问题、运输问题、指派问题、中国邮递员问题、旅行商问题等都是网络优化的问题。由于多数网络优化问题是以网络上的流为研究对象，因此，在图论中一般只涉及网络流问题。重庆邮电大学 理学院4.1 网络流与截集?定义4.1.1 设有向连通图满足：（1）图 中包含两个特定的顶点 和 ，其中只有出弧而没有入弧（即入度为0），称为发点或源；只有入弧而没有出弧（即出度为0），称为收点或汇；中的其余点既有出弧又有入弧，称为中间点。（2）在的弧集上定义非负函数，称为容量函数，对任意弧 （有时把简写成），称 为弧 的容量。此时，称有向图构成一个网络，记为 .重庆邮电大学 理学院重庆邮电大学 理学院?对于任意一个有多个收、发点的网络，可以在上添加两个顶点和得到新的网，其中用容量为的弧把连接到中每一个发点，用容量为的弧把中每一个收点连接到，这时分别称和为超级发点或超级源和超级收点或超级汇。如图4.1.2，其中图(a)表示有三个发点两个收点的网络，图(b)表示添加了超级发点和超级收点的网络。重庆邮电大学 理学院?定义4.1.2 设是一个网络。称定义在弧集上的非负函数为网络上的流；对于弧 ， 称为弧上的流量，记作 ，即 ; 称（即 ，下同）是流入 的流量或的流入量；称是流出的流量或 的流出量；若，即弧的流量已经达到它的容量，则称弧在流下是饱和的，否则称弧是不饱和的。重庆邮电大学 理学院若流满足：（1） （称为限制条件或相容条件）；（2）对于既不是源也不是汇的每个顶点，（*）。则称为网络的一个可行流。注：（*）称为守恒条件或平衡条件，其中除非另有说明，总是对所有顶点求和，而且如果不是边，则设 ?重庆邮电大学 理学院?定理1给定网络的一个流 ，其发点为,收点为，则流出发点流量等于流入收点的流量，即 。定义3给定网络的一个流 ，其发点为,收点为，称值为流的值，记作 。如图4.1.1中 ?重庆邮电大学 理学院?网络流研究中的一个基本问题是求网络的一个可行流，而且还希望使得达到最大值，即使可行流成为网络的最大流。一般地，可能存在几个具有相同最大值的流。为了给出一个求最大流的算法。下面我们再来介绍网络的截集。重庆邮电大学 理学院?定义4 设是一个网络，其发点为 ，收点为， ，使得， , 表示起点在中，终点在中的弧集。则称为网络的截集；称 为截集的容量，简称截量；具有最小容量的截集称为最小截集。重庆邮电大学 理学院重庆邮电大学 理学院?定理2设是网络的流， 是网络的截集，则的容量大于或等于的值，即。重庆邮电大学 理学院?定理3设是网络的流， 是网络的截集.（1）若，则流最大且截集最小；（2）当且仅当.重庆邮电大学 理学院?如图4.1.4所示网络，每条边上标的前后两个数分别表示该边的容量和当前流过该边的流量，该网络流的流是一个可行流,其流量。若取 ，则是网络的一个截集，其截量为： ，此时，流的值和截集的容量都为10，所以，流量最大且截集最小。重庆邮电大学 理学院4.2 最大流及其算法就只有一个发点和一个收点的网络而言，最大流问题就是在一个有容量的网络中从发点到收点找出一条可以运送最大数量的单位流量的路径，而且不得超过弧的容量。最大流问题的算法是由Ford和Fulkerson于1957最早提出的，其基本概念比较简单，即从某个初始流开始，重复地增加流的值到不能再改进为止，则最后所得的流将是一个最大流。为此，不妨将每条边上的流量设置为0作为初始流量。为了