在一个连通图中任意两条最长的基本道路有一个公共顶点证.PPT

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 * 计算机学院 * 基本要求(第十章) 理解与图的定义有关的诸多概念，以及它们之间的相互关系 深刻理解握手定理及其推论的内容，并能熟练地应用它们 深刻理解图同构、简单图、完全图、正则图、子图、补图、二部图等概念及其它们的性质和相互关系，并能熟练地应用它们 深刻理解道路、简单道路、基本道路与回路、圈的定义，掌握道路与回路的各种表示方法 * 计算机学院 * 深刻理解无向图的连通性，连通分支等概念 深刻理解无向图的点割集和边割集、点连通度、边连通度等概念及其之间的关系，并能熟练地求出给定的较为简单的图的点割集和边割集、点连通度与边连通度 深刻理解有向图连通性的概念及其分类，掌握判断有向连通图类型的方法 深刻理解有向图的邻接矩阵、可达矩阵的基本概念 * 计算机学院 * 熟练掌握用有向图的邻接矩阵及各次幂求图中通路与回路数的方法 熟练掌握用有向图的邻接矩阵及Warshall算法求有向图的所有强分图的方法 了解关联矩阵的基本概念及其基本性质 * 计算机学院 * 例1 解 ： {v2, v3}是个基本点割集, 而G的点割集必须含有点v2和v3, 因为它们中每一个都与图中除其自身外的各顶点邻接. 故{v2, v3}是该图唯一的基本点割集. 求出下图G中的全部基本点割集和基本边割集. v1 v5 v4 v3 v2 a e d c b f g h * 计算机学院 * 每一个基本边割集把连通图分成恰好2个连通分支，因而导出图的顶点集的一个分成两组的划分(同一个连通分支中的顶点组成一个划分块)。 本题中，顶点集V是个5元集, 正整数5分成两个数的划分有1 + 4和 2 + 3。V的“1 + 4”的划分有C15 = 5个。 如下表所列, 表中还列出了相应的边割集: 边割集 顶点集V的划分 {a, b} {{v1}, {v2, v3, v4, v5}} {a, c, d, f} {{v2}, {v1, v3, v4, v5}} {b, c, e, h} {{v3}, {v1, v2, v3, v5}} {d, e, g} {{v4}, {v1, v2, v3, v4}} {f, g, h} {{v5}, {v1, v3, v3, v4}} * 计算机学院 * V的“2 + 3”的划分有C25 = 10个, 其中7个可以由基本边割集导出, 如下表所示: 基本边割集 顶点集V的划分 {b, c, d, f} {{v1, v2}, {v3, v4, v5}} {a, c, e, h} {{v1, v3}, {v2, v4, v5}} {a, c, e, f, g} {{v1, v3, v5}, {v2, v4}} {a, c, d, g, h} {{v1, v3, v4}, {v2, v5}} {b, c, d, g, h} {{v1, v2, v5}, {v3, v4}} {b, c, e, f, g} {{v1, v2, v4}, {v3, v5}} {d, e, f, h} {{v1, v2, v3}, {v4, v5}} 而V的以下3个“2 + 3”的划分不能由基本边割集导出: {{v2, v3}, {v1, v4, v5}}, {{v1, v4}, {v2, v3, v5}}, {{v1, v5},{v2, v3, v4}})。 所以该图的基本边割集有12个。 * 计算机学院 * 例2 证明: 在一个连通图中, 任意两条最长的基本道路有一个公共顶点。 证：（反证法） v0 u0 vj uk vp up L * 计算机学院 * 设Γ1=v0v1…vp和Γ2=u0u1…up是G的两条最长的基本道路(长为p)，且无公共顶点。 因为G是连通图. v0与u0之间有道路L. 设vj是从v0出发沿L前进的最后一个和Γ1相交的顶点. 而uk是道路L第一次与Γ2相交的结点。当j ≥ p/2(这时在基本道路Γ1上v0…vj的一段不比vj…vp的一段短)且k ≥ p/2时(这时在基本道路Γ2上u0…vk的一段不比uk…up的一段短)。 * 计算机学院 * 构造一条新的路Γ′, 它从v0出发, 沿Γ1到vj, 然后沿L从vj到uk，最后沿Γ2从uk到u0，该道路是一条基本道路 (点不重复. 答图中红粗线所示), 其长度 ≥ j + 1 + k ≥ p + 1 p, 这与L1, L2是最长的基本道路相矛盾, 所以Γ1和Γ2有公共