数据结构 第6章图(g).ppt

第六章 图;欧拉1707年出生在瑞士的巴塞尔城，19岁开始发表论文，直到76岁。几乎每一个数学领域都可以看到欧拉的名字，从初等几何的欧拉线，多面体的欧拉定理，立体解析几何的欧拉变换公式，四次方程的欧拉解法到数论中的欧拉函数，微分方程的欧拉方程，级数论的欧拉常数，变分学的欧拉方程，复变函数的欧拉公式等等。据统计他那不倦的一生，共写下了886本书籍和论文，其中分析、代数、数论占40%，几何占18%，物理和力学占28%，天文学占11%，弹道学、航海学、建筑学等占3%。 1733年，年仅26岁的欧拉担任了彼得堡科学院数学教授。1741年到柏林担任科学院物理数学所所长，直到1766年，重回彼得堡，没有多久，完全失明。欧拉在数学上的建树很多，对著名的哥尼斯堡七桥问题的解答开创了图论的研究。;18世纪时，欧洲有一个风景秀丽的小城哥尼斯堡，那里的普莱格尔河上有七座桥。将河中的两个岛和河岸连结，城中的居民经常沿河过桥散步，于是他们提出了一个问题：一个人怎样才能一次走遍七座桥，每座桥只走过一次，最后回到出发点？大家都试图找出问题的答案，但是谁也解决不了这个问题…………?这就是哥尼斯堡七桥问题，一个著名的图论问题。 ;哥尼斯堡七桥问题 ;哥尼斯堡七桥问题 ;哥尼斯堡七桥问题 ;哥尼斯堡七桥问题 ;图的定义;6.1 图的逻辑结构;6.1 图的逻辑结构;6.1 图的逻辑结构;6.1 图的逻辑结构;在线性结构中，数据元素之间仅具有线性关系； 在树结构中，结点之间具有层次关系； 在图结构中，任意两个顶点之间都可能有关系。 ;在线性结构中，元素之间的关系为前驱和后继； 在树结构中，结点之间的关系为双亲和孩子； 在图结构中，顶点之间的关系为邻接。 ;无向完全图：在无向图中，如果任意两个顶点之间都存在边，则称该图为无向完全图。;含有n个顶点的无向完全图有多少条边？ 含有n个顶点的有向完全图有多少条弧？ ;稀疏图：称边数很少的图为稀疏图； 稠密图：称边数很多的图为稠密图。;;;权：是指对边赋予的有意义的数值量。 网：边上带权的图，也称网图。;路径：在无向图G=(V, E)中，从顶点vp到顶点vq之间的路径是一个顶点序列(vp=vi0,vi1,vi2, …, vim=vq)，其中，(vij-1,vij)∈E（1≤j≤m）。若G是有向图，则路径也是有方向的，顶点序列满足vij-1,vij∈E。;路径长度：;路径长度：;回路（环）：第一个顶点和最后一个顶点相同的路径。 简单路径：序列中顶点不重复出现的路径。 简单回路（简单环）：除了第一个顶点和最后一个顶点外，其余顶点不重复出现的回路。;子图：若图G=（V，E），G=（V，E），如果V?V 且E ? E ，则称图G是G的子图。;连通图：在无向图中，如果从一个顶点vi到另一个顶点vj(i≠j)有路径，则称顶点vi和vj是连通的。如果图中任意两个顶点都是连通的，则称该图是连通图。 连通分量：非连通图的极大连通子图称为连通分量。 ;连通分量1 ;强连通图：在有向图中，对图中任意一对顶点vi和vj (i≠j)，若从顶点vi到顶点vj和从顶点vj到顶点vi均有路径，则称该有向图是强连通图。 强连通分量：非强连通图的极大强连通子图。 ;6.1 图的逻辑结构;生成树：n个顶点的连通图G的生成树是包含G中全部顶点的一个极小连通子图。 ;;图的抽象数据类型定义 ; DFSTraverse 前置条件：图已存在 输入：遍历的起始顶点v 功能：从顶点v出发深度优先遍历图 输出：图中顶点的一个线性排列 后置条件：图保持不变 BFSTraverse 前置条件：图已存在 输入：遍历的起始顶点v 功能：从顶点v出发广度优先遍历图 输出：图中顶点的一个线性排列 后置条件：图保持不变;DestroyGraph 前置条件：图已存在 输入：无 功能：销毁图 输出：无 后置条件：释放图所占用的存储空间 GetVex 前置条件：图已存在 输入：顶点v 功能：在图中查找顶点v的数据信息 输出：顶点v的数据信息 后置条件：图保持不变 endADT;图的遍历操作;图的遍历操作要解决的关键问题;② 从某个起点始可能到达不了所有其它顶点，怎么办？;③ 因图中可能存在回路，某些顶点可能会被重复访问，那么如何避免遍历不会因回路而陷入死循环。 ④ 在图中，一个顶点可以和其它多个顶点相连，当这样的顶点访问过后，如何选取下一个要访问的顶点？ ;约翰·霍普克洛夫特1939年生于西雅图。1961年进入斯坦福大学研究生院深造，1962年获硕士学位，