NOI2014 魔法森林

魔法森林

Description

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

魔法森林中居住了一些妖怪。每当有人经过一条边的时候,这条边上的妖怪就会对其发起攻击。幸运的是,在1号节点住着两种守护精灵: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

题解

这是一个双边权最小瓶颈生成树问题。

逐步拓宽a的限制,并维护b的最小生成树即可。如果1和n连通则更新答案。

LCT维护,时间复杂度(O(m log n))

代码实现

将边按a排序,一条条加入,若当前的x,y未联通则直接加入这条边,

否则看当前边的b是否小于x,y,路径上最大的b,小于则拆掉该边,加入当前边。

显然可以用lct维护,splay维护b的最大值

把边拆成点权为b的点,点则是点权为0

Cut时找到改点,splay到根,切掉左右儿子

Link时加入新点,把x,y newroot,虚父亲指向新点

co int N=2e5+1;
int n,m;
struct edge{
	int x,y,a,b;
	bool operator<(co edge&e)co{
		return a^e.a?a<e.a:b<e.b;
	}
}e[N];

int tot,ch[N][2],p[N],v[N],bb[N],flip[N];
#define lc ch[x][0]
#define rc ch[x][1]
void update(int x){v[x]=std::max(bb[x],std::max(v[lc],v[rc]));}
bool nroot(int x){return ch[p[x]][0]==x||ch[p[x]][1]==x;}
void down(int x){
	if(!flip[x]) return;
	std::swap(lc,rc);
	flip[lc]^=1,flip[rc]^=1;
	flip[x]=0;
}
void rotate(int x){
	int y=p[x],z=p[y],l=x==ch[y][1],r=l^1;
	if(nroot(y)) ch[z][y==ch[z][1]]=x;p[x]=z;
	ch[y][l]=ch[x][r],p[ch[x][r]]=y;
	ch[x][r]=y,p[y]=x;
	update(y),update(x);
}
void splay(int x){
	static int st[N],y,z;
	y=x,z=0,st[++z]=y;
	while(nroot(y)) st[++z]=y=p[y];
	while(z) down(st[z--]);
	for(;nroot(x);rotate(x)){
		y=p[x],z=p[y];
		if(nroot(y)) x==ch[y][1]^y==ch[z][1]?rotate(x):rotate(y);
	}
}
void access(int x){
	for(int t=0;x;x=p[t=x])
		splay(x),rc=t,update(x);
}
int findroot(int x){
	access(x),splay(x);
	while(lc) x=lc;
	return x;
}
void newroot(int x){
	access(x),splay(x),flip[x]^=1;
}
int qry(int x,int y){
	newroot(x),access(y),splay(y);
	return v[y];
}
void lik(int x,int y,int w){
	int z=++tot;
	bb[z]=v[z]=w;
	newroot(x),p[x]=z;
	newroot(y),p[y]=z;
}
int find(int x,int y){
	if(bb[x]==y) return x;
	return find(v[lc]==y?lc:rc,y);
}
void cut(int x){
	splay(x),p[lc]=0,p[rc]=0;
}
int main(){
	tot=read(n),read(m);
	for(int i=1,x,y,a,b;i<=m;++i){
		read(x),read(y),read(a),read(b);
		if(x!=y) e[i]=(edge){x,y,a,b};
		else --i,--m;
	}
	int ans=1e5+1;
	std::sort(e+1,e+m+1);
	for(int i=1;i<=m;++i){
		int u=e[i].x,v=e[i].y,a=e[i].a,b=e[i].b;
		if(findroot(u)!=findroot(v)) lik(u,v,b);
		else{
			int tp=qry(u,v);
			if(b<tp){
				int tpp=find(v,tp);
				cut(tpp);
				lik(u,v,b);
			}
		}
		if(findroot(1)==findroot(n)){
			int tp=qry(1,n);
			ans=std::min(ans,a+tp);
		}
	}
	printf("%d
",ans==1e5+1?-1:ans);
	return 0;
}
原文地址:https://www.cnblogs.com/autoint/p/10415491.html