码迷,mamicode.com
首页 > 其他好文 > 详细

UVA - 796 Critical Links (tarjan,无向图桥)

时间:2019-08-07 18:55:06      阅读:104      评论:0      收藏:0      [点我收藏+]

标签:memset   思路   bsp   main   space   无向图   std   ack   stream   

题意:给出一个无向图,然后你要输升序输出该图中 所有的桥。

思路:使用tarjan对桥的求法性质:

当且仅当无向边(u,v)为树枝的时候,需要满足dfn(u)<low(v),也就是v向上翻不到u及其以上的点,那么u-v之间一定能够有1条或者多条边不能删去,因为他们之间有一部分无环,是桥。            

如果v能上翻到u那么u-v就是一个环,删除其中一条路径后,能然是连通的。所以最总就是使用low(v)>dfn(u)来判断是否为桥

完整代码:

#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <vector>
#include <stack>
using namespace std;
typedef long long LL;
const double eps = 1e-8;
const int inf = 0x3f3f3f3f;const int maxn = 1e3+10;
const int max_edge = 1e6+5;
struct Edge
{
    int to, next;
    bool cut;
}edge[max_edge];
int tot, head[maxn];
int id, dfn[maxn], low[maxn];
int num;
void addedge(int u, int v)
{
    edge[tot].to = v;
    edge[tot].next = head[u];
    edge[tot].cut = false;
    head[u] = tot++;
}
//tarjan的割边求法 
void tarjan(int u, int f)
{
    //时间戳更新 
    dfn[u] = low[u] = ++id;
    for(int i = head[u]; i!=-1; i = edge[i].next)
    {
        int v = edge[i].to;
        if(v == f) continue;
        //深搜已经更新low值 
        if(!dfn[v])
        {
            tarjan(v, u);
            low[u] = min(low[u], low[v]);
            //tarjan算法割边确定的结论low[v]>dfn[u](桥>,割点>=) 
            if(low[v]>dfn[u])
            {
         //由于无向图边是连着存的,所以就用 ^ 得到所用有向边代替的另一个边 (0^1=1, 1^1=0),网上看到大佬的写法
         //当然我们也可以使用 奇数向下取偶,偶数向上取奇 
edge[i].cut
= edge[i^1].cut = true; num++; } } else low[u] = min(low[u], dfn[v]); } } void init() { id = num = tot = 0; memset(head, -1, sizeof(head)); memset(dfn, 0, sizeof(dfn)); memset(low, 0, sizeof(low)); } int main() { int n; while(~scanf("%d", &n)) { init(); int u, m, v; for(int i = 1; i<=n; i++) { scanf("%d (%d)", &u, &m); for(int j = 1; j<=m; j++) { scanf("%d", &v); addedge(u, v); addedge(v, u); } } for(int i = 0; i<n; i++) if(!dfn[i]) tarjan(i, i); vector<pair<int, int> >a; for(int u = 0; u<n; u++) for(int i = head[u]; i!=-1; i = edge[i].next) { //按升序排列 if(edge[i].cut && u < edge[i].to) a.push_back(make_pair(u, edge[i].to)); } sort(a.begin(), a.end()); printf("%d critical links\n", num); for(int i = 0; i<a.size(); i++) printf("%d - %d\n", a[i].first, a[i].second); printf("\n"); } }

 

UVA - 796 Critical Links (tarjan,无向图桥)

标签:memset   思路   bsp   main   space   无向图   std   ack   stream   

原文地址:https://www.cnblogs.com/Tianwell/p/11317010.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!