第七部分 图论方法 第十二章 图论方法.

Slides:



Advertisements
Similar presentations
1 数学建模理论与实践 —— 基于图论的数学建模. 2 基于图论的数学建模 一、欧拉环游问题与中国邮递员问题 二、最小生成树模型 三、最短路模型.
Advertisements

复习: :对任意的x∈A,都有x∈B。 集合A与集合B间的关系 A(B) A B :存在x0∈A,但x0∈B。 A B A B.
平面向量.
第6讲 图论模型 图论模型中包含的内容很多,我们重点介绍两种建模中用的最广泛的图论算法。
第十五章 欧拉图与哈密顿图 主要内容 欧拉图 哈密顿图 带权图与货郎担问题.
图论2 江川.
7-4欧拉图和汉密尔顿图 要求: 1、理解欧拉图、汉密尔顿图的定义。 2、掌握欧拉图的判定方法。 3、会判断一些图不是汉密尔顿图。
《高等数学》(理学) 常数项级数的概念 袁安锋
§1 线性空间的定义与性质 ★线性空间的定义 ★线性空间的性质 ★线性空间的子空间 线性空间是线性代数的高等部分,是代数学
2017年3月21日星期二 离散  数学 计算机学院 冯伟森 2017年3月21日星期二.
第三节 格林公式及其应用(2) 一、曲线积分与路径无关的定义 二、曲线积分与路径无关的条件 三、二元函数的全微分的求积 四、小结.
第二讲 图论模型 1. 问题引入与分析 2. 图论的基本概念 3. 最短路问题及算法 4. 最小生成树及算法 5. 旅行售货员问题
第五章 图论 图论是一门古老的学科,有200多年的历史 Euler是图论之父,他用图论的方法解决了哥尼斯褒七桥问题 哥尼斯褒七桥问题
图 2008赛前知识点梳理三.
七 年 级 数 学 第二学期 (苏 科 版) 复习 三角形.
初中数学八年级下册 (苏科版) 10.4 探索三角形 相似的条件(2).
第17讲 Euler图与Hamilton图 主要内容: 1. Euler图. 2. Hamilton图.
非线性反馈移位寄存器探讨 戚文峰.
第六章 图(一).
Ch.7 图 图是一种复杂的非线性结构 应用:AI、工程、数学、生物、计算机 结点间的逻辑关系:任两个结点都可能相关
第七章 图 7.1 图的基本概念 7.2 图的存储表示 7.3 图的遍历 7.4 图的生成树 7.5 最短路径 7.6 拓扑排序
图(一).
强连通分量 无向图 1、任意两顶点连通称该图为连通图 2、否则将其中的极大连通子图称为连通分量 A D C B E 有向图
离散数学课程组 南京大学计算机科学与技术系
第七章 图 东南大学计算机学院 方效林 本课件借鉴了清华大学殷人昆老师 和哈尔滨工业大学张岩老师的课件.
^3^ ΔTSP 张子谦.
计算机数学基础 主讲老师: 邓辉文.
第七章 图.
使用矩阵表示 最小生成树算法.
无向树和根树.
第 五 章 图 论 (第二部分) 1. 通路 2. 图的连通性.
知识点回顾 拓扑排序 关键路径 应用领域、求解步骤、算法实现过程 应用领域 求解步骤
实数与向量的积.
线段的有关计算.
离散数学─图论初步 南京大学计算机科学与技术系
3.4 圆心角(1).
第14讲 图的有关概念, 节点的度数 主要内容: 1.图的有关概念. 2.节点的度数. 3.子图与图的同构.
定理 6.10(五色定理):任何平面图G是5-可着色的。
12.2全等三角形的判定(2) 大连市第三十九中学 赵海英.
复习.
第十章 双线性型 Bilinear Form 厦门大学数学科学学院 网址: gdjpkc.xmu.edu.cn
哥尼斯堡(Konigsberg) 七桥问题
图论初步 柏钧文.
定理21.9(可满足性定理)设A是P(Y)的协调子集,则存在P(Y)的解释域U和项解释,使得赋值函数v(A){1}。
第16讲 相似矩阵与方阵的对角化 主要内容: 1.相似矩阵 2. 方阵的对角化.
§6.7 子空间的直和 一、直和的定义 二、直和的判定 三、多个子空间的直和.
3.1.2 空间向量的数量积运算 1.了解空间向量夹角的概念及表示方法. 2.掌握空间向量数量积的计算方法及应用.
1.2 子集、补集、全集习题课.
1.设A和B是集合,证明:A=B当且仅当A∩B=A∪B
树和图 tree and graph 蔡亚星.
O x y i j O x y i j a A(x, y) y x 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算 5.4 平面向量的坐标运算.
第七、八次实验要求.
第15讲 特征值与特征向量的性质 主要内容:特征值与特征向量的性质.
高中数学必修 平面向量的基本定理.
§2 方阵的特征值与特征向量.
动态规划 Floyd最短路径算法 高文宇
主讲教师 欧阳丹彤 吉林大学计算机科学与技术学院
第四节 向量的乘积 一、两向量的数量积 二、两向量的向量积.
欧拉图与汉密尔顿图.
4.2 图的存储结构(cont.) v1 v2 v3 v4 v5 vertex= v1 v2 v3 v4 v5 v
树的基本概念.
第三部分 图论 本部分主要内容 图的基本概念 树 欧拉图与哈密顿图 二部图与匹配 平面图 着色.
第四部分 图论 主要内容 图的基本概念:图、通路和回路、图的连通性、图的矩阵表示 图的可行遍性:欧拉图、哈密顿图、带权图及其应用
离散数学─图论 南京大学计算机科学与技术系
二分图匹配.
§4.5 最大公因式的矩阵求法( Ⅱ ).
1、图的基本概念 2、图的存储结构 3、图的遍历与连通性
最小生成树 最优二叉树.
§2 自由代数 定义19.7:设X是集合,G是一个T-代数,为X到G的函数,若对每个T-代数A和X到A的函数,都存在唯一的G到A的同态映射,使得=,则称G(更严格的说是(G,))是生成集X上的自由T-代数。X中的元素称为生成元。 A变, 变 变, 也变 对给定的 和A,是唯一的.
二、平面图的特征 找出一个图是平面图的充分必要条件的研究曾经持续了几十年, 直到 1930 年库拉托斯基 (Kuratowski) 给出了平面图的一个非常简洁的特征。
Presentation transcript:

