哥尼斯堡(Konigsberg) 七桥问题

Slides:



Advertisements
Similar presentations
练一练: 在数轴上画出表示下列各数的点, 并指出这些点相互间的关系: -6 , 6 , -3 , 3 , -1.5, 1.5.
Advertisements

第四章 家庭財務報表及預算的編製與分析.
复习: :对任意的x∈A,都有x∈B。 集合A与集合B间的关系 A(B) A B :存在x0∈A,但x0∈B。 A B A B.
第十五章 欧拉图与哈密顿图 主要内容 欧拉图 哈密顿图 带权图与货郎担问题.
7-4欧拉图和汉密尔顿图 要求: 1、理解欧拉图、汉密尔顿图的定义。 2、掌握欧拉图的判定方法。 3、会判断一些图不是汉密尔顿图。
常用逻辑用语复习课 李娟.
2017年3月21日星期二 离散  数学 计算机学院 冯伟森 2017年3月21日星期二.
第5章 定积分及其应用 基本要求 5.1 定积分的概念与性质 5.2 微积分基本公式 5.3 定积分的换元积分法与分部积分法
第三节 格林公式及其应用(2) 一、曲线积分与路径无关的定义 二、曲线积分与路径无关的条件 三、二元函数的全微分的求积 四、小结.
2-7、函数的微分 教学要求 教学要点.
第五章 图论 图论是一门古老的学科,有200多年的历史 Euler是图论之父,他用图论的方法解决了哥尼斯褒七桥问题 哥尼斯褒七桥问题
图 2008赛前知识点梳理三.
初中数学 七年级(上册) 6.3 余角、补角、对顶角(1).
七 年 级 数 学 第二学期 (苏 科 版) 复习 三角形.
八年级下数学课题学习 格点多边形的面积计算 数格点 算面积.
探索三角形相似的条件(2).
初中数学八年级下册 (苏科版) 10.4 探索三角形 相似的条件(2).
穩定是指偏離平衡時能夠回復平衡的特性,控制則是改變飛行狀態的機制。
第七部分 图论方法 第十二章 图论方法.
图(一).
强连通分量 无向图 1、任意两顶点连通称该图为连通图 2、否则将其中的极大连通子图称为连通分量 A D C B E 有向图
^3^ ΔTSP 张子谦.
§2 求导法则 2.1 求导数的四则运算法则 下面分三部分加以证明, 并同时给出相应的推论和例题 .
12.3 角的平分线的性质 (第2课时).
本节内容 平行线的性质 4.3.
使用矩阵表示 最小生成树算法.
2.1.2 空间中直线与直线 之间的位置关系.
第八模块 复变函数 第二节 复变函数的极限与连续性 一、复变函数的概念 二、复变函数的极限 二、复变函数的连续性.
无向树和根树.
第 五 章 图 论 (第二部分) 1. 通路 2. 图的连通性.
线段的有关计算.
2.6 直角三角形(二).
离散数学─图论初步 南京大学计算机科学与技术系
⑴当∠MBN绕点B旋转到AE=CF时(如图1),比较AE+CF与EF的大小关系,并证明你的结论。
3.4 圆心角(1).
3.3 垂径定理 第2课时 垂径定理的逆定理.
第14讲 图的有关概念, 节点的度数 主要内容: 1.图的有关概念. 2.节点的度数. 3.子图与图的同构.
定理 6.10(五色定理):任何平面图G是5-可着色的。
复习.
兩漢戚宦掌權的政局 第二節 東漢的戚宦之爭.
第十章 双线性型 Bilinear Form 厦门大学数学科学学院 网址: gdjpkc.xmu.edu.cn
定理21.9(可满足性定理)设A是P(Y)的协调子集,则存在P(Y)的解释域U和项解释,使得赋值函数v(A){1}。
§8.3 不变因子 一、行列式因子 二、不变因子.
§6.7 子空间的直和 一、直和的定义 二、直和的判定 三、多个子空间的直和.
抛物线的几何性质.
3.1.2 空间向量的数量积运算 1.了解空间向量夹角的概念及表示方法. 2.掌握空间向量数量积的计算方法及应用.
辅助线巧添加 八年级数学专项特训: ——倍长中线法.
13.3 等腰三角形 (第3课时).
1.设A和B是集合,证明:A=B当且仅当A∩B=A∪B
树和图 tree and graph 蔡亚星.
第三章 函数的微分学 第二节 导数的四则运算法则 一、导数的四则运算 二、偏导数的求法.
第4课时 绝对值.
学习任务三 偏导数 结合一元函数的导数学习二元函数的偏导数是非常有用的. 要求了解二元函数的偏导数的定义, 掌握二元函数偏导数的计算.
《工程制图基础》 第五讲 投影变换.
第15讲 特征值与特征向量的性质 主要内容:特征值与特征向量的性质.
高中数学必修 平面向量的基本定理.
欧拉图与汉密尔顿图.
陪集 例:三次对称群S3={e,1, 2, 3, 4, 5}的所有非平凡子群是:
3.4 角的比较.
树的基本概念.
第三部分 图论 本部分主要内容 图的基本概念 树 欧拉图与哈密顿图 二部图与匹配 平面图 着色.
第四部分 图论 主要内容 图的基本概念:图、通路和回路、图的连通性、图的矩阵表示 图的可行遍性:欧拉图、哈密顿图、带权图及其应用
位似.
离散数学─图论 南京大学计算机科学与技术系
二分图匹配.
§4.5 最大公因式的矩阵求法( Ⅱ ).
最小生成树 最优二叉树.
§2 自由代数 定义19.7:设X是集合,G是一个T-代数,为X到G的函数,若对每个T-代数A和X到A的函数,都存在唯一的G到A的同态映射,使得=,则称G(更严格的说是(G,))是生成集X上的自由T-代数。X中的元素称为生成元。 A变, 变 变, 也变 对给定的 和A,是唯一的.
§3.1.2 两条直线平行与垂直的判定 l1 // l2 l1 ⊥ l2 k1与k2 满足什么关系?
二、平面图的特征 找出一个图是平面图的充分必要条件的研究曾经持续了几十年, 直到 1930 年库拉托斯基 (Kuratowski) 给出了平面图的一个非常简洁的特征。
Presentation transcript:

