前往小程序,Get更优阅读体验!
立即前往
首页
学习
活动
专区
工具
TVP
发布
社区首页 >专栏 >cf160D. Edges in MST(最小生成树 桥)

cf160D. Edges in MST(最小生成树 桥)

作者头像
attack
发布2018-10-25 14:50:08
6890
发布2018-10-25 14:50:08
举报
文章被收录于专栏:数据结构与算法

题意

题目链接

给出一棵树,确定每条边状态: 一定在MST上 / 可能在MST上 / 不可能在MST上

\(n \leqslant 10^5, m \leqslant 10^5\)

Sol

MST表示最小生成树

表示只能想到\(nlog^2n\)的做法:先求出MST。然后枚举剩下的边,如果权值出现在形成的环上,那么该边和MST上的边都是可能出现,如果权值大于环上最大值,那么该边不可能在MST上。没有被标记过的边一定在MST上。

树剖+主席树维护一下。。

标算好神仙啊。

结论:将任意两个MST上的边排序后,得到的序列是相同的

自己xjbYY的证明:

反证法。

若不满足条件,则两个序列中一定存在四个位置

\(x_1, y_1\)

\(x_2, y_2\)

满足\(x_1 < x_2\)且\(y_1 > y_2\)。(如果只有一个不同的话权值大的不会成为MST)

那么把\(x_1\)加入到第二个MST中,同时删去环上最大的边,会得到一个权值更小的MST。

哎,自己还想到这里了,不过立马就否决了。。

首先排序,对权值相同的边一起考虑。如果当前边所连的联通块已经被合并,那么该边一定不在MST上。这样就解决了第三种情况

考虑剩下的边,要么一定在MST上,要么可能在MST上。

如果一定在MST上,显然断开它之后会形成两个联通块。这与“桥”的定义相同!所以tarjan一遍求出所有桥就行了。

如果每次都tarjan的话显然会T飞,因此我们把在一个联通块内的点缩起来就行了

代码语言:javascript
复制
#include<bits/stdc++.h>
#define Pair pair<int, int>
#define MP(x, y) make_pair(x, y)
#define fi first
#define se second
using namespace std;
const int MAXN = 2e5 + 10;
inline int read() {
    char c = getchar(); int x = 0, f = 1;
    while(c < '0' || c > '9') {if(c == '-') f = -1; c = getchar();}
    while(c >= '0' && c <= '9') x = x * 10 + c - '0', c = getchar();
    return x * f;
}
int N, M;
vector<Pair> v[MAXN];
struct Edge {
    int u, v, w, f, id;
    bool operator < (const Edge &rhs) const {
        return w < rhs.w;
    }
}E[MAXN];
int dfn[MAXN], low[MAXN], tot, fa[MAXN], ans[MAXN];
void tarjan(int x, int fa) {//这里的fa表示边的编号
    dfn[x] = low[x] = ++tot;
    for(int i = 0, to, id; i < v[x].size(); i++) {
        if((id = v[x][i].se) == fa) continue;
        to = v[x][i].fi;
        if(!dfn[to]) {
            tarjan(to, id), low[x] = min(low[x], low[to]);
            if(low[to] > dfn[x]) E[id].f = 2;
        }
        else low[x] = min(low[x], dfn[to]);
    }
}

int find(int x) {
    return x == fa[x] ? fa[x] : fa[x] = find(fa[x]);
}

int main() {
    N = read(), M = read();
    for(int i = 1; i <= N; i++) fa[i] = i;
    for(int i = 1; i <= M; i++) {
        int x = read(), y = read(), z = read();
        E[i] = (Edge) {x, y, z, 0, i};
    }
    sort(E + 1, E + M + 1);
    int nxt;
    for(int i = 1; i <= M; i = nxt + 1) {
        nxt = i + 1;
        for(; E[i].w == E[nxt].w; nxt++); nxt--;
        for(int j = i; j <= nxt; j++) {
            int x = find(E[j].u), y = find(E[j].v);
            if(x == y) continue;
            v[x].push_back(MP(y, j));
            v[y].push_back(MP(x, j)); 
            E[j].f = 1;//maybe
        }
        for(int j = i; j <= nxt; j++) {
            int x = find(E[j].u), y = find(E[j].v);
            if(x == y || dfn[x]) continue;
            tarjan(x, -1);
        }
        for(int j = i; j <= nxt; j++) {
            int x = find(E[j].u), y = find(E[j].v);
            if(x == y) continue;
            v[x].clear(); v[y].clear();
            dfn[x] = 0; dfn[y] = 0;
            fa[x] = y;
        }
    }
    for(int i = 1; i <= M; i++) ans[E[i].id] = E[i].f;
    for(int i = 1; i <= M; i++) {
        if(ans[i] == 0) puts("none");
        else if(ans[i] == 1) puts("at least one");
        else puts("any");
    }
    return 0;
}
/*

*/
本文参与 腾讯云自媒体同步曝光计划,分享自作者个人站点/博客。
原始发表:2018-10-17 ,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • 题意
  • Sol
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档