[CF160D]Edges in MST

题目大意:

一个\(n(n\le10^5)\)个点,\(m(m\le10^5)\)条边的连通图。对于图中的每条边,判断它与该图最小生成树的关系:

  1. 在该图所有的最小生成树中;
  2. 在该图至少一个最小生成树中;
  3. 不在该图的任何一个最小生成树中。

思路:

首先用Kruskal求出该图其中一个最小生成树。枚举每一条不在树内的边,考虑在生成树上加入这条边所构成的环。若环上有权值与该边相同的边,则这些边都是可以互相替换的,都属于第\(2\)类关系。若环上所有边的权值都比该边小,则说明包含该边的生成树不是最小的,属于第\(3\)类关系。判断完所有的\(2\)、\(3\)类关系后,生成树中剩下的边即为\(1\)类边。显然加入非树边时,环上不存在权值大于该非树边的边,否则与最小生成树矛盾。因此可以考虑使用树链剖分和线段树维护最大值。时间复杂度\(\mathcal O((n+m)\log n)\)。

源代码:

#include<cstdio>
#include<cctype>
#include<numeric>
#include<algorithm>
#include<forward_list>
inline int getint() {
register char ch;
while(!isdigit(ch=getchar()));
register int x=ch^'0';
while(isdigit(ch=getchar())) x=(((x<<2)+x)<<1)+(ch^'0');
return x;
}
constexpr int N=1e5+1,M=1e5;
struct Edge {
int u,v,w,id;
bool operator < (const Edge &rhs) const {
return w<rhs.w;
}
};
Edge edge[M];
struct Edge2 {
int to,w,id;
};
std::forward_list<Edge2> e[N];
inline void add_edge(const int &u,const int &v,const int &w,const int &id) {
e[u].emplace_front((Edge2){v,w,id});
e[v].emplace_front((Edge2){u,w,id});
}
class DisjointSet {
private:
int anc[N];
int find(const int &x) {
return x==anc[x]?x:anc[x]=find(anc[x]);
}
public:
void reset(const int &n) {
std::iota(&anc[1],&anc[n]+1,1);
}
void merge(const int &x,const int &y) {
anc[find(x)]=find(y);
}
bool same(const int &x,const int &y) {
return find(x)==find(y);
}
};
DisjointSet s;
bool vis[M];
int par[N],dep[N],top[N],son[N],size[N],dfn[N],eid[N],w[N];
void dfs1(const int &x,const int &par) {
size[x]=1;
::par[x]=par;
dep[x]=dep[par]+1;
for(auto &j:e[x]) {
const int &y=j.to;
if(y==par) continue;
dfs1(y,x);
size[x]+=size[y];
if(size[y]>size[son[x]]) {
son[x]=y;
}
}
}
void dfs2(const int &x,const int &id,const int &w) {
dfn[x]=++dfn[0];
eid[dfn[x]]=id;
::w[dfn[x]]=w;
top[x]=x==son[par[x]]?top[par[x]]:x;
for(auto &j:e[x]) {
const int &y=j.to;
if(y==son[x]) {
dfs2(y,j.id,j.w);
}
}
for(auto &j:e[x]) {
const int &y=j.to;
if(y==par[x]||y==son[x]) continue;
dfs2(y,j.id,j.w);
}
}
int type[M];
class SegmentTree {
#define _left <<1
#define _right <<1|1
private:
int max[N<<2],tag[N<<2];
void push_up(const int &p) {
max[p]=std::max(max[p _left],max[p _right]);
}
void push_down(const int &p) {
if(!tag[p]) return;
if(max[p _left]==max[p]) tag[p _left]=tag[p];
if(max[p _right]==max[p]) tag[p _right]=tag[p];
tag[p]=0;
}
public:
void build(const int &p,const int &b,const int &e) {
if(b==e) {
max[p]=w[b];
return;
}
const int mid=(b+e)>>1;
build(p _left,b,mid);
build(p _right,mid+1,e);
push_up(p);
}
int query(const int &p,const int &b,const int &e,const int &l,const int &r) {
if(b==l&&e==r) return max[p];
const int mid=(b+e)>>1;
int ret=0;
if(l<=mid) ret=std::max(ret,query(p _left,b,mid,l,std::min(mid,r)));
if(r>mid) ret=std::max(ret,query(p _right,mid+1,e,std::max(mid+1,l),r));
return ret;
}
void mark(const int &p,const int &b,const int &e,const int &l,const int &r,const int &w,const int &t) {
if(b==l&&e==r&&max[p]==w) {
tag[p]=t;
return;
}
push_down(p);
const int mid=(b+e)>>1;
if(l<=mid&&max[p _left]>=w) mark(p _left,b,mid,l,std::min(mid,r),w,t);
if(r>mid&&max[p _right]>=w) mark(p _right,mid+1,e,std::max(mid+1,l),r,w,t);
}
void stat(const int &p,const int &b,const int &e) {
if(b==e) {
type[eid[b]]=tag[p];
return;
}
push_down(p);
const int mid=(b+e)>>1;
stat(p _left,b,mid);
stat(p _right,mid+1,e);
}
#undef _left
#undef _right
};
SegmentTree t;
inline int get_max(int x,int y) {
int max=0;
while(top[x]!=top[y]) {
if(dep[top[x]]<dep[top[y]]) std::swap(x,y);
max=std::max(max,t.query(1,2,dfn[0],dfn[top[x]],dfn[x]));
x=par[top[x]];
}
if(x==y) return max;
if(dep[x]<dep[y]) std::swap(x,y);
max=std::max(max,t.query(1,2,dfn[0],dfn[y]+1,dfn[x]));
return max;
}
inline void mark(int x,int y,const int &w,const int &tag) {
while(top[x]!=top[y]) {
if(dep[top[x]]<dep[top[y]]) std::swap(x,y);
t.mark(1,2,dfn[0],dfn[top[x]],dfn[x],w,tag);
x=par[top[x]];
}
if(x==y) return;
if(dep[x]<dep[y]) std::swap(x,y);
t.mark(1,2,dfn[0],dfn[y]+1,dfn[x],w,tag);
}
int main() {
const int n=getint(),m=getint();
for(register int i=0;i<m;i++) {
const int u=getint(),v=getint(),w=getint();
edge[i]={u,v,w,i};
}
std::sort(&edge[0],&edge[m]);
s.reset(n);
for(register int i=0;i<m;i++) {
const int &u=edge[i].u,&v=edge[i].v,&w=edge[i].w,&id=edge[i].id;
if(!s.same(u,v)) {
vis[i]=true;
add_edge(u,v,w,id);
s.merge(u,v);
}
}
dfs1(1,0);
dfs2(1,0,0);
t.build(1,2,n);
for(register int i=0;i<m;i++) {
if(vis[i]) continue;
const int &u=edge[i].u,&v=edge[i].v,&w=edge[i].w,&id=edge[i].id;
const int max=get_max(u,v);
if(w>max) type[id]=2;
if(w==max) {
type[id]=1;
mark(u,v,w,1);
}
}
t.stat(1,2,n);
for(register int i=0;i<m;i++) {
if(type[i]==0) puts("any");
if(type[i]==1) puts("at least one");
if(type[i]==2) puts("none");
}
return 0;
}

