[文学]图论.ppt

若G不是欧拉图，则G的任何一个巡回经过某些边必定多于一次． 解决这类问题的一般方法是：在一些点对之间 引入重复边（重复边与它平行的边具有相同的权）， 使原图成为欧拉图，但希望所有添加的重复边的 权的总和为最小．　 v7 e3 v1 v2 v3 v4 e1 e2 e4 e5 v5 v6 e6 e7 e8 e9 （３）求出G1的最小权理想匹配M，得到奇次顶点的最佳配对． 返回 哈 密 尔 顿 图 返回 推销员问题-定义 流动推销员需要访问某地区的所有城镇，最后回到出发点．问如何安排旅行路线使总行程最小．这就是推销员问题． 若用顶点表示城镇，边表示连接两城镇的路，边上的权表示距离（或时间、或费用），于是推销员问题就成为在加权图中寻找一条经过每个顶点至少一次的最短闭通路问题． 定义　在加权图G=(V,E)中， （１）权最小的哈密尔顿圈称为最佳H圈． （２）经过每个顶点至少一次的权最小的闭通路称为最佳推销员回路． 一般说来，最佳哈密尔顿圈不一定是最佳推销员回路，同样最佳推销员回路也不一定是最佳哈密尔顿圈． H回路，长22 最佳推销员回路，长4 推销员问题近似算法：二边逐次修正法： 例　对以下完备图，用二边逐次修正法求较优H圈． 返回 注意：过程中边８，边９，接着不能走边７，因为边７是G-e8-e9的割边。 * * §4 图与网络 （Graph Network） 图 论 的 基 本 概 念 一、 图 的 概 念 1、图的定义 2、顶点的次数 3、子图 二、 图 的 矩 阵 表 示 1、 关联矩阵 2、 邻接矩阵 定义 有序三元组G=(V,E, )称为一个图. 图的定义 定义 定义 顶点的次数 关联矩阵 注：假设图为简单图 邻接矩阵 注：假设图为简单图 最 短 路 问 题 及 其 算 法 一、 基 本 概 念 二、固 定 起 点 的 最 短 路 三、每 对 顶 点 之 间 的 最 短 路 基 本 概 念 返回 固 定 起 点 的 最 短 路 最短路是一条路径，且最短路的任一段也是最短路． 假设在u0-v0的最短路中只取一条，则从u0到其余顶点的最短路将构成一棵以u0为根的树． 因此, 可采用树生长的过程来求指定顶点到其余顶点的最短路． 七桥问题的由來 十八世纪东普鲁士哥尼斯堡城（今俄罗斯加里宁格勒）的普莱格尔河，它有两个支流，在城市中心汇成大河，中间是岛区，河上有7座桥，将河中的两个岛和河岸连结，如图所示。由于岛上有古老的哥尼斯堡大学，有教堂，还有哲学家康德的墓地和塑像，因此城中的居民，尤其是大学生们经常沿河过桥散步。渐渐地，爱动脑筋的人们提出了一个问题：一个散步者能否一次走遍7座桥，而且每座桥只许通过一次，最后仍回到起始地点。这就是七桥问题，一个著名的图论问题。 解決七橋問題的尤拉 尤拉（Leonard Euler; 1707 ? 1783），瑞士人，出身於牧師家庭，13 歲考入大學，16 歲已經獲得碩士學位。1727 年到俄國聖彼得科學院工作。1741 年轉到德國，任柏林科學院物理數學所所長。1766 年回到俄國，直至去世。他在 1735 年，由於過度工作的關係，引至右眼失明。1771 年又因眼疾引致左眼失明。1783年逝世於俄國的聖彼得堡。 著作有無窮微量分析入門，無窮小分析引論（1748），微分學原理（1755），關於曲面上曲線的研究（1766），積分學原理（1768-1770），方程的積分法研究…等。 尤拉是數學史上最多產的數學家，我們現在習以為常的數學符號很多都是尤拉所發明介紹的，例如：函數符號?f(x)、圓周率π、自然對數的底 e、求和符號 Σ、log x、sinx、cosx以及虛數單位 i 等，論著涉及的範圍非常之廣泛，他的成就對後世數學發展有深遠的影響。 解開七橋問題的方法 尤拉解決問題問題的第一步把問題「抽象化」。他想到：島的形狀、大小及橋的長短並不影響結果，位置才是重點。他把四大塊陸地縮成四個點，而把七座橋變成七條線，於是，就畫出了如此之圖形。 奇度点 奇度点 G是欧拉图的充分必要条件是G是连通的，而且没有奇度顶点。 A B C D 行 遍 性 问 题 一、中 国 邮 递 员 问 题 二、推 销 员 问 题 三、建模案例：最佳灾情巡视路线 （一） 欧 拉 图 （二） 中 国 邮 递 员 问 题 （一） 哈 密 尔 顿 图 （二） 推 销 员 问 题 7 3 1 2 3 4 1 2 4 5 5 6 6 7 8 9 割边 G的边 是割边的充要条件是 不含在G的圈中． 割边的定义：设G连通， E(G),若从G中删除边 后，图G-{ }不连通