5.离散数学_图论初步.pptVIP

庄伯金 bjzhuang@bupt.edu.cn * 最短路径问题- Dijkstra算法 设 ， ，对于求从 到其余各顶点的最短路径问题，Dijkstra算法将顶点集分成两子集： 永久标号顶点集 ：已求出 到该顶点的最短路径。 临时标号顶点集 ：尚未求出 到该顶点的最短路径， 。 每个顶点 的标号记作 ， 若 ， 为从 到 的距离， 为从 到 的最短路径上 的前一个顶点。 若 ， 是 经过永久标号的顶点达到 的最短长度， 是这条路径上 的前一个顶点。 庄伯金 bjzhuang@bupt.edu.cn * 最短路径问题- Dijkstra算法 初始化 ， ， ，（其中 表示空）， 。 LOOP： 扫描所有的 ，且 ，若 ，则令 求 ，令 。 令 ，若 ，则goto LOOP，否则终止。 庄伯金 bjzhuang@bupt.edu.cn * 最短路径问题- Dijkstra算法 作业(1) P137 5.4 P137 5.5(1)(3) P137 5.6 P138 5.9 庄伯金 bjzhuang@bupt.edu.cn * 作业(2) P138 5.10 P138 5.13 P138 5.16 P138 5.17 P138 5.18 P138 5.19 庄伯金 bjzhuang@bupt.edu.cn * * * * 庄伯金 bjzhuang@bupt.edu.cn 庄伯金 bjzhuang@bupt.edu.cn 庄伯金 bjzhuang@bupt.edu.cn * 第五章 图论初步 庄伯金 bjzhuang@bupt.edu.cn * 主要内容 无向图与有向图的概念 图的连通性、通路及回路 图的表示 最短路径问题 特殊的图 庄伯金 bjzhuang@bupt.edu.cn * 多重集与无序积 多重集：允许元素重复出现的集合。 无序对：由两个元素组成的二元组，不计顺序，称为无序对，记作 。 两元素无顺序要求，所以 。 无序积：设 为集合，由两集合中元素构成无序对所组成的集合，称为 和 的无序积，记作 。 。 庄伯金 bjzhuang@bupt.edu.cn * 无向图的相关概念 定义（无向图）：一个无向图 是一个二元组 ，其中 是一个非空有穷集合，称为 的顶点集， 中元素称为顶点或结点，记作 。 是无序积 的一个多重子集，称为 的边集， 中元素称为无向边或边，记作 。 注 顶点集为 的图称为空图。 为多重集，所以边可以重复出现。 庄伯金 bjzhuang@bupt.edu.cn * 无向图的相关概念 定义：无向图 中，设 是 的一条边，则称 为 的端点， 与 (和 )关联 孤立点：无边关联的顶点称为孤立点。 环：若 ，则称 为环。 关联次数：端点与边的连接次数。 相邻：若存在一条边以 为端点，则称 和 相邻。若两条边 和 至少有一个公共端点，则称 和 相邻。 定义：无向图中，顶点 作为边的端点次数之和称为 的度数，简称度，记作 。 庄伯金 bjzhuang@bupt.edu.cn * 无向图的相关概念 无向图可以用如下图形来表示 庄伯金 bjzhuang@bupt.edu.cn * 有向图的相关概念 定义（有向图）：一个有向图 是一个二元组 ，其中 是一个非空有穷集合，称为