哥尼斯堡(Konigsberg) 七桥问题 在哥尼斯堡的一个公园里,有七座桥将普雷格尔河中两个岛及岛与河岸连接起来(如图)。问是否可能从这四块陆地中任一块出发,恰好通过每座桥一次,再回到起点? 哥尼斯堡(Konigsberg) 七桥问题

1736年29岁的欧拉向圣彼得堡科学院递交了《哥尼斯堡的七座桥》的报告,在解答问题的同时,开创了数学的一个新的分支——图论,也由此展开了数学史上的新历程。 欧拉的论文《Solutio problematis ad geometriam situs pertinentis /The solution of a problem relating to the geometry of position/依 据几何位置的解题方法》1741年发表于《Journal Commentarii academiae scientiarum Petropolitanae》。 ——这是关于图论的第一篇论文

每一块陆地考虑成一个点 连接两块陆地的桥以线(边)表示 因为点A关联了5条边,即与岛A相连接的有5座桥, 故这些桥不可能每座恰好被走过1次 C B A D 因为点A关联了5条边,即与岛A相连接的有5座桥, 故这些桥不可能每座恰好被走过1次

再论七桥问题:从图的基本概念说起 图的定义 一个图G是一个有序二元组(V, E),其中 (1) V是一个有限的非空集合,称为顶点集合,其 元素称为顶点或点。用|V|或v(G)或υ表示顶点数; (2) E是由V中的点组成的无序对构成的集合,称 为边集,其元素称为边,且同一点对在E中可以 重复出现多次。用|E|或e(G)或ε表示边数。

相邻:同一条边的两个端点称为相邻 关联:一条边的端点和边关联 环:端点重合的边 重边:端点相同的边(两条以上) 有限图:顶点集和边集都是有限的图 平凡图:只有一个顶点的图 简单图:不含重边和环的图

