第七章 图的基本概念1.ppt

第七章 图的基本概念 图论是近年来发展迅速而又应用广泛的一门新兴学科,皆在解决离散型的优化问题。它最早起源于一些数学游戏的难题研究，如1736年欧拉（Euler解决的哥尼斯堡七桥问题），以及如迷宫问题，匿门博奕问题，棋盘上马的行走路线问题等在民间广泛流传的一些游戏难题。这些古老的难题，当时吸引了很多学者的注意，在这些问题研究的基础上又继续提出了著名的四色猜想，哈密尔顿环游世界数学难题。 1847年，克希霍夫（Kirchhoff）用图论分析电路网络，这是图论最早应用于工程科学，以后随着科学的发展，图论在解决运筹学，网络理论，信息论，控制论，博奕论以及计算机科学等各个领域的问题时，显示出越来越大的效果。图论在各种物理学科，工程领域，社会科学和经济问题的广泛应用，使它受到数学和工程界的特别重视。如通讯网络的优化设计，交通站点的合理布局，生产组织的健全架构和工程作业的有效控制等问题，用图论的方法解决十分方便 图论是计算机及其相关专业的重要基础课。 通过图论学习可以为数据结构、数据库、操作系统、编译程序及人工智能等后续课程的学习奠定基础。 反复的奔走试行和失败，使人们对成功的可能发 生疑惑，猜想问题无解，但又谁也说不清其中道 理，于是有好事者去请教年轻的数学家欧拉(Euler)，刚开始欧拉也看不出这是一个数学问题,1736年，29岁的欧拉把这一问题化成数学问题，严格地论证了上述“七桥问题”无解，并由此开创了图论与拓扑学的思维方式和诸多概念与理论，1736年遂被公认为图论学科的历史元年，欧拉被尊为图论与拓扑学之父. 伪图 7.1 无向图及有向图 什么是图?可用一句话概括，即：图是用点和线来刻划离散事物集合中的每对事物间以某种方式相联系的数学模型。因为它显得太抽象，不便于理解，所以有必要给出把图作为代数结构的一个定义。 无向图的基本概念 无向图G：一个有序二元组(V,E),记为G=(V,E) G的点集合： （例如：图（1）中的V=（1，2，3，4，5）是一个无向图的点的集合） G的边集合：E={eij}且eij={vi,vj}为右图无序二元组 eij的端点：有eij={vi,vj}，则称vi和vj为eij的端点，且称eij 连接点 vi和vj 。 若 vi≠vj ，称eij与vi（或vj）的关联次数为1；若 vi＝vj ，称eij与vi的关联次数为2；若 vi不是eij的端点 ，称eij与vi的关联次数为0； 环：两个端点重合为一点的边 孤立点：不与任何边关联的点 关联：一条边的端点称为这条边的关联 相邻：与同一条边关联的端点称为是相邻 的，同时如果两条边有一个公共端 点，则称这两条边是相邻的 分类 设G=〈V，E〉为一个图。 1）按结点的个数分类 （1）若|V(G)|,|E(G)|都是有限集合， 则称G是有限图。 （2）若|V(G)|=n,则称G为n阶图。 （3）E(G)= ? ,则称G为零图。 若|V(G)|=0,称G为空图； 若|V(G)|=1,称G为平凡图， 而|V(G)|=n,称G为n阶零图 2）按同一对结点间的边数分类： 平行边： （1）在无向图中，关联一对顶点的无向边如果多于一条，则称这些边为平行边，平行边的条数称为重数。 （2）在有向图中，关联一对顶点的有向边如果多于一条，并且这些边的始点与终点相同（即方向相同），则称这些边为平行边。 定义7.1.1 在图G=V，E中，如果任何两结点间不多于一条边(对于有向图中，任何两结点间不多于一条同向弧)，并且任何结点无环，则图G称为简单图；若两结点间多于一条边(对于有向图中，两结点间多于一条同向弧)图G称为多重图。 3）按图的边旁有无（字母，数量）特征分类： 定义7.1.2 给每条边或弧都赋予权的图G=V，E，称为加权图，记为G=V，E，W，其中W表示各边之权的集合。 加权图在实际中有许多应用，如在输油管系统图中权表示单位时间流经管中的石油数量；在城市街道中，权表示表示通行车辆密度；在航空交通图中，权表示两城市的距离等等。 4）按图的任意两个结点间是否有边连接分类：定义7.1.3 无向完全图： 设G为n阶无向简单图，若D中每个顶点均与其余的n-1个顶点相邻，则称G为n阶无向完全图，简称n阶完全图，记作 Kn 定义7.1.4 有向完全图：设D为n阶有向简单图，若D中每个顶点都邻接到其余的n-1个顶点，又邻接于其余的n-1个顶点，则称D为n阶有向完全图。（边数为n(n-1)） 定义7.1.5 在有向图G=V，E中，对任意结点v∈V，以v为始点的弧的条数，称为结点v的出度，记为d+(v)；以v为终点的弧的条数，称为v的入度，记作d-(v)；结点v的出度与入度之和，称为结点的度数，记为d(