第一节基本概念ppt课件.ppt

《第一节基本概念ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第六章图与网络分析引言图论是专门研究图的理论的一门数学分支，属于离散数学范畴，与运筹学有交叉，它有200多年历史，大体可划分为三个阶段：第一阶段是从十八世纪中叶到十九世纪中叶，处于萌芽阶段，多数问题为游戏而产生，最有代表性的工作是所谓的Euler七桥问题，即一笔画问题。第二阶段是从十九世纪中叶到二十世纪中叶，这时，图论问题大量出现，如Hamilton问题，地图染色的四色问题以及可平面性问题等，这时，也出现用图解决实际问题，如Cayley把树应用于化学领域，Kirchhoff用树去研究电网络等.第三

2、阶段是二十世纪中叶以后，由生产管理、军事、交通、运输、计算机网络等方面提出实际问题，以及大型计算机使大规模问题的求解成为可能，特别是以Ford和Fulkerson建立的网络流理论，与线性规划、动态规划等优化理论和方法相互渗透，促进了图论对实际问题的应用。例6-1：哥尼斯堡七桥问题哥尼斯堡（现名加里宁格勒）是欧洲一个城市，Pregei河把该城分成两部分，河中有两个小岛，十八世纪时，河两边及小岛之间共有七座桥，当时人们提出这样的问题：有没有办法从某处（如A）出发，经过各桥一次且仅一次最后回到原地呢？A

3、BCD最后，数学家Euler在1736年巧妙地给出了这个问题的答案，并因此奠定了图论的基础，Euler把A、B、C、D四块陆地分别收缩成四个顶点，把桥表示成连接对应顶点之间的边，问题转化为从任意一点出发，能不能经过各边一次且仅一次，最后返回该点。这就是著名的Euler问题。ACBD例6-2：有7个人围桌而坐，如果要求每次相邻的人都与以前完全不同，试问不同的就座方案共有多少种？用顶点表示人，用边表示两者相邻，因为最初任何两个人都允许相邻，所以任何两点都可以有边相连。1237645假定第一次就座方案是

4、（1，2，3，4，5，6，7，1），那么第二次就座方案就不允许这些顶点之间继续相邻，只能从图中删去这些边。1276451237645假定第二次就座方案是（1，3，5，7，2，4，6，1），那么第三次就座方案就不允许这些顶点之间继续相邻，只能从图中删去这些边。12376451237645假定第三次就座方案是（1，4，7，3，6，2，5，1），那么第四次就座方案就不允许这些顶点之间继续相邻，只能从图中删去这些边，只留下7点孤立点，所以该问题只有三个就座方案。12376451237645例6-3：哈密顿

5、（Hamilton）回路是十九世纪英国数学家哈密顿提出，给出一个正12面体图形，共有20个顶点表示20个城市，要求从某个城市出发沿着棱线寻找一条经过每个城市一次而且仅一次，最后回到原处的周游世界线路（并不要求经过每条边）。例6-4：一个班级的学生共计选修A、B、C、D、E、F六门课程，其中一部分人同时选修D、C、A，一部分人同时选修B、C、F，一部分人同时选修B、E，还有一部分人同时选修A、B，期终考试要求每天考一门课，六天内考完，为了减轻学生负担，要求每人都不会连续参加考试，试设计一个考试日程表

6、。解：以每门课程为一个顶点，共同被选修的课程之间用边相连，得图，按题意，相邻顶点对应课程不能连续考试，不相邻顶点对应课程允许连续考试，因此，作图的补图，问题是在图中寻找一条哈密顿道路，如C—E—A—F—D—B，就是一个符合要求的考试课程表。AFEDCBAFEDCBAFEDCB6.1图的基本概念图论是专门研究图的理论的一门数学分支，主要研究点和线之间的几何关系。定义：（图）设G=（V，E，）其中：V=（v1，v2，…...vm）是m个顶点集合；E=（e1，e2，…...en）是n条边集合。是描述

7、边与顶点之间关系的函数称G=（V，E，）为一个图，如果它满足：（1）V非空；（2）E是一个不与V中顶点相交的边集合；（3）是关联函数。V，E，称为图的三要素。说明：（1）V非空，即没有顶点的图不讨论；（2）E无非空条件，即允许没有边；（3）条件（2）是指点只在边的端点处相交；（4）任一条边必须与一对顶点关联，反之不然。v1v3v2v4v6v5e1e3e5e6e4e8e7e2例6-5V=（v1，v2，…...v6）E=（e1，e2，…...e8）（e1）=（v1，v2）（e2）=（v1，v

8、2）（e7）=（v3，v5）（e8）=（v4，v4）(e8)=(v4，v4),称为自回路(环)；v6是孤立点，v5为悬挂点，e7为悬挂边，顶点v3的次为4，顶点v2的次为3。定理：在一个图中，所有顶点次的和等于边的两倍。注意：一个图的形状并不唯一。但它的三要素是不能变的。定义：设G=（V，E，）和G1=（V1，E1，1）。如果V1V，E1E则称G1为G的子图；如果V1V，E1是E中所有端点属于V1的边组成的集合，则称G1是G的关于V1的导出子图；如果G1=（V1，E