顶点v的度数d(v):与v关联的边的条数 图:G=(V,E) 点集:V={A,B,C,D} 点数:|V|=v(G)=4 边集:E={{A,C},{A,C},{A,B},{B,C},{A,D},{A,D},{B,D}} :={AC,AC,AB,BC,AD,AD,BD} :={e1,e2,e3,e4,e5,e6,e7} 边数:|E|=e(G)=7 e8 e4 e1 e2 顶点v的度数d(v):与v关联的边的条数 e3 d(A)=5,d(B)=3,d(C)=3,d(D)=3 e5 e6 e7 注:一个环(如果存在的话)算两条边 d(C)=5

最大度: 最小度: 最大度=5,在点A处达到 最小度=3,在点B,C,D处达到

度和关系式: 推论:在任何图中,奇度点个数为偶数 (1)图中每条不是环的边恰好关联2个顶点; (2)图中每个环只关联1个顶点,但一个环算2条边 推论:在任何图中,奇度点个数为偶数 奇数 x ?+ 偶数 x 偶数或者奇数 = 偶数

途径:图中点边交替出现的有限序列(以点开始,以点结束) v1 e12 v2 e23 v3 e23 v2 迹:一条边互不相同的途径 v1 e12 v2 e23 v3 e34 v4 路:一条点互不相同的迹 Euler迹:经过图的每一条边的迹 v1 e12 v2 e23 v3 e34 v4 e45 v5 e56 v6 e64 v4 e42 v2 e26 v6 e61 v1 Euler环游:闭(起点和终点一样)的Euler迹 v1 e12 v2 e26 v6 e56 v5 e45 v4 e42 v2 e23 v3 e34 v4 e64 v6 e61 v1 Euler通路:开(起点和终点不一样)的Euler迹 此图存在Euler通路吗 ??? Euler图:存在Euler环游的图

引理1:若简单图G的最小度至少为k≥2, 则G包含一个边数至少为k+1的圈。 证明:取图G的一条长度最长的路P, 其经过的点依次记为v0,v1,...,vt-1,vt 则点v0与点vt的邻点都在路P上 (为什么?) 由于G的最小度至少为k,故点v0至少有k个邻点 设其为vi1,vi2,...vik (ik≥...≥i2≥i1) 从而有 t≥ik≥k 于是,v0v1...vikv0为图G中的一个包含ik+1≥k+1条边的圈。

如果对图G=(V,E)的任何两个顶点u与v, 图G中存在一条u-v路, 则称图G是连通的,否则称图G是不连通的。

引理2:设简单连通图G中有一个圈C, G'是从G中去掉C的所有边所得到的图。 如果H是图G'的任何一个连通分支,则 V(C)∩V(H)≠Φ

定理1:设G是一个非平凡的连通图, 则G是Euler图 当且仅当 图G没有度数为奇数的点。 必要性:“几乎”显然~~ 当沿着Euler环游前进时,每经过一个点必定是“一进一出”

充分性:(对图的边数进行归纳) G中没有度数为奇数的点且G连通 ==> δ(G) ≥ 2 ==> G中含有一个圈C (引理1) 将C的所有边从图G中去除,然后删去度数为0的点 得到图G'(其边数比G少) 设H1,H2,……,Ht为图G'的连通分支(最小度至少为2) 再设它们与圈C分别交于点v1,v2,……,vt (引理2) 由归纳假设,Hi存在 始于vi 终于 vi 的Euler环游Ri 最后,将C与R1,R2,……,Rt拼接起来得到图G的Euler环游

定理2:设G是一个非平凡的连通图, 则G有Euler通路 当且仅当 图G恰好有两个度数为奇数的点。 若Euler通路的起点和终点分别为u,v 则有且仅有d(u)与d(v)为奇数 若图G仅有两个奇点u,v 则G+uv存在一个从u出发的Euler回路 此回路中删去“新边”uv,得到G的Euler通路