图论与网络模型_中国邮递员问题.pdf

图论中的图是由点和点与点之间的线所组成的。 通常，我们把点与点之间不带箭头的线叫做边，带箭头的线叫做弧。 如果边 [vi , v j ]∈E ，E 是边集合，那么称 vi, vj 是边的端点，或者称 vi, vj 是相邻的。 如果一个图 G 中，一条边的两个端点是相同的，那么称为这条边是环。 如果两个端点之间有两条以上的边，那么称为它们为多重边。 一个无环，无多重边的图标为简单图。 一个无环，有多重边的图标图称为多重图。 以点 v 为端点的边的个数称为点 v 的度， 度为零的点称为弧立点。 度为 1 的点称为悬挂点。悬挂点的边称为悬挂边。 度为奇数的点称为奇点。 度为偶数的点称为偶点。 链：由两两相邻的点及其相关联的边构成的点边序列；如： v0 ,e1, v1 ,e2 ,v2 ,??,vn?1,en ,vn ；v0, vn 分别为链的起点和终点。vi 代表点，ei 代表边。 简单链：链中所含的边均不相同。 初等链：链中所含的点均不相同，也称通路。 回路：若 v0≠vn，则称该链为开链，否则称为闭链或回路。 圈：除起点和终点外，链中所含的点均不相同的回路。 连通图：图中任意两点之间均至少有一条通路，否则称作不连通图。 设有一个连通多重图 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 算法) 就是求欧拉回路。算法思想：“过河拆桥，尽量不走独木桥”。 例如，下图是欧拉图，设从 v1 开始，寻找一条欧拉回路，如果开始三步是 v1v3v2v1，那 么就失败了，因为回到 v1 之后发现左侧的 v3 上的边还没有用过，而 v1 的关联边已全用过， 不能从 v1 再去通过左侧那些未用过的边了（注意每边只能用一次）。 究其失败的原