P2387 [NOI2014]魔法森林

传送门

如果一条边只要考虑 $a$ 的限制，那么显然最小生成树

但是现在有 $a,b$ 两个限制，所以考虑按 $a$ 从小到大枚举边，动态维护 $b$ 的最小生成树

考虑新加入的一条边 $x,y$ ，如果 $x,y$ 不在一颗树上显然直接加入，如果在一棵树上，考虑原本树上 $x$ 到 $y$ 的路径上 $b$ 最大的边

如果比当前边大，那么就把原本那条边从最小生成树上删除，把新的边加进去

答案就在每次加边时更新就好了

这个东西显然直接 $LCT$ 维护，为了维护边权所以要把边权也看成点

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cmath>
#include<cstring>
#include<vector>
using namespace std;
typedef long long ll;
inline int read()
{
    int x=,f=; char ch=getchar();
    while(ch<''||ch>'') { if(ch=='-') f=-; ch=getchar(); }
    while(ch>=''&&ch<='') { x=(x<<)+(x<<)+(ch^); ch=getchar(); }
    return x*f;
}
const int N=4e5+,INF=1e9+;
int n,m,ANS=INF;
struct dat{
    int x,y,a,b;
    inline bool operator < (const dat &tmp) const {
        return a<tmp.a;
    }
}d[N];
int c[N][],fa[N],t[N],val[N];
//把边化成点后,t维护点权最大的点的编号，val[x]存点x的b值
//边的编号为n+1到n+m
bool rev[N];
inline void pushdown(int x)
{
    if(!rev[x]||!x) return;
    int &lc=c[x][],&rc=c[x][];
    rev[x]=; swap(lc,rc);
    if(lc) rev[lc]^=;
    if(rc) rev[rc]^=;
}
inline void rever(int x) { rev[x]^=; pushdown(x); }
inline void pushup(int x)
{
    t[x]=x;
    if(val[ t[c[x][]] ] > val[t[x]]) t[x]=t[c[x][]];
    if(val[ t[c[x][]] ] > val[t[x]]) t[x]=t[c[x][]];
}
inline bool notroot(int x) { return (c[fa[x]][]==x)|(c[fa[x]][]==x); }
inline void rotate(int x)
{
    int y=fa[x],z=fa[y],d=(c[y][]==x);
    if(notroot(y)) c[z][c[z][]==y]=x;
    fa[x]=z; fa[y]=x; fa[c[x][d^]]=y;
    c[y][d]=c[x][d^]; c[x][d^]=y;
    pushup(y); pushup(x);
}
inline void push_rev(int x)
{
    if(notroot(x)) push_rev(fa[x]);
    else pushdown(x);
    pushdown(c[x][]); pushdown(c[x][]);
}
inline void splay(int x)
{
    push_rev(x);
    while(notroot(x))
    {
        int y=fa[x],z=fa[y];
        if(notroot(y))
        {
            if(c[y][]==x ^ c[z][]==y) rotate(x);
            else rotate(y);
        }
        rotate(x);
    }
}
inline void access(int x)
{
    for(int y=;x;y=x,x=fa[x])
        splay(x),c[x][]=y,pushup(x);
}
inline void makeroot(int x) { access(x); splay(x); rever(x); }
inline int findroot(int x)
{
    access(x); splay(x); pushdown(x);
    while(c[x][]) pushdown(c[x][]),x=c[x][];
    splay(x);
    return x;
}
inline int split(int x,int y) { makeroot(x); access(y); splay(y); return t[y]; }//提取一段路径上点权最大的点的编号
inline void link(int x,int y) { makeroot(x); if(findroot(y)!=x) fa[x]=y; }
inline void cut(int x,int y)
{
    makeroot(x);
    if(findroot(y)!=x||fa[y]!=x||c[y][]) return;
    c[x][]=fa[y]=; pushup(x);
}
inline void query(int a)//更新答案
{
    if(findroot()==findroot(n))//如果在同一颗树上
    {
        int w=split(,n);
        ANS=min(ANS,a+val[w]);
    }
}
inline void insert(int i)//加入边
{
    int x=d[i].x,y=d[i].y,a=d[i].a,b=d[i].b; bool flag=;
    if(findroot(x)==findroot(y))//如果原本已经是一颗树
    {
        int w=split(x,y);
        if(val[w]>b) cut(w,d[w-n].x),cut(w,d[w-n].y);//如果b更小才cut
        else flag=;//否则不连边
    }
    if(flag) link(n+i,x),link(n+i,y),query(a);//连边并更新ANS
}
int main()
{
    n=read(),m=read();
    for(int i=;i<=m;i++)
        d[i].x=read(),d[i].y=read(),d[i].a=read(),d[i].b=read();
    sort(d+,d+m+);
    for(int i=;i<=m;i++) val[n+i]=d[i].b;
    for(int i=;i<=m;i++) insert(i);
    printf("%d",ANS <1e9 ? ANS : -);
    return ;
}