连通图G的连通程度通常叫做连通度(Connectivity)。连通度有两种,一种是点连通度,另一种是边连通度。通常一个图的连通度越好,它所代表的网络越稳定。
如果在图G中删去一个结点x后,图G的连通
分支数增加,即 ,则称结点x为G的
割点(cut vertex)。如果在图G中删去一条边e后,图G的连通分支数增加,即 ,则称e为G的
割边(cut edge)或
桥。
没有割点的非平凡连通图称为
块( block)。G中不含割点的极大连通子图称为图G的块。
若H是图G的块,则H自身不含割点且满足:若向H中再添加边,但不添加结点,那么H就不是G的子图了;若向H中再增加结点或边将H扩大为更大的连通图,那么H就会含有割点。
如果图G的顶点集的一个真子集T满足G-T不连通或是平凡图,则称T为G的一个点割( vertex cut)。如果图G的边集的一个真子集S满足G-S不连通或是平凡图,则称S为G的一个边割(edge cut)。
定义如果
无向图G的连通度 ,则称图G是n连通的或G为n连通图。若 ,则称图G是n边连通的或G为n边连通图。
证明 设G是2边
连通图,则G必含有圈。先取一个圈 ,归纳地定义G的连通子图
序列 如下: ;若 不是G的生成子图,设 是在G中而不在 中的一个顶点,则存在从 到 的边的不重路 和 ,定义 ,由于 ,这个序列必然终止于G的一个生成子图 。现依次给每个 定向:首先让 的定向图 成为一个有向圈;对 ,设已有定向图 ,让 成为以 为起点的有向路,而 成为以 为终点的有向路得 ,易见 是强连通有向图 。因此最后的 是强连通有向图。由于 是G的生成子图,所以G有强连通的定向图。显然,一个图G有强连通的定向图的必要条件是G为2边连通的。否则G中有割边,这与G有强连通的定向图矛盾。证毕。