运筹学06图与网络分析.pptVIP

图与网络分析Graph Theory and Network Analysis 图的基本概念Basic Concepts of Graph 最小支撑树问题The Minimal Spanning Tree Problem 最短路问题The Shortest Route/Path Problem 最大流问题The Maximal Flow Problem 最小费用最大流The Minimal Cost Maximal Flow 中国邮递员问题Chinese Postman Problem 网络计划技术Network Planning Technology 1 图的基本概念 案例导引 图论中的图 图的矩阵描述 案例导引 图论是运筹学的一个重要分支，对其最早的研究可以追溯到著名的哥尼斯堡七桥问题(Konigsberg Bridges Problem)。18世纪，欧洲的哥尼斯堡城有一条流经全城的普雷戈尔河，河的两岸与河中两个小岛及两岛之间有七座桥彼此相通(如左图)。 当时人们关心这样的问题，即从陆地A,B,C,D中的任意地方出发，能否通过每座桥一次且仅通过一次，就能返回原出发地。 1736年，瑞士数学家欧拉(E. Euler, 1707-1783)当时正在圣彼得堡科学院工作，为俄罗斯女皇凯瑟琳服务。欧拉将这个问题抽象化，用含有4个点7条边的图形表示此问题(如右图)，发表《依据几何位置的解题方法》的论文，有效地解决了哥尼斯堡七桥问题。标志着欧拉创立了一个数学分枝，即后来人们所熟知的拓扑学(Topology)。 图论的第一部专著是匈牙利数学家O. Konig于1936出版的《有限图与无限图的理论》。 环球旅行问题 在图中找一条经过每个点一次且仅一次的路——哈密尔顿回路。 中国邮路问题 在图中找一条经过每边的最短路——类似带权的欧拉回路。 货郎担问题 在图中找一条经过每个点一次且仅一次的最短路——带权的哈密尔顿回路。 图论中的图 图论中的图：人们只关心有多少个点，这些点可以形成多少条边，它们的连接形式如何；不关心这些点的地理位置，边的长短和形状。 设V={v1,v2,…,vn}是n个元素的非空集合，E={e1,e2,…,em}是m个元素的集合，若对于任意ej∈E，均有vs,vt∈V与之对应，则称V∪E为图，记为G=(V,E)。 在G中，称vi为G的顶点，ej为G的边，并记ej=(vs,vt)=(vt,vs)，称vs,vt是ej的端点，ej是与vs,vt关联的边，称vs,vt为邻接的点。 如果图中某一边的两个端点相同，则称为环。如果图中的两边(或多边)具有相同的一对端点，则称为多重边(或平行边)。无环和无多重边的图称为简单图。 例1：用图符号表示右图。 解：(1)图G=(V,E) (2)V={v1,v2,v3,v4} (3)E={e1,e2,…,e7}，其中 e1=(v1,v2)=(v2,v1)多重边 e2=(v1,v2)=(v2,v1)多重边 e3=(v2,v3)=(v3,v2) e4=(v3,v4)=(v4,v3) e5=(v1,v4)=(v4,v1) e6=(v1,v3)=(v3,v1) e7=(v4,v4)环 与顶点v相关联的边数称为v的次数，记为d(v)。次数为零的点称为孤立点；次数为奇数的点为奇点；次数为偶数的点称为偶点；次数为1的点为悬挂点；与悬挂点关联的边称为悬挂边。 右图中各点的次数： d(v1)=4偶点 d(v2)=3奇点 d(v3)=4偶点 d(v4)=1悬挂点 d(v5)=0孤立点 定理1 任一图中顶点次数之和等于边数的二倍，即Σd(vi)=2m。 证明：次数表示与顶点相关联的边数，同一条边有两个邻接的点，即每一条边被邻接的点合计计算了2次，故次数之和等于边数的二倍。 定理2 任一图中奇点的个数必为偶数。 证明：若奇点的个数是奇数，则这些顶点的次数之和必为奇数，所有顶点次数之和就是奇数，这与定理1矛盾。故奇点的个数必为偶数。 在图G中，从一个顶点出发，经过边、点、边、点、…，最后到达某一点，称为G中的一条链，用经过这条链的顶点或边表示。如上图中有一条链μ=(v1,v2,v3,v4)=(e2,e4,e6)。 若链中的顶点均是不同的，则称为初等链；若链中所含的边均不相同，则称为简单链，也称为通路，简称路。上述链μ是初等链，也是简单链，是通路。 链μ=(v1,v2,…,vn)中，若v1=vn，则称此链为一个圈。若圈中的点都是不同的，则称为初等圈；若圈中所含的边均不相同，则称为简单圈。 在一个图中，若任意两点之间至少存在一条链，则称该图为连通图，否则为不连通图。若有图G=(V,E)，取其全部或部分顶点V1，再取其全部或部分边E1，这里V1非空，且E1中的端点都在V1中，则称图G1=(V1,E1)为图G的子图。 设V=