zoj2588—Burning Bridges (割边的求解)

本文介绍了一种用于检测无向图中割边的算法,并提供了一个完整的C++实现示例。该算法基于深度优先搜索(DFS),能够找出在保证连通性的前提下不会被移除的关键桥梁。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

题目链接:传送门

Ferry Kingdom is a nice little country located on N islands that are connected by M bridges. All bridges are very beautiful and are loved by everyone in the kingdom. Of course, the system of bridges is designed in such a way that one can get from any island to any other one.

But recently the great sorrow has come to the kingdom. Ferry Kingdom was conquered by the armies of the great warrior Jordan and he has decided to burn all the bridges that connected the islands. This was a very cruel decision, but the wizards of Jordan have advised him no to do so, because after that his own armies would not be able to get from one island to another. So Jordan decided to burn as many bridges as possible so that is was still possible for his armies to get from any island to any other one.

Now the poor people of Ferry Kingdom wonder what bridges will be burned. Of course, they cannot learn that, because the list of bridges to be burned is kept in great secret. However, one old man said that you can help them to find the set of bridges that certainly will not be burned.

So they came to you and asked for help. Can you do that?


Input

The input contains multiple test cases. The first line of the input is a single integer T (1 <= T <= 20) which is the number of test cases. T test cases follow, each preceded by a single blank line.

The first line of each case contains N and M - the number of islands and bridges in Ferry Kingdom respectively (2 <= N <= 10 000, 1 <= M <= 100 000). Next M lines contain two different integer numbers each and describe bridges. Note that there can be several bridges between a pair of islands.


<p< dd="">
Output

On the first line of each case print K - the number of bridges that will certainly not be burned. On the second line print K integers - the numbers of these bridges. Bridges are numbered starting from one, as they are given in the input.

Two consecutive cases should be separated by a single blank line. No blank line should be produced after the last test case.


<p< dd="">
Sample Input

2

6 7
1 2
2 3
2 4
5 4
1 3
4 5
3 6

10 16
2 6
3 7
6 5
5 9
5 4
1 2
9 8
6 4
2 10
3 8
7 9
1 4
2 4
10 5
1 6
6 10

<p< dd="">
Sample Output

2
3 7

1
4 



解题思路:和割点的解法差不多,只是割边的判断条件改为—当(u,v)为生成树的边,且满足dfn[u]<low[v]时(u,v)时割边


#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
#include <string>
#include <stack>
#include <queue>
#include <set>
#include <map>

using namespace std;

typedef long long ll;
typedef pair<int,int>PA;
const int N = 100900;
const int M = 10900;
const int INF = 0x3fffffff;
const double eps = 1e-8;
const double PI = acos(-1.0);

//dfn[u]是深度优先搜索树节点u的优先级
//low[u]是从u或者u的子孙出发通过回边可以到达的最低深度优先数
//low[u] = min{ dfn[u] ,
//              min{ low[w] | w是u的一个子女 } ,
//              min{ dfn[v] | v与u邻接,且(u,v)是一条回边} }

/*
    割边的判断:
    无向图中的一条边(u,v)是割边,当且仅当(u,v)是生成树种的边,且满足dfn[u]<low[v]

    割边的求解与割点的求解类似
*/

//向下搜索时,如果顶点v是u的相邻顶点,若v还未被访问,则v是u的儿子节点
//若v被访问了,则v是u的祖先节点,且(u,v)是一条回边

struct Edge{
    int node;
    Edge*next;
}m_edge[N*2];
Edge*head[M];
int low[M],dfn[M],Flag[M],Ecnt,cnt;
vector<PA>st;

void init()
{
    Ecnt = cnt = 0;
    fill( Flag , Flag+M , 0 );
    fill( head , head+M , (Edge*)0 );
}

void mkEdge( int a , int b )
{
    m_edge[Ecnt].node = b;
    m_edge[Ecnt].next = head[a];
    head[a] = m_edge+Ecnt++;
}

void tarjan( int u , int father )
{
    Flag[u] = 1;
    low[u] = dfn[u] = cnt++;
    for( Edge*p = head[u] ; p ; p = p->next ){
        int v = p->node;
        if( !Flag[v] ){
            tarjan(v,u);
            low[u] = min(low[u],low[v]);
            //判断(u,v)是否是割边
            if( low[v] > dfn[u] ){
                st.push_back(PA(u,v));
            }
        }
        //v是u的祖先,且(u,v)是一条回边
        if( v != father && Flag[v] )
            low[u] = min(low[u],dfn[v]);
    }
}

map<PA,int>mp;

void Build( int m )
{
    int a,b,num = 0;
    for( int i = 0 ; i < m ; ++i ){
        scanf("%d%d",&a,&b);
        if( mp[PA(a,b)] != 0 ){
            //将重边标记为无穷大,重边不可能是割边
            mp[PA(a,b)] = INF;
            mp[PA(b,a)] = INF;
            num += 2;
        }else{
            mp[PA(a,b)] = (++num);
            mp[PA(b,a)] = (++num);
            mkEdge(a,b);
            mkEdge(b,a);
        }
    }
}

int main()
{
    int T,cas = 0;
    scanf("%d",&T);
    while( T-- ){
        init();
        if( !mp.empty() ) mp.clear();
        while( !st.empty() ) st.pop_back();
        int n,m;
        scanf("%d%d",&n,&m);
        Build(m);
        tarjan(1,-1);
        int rec[N],Count = 0;
        for( int i = 0 ; i < st.size() ; ++i ){
            int s = mp[st[i]];
            //重边不可能是割边
            if( s != INF ) rec[Count++] = (s+1)/2;
        }
        if( cas != 0 ) printf("\n");
        printf("%d\n",Count);
        if( Count > 0 ){
            sort( rec , rec+Count );
            printf("%d",rec[0]);
            for( int i = 1 ; i < Count ; ++i ){
                printf(" %d",rec[i]);
            }
            printf("\n");
        }
        ++cas;
    }
    return 0;
}



评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值