[CF160D]Edges in MST的更多相关文章

  1. [CF160D]Edges in MST (最小生成树+LCA+差分)

    待填坑 Code //CF160D Edges in MST //Apr,4th,2018 //树上差分+LCA+MST #include<cstdio> #include<iost ...

  2. Codeforces 160D Edges in MST tarjan找桥

    Edges in MST 在用克鲁斯卡尔求MST的时候, 每个权值的边分为一类, 然后将每类的图建出来, 那些桥就是必须有的, 不是桥就不是必须有. #include<bits/stdc++.h ...

  3. Codeforces 160 D. Edges in MST

    \(>Codeforces \space 160 D. Edges in MST<\) 题目大意 : 给出一张带权无向图,求对于这张图上的每一条边,其是必然存在于每一种最小生成树中,还是至 ...

  4. CF 160D Edges in MST 最小生成树的性质,寻桥,缩点,批量处理 难度:3

    http://codeforces.com/problemset/problem/160/D 这道题要求哪条边存在于某个最小生成树中,哪条边不存在于最小生成树中,哪条边绝对存在于最小生成树中 明显桥边 ...

  5. D. Edges in MST 图论

    http://codeforces.com/contest/160/problem/D base on 克鲁斯卡尔, 首先每次都是对权值相同的边进行统一处理,假如加入了当前这条边出现了回路,那就能确定 ...

  6. Codeforces Round #111 (Div. 2)

    Codeforces Round #111 (Div. 2) C. Find Pair 题意 给\(N(N \le 10^5)\)个数,在所有\(N^2\)对数中求第\(K(K \le N^2)\)对 ...

  7. 算法8-4:Kruskal算法

    Kruskal算法用于计算一个图的最小生成树.这个算法的过程例如以下: 依照边的权重从小到达进行排序 依次将每条边添加到最小生成树中,除非这条边会造成回路 实现思路 第一个步骤须要对边进行排序,排序方 ...

  8. 《算法》第四章部分程序 part 15

    ▶ 书中第四章部分程序,包括在加上自己补充的代码,Kruskal 算法和 Boruvka 算法求最小生成树 ● Kruskal 算法求最小生成树 package package01; import e ...

  9. 《算法》第四章部分程序 part 14

    ▶ 书中第四章部分程序,包括在加上自己补充的代码,两种 Prim 算法求最小生成树 ● 简单 Prim 算法求最小生成树 package package01; import edu.princeton ...

