• 【转】图的点连通度边连通度总结


    2010-08-24 00:44
    来源

    点连通度的定义:一个具有N个点的图G中,在去掉任意k-1个顶点后(1<=k<=N,所得的子图仍然连通,去掉K个顶点后不连通,则称GK连通图,K称作图G的连通度,记作KG)。

    独立轨:AB是图G(有向无向均可)的两个顶点,我们称为从AB的两两无公共内顶的轨为独立轨,其最大的条数记作p(A,B)

     

     



    在上图中有一个具有7个定点的连通图,从顶点1到顶点33条独立轨,即p(1,3)=3;

    1—2—3 ,   1—7—3 , 1—6—5—4—3

    如果分别从这3条独立轨中,每条轨抽出一个内点,在G图中删掉,则图不连通。若连通图G的两两不相邻顶点间的最大独立轨数最小的PAB)值即为KG)。若G为完全图(两两点可达),则

    KG=n-1,即完全把某个点的所有边删掉后才不连通。既然独立轨是只能经过一次的边,那么可以构造网络流模型,其中每条边的容量为1,就可以限制只经过一次。

    构建网络流模型:

    G为无向图:

    (1)G图中的每个顶点V变成N网中的两个顶点V`V``,顶点V`V``有一条弧容量为1

    (2)原图G中的每条边e=UV,在N网中有两条弧e`=U``V`,e``=V``U`与之对应,e`e``容量均为无穷;

    (3)A``为源点,B`为汇点,求最大流。

    G为有向图

    (1)G图中的每个顶点V变成N网中的两个顶点V`V``,顶点V`V``有一条容量为1的弧;

    (2)G图中的每条弧e=UV变成一条有向轨U`U``V`V``,其中轨上的弧U``V`的容量为无穷;

    (3)A``为源点,B`为汇点求最大流。

    上面的模型只是求出了以A为源点B为汇点的最大流max_flow,等价于在G中只要去掉max_flow个点就会使得AB不连通。而图的连通度是要求去掉最少的点使得整个图不连通,做法是固定一个点为源点,枚举与源点不相邻的点为汇点,求最大流。在所有的枚举结果中最小的max_flow值就是要求的K(G).注意如果某次枚举的汇点求出的最大流为无穷则说明此此枚举的源点与汇点是强连通的。如果所有的枚举结果都为无穷,则说明整个图G是强连通的,需要去掉n-1个点才能破坏其连通性。

    所有具有流量为1的弧(V`,V``)对应的V顶点组成一个割顶集

    通过求连通度可以得到一个结论:GK的连通图,k>=2,则任意K个顶点共圈。

     

    求边连通度总结:

    同样引入独立轨的概念,只是在这里叫弱独立轨,同样在每条弱独立轨中只有去掉某一条边就可以使起点到终点不连通,现在整个图G的边连通度就是要找出任意两点的弱独立轨的最小值。如果图G为完全图,则K`(G)n-1

    构建一个网络N

    G为无向图:

    1. 1.     原G图中的每条边e=UV变成两条边e`=UV,e``=VU,容量都为1
    2. 2.     固定一个点为源点,枚举与源点不相邻的为汇点,求最大流max_flow,保留最小的max_flow即为图的边连通度。

    G为有向图:

    1. 1.     原G图中每条有向边容量为1
    2. 2.     此步骤与无向图的步骤2相同。

    求出的残余网络中,流量为1的弧e`=(u,v),e`就是桥。

    从图的边连通度中可以得到以下结论:

    1.          A是有向图G的一个顶点,如果AG的其他所有点V间的最小值为K,则G中存在以A为根的K棵无公共边的生成树;

    2.          设G是有向图,0<k<=K`(G),L0k之间任意一个整数,对于图G的任意一对顶点(u,v)来说,存在UVL条弱独立有向轨,同时存在从VUL-k条弱独立有向轨。

     

     

     

  • 相关阅读:
    【二次开发】shopxo商城
    经典的PHPer为什么被认为是草根?
    PowerDesigner生成Access数据库
    NET开发学习项目资源
    ASP.NET程序开发范例宝典
    Web.Config文件配置小记
    NET开发学习项目资源(2)
    VS 2010一步步开发windows服务(windows service)
    jquery.mobile手机网页简要
    Android置底一个View后运行报错
  • 原文地址:https://www.cnblogs.com/AndreMouche/p/1958685.html
Copyright © 2020-2023  润新知