【最小生成树】CF160D最小生成树中的边

题目描述

给你一个n(n<=10^5)个点, m条边(n-1<=m <= min(10^5, n*(n-1)/2))的无向连通图(任何两个点之间只有一条边)。给出每条边的两个端点和对应的权值。对于图中的每一条边，判断
(1)存在于任何一颗最小生成树中 any
(2)至少存在于某一颗最小生成树中 at least one
(3)不存在任何一棵最小生成树中 none

---

分析

其实这道题是kruskal算法的一个拓展应用。
首先，我们仍然按边权排序，对于每一个边权相等的边，我们统一考虑。
在已经加入了所有合法的，边权较小的边所形成的图中，如果目前这条边仍然能加入图（两端点不在一个并查集），就说明至少存在一种方案，使得这条边属于一棵最小生成树，否则就不存在于任何最小生成树中。

接下来就是区分any和at least one这两者。
其实也很简单，如果在所有边权小于等于某条边形成的图里面，这条边是一条割边，那么就是any，否则就是at least one

每次处理完权值相等的一个边集后，在图中按双联通缩点，这样就保证了算法的效率。

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<queue>
#include<vector>
#define SF scanf
#define PF printf
void Read(int &x){
    x=0;
    char c;
    bool flag=0;
    while(c=getchar(),c!=EOF&&(c<'0'||c>'9')&&c!='-');
    if(c=='-'){flag=1;c=getchar();}
    x=c-'0';
    while(c=getchar(),c!=EOF&&c>='0'&&c<='9') x=x*10+c-'0';
    if(flag==1)x=-x;
}

#define MAXN 100010
using namespace std;
struct node{
    int u,v,val,id;
    node(int uu,int vv,int val1,int id1):u(uu),v(vv),val(val1),id(id1) {}
    node(){}
    bool operator < (const node a) const {
        return a.val>val;
    }
}l[MAXN];
int n,m,cnt;
int fa[MAXN],dfn[MAXN],low[MAXN],vis[MAXN],ans[MAXN],st[MAXN];
vector<int> a[MAXN],w[MAXN];
void add(int x,int y,int id){
    a[x].push_back(y);
    a[y].push_back(x);
    w[x].push_back(id);
    w[y].push_back(id);
}
int get_fa(int x){
    if(fa[x]==0)
        return x;
    fa[x]=get_fa(fa[x]);
    return fa[x];
}
void dfs(int x,int f){
    //PF("(%d %d)\n",x,f);
    low[x]=dfn[x]=++cnt;
    vis[x]=1;
    for(int i=0;i<a[x].size();i++){
        if(w[x][i]==f)
            continue;
        if(vis[a[x][i]]!=1){
            dfs(a[x][i],w[x][i]);
            low[x]=min(low[x],low[a[x][i]]);
            if(low[a[x][i]]>dfn[x])
                ans[w[x][i]]=1;
        }
        else
            low[x]=min(low[x],dfn[a[x][i]]);
    }
    vis[x]=2;
}
int main(){
    Read(n),Read(m);
    int x,y,z;
    for(int i=1;i<=m;i++){
        Read(x),Read(y),Read(z);
        l[i]=node(x,y,z,i);
    }
    sort(l+1,l+1+m);
    for(int i=1;i<=m;){
        int s=i;
        cnt=0;
        while(l[i].val==l[s].val&&i<=m)
            i++;
        for(int j=s;j<i;j++){
            int x=get_fa(l[j].u);
            int y=get_fa(l[j].v);
            if(x==y)
                continue;
            ans[l[j].id]=2;
            add(x,y,l[j].id);
            st[j]=x;
        }
        for(int j=s;j<i;j++)
            if(st[j]!=0&&vis[st[j]]==0)
                dfs(st[j],-1);
        for(int j=s;j<i;j++){
            int x=get_fa(l[j].u);
            int y=get_fa(l[j].v);
            if(x==y)
                continue;
            vis[x]=0;
            a[x].clear();
            w[x].clear();
            fa[y]=x;
        }
        /*for(int i=1;i<=n;i++)
            PF("(%d->%d)",vis[i],get_fa(i));
        PF("\n");*/
    }
    for(int i=1;i<=m;i++){
        if(ans[i]==0)
            PF("none\n");
        else if(ans[i]==1)
            PF("any\n");
        else
            PF("at least one\n");
    }
}