Atcoder CODE FESTIVAL 2016 Final G - Zigzag MST[最小生成树]

题意：$n$个点，$q$次建边，每次建边选定$x,y$，权值$c$，然后接着$(y,x+1,c+1),(x+1,y+1,c+2),(y+1,x+2,c+3),(x+2,y+2,c+4)\dots$（画图理解），然后求最小生成树。

---

一开始想的是堆维护最小。。发现不行`````

这题是等效转化。回顾kruskal的过程，权值小的边被考虑过后对应的两个点一定是联通的。那么其实再考虑权值大的边的话，是可以改造的。当$(x,y)$被考虑过后，权值大的$(y,x+1)$其实就可以改成是$(x,x+1)$，都是等价的。$(x+1,y+1)$也可以改成是$(y,y+1)$。以此类推，就可以把除了起始状态的边以外的乱七八糟的连边全都搞到一个大环上，然后环上同一个相邻连边里取最小值，做Kruskal，一定是对的，这样一来因为边被搞少了很多，只有$O(n+q)$条边，就可以做kruskal了。

还有一个问题，每个点为起始点，往后相邻点连边，如果每次操作都绕环一圈更新每条边的min，显然T飞。又因为这是环状结构，所以直接找出最小的出发连边，这条边一定不会被后面的给更新掉，从她开始沿着环开始顺时针更新，一路上一遍做出发边前缀最小值一遍连边就可以了，这个要以$x$端点和$y$端点各做一次。

 #include<iostream>
 #include<cstdio>
 #include<cstring>
 #include<algorithm>
 #include<cmath>
 #include<queue>
 #define dbg(x) cerr << #x << " = " << x <<endl
 #define dbg2(x,y) cerr<< #x <<" = "<< x <<"  "<< #y <<" = "<< y <<endl
 using namespace std;
 typedef long long ll;
 typedef double db;
 typedef pair<int,int> pii;
 template<typename T>inline T _min(T A,T B){return A<B?A:B;}
 template<typename T>inline T _max(T A,T B){return A>B?A:B;}
 template<typename T>inline char MIN(T&A,T B){return A>B?(A=B,):;}
 template<typename T>inline char MAX(T&A,T B){return A<B?(A=B,):;}
 template<typename T>inline void _swap(T&A,T&B){A^=B^=A^=B;}
 template<typename T>inline T read(T&x){
     x=;int f=;char c;while(!isdigit(c=getchar()))if(c=='-')f=;
     while(isdigit(c))x=x*+(c&),c=getchar();return f?x=-x:x;
 }
 const int N=2e5+,INF=0x3f3f3f3f;
 int n,q,tot;
 struct thxorz{
     int u,v,w;
     thxorz(int u=,int v=,int w=):u(u),v(v),w(w){}
     inline bool operator <(const thxorz&A)const{return w<A.w;}
 }e[N<<];
 inline int adj(int x){return x==n?:(~x?x:n-);}
 int minv1[N],minv2[N],edge[N];
 int s,tmp,res;
 ll ans;
 int anc[N];
 inline int get_anc(int x){return anc[x]==x?x:anc[x]=get_anc(anc[x]);}
 inline void kruskal(){
     sort(e+,e+tot+);for(register int i=;i<n;++i)anc[i]=i;
     for(register int i=;i<=tot;++i)if(get_anc(e[i].u)^get_anc(e[i].v))anc[get_anc(e[i].u)]=get_anc(e[i].v),ans+=e[i].w;
 }

 int main(){//freopen("test.in","r",stdin);//freopen("test.ans","w",stdout);
     read(n),read(q);
     memset(minv1,0x3f,sizeof minv1),memset(minv2,0x3f,sizeof minv2),memset(edge,0x3f,sizeof edge);
     for(register int i=,x,y,c;i<=q;++i)read(x),read(y),read(c),MIN(minv1[x],c),MIN(minv2[y],c),e[++tot]=thxorz(x,y,c);
     tmp=INF;for(register int i=;i<n;++i)if(MIN(tmp,minv1[i]))s=i;tmp=INF;
     for(register int i=s,cnt=;cnt<=n;i=adj(i+),++cnt){if((tmp+=)>minv1[i]+)tmp=minv1[i]+;MIN(edge[i],tmp);}
     tmp=INF;for(register int i=;i<n;++i)if(MIN(tmp,minv2[i]))s=i;tmp=INF;
     for(register int i=s,cnt=;cnt<=n;i=adj(i+),++cnt){if((tmp+=)>minv2[i]+)tmp=minv2[i]+;MIN(edge[i],tmp);}
     for(register int i=;i<n;++i)e[++tot]=thxorz(i,adj(i+),edge[i]);
     kruskal();
     return printf("%lld\n",ans),;
 }

总结：等效转化的应用。当边如果某些方面连边有规律的时候，利用kruskal过程，把权值相对某些边大的，转化为方便处理/减少连边的方案。