zoukankan      html  css  js  c++  java
  • 关于有重边的强连通分量

    有向图的的情况比较简单只有一种强连通,重边和连向自己的边对于强连通都没有任何影响
    
    无向图的双连通要分点双连通(biconnected)和边双连通(edge_biconnected),连向自己的边对于俩种双连通也没有任何影响,但是重边对点双连通没有影响,但是对于边双连通有影响,因为在求边双连通时,要求对于任意俩点至少存在两条“边不重复”的路径,所以这个时候表示图我们不能用vector了,而是用邻接表,添加边的时候我们要一次添加正反俩条边,而且要相互可以索引查找,类似网络流里的反向弧,这样在我们dfs求割边时要以边的下标作为标记,在访问一了一条边时,要把这条边和其反向边同时标记为访问,最后对所有的边进行遍历,发现low[e.v] < pre[e.u]时,同样要把正反俩条边标记成割边,最后在不经过桥的情况下dfs求出边双连通分量即可
    struct EDGE
    {
    	int u, v;
    	int next;
    };
    
    int first[MAXN], rear;
    EDGE edge[MAXE];
    
    void init(int n)
    {
    	memset(first, -1, sizeof(first[0])*(n+1));
    	rear = 0;
    }
    
    void insert(int tu, int tv, int tw)
    {
    	edge[rear].u = tu;
    	edge[rear].v = tv;
    	edge[rear].next = first[tu];
    	first[tu] = rear++;
    	edge[rear].u = tv;
    	edge[rear].v = tu;
    	edge[rear].next = first[tv];
    	first[tv] = rear++;
    }
    
    struct FIND_BRIDGE
    {
    	int pre[MAXN], low[MAXN];
    	bool vis_e[MAXE];      //是否访问了边
    	bool is_bridge[MAXE];  //是否是桥
    	int dfs_clock;
    
    	void dfs(int cur)
    	{
    		pre[cur] = low[cur] = ++dfs_clock;
    		for(int i = first[cur]; ~i; i = edge[i].next)
    		{
    			int tv = edge[i].v;
    			if(!pre[tv])
    			{
    				vis_e[i] = vis_e[i^1] = true;
    				dfs(tv);
    				low[cur] = min(low[cur], low[tv]);
    				if(pre[cur] < low[tv]) is_bridge[i] = is_bridge[i^1] = true;
    			}
    			else
    				if(pre[tv] < pre[cur] && !vis_e[i])
    				{
    					vis_e[i] = vis_e[i^1] = true;
    					low[cur] = min(low[cur], pre[tv]);
    				}
    		}
    	}
    
    	void find_bridge(int n)
    	{
    		dfs_clock = 0;
    		memset(pre, 0, sizeof(pre[0])*(n+1));
    		memset(vis_e, 0, sizeof(vis_e[0])*rear);
    		memset(is_bridge, 0, sizeof(is_bridge[0])*rear);
    		for(int i = 1; i <= n; ++i)
    			if(!pre[i])
    				dfs(i);
    	}
    } fb;
    //接着在不经过桥的情况下dfs求出所有双强连通分量即可

  • 相关阅读:
    Struts2配置文件讲解
    分布式与集群的区别
    ANDROID中FRAGMENT的两种创建方式
    一个让echarts中国地图包含省市轮廓的技巧
    图解Spark API
    对NP问题的一点感想
    laravel框架容器管理的一些要点
    RedisRepository分享和纠错
    javascript中对数据文本格式化的思考
    LazyMan深入解析和实现
  • 原文地址:https://www.cnblogs.com/thefirstfeeling/p/4410697.html
Copyright © 2011-2022 走看看