图论[离散数学离散数学(版)清华出版社].pptVIP

第四部分：图论（授课教师：向胜军） “巧渡河”问题 问题：人、狼、羊、菜用一条只能同时载两位的小船渡河，“狼羊”、“羊菜”不能在无人在场时共处，当然只有人能架船。 图模型：顶点表示“原岸的状态”，两点之间有边当且仅当一次合理的渡河“操作”能够实现该状态的转变。 起始状态是“人狼羊菜”，结束状态是“空”。 问题的解：找到一条从起始状态到结束状态的尽可能短的通路。 “巧渡河”问题的解 注意：在“人狼羊菜”的16种组合中允许出现的只有10种。 最短路径问题（shortest paths problem） 设带权图G=V, E, W，G中每条边带的权均大于等于0，x, y为G中任意两个顶点，从x到y的所有通路中带权最小的通路称为x到y的最短路径，求给定两顶点间的最短路径问题称为最短路径问题。( If no path between x and y has weight less than W(P), then P is called a shortest path. ) 单源最短路径(Single-source shortest paths) We are given a weighted graph G=V, E, W and a source vertex s. The problem is to find a shortest path from s to each vertex v. Dijstra, Edsgar Wybe(1930-) 荷兰计算机科学家，1972年图林奖得主。 最著名的成果：首先指出程序设计语言中的goto语句是有害的，并首创了结构化程序设计方法。 至今仍被广泛应用的算法：解决机器人运动路径规划问题的“最短路径算法”。 被引用最多的论断：“程序测试只能用来证明有错，绝不能证明无错。” 被引用作为其60岁生日纪念论文集书名的另一句名言：Beauty is our business 求最短路径的Dijstra算法 输入：连通带权图G，|V|=n, 指定顶点s?V 输出：每个顶点v的标注(l(v), u), 其中： l(v)即从s到v的最短路径长度。 u是该路径上v的前一个顶点。 求最短路径的Dijstra算法 算法步骤： 1. 初始化：i=0, S0={s}, l(s)=0, 对其它一切v?VG, 将l(v)置为?。若n=1，结束。 2. ?v?Si’=VG-Si, 比较l(v)和l(ui)+w(ui, v)的值 (ui?Si)，如果l(ui)+w(ui, v) l(v), 则将v的标注更新为(l(ui)+w(ui, v), ui)，即： l(v)=min{l(v), minu?Si{l(u)+w(u,v)}}. 3. 对所有Si’中的顶点，找出具有最小l(v)的顶点v, 作为ui+1. 4. Si+1 = Si ?{ui+1}. 5. i = i+1; 若i=n-1, 终止。否则，转到第2步。 求最短路径的一个例子 求最短路径的一个例子(续) 求最短路径的一个例子(续) 将计算过程用一张表描述出来： 作业 编一个程序实现Dijstra算法 [定义] 连通性(connectivity) 设G=V，E，若从vi到vj存在一条通路，则称vi到vj连通(connective)或可达。 说明：对无向图而言，若vi到vj可达，则vj到vi也可达。对有向图而言则未必。 [定理] 任意一个连通无向图的任意两个不同顶点都存在一条简单通路。 [定义] 无向图的连通性 若G=V，E中任意两个顶点都连通，则称此无向图是连通的(connected)。 [定义] 连通分图(connected components) 图G可分为几个不相连通的子图，每一子图本身都是连通的。称这几个子图为G的连通分图。 [定义] 有向图的连通性 (1) 弱连通： 若D=V，E对应的无向图是连通图，则称G为弱连通(weakly connected)。 (2) 强连通： 若D=V，E中任意两点间都有通路，即对a和b，a到b可达，b到a可达，称G为强连通(strongly connected)。 [定义] 割点 设G=V, E是无向图，v∈V，若从G中删除顶点v后所得的连通分支数p(G-v)p(G), 则称v是G中的割点。 割点 设G=V, E是无向图，e∈E，若从G中删除边e后所得的连通分支数p(G-e)p(G), 则称e是G中的割边。 [定义] 割边 割边 §3 图的矩阵表示 本节主要考虑三种矩阵，即关联矩阵，邻接矩阵与可达矩阵。关联矩阵反映的是顶点与边（弧）的关系；邻接矩阵反映的是顶点与顶点之间的关系；可达矩阵反映了图的联通情况