随机推荐

  1. Codeforces Round #506 (Div. 3) 题解

    Codeforces Round #506 (Div. 3) 题目总链接:https://codeforces.com/contest/1029 A. Many Equal Substrings 题意 ...

  2. 单个回调函数中返回多个Request以及Item

    import scrapy from myproject.items import MyItem class MySpider(scrapy.Spider): name = 'example.com' ...

  3. Java Error: Failed to validate certificate. The application will not be executed

    Hi, last week a customer had the problem that he wants to connect to the administration interface of ...

  4. c++(类继承)示例[仅用于弱弱的博主巩固知识点用哦,不好勿喷]

    测试代码: Animals.h: #pragma once #include<string> class Animals { protected: std::string Food; in ...

  5. HTTP缓存原理

    http的缓存分为强制缓存和对比缓存,两者的区别在于,强制缓存只要设置的时间不过期,就可以直接拿去用,而不用向服务器再一次发送请求.而对比缓存不管缓存是否有效,都需要向服务器发送请求. 其过程如下: ...

  6. PHP等比例生成缩略图

    /** * 生成缩略图 * $imgSrc 图片源路径 * $resize_width 图片宽度 * $resize_height 图片高度 * $dstimg 缩略图路径 * $isCut 是否剪切 ...

  7. R的农场

    R的农场 题目描述 最近,R 终于获得了一片他梦寐以求的农场,但如此大的一片农场,想要做好防卫工作可不是一件容易的事.所以 R 购买了 N 个守卫,分别让他们站在一定的位置上(守卫不可移动,同一位置上 ...

  8. VS mfc MessageBox() 使用英文显示

    转载:http://blog.csdn.net/guoyk1990/article/details/44337249 由于特殊原因我们需要将 MessageBox 或 Dialog 的按钮“确定”.“ ...

  9. 【bzoj3924&&luogu3345】幻想乡战略游戏

    这题可以用线段树做,不过正解恐怕是动态点分治?(点分树) 简单介绍下动态点分治的概念:在点分治的过程中,一般我们面对的问题都是静态的.如果涉及到修改这类的操作,我们就希望找到我们是如何处理到当前的修改 ...

  10. js实现双指缩放图片 手机端双指缩放图片

    首先引入js文件,需要jq,pinchzoom.js.pinchzoom.js需要在jq环境下使用,可以 <meta name="viewport" content=&quo ...