图连通性.doc

第二章 图的连通性 连通图：任二顶点间有路相连。 例 可见在连通图中，连通的程度也是有高有低。 本章的目的就是定义一种参数来度量连通图连通程度的高低。 §2.1 割边、割点与连通度 一、割点： 定义2.1.1 设，如果，则称v为G的一个割点。（该定义与某些著作有所不同，主要是在有环边的顶点是否算作割点上有区别）。 例 定理2.1.1 如果点v是图G的一个割点，则边集E(G)可划分为两个非空子集和，使得和恰好有一个公共顶点v。 推论2.1.1 对连通图G，顶点v是G的割点当且仅当不连通。 以上两个结论的证明留作习题。 定理2.1.2 设v是树T的顶点，则v是T的割点当且仅当。 证明：必要性：设v是T的割点，下面用反证法证明。 若，则，显然不是割点。 若，则是有条边的无圈图，故是树。从而。因此不是割点。 以上均与条件矛盾。 充分性：设，则v至少有两个邻点u,w。路uvw是T中一条路。因T是树，uvw是T中唯一的路，从而。故是割点。证毕。 推论2.1.2 每个非平凡无环连通图至少有两个顶点不是割点。 证明：设T是G的生成树，则T至少有两个叶子u,v，由上一定理知，u,v都不是T的割点，即。由于是图的生成树，故 ， 因此u不是G的割点。同理v也不是G的割点。证毕。 二、顶点割集： 定义2.1.2 对图G，若V(G)的子集使得，则称为图G的一个顶点割集。含有k个顶点的顶点割集称为k-顶点割集。 注：（1）割点是1－顶点割集。 （2）完全图没有顶点割集。 三、连通度：是G的顶点割集}。完全图的连通度定义为，空图的连通度定义为0。 注：(1) 使得的顶点割集称为G的最小顶点割集。 （2）若，则称G为k连通的。 （3）若G不连通，则。 （4）若G是平凡图，则。 （4）所有非平凡连通图都是1连通的。 例： 四、割边 定义2.1.3 设，如果，则称e为G的一条割边。 定理2.1.3 边e是G的割边当且仅当e不在G的任何圈中。 证明：证其逆否命题：e不是割边当且仅当e含在G的某个圈中。 必要性：设e = xy不是割边。假定e位于G的某个连通分支中，则仍连通。故在中有路P，P + e便构成中一个含有e的圈。 充分性：设e含在G的某个圈C中，而C含于某连通分支中，则仍连通。故，这说明e不是割边。证毕。 定理2.1.4 一个连通图是树当且仅当它的每条边都是割边。 证明：连通图G是树G无圈任何边e不含在圈中任何边e是G的割边。证毕。 五、边割集 定义2.1.4对图G，若E(G)的子集使得，则称为图G的一个边割集。含有k条边的边割集称为k-边割集。 注：(1) 对非平凡图G，若是一个边割集，则不连通。 (2) 一条割边构成一个1－边割集。 (3) 设，，，记号表示一端在S中另一端在中的所有边的集合。对图G的每个边割集，必存在非空的，使得是G的一个边割集，其中。 六、边连通度：}。完全图的边连通度定义为。空图的边连通度定义为0。 注：(1)对平凡图或不连通图G，。 （2）若图G是含有割边的连通图，则。 （3）若，则称G为k－边连通的。 （5）所有非平凡连通图都是1－边连通的。 （6）使得的边割集称为G的最小边割集。 定理2.1.5 。 证明：先证。 若G不连通，则。 若G是完全图，则。 下设G连通但不是完全图。则G有边割集含有（）条边。设这个边割集为。对中每条边，选取一个端点，去掉这些端点（至多个）后，G便成为不连通图，故这些端点构成一个点割集，。因此。 再证。 设。删去与v关联的条边后，G变成不连通图，故这条边构成G的一个边割集。因此。证毕。 §2.2连通图的性质－whitney定理 块（block）：无割点的连通图。 图的块：若满足下列三条： H是图G的子图；（2）H本身是一个块；（3）H是具有此性质的极大子图。 则称H是图G的一个块。 例： 块 含4个块的图 注：至少有三个顶点的图是块当且仅当它是2－连通图。（若只有两个顶点，则有反例，例如是个块，但不是2连通的。） 3．Whitney定理 定理2.2.1 (Whitney,1932) 的图G是2－连通图（块）当且仅当G中任二顶点共圈。 证明：充分性：设G中任二顶点在同一圈上，欲证G是2－连通的。 对，任取。由条件，u,v在G中共处于某个圈C上。若，则在中u,v仍在圈C上；若，则中u,v在路上。总之u,v在中有路相连。由u,v的任意性，是连通图，故w不是G的割点。再由w的任意性知，G无割点，即G是2－连通的。 必要性：设G是2－连通图，欲证任二顶点u,v都在同一圈上。 对距离作归纳法。 时，因，故边uv不是割边，仍连通。因此中存在一条路。这表明在G中u, v都在圈上。 假定时，结论成立。下证时结论也成立。 当时，设是长为k的一条路，