在无向图中,如果从顶点vi到顶点vj有路径,则称vi和vj连通.如果图中任意两个顶点之间都连通,则称该图为连通图,否则,称该图为非连通图,则其中的极大连通子图称为连通分量,这里所谓的极大是指子图中包含的顶点个数极大. 直观地说,极大就是不能再大,或者说再大也不能超过自己.因此,极大连通子图就是: 设 1) S为G的子图,S连通, 2) 如果有S'也是G的连通子图,且S是S'的子图,可推出S = S', 则称S是G的极大连通子图. 极小连通子图正好相反,极小就是不能再小,再多小一点就会不连通或点不…