图的连通性-南京大学计算机科学与技术系.PDF

图的连通性 离散数学─图论初步 南京大学计算机科学与技术系 内容提要  通路与回路  通路与同构  无向图的连通性  连通度  2-连通图  有向图的连通性  无向图的定向 通路的定义  定义：图G中从v 到v 的长度为n的通路是G的n条边 0 n e ,…, e 的序列，满足下列性质 1 n  存在v ∈V (0in), 使得v 和v 是e 的两个端点(1≤i≤n) 。 i i-1 i i  相关点  长度为0的通路由单个顶点组成。  不必区分多重边时，可以用相应顶点的序列表示通路。  回路：起点与终点相同，长度大于0 。  简单通路：边不重复，即，∀i, j, i≠j ⇒e ≠e i j 通路（举例） a b c d e f  简单通路：a, d, c, f, e。长度为4 。  通路：a, b, e, d, a, b。长度为5 。  回路：b, c, f, e, b 。长度为4 。  不是通路：d, e, c, b 。 通路的定义（有向图）  定义：有向图G中从v 到v 的长度为n的通路是G的n 0 n 条边e ,…, e 的序列，满足下列性质 1 n  存在v ∈V (0in), 使得v 和v 分别是e 的起点和终点(1≤i≤n) 。 i i-1 i i  相关点  长度为0的通路由单个顶点组成。  不必区分多重边时，可以用相应顶点的序列表示通路。  回路：起点与终点相同，长度大于0 。  简单通路：边不重复，即，∀i, j, i≠j ⇒e ≠e i j 通路（举例） v v 1 2 v4 v3  简单通路：v , v , v , v 。长度为3 。 1 4 2 3  通路：v , v , v , v , v , v 。长度为5 。 2 3 1 4 2 3  回路：v , v , v , v 。长度为3 。 2 1 4 2 通路与同构  设图G的邻接矩阵为A k  (A )i,j : v 到v 的长度为k的通路个数 i j k  (A )i,i : v 到v 的长度为k的回路个数 i i  同构图的不变量：长度为k的回路的存在性。 -1 k k -1  B=U⋅A⋅U B =U⋅A ⋅U