无向连通图中求割点集

割点就是去除这个点 以及和这个点相连接的边则会使连通分量不连通 。
最简单的算法是依次尝试所有点看去除该点和所对应的边 看一次dfs是否能遍历整个图 。不过时间复杂度较高。
下面的算法是基于 tarjan算法的
在算法中使用dfn来表示访问的时间(次序) low[a]来表示 a能够追溯到的祖先节点
(1) 当a节点是dfs树中的根节点时 如果a有两个或者两个以上的子树则说明a是割点
(2)b节点在dfs树中是a的子树中的节点 low[b]>=dfn[a] 则说明a是割点
证明(1)
a为根节点 则low[a]=dfn[a]=1 假设b是其子树中的节点 则必有low[b]>=dfn[a] 则条件2必成立 则说明当a点为dfs树中的根节点时,条件2失去了其判断作用 当要判断的点为dfs树的根节点时 条件2无法判断
根节点是否是割点 所以应特殊情况特殊分析 这里写图片描述
a是dfs树中的根节点 b和c分别是a的子树 则如果当通过a对b进行dfs后
没有访问到c则说明b和c之间没有任何直接连通的路径 则a为割点
也就是说当在dfs树中a的子树超过1则说明a为割点
证明(2)
a为非叶节点非根节点时 当b为a中的子树中的节点时 如果a是割点则说明 b必须通过a才可以和a的父节点 或者a的兄弟节点连通 则b能够追溯到则最早的节点即low[b]>=dfn[a]这里写图片描述
代码如下:


#include <iostream>
#include <string>
#include <sstream>
#include <stdio.h>
using namespace std;
const int maxn=50;
int vis[maxn];//dfs时的访问数组
int dfn[maxn];//dfs中的访问时间
int low[maxn];//节点所能追溯到的最早的祖先节点
int flag[maxn];//记录顶点是否为割点的标志
int time;
 struct edge
 {
     int adjv;
     struct  edge *next;
 };
 struct vertex
 {
     int vex_id;
     struct edge *first;
 };
 struct graph
 {
     int vex_num;
     struct vertex vex[maxn];
 }mg;
 void readgraph()
 {
      string s;
    int temp;
     cout<<"please input the number of vertexs :"<<endl;
     cin>>mg.vex_num;
    getchar();
     for(int i=1;i<=mg.vex_num;i++)//初始化节点
     {
         mg.vex[i].first=NULL;
         mg.vex[i].vex_id=i;
     }
     for(int i=1;i<=mg.vex_num;i++)//输入每个节点的连接节点
     {
         cout<<"please input the "<<i<<" vertex's edge "<<endl;

         getline(cin,s);
         istringstream mystream(s);
         while(mystream>>temp)
         {
             struct edge* tempedge=new edge;
             tempedge->adjv=temp;
             tempedge->next=mg.vex[i].first;
             mg.vex[i].first=tempedge;
         }

     }
 }
 void init()
 {
     for(int i=0;i<maxn;i++)//清空访问数组  割点标志
     {
         low[i]=dfn[i]=vis[i]=flag[i]=0;
     }
     time=0;//时间清零
 }
 void tarjan(int fa,int p)
 {
     int count=0;//计数子树的个数
     int minlow=0;//在叶节点的情况下minlow不会更新 赋值为0不会误认为是割点
     bool myflag=false;
     time++;
     low[p]=dfn[p]=time;
     vis[p]=1;
     for(struct edge *temp=mg.vex[p].first;temp;temp=temp->next)
     {
         int adjid=temp->adjv;
         if(!vis[adjid])//相连的顶点没有被访问
         {
             tarjan(p,adjid);
             count++;
             if(low[p]>low[adjid])
                 low[p]=low[adjid];

         }
         else if(adjid!=fa&&dfn[adjid]<low[p])
             low[p]=dfn[adjid];
         if(adjid!=fa&&!myflag)
         {
             minlow=low[adjid];
             myflag=true;
         }
         if(adjid!=fa&&myflag&&minlow>low[adjid])
             minlow=low[adjid];

     }
     if(!fa&&count>1)//如果是根节点 且子树的个数大于1则是割点
         flag[p]=1;
     if(fa&&minlow>=dfn[p])
         flag[p]=1;
 }
 int main(int argc,char *argv[])
{
    readgraph();
    init();
    tarjan(0,1);
    for(int i=1;i<=mg.vex_num;i++)
        if(flag[i]==1)
            cout<<i;
    cout<<endl;
    while(1);
    return  0;
}
  • 0
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

hebastast

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值