第九章 图与网络分析.docVIP

第九章 图与网络优化 §9.1 重点、难点提要 一、图与网络的基本概念 1．无向图 设是一个有个顶点的非空集合：；是一个有条无向边的集合：，则称和这两个集合构成了一个无向图，记为。 中任一条边若连接顶点和，则记该边为（或），并称与为无向边的两个端点，且边与顶点及相关联，顶点和顶点相邻。对于图，顶点集和无向边集也可以分别表示为和。 一般用和表示图中顶点个数和边的条数。 无向图中有平行边、简单图、完备图、子图、生成子图、导出子图、链、初等链、回路、连通图、割边、赋权连通图和网络等基本概念。其中赋权连通图是网络优化考虑的一个重要对象。根据实际问题的需要，每条边的权重可以是时间、距离、成本等相应的数值。 2．有向图 设是一个有个顶点的非空集合：；是一个有条弧的集合：，则称和这两个集合构成了一个有向图，记为。 有向图中有弧、入度、出度、平行边、孤立点、简单图、完备图、基本图、子图、导出子图、导出生成子图、同构图、链、初等链、路、路径、回路、赋权有向图和网络等基本概念。和赋权连通图一样，赋权有向图也是网络优化研究的一个重要对象。 3．图的矩阵表示 (1) 无向图的关联矩阵和邻接矩阵 设为一个无向图，其中，，图的关联矩阵为，其中 关联矩阵描述的是无向图顶点与边的关联状态。 图的邻接矩阵为，其中 邻接矩阵描述的是无向图顶点间的邻接状态。 无向图的关联矩阵和邻接矩阵有如下特点： （i）无向图的关联矩阵的第行各元素之和为与顶点关联的边的数量，而的任何一列元素之和总是2； （ii）无向图的邻接矩阵为一个对称矩阵。 (2) 有向图的关联矩阵和邻接矩阵 设为一个有向图，其中，，同样可以构造的一个关联矩阵和邻接矩阵，其中 ， 为以顶点为起点，以顶点为终点的弧的数量, 有向图的关联矩阵和邻接矩阵有如下特点： （i）有向图的关联矩阵的第行非零元素的个数为与顶点关联的弧的数量，而的任何一列元素之和总是0； （ii）有向图的邻接矩阵不一定对称； （iii）有向图的邻接矩阵的第行各元素之和为以顶点为起点的弧的数量，第列各元素之和为以顶点为终点的弧的数量。 二、常见的网络优化问题 1、最小支撑树问题 树是图论中最简单但却十分重要的图。我们通常需要在一个网络中用最短的线路连通若干个固定顶点，例如铺设各种管道、规划交通网络、架设通讯线路等，这就是最小支撑树问题。最小支撑树在自然科学和管理科学中的许多领域有着广泛的应用。 (1)树和有向树 树是一种特殊的无向图，也称为无向树，要求图中无回路并且连通，树一般用表示。 结论1：如果是一棵树，且，则下列命题等价。 （1）连通且无回路； （2）无回路且只有条边，即； （3）连通且只有条边； （4）无回路，但在不相邻的任意两个顶点之间加上一条边，恰好得到一个回路； （5）连通，但去掉的任何一条边，将不再连通； （6）的任意两个顶点之间有且仅有一条初等链。 (2)支撑树 支撑树——若是无向图的生成子图，并且同时又是树，则称是的支撑树，也称为生成树。 结论2 图有支撑树的充分必要条件是为连通图。 (3)最小支撑树 给定一个网络，设是的支撑树，称中所有边的权数之和为树的权，记为，即 如果的支撑树满足 或 则称为的最小支撑树，简称最小树。 对于一个连通的网络，如何寻找或构造一个最小支撑树，通常称为最小支撑树问题。 2、最短路问题 最短路问题是网络优化中十分常见的，可以解决许多诸如管道铺设、线路安排、运费最小、运输时间最短等实际问题。 对于一个赋权有向图，，。若为一条顶点至的有向路径，则称为路径的长度。由于顶点至的有向路径不一定是唯一的，因此一定存在一条有向路径，使得 我们称为顶点至的最短路径，为顶点至的最短路径的长度，并记为。 求一个赋权有向图中最短路径的问题称为最短路问题。根据不同的目的，求最短路通常使用Dijkstra算法、逐次逼近算法、Floyd算法等方法。 3、最大流问题 网络中的流量应用广泛，如交通系统中的车流、供水、供电系统中的水流、电流、经济中的现金流、供应链系统中的物流、控制系统中的信息流等问题都与网络中的流量有关。通常人们需要知道在一个既定网络中能通过的最大流量，这就构成了最大流问题。 (1) 基本概念 容量网络——设为一个赋权有向连通图，每条弧的非负权重为该弧的最大流容量。如果中仅有一个入度为0的顶点和一个出度为0的顶点，则称为一个容量网络或运输网络。其中称为源，称为汇，称其余顶点为中间点。容量网络一般记为，其中为弧的最大流容量集合。 由于在一个容量网络中，每条弧都有容量限制，因此在整个网络中的流必然受到一定限制，如果假设表示弧上的流量，则必须受到如下约束： （1）容量限制条件：对中的任意一条弧,； （2）平衡条件：对中的任意一个中间点,要求,即中间