【NOI2014】【BZOJ3669】【UOJ#3】魔法森林

我学会lct辣

原题：

为了得到书法大家的真传，小E同学下定决心去拜访住在魔法森林中的隐士。魔法森林可以被看成一个包含个N节点M条边的无向图，节点标号为 1…n1…n，边标号为1…m1…m。初始时小E同学在 11 号节点，隐士则住在 nn 号节点。小E需要通过这一片魔法森林，才能够拜访到隐士。

魔法森林中居住了一些妖怪。每当有人经过一条边的时候，这条边上的妖怪就会对其发起攻击。幸运的是，在 11 号节点住着两种守护精灵：A型守护精灵与B型守护精灵。小E可以借助它们的力量，达到自己的目的。

只要小E带上足够多的守护精灵，妖怪们就不会发起攻击了。具体来说，无向图中的每一条边 eiei 包含两个权值 aiai 与 bibi。若身上携带的A型守护精灵个数不少于 aiai，且B型守护精灵个数不少于 bibi，这条边上的妖怪就不会对通过这条边的人发起攻击。当且仅当通过这片魔法森林的过程中没有任意一条边的妖怪向小E发起攻击，他才能成功找到隐士。

由于携带守护精灵是一件非常麻烦的事，小E想要知道，要能够成功拜访到隐士，最少需要携带守护精灵的总个数。守护精灵的总个数为A型守护精灵的个数与B型守护精灵的个数之和。

2≤n≤50000

0≤m≤100000

恩很简单（然而我并没有想到。。。。。。。。。。。。。。。。。。。。。。。

模板题

给a排个序，然后加边，如果x到y路径上的b大于这个边的b就删掉最大边插入当前边，注意如果两点不连通直接加边

每次加边后如果1和n联通答案就与当前边的a和1到n最大的b更新

正确性不显然，对于一条边，如果这条边算在答案内，因为a是增序的所以这条边的a一定是最大的a，最大的b则由查询得出，如果不在答案内，那么当前状态的最优值过去一定统计到答案过

不存在以前的更小的a和现在的更小的b组成更优路径的情况，为什么参考上面的话

1A真开心

代码：

 #include<iostream>
 #include<cstdio>
 #include<algorithm>
 #include<cstring>
 #include<cmath>
 using namespace std;
 const int inf=(int)1e9;
 inline int rd(){int z=;  char ch=getchar();
     while(ch<''||ch>'')  ch=getchar();
     while(ch>=''&&ch<=''){  z=(z<<)+(z<<)+ch-'';  ch=getchar();}
     return z;
 }
 struct nds{int x,y,a,b;}e[];
 int n,m;
 int fth[],chd[][],v[],w[],rvs[];
 int stck[],tp=;
 int ans=inf;
 inline bool isrt(int x){  return (chd[fth[x]][]!=x)&(chd[fth[x]][]!=x);}
 inline void pshu(int x){
     w[x]=x;
     if(v[w[chd[x][]]]>v[w[x]])  w[x]=w[chd[x][]];
     if(v[w[chd[x][]]]>v[w[x]])  w[x]=w[chd[x][]];
 }
 inline void pshd(int x){
     if(!rvs[x])  return ;
     rvs[chd[x][]]^=,rvs[chd[x][]]^=,rvs[x]=;
     swap(chd[x][],chd[x][]);
 }
 inline void rtt(int x){
     int y=fth[x],z=fth[fth[x]],l,r;
     r=(chd[y][]==x);  l=r^;
     if(!isrt(y))  chd[z][chd[z][]==y]=x;
     fth[x]=z,fth[y]=x,fth[chd[x][r]]=y;
     chd[y][l]=chd[x][r],chd[x][r]=y;
     pshu(y),pshu(x);
 }
 inline  void sply(int x){
     stck[tp=]=x;
     for(int i=x;!isrt(i);i=fth[i])  stck[++tp]=fth[i];
     while(tp)  pshd(stck[tp--]);
     while(!isrt(x)){
         if(!isrt(fth[x]))  rtt((chd[fth[x]][]==x)^(chd[fth[fth[x]]][]==fth[x])?x:fth[x]);
         rtt(x);
     }
 }
 inline void accs(int x){  for(int i=;x;sply(x),chd[x][]=i,pshu(x),x=fth[i=x]);}
 inline void qdrt(int x){  accs(x),sply(x),rvs[x]^=;}
 inline void lk(int x,int y){  qdrt(x),fth[x]=y,sply(x);}
 inline void ct(int x,int y){  qdrt(x),accs(y),sply(y),fth[x]=chd[y][]=;}
 inline int gtrt(int x){  while(fth[x])  x=fth[x];  return x;}
 inline int qry(int x,int y){  qdrt(x),accs(y),sply(y);  return w[y];}
 bool cmp(nds x,nds y){  return x.a==y.a ? x.b<y.b : x.a<y.a;}
 int main(){//freopen("ddd.in","r",stdin);
     cin>>n>>m;
     for(int i=;i<=m;++i)  e[i].x=rd(),e[i].y=rd(),e[i].a=rd(),e[i].b=rd();
     sort(e+,e+m+,cmp);
     for(int i=;i<=m;++i){
         if(gtrt(e[i].x)!=gtrt(e[i].y))  lk(e[i].x,i+n),lk(e[i].y,i+n),v[i+n]=e[i].b,w[i+n]=i+n;
         else{
             int tmp=qry(e[i].x,e[i].y);
             if(v[tmp]>e[i].b){
                 ct(e[tmp-n].x,tmp),ct(e[tmp-n].y,tmp);
                 lk(e[i].x,i+n),lk(e[i].y,i+n),v[i+n]=e[i].b,w[i+n]=i+n;
             }
         }
         if(gtrt()==gtrt(n))  ans=min(ans,e[i].a+v[qry(,n)]);
     }
     cout<<(ans==inf ? - : ans)<<endl;
     return ;
 }