第七部分 图论方法 第十二章 图论方法

1. 图的基本概念 图是一个有序对<V,E>,V是结点集,E是边集; 无向边,与无序结点对(v, u)相关联的边; 无向图,每条边都是无向边的图; 有向图,每条边都是有向边的图.

图的基本概念 混合图,既有有向边,也有无向边的图. 平凡图,仅有一个结点的图; 零图,边集为空集的图<V, >,即仅有结点的图. 自回路(环),关联于同一个结点的边. 无向平行边,联结相同两个结点的多于1条的无向边; 有向平行边,联结两个结点之间的多于1条且方向相同的有向边; 简单图,不含平行边和自回路的图.

图的基本概念 在有向图D=<V,E>中,以v(V)为起点的边之条数为出度deg+(v);以v(V)为终点的边之条数为入度deg-(v). 在无向图G=<V,E>中,与结点v(V)关联的边数,即为结点度数deg(v)或d(v);在有向图中,结点v的出度和入度之和为度数. 最大度数,(G)=max{deg(v)vV};最小度数,(G)=min{deg(v)vV}

图的基本概念 有n个结点的且每对结点都有边相连的无向简单图,称为无向完全图;有n个结点的且每对结点之间都有两条方向相反的边相连的有向简单图为有向完全图。 设G=<V,E>, V,E的子集V,E构成的图G=<V,E>是图G的子图;若GG且GG,(VV或EE),G是G的真子图. 生成子图,设图G=<V,E>, 若EE, 则图<V,E>是图<V,E>的生成子图,即结点与原图G相同的子图.

2. 哥尼斯堡七桥问题

2. 哥尼斯堡七桥问题

