08图论[精].ppt

第八章 图论 Graph theory是运筹学一个重要的分支，是建立和处理离散的数学模型的重要工具。网络问题具有独特的直观和简捷的特点。本章介绍几种重要的网络优化问题，包括最小支撑树、最短路径、最大流和最小费用流等 图与网络分析 图与网络的基本概念 中国邮递员问题 旅行推销员问题 最小生成树问题 最短路径问题 最大流问题 最小费用流问题 哥尼斯堡七桥问题 运输问题 威斯曼糖果公司生产几种不同的糖果制品。公司的货车直接送货物到零售商手中。在生意淡季，卡车司机们在运送货物时可以自由决定选择什么样的路线到达零售地点。然而在情人节和圣诞节期间，运输与投递成本变得很高。为了提高投递效率，销售配送部门主管将会决定货物运输的最短路线。下面的网络展示了从公司总部到其他零售商可能被选择的路线。请帮助决定一辆货车从总部到零售商的最短路线。 运输问题 图的基本概念 点 表示研究的物理实体或事物，用vi 表示 V={v1,v2,…,vn}为点集 边 表示有关联的点之间的连线，用eij 表示 E={eij}为边集 图 点和边的集合，用G(V,E)表示 点、线、图 在一个人群中相互认识的关系可以用图来表示 图与几何图形 认识的关系图也可以表示为 图与几何图形 图论中的图与几何图形不同 顶点是实物的抽象，而不是几何点，不分位置 边是实物之间的联系，不是几何线段，不分长短 图的形状不影响图的本身 图与几何图形 关联、相邻 端点 边的端点，也称顶点、节点 关联 点的关联边 相邻 两点相邻，两边相邻 环 一条边的两个端点相同 多重边 两个点之间多于一条边 简单图 不含环和多重边的图 边的方向 如果把相互认识的关系改为认识的关系，两点之间的连线就难以刻画这种单向认识关系，因此需要对连线给定方向 边的方向 弧 端点无序的边称为无向边，端点有序的边称为有向边（弧） 两点之间不同方向的边不是多重边 有向图和无向图 无向边组成的图称为有向图 有向边组成的图称为无向图 既有有向边也有无向边的图称为混合图 边的权 权 点或者边带有某种数量指标，如距离、费用、容量等 赋权图 点或者边带有权重的图称为赋权图，也称为网络图 点的次 次：以一点为端点的边的数量叫做该点的次d(v) 在有向图中以其为始点的边数称为该点的出次d+(v)，以其终点的边数称为改该点的入次d-(v)。显然d(v) = d+(v) + d-(v) 所有点的出次之和=所有点的入次之和 奇点 奇点的个数为偶数个 偶点 悬挂点 孤立点 链、圈、道路、回路 顶点和边相互交替顺序出现的序列称为链 点和边都不重复的链称为初等链 起点和终点相同的链称为圈 首尾重合的初等链称为初等圈 有向图中边的方向和链走向一致的链称为道路 有向图中首尾重合的道路称为回路 连通图、分图 连通图 两个点之间存在链称为两点是连通的 任意两点之间连通的图称为连通图 不连通的图总是可以分为若干个连通的分图 子图、生成子图 两个图G1=(V1,E1)和 G2=(V2,E2)，若满足 V1 V2， E1 E2，称G1是G2的子图 子图、生成子图 两个图G1=(V1,E1)和 G2=(V2,E2)，若满足 V1 V2， E1 E2，称G1是G2的生成子图 完全图、二部图 完全图 每一对顶点都有边相连的无向简单图 二部图 图G=(V,E)的点集可以分成两个非空子集X和Y，使得E中每条边的两个端点必有一个端点属于X，另一个端点属于Y 图的矩阵表示 网络G=(V,E)，其边（vi，vj）有权wij，构造矩阵A=(aij) ，若（vi,vj）∈ E，aij=wij，否则aij= 0 图与网络分析 图与网络的基本概念 中国邮递员问题 旅行推销员问题 最小生成树问题 最短路径问题 最大流问题 最小费用流问题 中国邮递员问题CPP Chinese Postman Problem是我国的管梅谷教授于1962年提出的 管梅谷，上海人，1957年毕业于华东师范大学，曾任山东师范大学校长 一个邮递员负责某一地区的信件投递，他每天要从邮局出发，走遍该区所有街道，然后再返回邮局，问应如何安排送信的路线可以使所走的总路程最短？ 中国邮递员问题CPP 欧拉图 欧拉回路 走过图中所有边且每条边仅走一次的回路 欧拉图 具有欧拉回路的图 欧拉定理 无向连通图是欧拉图，当且仅当图中无奇点 有向连通图是欧拉图，当且仅当图中每个顶点d+(v) = d-(v) 欧拉图 欧拉道路 走过图中所有边且每条边仅走一次的道路 欧拉定理 无向连通图有欧拉道路，当且仅当图中有两个奇点 有向连通图有欧拉道路，当且仅当图中除去两个顶点之外，其余每个顶点出次等于入次，这两个顶点之中，一个顶点的出次比入次多1，另一个顶点的入次比出次多1 欧拉定理和CPP 如果街