应用高等学第7章7.3 图 论.ppt

例: 设集合A={a,b,c}上的二元关系R={a,a,a,b,b,a,b,c,c,b},S={a,c,b,b},  判断R,S是否为A上的 自反关系或反自反关系, 对称关系或反对称关系， 传递关系。 图 论 图论是离散数学不可或缺的重要组成部分. 用图形来描述某些对象或事物间的特定关系. 用图形中的点表示对象,两点间的有向或无向连线表示两个对象之间有否联系. 由此产生了数学上图的概念. 研究图的基本概念、性质和理论，研究图、树、特殊图及其应用，即构成了图论的基本内容. 图/Graph： 可直观地表示离散对象之间的相互关系，研究它们的共性和特性，以便解决具体问题。 三笔画出此图 7.3.1 哥尼斯堡七桥问题 试一试 这个问题看起来不难，谁都愿意试一试，但是谁也找不出答案. 问题提出后，很多人对此很感兴趣，纷纷进行试验，但在相当长的时间里，始终未能解决。 而利用普通数学知识，每座桥均走一次，那这七座桥所有的走法一共有7！=5040种，而这么多情况，要一一试验，这将会是很大的工作量。 但怎么才能找到成功走过每座桥而不重复的路线呢？因而形成了著名的“哥尼斯堡七桥问题”。 1735年，有几名大学生写信给当时正在俄罗斯的彼得斯堡科学院任职的天才数学家欧拉，请他帮忙解决这一问题。欧拉在亲自观察了哥尼斯堡七桥后，认真思考走法，但始终没能成功，于是他怀疑七桥问题是不是原本就无解呢？ 1736年，在经过一年的研究之后，29岁的欧拉提交了《哥尼斯堡七桥》的论文，圆满解决了这一问题，同时开创了数学新一分支---图论。 点A、B为两岸 点C、D为两岛 边线为桥 离散数学课程的学习方法: 强调：逻辑性、抽象性； 注重：概念、方法与应用 定义2. 在无向图G=V,E中与结点v关联的边的条数(自回路算两条边)，称为该点的度数，记为deg(v)。 定理7.2(握手定理) 在无向图G=V,E中，结点度数之和等于边数的两倍，即 定义7.13 在无向连通简单图中，通过图中每边一次且仅一次并行遍每个结点的一条通路(回路)，称为该图的一条欧拉通路(回路).存在欧拉回路的图称为欧拉图. 定理2 在有向图中，所有结点的入度之和等于所有结点的出度之和。 图的连通性 v3e8v4e7v5e2v1e1v2是？ 容易推知 在一个具有n个结点的图中，如果从结点vi到vj存在一条通路，则从vi到vj存在一条长度不超过n－1的通路。 定义7.1.3 在有向图D中，任何一对结点间都互相可达，称该图为强连通的。 如果图D的任何一对结点间，至少有一个结点可达另一个结点，则称该图为单侧连通的。 如果略去D中各边的方向成为无向图后是连通的，则称该图是弱连通的。 * 7.3 图 论 图论是计算机及其相关专业的 重要基础课。 通过本课程学习为数据结构、数据库、操作系统、编译程序及人工智能等后续课程的学习奠定基础。 通过本课程学习可以从整体上提高学生的数学修养和素质，提高学生运用数学语言去分析和解决问题的能力。 a b c R a b c T 在运筹学、网络理论、信息论、计算机学科各领域、社会、经济等方面有广泛应用。 最早起源于数学游戏和难题的研究： 欧拉：哥尼斯堡七桥问题、 迷宫、博弈、四色猜想、 哈密尔顿(环游世界)难题。 克希霍夫用图论分析电路网络。 发展迅速，应用广泛的一门学科。 18世纪初东普鲁士的哥尼斯堡城，现在是俄罗斯的加里宁格勒市.普雷格尔河流经此城，奈发夫岛位于河中，共有7座桥横跨河上，把全城连接起来 (见图). 当地居民热衷于一个难题：是否存在一条路线，可不重复地走遍七座桥. A B C D 7.3.2 图的基本概念 一个图是一个序偶V,E, 记为G=V,E ,其中 (1) V={v1,v2,...,vn}为有限非空集合，vi称为结点，简称点，称V为点集。 (2) E={e1,e2,...,em}为有限非空的边集合，ei称为边，每个ei都有V中的结点与之对应，称E为边集。 如果边ei与结点无序对(u,v)相对应，则称ei为无向边，记为ei = (u,v)。如果边ei与结点有序对u,v相对应，则称ei为有向边，记为ei = u,v，称u为ei 的始点，v为ei 的终点。 a b c R a b c T 如G = V, E其中 V = {v1,v2,v3,v4,v5} E={(v1,v2),(v1,v4),(v2,v3), (v2,v4),(v3,v4)} v1 v2 v