2. 哥尼斯堡七桥问题

2. 哥尼斯堡七桥问题 通过图中所有边一次且仅一次行遍所有顶点的通路称为欧拉通路; 通过图中所有边一次且仅一次行遍所有顶点的回路称为欧拉回路; 具有欧拉回路的图称为欧拉图; 具有欧拉通路但无欧拉回路的图称为半欧拉图。

2. 哥尼斯堡七桥问题 判别方法: (1) 无向连通图是欧拉图当且仅当其所有顶点的度数都是偶数; (1) 无向连通图是欧拉图当且仅当其所有顶点的度数都是偶数; (2) 无向连通图是半欧拉图当且仅当其奇点数为2;

2. 哥尼斯堡七桥问题 Fleury算法: 任取v0∈V(G),令P0=v0; 设Pi=v0e1v1e2…ei vi已经行遍,按下面方法从中选取ei+1: (a) ei+1与vi相关联; (b)除非无别的边可供行遍,否则ei+1不应该为Gi=G-{e1,e2, …, ei}中的桥(所谓桥是一条删除后使连通图不再连通的边); (c)当(b)不能再进行时,算法停止。

2. 哥尼斯堡七桥问题 例

3最短路径问题 单源点的最短路径问题:给定带权有向图G和源点v,求从v到G中其余各顶点的最短路径。

3最短路径问题

3最短路径问题 终点 最短路径 路径长度 B 无 C (A,C) 10 D (A,E,D) 50 E (A,E) 30 F (A,E,D,F) 60

3最短路径问题 Dijkstra 算法 (1)假设用带权的邻接矩阵A来表示带权有向图,A[i][j]表示弧<vi,vj>上的权值。若<vi,vj>不存在,则置A[i][j]为∞。S为已找到从v出发的最短路径的终点的集合,它的初始状态为空集。设D[i]从v出发到图上其余各顶点(终点)vi可能达到的最短路径长度的初值。 (2) 选择结点,使得 , vj就是当前求得的一条从v出发的最短路径的终点。令S=SU{vj}. (3) 修改从v出发到集合V-S上任一顶点vk可达的最短路径长度。如果D[j]+A[j][k]<D[k], 则修改D[k]为D[k]=D[j]+A[j][k]. (4) 重复操作(2)(3)共n-1次。由此求得从v到图上其余各顶点的最短路径是依路径长度递增的序列。

4.中国邮递员问题 一个邮递员从邮局出发投递信件,他必须在他所管辖范围内的所有街道至少走一次,最后回到邮局,他自然希望一条最短的路线完成投递任务,那么如何选择这样的路线呢? 构造无向带权图G=<V,E,W>,E为街道集合,V中元素为街道的交叉点。街道的长度为该街道对应的边的权,显然所有权大于0。邮递员问题就变成了求G中一条经过每条边至少一次的回路,使该回路所带权最小的问题。满足以上条件的回路是最优投递路线或最优回路。

4.中国邮递员问题 C是带正权无向连通图中的最优投递路线当且仅当对应的欧拉图应满足: G的每条边在中至多重复出现一次;

4.中国邮递员问题 算法步骤如下: (1)若G中无奇点,令G*=G,转2,否则转3; (2)求G*中的欧拉回路,结束; (4)以G中奇点集V’为顶点集,边(vi,vj)的权为之间最短路径的权,得完全带权图K2k; (5)求K2k中最小权完美匹配M; (6)将M中边对应的各最短路径中的边均在G中加重复边,得欧拉图G*,转2。

4.中国邮递员问题

4.中国邮递员问题

5.人员分配问题 设某企业有n个员工及n个工作,已知每个员工各胜任一些工作。能否使每个员工都分派到一件他胜任的工作?

5.人员分配问题 定义1 设X,Y都是非空有限集,且X∩Y=Ø, , 称G=(X,Y,E)为二部图。如果X中的每个点都与Y中的每个点邻接,则称G=(X,Y,E) 为完备二部图。 定义2 设图G=(V,E), 。若M中任意两条边在G中均不邻接,则称M是G的一个匹配。

