图论及网络模型_中国邮递员问题.pdfVIP

图论中的图是由点和点与点之间的线所组成的。 通常，我们把点与点之间不带箭头的线叫做边，带箭头的线叫做弧。 如果边 [v , v ]∈E ，E 是边集合，那么称v , v 是边的端点，或者称v , v 是相邻的。 i j i j i j 如果一个图 G 中，一条边的两个端点是相同的，那么称为这条边是环。 如果两个端点之间有两条以上的边，那么称为它们为多重边。 一个无环，无多重边的图标为简单图。 一个无环，有多重边的图标图称为多重图。 以点v 为端点的边的个数称为点v 的度， 度为零的点称为弧立点。 度为 1 的点称为悬挂点。悬挂点的边称为悬挂边。 度为奇数的点称为奇点。 度为偶数的点称为偶点。 链：由两两相邻的点及其相关联的边构成的点边序列；如： v , e , v , e , v , ⋯⋯, v , e , v ；v , v 分别为链的起点和终点。v 代表点，e 代表边。 0 1 1 2 2 n −1 n n 0 n i i 简单链：链中所含的边均不相同。 初等链：链中所含的点均不相同，也称通路。 回路：若v ≠v ，则称该链为开链，否则称为闭链或回路。 0 n 圈：除起点和终点外，链中所含的点均不相同的回路。 连通图：图中任意两点之间均至少有一条通路，否则称作不连通图。 设有一个连通多重图 G，如果在G 中存在一条链，经过G 的每条边一次且仅一次，那么 这条链叫做欧拉链。 如在 G 中存在一个简单圈，经过G 的每条边一次，那么这个圈叫做欧拉圈。 一个图如果有欧拉圈，那么这个图叫做欧拉图。欧拉图就是从一顶点出发，每边恰好通 过一次能回到出发点的那种图，即不重复地行遍所有边再回到出发点。 比如哥尼斯堡七桥问题，欧拉把它抽象成具有四个项点，并且都是奇点的形状。如下左 图。很明显，一个漫步者不可能不重复的走完七座桥，并最终回到原出发地。 欧拉把七桥问题转化成连通网络能否一笔画的问题。 一笔画问题：从某一点开始画画，笔不离纸，各条线路仅画一次，最后回到原来的出发 点。 下右图，仅有两个奇点，可以一笔画出。它是一条欧拉链。 C v1 v3 v5 A B D v2 v4 v6 无向连通图的割点（关键点）是指：删除该结点以及与其相连的边之后，无向图不再连 通，下图中割顶有：1,2,5,9。 无向连通图的桥是指：删除该边(i, j)后，点 i 和j 不再连通，下图的桥有(1,3)，(1,2)， (5,6)，(9,7) 。 邮递员问题 一位邮递员从邮局选好邮件去投递，然后返回邮局，他必须经过由他负责投递的每条街 道至少一次，为这位邮递员设计一条投递线路，使其耗时最少。 用图的语言来描述，就是给定一个连通图 G，在每条边e 上有一个非负的权w(e) ，要寻 求一个回路W ，经过G 的每条边至少一次，并且回路W 的总权数最小。 ∑ w (e )=min e ∈W 如 G 是欧拉图，则所求的W 就是一条欧拉回路。 由于这个问题是我国菅梅谷同志于1962 年首先提出来的，因此国际上长称它为中国邮递 员问题。 求无奇点连通图的中国邮递员问题的算法(Fleury 算法) 就是求欧拉回路。算法思想：“过河拆桥，尽量不走独木桥”。 例如，下图是欧拉图，设从 v 开始，寻找一条欧拉回路，如果开始三步是v v v v ，那 1 1 3 2 1 么就失败了，因为回到v 之后发现左侧的v 上的边还没有用过，而v