运筹学第六章图与网络分析(新)a管理精品资料.ppt

作业：P170~171 6.3 6.4(c) 6.5 6.7(b) 第六章 图与网络分析 2. 中国邮递员问题 邮递员送信送报要走完全部所负责的街道，最后回到邮局，如何走路程最短？ 第一节 图的基本概念一、图的概念1. 图（无向图） 图是由点与边组成的集合，记为：G=(V,E)，其中V≠Φ，表示图G中点的集合，E表示图G中边的集合。图中点的个数记为p，称为图的阶；图中边的条数记为q。  2. 端点、关联边、相邻 若边e可以表示为e=（vi，vj)，则称vi和vj是边e的端点；边e称为点vi和vj的关联边。 若点vi、vj与同一条边关联，称点vi和vj相邻。 若边ei、ej有公共的端点，称边ei和ej相邻。 3. 环，多重边，简单图 如果边e的两个端点相重，称该边为环。 如果两个端点之间的边多于一条，称为多重边。无环、无多重边的图称为简单图。4. 次，奇点，偶点，孤立点，悬挂点 与某一个点vi相关联的边的数目称为点vi的次。记为d(vi)。 次为奇数的点称为奇点，次为偶数的点称为偶点。 次为0的点称为孤立点。 次为1的点称为悬挂点。 5. 链，圈，连通图 图中由相邻的点和互不相同的边组成的交替序列μ称为链。 若链中的所有顶点也不相同，则该链称为路。 起点与终点重合的链称为圈。起点与终点重合的路称为回路。 若图中任意两个顶点之间都至少存在一条链，则称该图为连通图。 6. 完全图，偶图 若一个简单图中任意两点之间均有边相连，则称该图为完全图。 对含有n个顶点的完全图，其边数有  条。  如果图的顶点能分成两个互不相交的非空集合V1和V2 ，使在同一集合中任意两个顶点都不相邻，则称该图为偶图（或二分图）。 若偶图的顶点集合V1、V2之间的每一对不同顶点之间都有一条边相连，则称该图为完全偶图。在完全偶图中， V1若有m个顶点， V2有n个顶点，则其边数共有m×n条。 7. 子图，部分图 对图G1=｛ V1，E1 ｝和图G2=｛ V2，E2 ｝ ，若有 ，则称G1是G2的一个子图。 若有 ，则称G1是G2的一个部分图。 定理 ：在图G中，所有顶点次之和等于边数的两倍。即：定理 ：在任一图中，奇点的个数必为偶数。 例：有八种化学药品，某些不能放入同一个仓库，用连线表示。见下图。 （v1) （ v2， v4，v7) （v3，v5) （v6，v8) 例：四色问题。 8. 同构 对图G1=｛ V1，E1 ｝和图G2=｛ V2，E2 ｝ ，如果顶点集合V1与V2之间以及边的集合E1与E2之间都建立了一一对应关系，并且图G1的两顶点之间的边对应于图G2对应顶点的边，则称图G1与图G2是同构的。 9. 赋权图：对一个无向图G的每一条边（vi，vj) ，相应地有一个数wij，则称这样的图G为赋权图（也称网络图，记为N)，wij称为边（vi，vj) 上的权。 10. 一笔画问题欧拉链：给定一个连通图G,若存在一条链，过每边一次且仅一次，则称这条链为欧拉链。欧拉圈：若存在一个简单圈，过每边一次，则称这个圈为欧拉圈。欧拉图：有欧拉圈的图称为欧拉图。 能一笔画的图一定是欧拉圈或含有欧拉链。定理：连通的多重图G是欧拉图的充要条件是G中无奇点。推论：连通的多重图G有欧拉链的充要条件是G中恰有两个奇点。 第二节 树图和图的最小部分树树图：无圈的连通图称为树图，记为T(V,E)。 2-1 树的性质性质1：任何树中必存在至少两个次为1的点（悬挂点）。性质2：具有n个顶点的树的边数恰好为(n-1)条。性质3：任何具有n个顶点、（n-1)条边的连通图是树。2-2 图的最小部分树（最短树） 如果G1是G2的部分图，又是树图，则称G1是G2的部分树（或支撑树）。 G2的树枝总长最小的部分树称为该图的最小部分树。 定理1. 图中任一个点i，若j是与i相邻点中距离最近的，则边(i, j)必含在该图的最小部分树内。 推论： 把图的所有点分成V和 两个集合，则两集合之间连线的最短边一定包含在最小部分树内。