5.人员分配问题 定义3 若匹配是M的某条边与点v关联,则称M饱和点v,并且称v是M的饱和点,否则称v是M的非饱和点。 定义4 设M是图G的一个匹配,如果G的每一个点都是M的饱和点,则称M是完美匹配;如果G中没有另外的匹配M0,使 | M0|> | M| ,则称M是最大匹配。 定义5 设M是图G的一个匹配,其边在E/M和M中交错出现的路,称为G的一条M-交错路。起点和终点都不是M的饱和点的M-交错路,称为M-增广路。

5.人员分配问题 求二部图G的最大匹配的算法,即匈牙利算法: (1)将X中M的所有非饱和点都给以标号0和标记 *,转向(2); (2)若X中所有有标号的点都已去掉了标记*,则M是G的最大匹配,否则,任取X中一个既有标号又有标记*的点xi,去掉xi的标记*,转向(3); (3)找出在G中所有与xi邻接的点yj,若所有这样的yj都已有标号,则转向(2),否则转向(4); (4)对与xi邻接且尚未给标号的yj都给定标号i,若所有的yj都是M的饱和点,则转向(5),否则逆向返回; (5)将yj在M中与之邻接的点xk,给以标号j和标记*,转向(2)。

5.人员分配问题

5.人员分配问题

5.人员分配问题

5.人员分配问题

5.人员分配问题

5.人员分配问题

5.人员分配问题

6.稳定匹配问题 假设有一百个男人和一百个女人, 每个男人都凭自己好恶给每个女人打分, 我最爱a, 其次爱b, 再次爱c(假定没有相同的)... 每个女人也同样给每个男人打分. 然后就是求婚过程.直到最后大家都订了婚, 便一起结婚.

6.稳定匹配问题 设简单偶图G=(X,Y,E)中,男孩集X,女孩集Y,每边xy表示男孩x与女孩y彼此认识。今假设每个男孩x对他所认识的所有女孩有一个倾向度排序,每个女孩y对他所认识的所有男孩也有一个倾向度排序,对G上任意给定的一个倾向度分派,称G的一个匹配M为稳定匹配,如果对G中任一条非M边xy,以下两个条件至少有一个成立: M中存在这样一条边xy’(即x是M饱和的),使x倾向于y’胜过y; M中存在这样一条边x’y(即y是M饱和的),使y倾向于x’胜过x;

6.稳定匹配问题 数学上可以证明:在任给定的一个倾向度分派下,任一偶图中,都可找到一稳定匹配,且为一X-最优稳定匹配M*,即对G中的任一稳定匹配M及任一顶点x  X,若xy  M,则存在xy*  M*,使y=y*;或x倾向于y*胜过y。

6.稳定匹配问题 第一, 这个过程会中止, 也就是说, 总有大家都订了婚的一天,不可能无限循环. 第二, 中止后所有的婚姻是稳定婚姻. 所谓不稳定婚姻是说, 比如说有两对夫妇M1, F1和M2, F2, M1的老婆是F1, 但他更爱F2;而F2的老公虽说是M2. 但她更爱M1(注意是更爱,不是最爱), 这样的婚姻就是不稳定婚姻,因为M1和F2理应结合, 他们现在各自的婚姻都是错误. 我们能证明的是, 通过上面那个求婚过程, 所有的婚姻都是稳定的, 没有人犯错误.

7.竞赛图 几支球队参加单循环比赛,各队两两交锋,每场比赛无平局,必分输赢。如何排列各队的名次,成为比赛组织者和各参赛队关心的问题。

7.竞赛图 2个队相应的竞赛图可归纳为一种. 3个顶点的竞赛图可归为两种情况.

7.竞赛图 4个顶点的竞赛图

7.竞赛图 对于任何一对顶点,存在两条有向路径,使两顶点可以相互连通,这种有向图称为双向连通的。 令表示第i个队的得分,则称n维向量S=(s1,s2,…,s n)T为得分向量. S=Ae, e=(1,1, …,1)T S(k)=AS(k-1)=Ake, k=1,2, …