bzoj 3669: [Noi2014]魔法森林 link cut tree

Description

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

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

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

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

Input

第1行包含两个整数N,M，表示无向图共有N个节点，M条边。 接下来M行，第行包含4个正整数Xi,Yi,Ai,Bi，描述第i条无向边。其中Xi与Yi为该边两个端点的标号，Ai与Bi的含义如题所述。 注意数据中可能包含重边与自环。

Output

输出一行一个整数：如果小E可以成功拜访到隐士，输出小E最少需要携带的守护精灵的总个数；如果无论如何小E都无法拜访到隐士，输出“-1”（不含引号）。

Sample Input

【输入样例1】
4 5
1 2 19 1
2 3 8 12
2 4 12 15
1 3 17 8
3 4 1 17





【输入样例2】


3 1
1 2 1 1

Sample Output

【输出样例1】

32
【样例说明1】
如果小E走路径1→2→4，需要携带19+15=34个守护精灵；
如果小E走路径1→3→4，需要携带17+17=34个守护精灵；
如果小E走路径1→2→3→4，需要携带19+17=36个守护精灵；
如果小E走路径1→3→2→4，需要携带17+15=32个守护精灵。
综上所述，小E最少需要携带32个守护精灵。



【输出样例2】


-1
【样例说明2】
小E无法从1号节点到达3号节点，故输出-1。

HINT

2<=n<=50,000

0<=m<=100,000

1<=ai ,bi<=50,000

分析：一开始用spfa写这题发现写不出来……

学了link cut tree之后这题就变成模板题了

把每条边按照a从小到大排序，然后维护一颗动态的最小生成树就好了

代码：

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
#include<stack>
#define N 50005
#define M 100005
#define inf 1e+7
using namespace std;

int n,m,val[N+M],f[N];
struct edge{int u,v,a,b;}e[M];
struct tree{int l,r,fa,rev,mx;}t[N+M];
stack <int> q;

int read()
{
	int f=1,x=0;char ch=getchar();
	while (ch<'0'||ch>'9'){if (ch=='-')f=-1;ch=getchar();}
	while (ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
	return x*f;
}

bool cmp1(edge a,edge b)
{
	return a.a<b.a;
}

void pushdown(int x)
{
	if (t[x].rev)
	{
		swap(t[x].l,t[x].r);
		if (t[x].l) t[t[x].l].rev^=1;
		if (t[x].r) t[t[x].r].rev^=1;
		t[x].rev^=1;
	}
}

void updata(int x)
{
	t[x].mx=max(max(t[t[x].l].mx,t[t[x].r].mx),val[x]);
}

bool isroot(int x)
{
	if (x!=t[t[x].fa].l&&x!=t[t[x].fa].r||!t[x].fa) return 1;
	return 0;
}

void rttl(int x)
{
	int y=t[x].r;
	t[x].r=t[y].l;
	t[t[y].l].fa=x;
	if (x==t[t[x].fa].l) t[t[x].fa].l=y;
	else if (x==t[t[x].fa].r) t[t[x].fa].r=y;
	t[y].fa=t[x].fa;
	t[y].l=x;
	t[x].fa=y;
	updata(x);
	updata(y);
}

void rttr(int x)
{
	int y=t[x].l;
	t[x].l=t[y].r;
	t[t[y].r].fa=x;
	if (x==t[t[x].fa].l) t[t[x].fa].l=y;
	else if (x==t[t[x].fa].r) t[t[x].fa].r=y;
	t[y].fa=t[x].fa;
	t[y].r=x;
	t[x].fa=y;
	updata(x);
	updata(y);
}

void remove(int x)
{
	q.push(x);
	while (!isroot(x))
	{
		x=t[x].fa;
		q.push(x);
	}
	while (!q.empty())
	{
		int x=q.top();
		q.pop();
		pushdown(x);
	}
}

void splay(int x)
{
	remove(x);
	while (!isroot(x))
	{
		int p=t[x].fa,g=t[p].fa;
		if (isroot(p))
		{
			if (x==t[p].l) rttr(p);
			else rttl(p);
			break;
		}
		if (x==t[p].l)
		{
			if (p==t[g].l)
			{
				rttr(g);rttr(p);
			}else
			{
				rttr(p);rttl(g);
			}
		}else
		{
			if (p==t[g].r)
			{
				rttl(g);rttl(p);
			}else
			{
				rttl(p);rttr(g);
			}
		}
	}
}

void access(int x)
{
	int w=0;
	while (x)
	{
		splay(x);
		t[x].r=w;
		updata(x);
		w=x;x=t[x].fa;
	}
}

void movetoroot(int x)
{
	access(x);splay(x);t[x].rev^=1;
}

void link(int x,int y)
{
	movetoroot(x);t[x].fa=y;
}

void cut(int x,int y)
{
	movetoroot(x);access(y);splay(y);t[y].l=t[x].fa=0;
}

int query(int x,int y)
{
	movetoroot(x);access(y);splay(y);
	if (!t[y].mx) return y;
	while (t[t[y].l].mx==t[y].mx||t[t[y].r].mx==t[y].mx)
		if (t[t[y].l].mx>t[t[y].r].mx) y=t[y].l;
		else y=t[y].r;
	return y;
}

int find(int x)
{
	if (f[x]==x) return x;
	f[x]=find(f[x]);
	return f[x];
}

int findroot(int x)
{
	access(x);splay(x);
	while (t[x].l) x=t[x].l;
	return x;
}

int main()
{
	n=read();m=read();
	for (int i=1;i<=m;i++)
	{
		int u=read(),v=read(),a=read(),b=read();
		e[i].u=u;e[i].v=v;e[i].a=a;e[i].b=b;
	}
	sort(e+1,e+m+1,cmp1);
	for (int i=1;i<=n;i++)
		f[i]=i;
	for (int i=1;i<=m;i++)
		val[i+n]=t[i+n].mx=e[i].b;
	int ans=inf;
	for (int i=1;i<=m;i++)
	{
		int x=e[i].u,y=e[i].v;
		if (find(x)!=find(y))
		{
			f[find(x)]=find(y);
			link(x,i+n);link(y,i+n);
			if (findroot(1)==findroot(n)) ans=min(ans,e[i].a+val[query(1,n)]);
		}else
		{
			int w=query(x,y);
			if (val[w]>e[i].b)
			{
				cut(e[w-n].u,w);cut(e[w-n].v,w);
				link(x,i+n);link(y,i+n);
			}
			if (findroot(1)==findroot(n)) ans=min(ans,e[i].a+val[query(1,n)]);
		}
	}
	if (ans==inf) ans=-1;
	printf("%d",ans);
	return 0;
}