BZOJ3669 [Noi2014]魔法森林(SPFA+动态加边)

本文版权归ljh2000和博客园共有,欢迎转载,但须保留此声明,并给出原文链接,谢谢合作。

本文作者:ljh2000
作者博客:http://www.cnblogs.com/ljh2000-jump/
转载请注明出处,侵权必究,保留最终解释权!

 

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+动态加边
解题报告:
  这道题考虑一下有没有优美的做法…
  两个约束条件,常用思路:枚举一个最优化另一个。
  那么我把边按a权值为第一关键字,b为第二关键字排序,依次加入图中。
  每次跑一遍SPFA并更新答案。
  思想很简单,居然能过官方数据…
  
  注意有两个优化:如果b权值相等的话可以一起加入,每次加边的时候连接的两个点直接加入SPFA扩展队列。
 
 
//It is made by ljh2000
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <ctime>
#include <vector>
#include <queue>
#include <map>
#include <set>
#include <string>
#include <complex>
using namespace std;
typedef long long LL;
const int MAXN = 50011;
const int MAXM = 200011;
const int inf = (1<<30);
int n,m,ecnt,first[MAXN],next[MAXM],to[MAXM],w[MAXM],dis[MAXN],ans;
bool in[MAXN];
struct edge{ int x,y,a,b; }e[MAXM];
inline bool cmpa(edge q,edge qq){ if(q.a==qq.a) return q.b<qq.b; return q.a<qq.a; }
inline void link(int x,int y,int z){ next[++ecnt]=first[x]; first[x]=ecnt; to[ecnt]=y; w[ecnt]=z; }
queue<int>Q;
inline int getint(){
    int w=0,q=0; char c=getchar(); while((c<'0'||c>'9') && c!='-') c=getchar();
    if(c=='-') q=1,c=getchar(); while (c>='0'&&c<='9') w=w*10+c-'0',c=getchar(); return q?-w:w;
}

inline void work(){
	n=getint(); m=getint(); for(int i=1;i<=m;i++) { e[i].x=getint(); e[i].y=getint(); e[i].a=getint(); e[i].b=getint(); }
	sort(e+1,e+m+1,cmpa); int x,y; 
	ans=inf; for(int i=1;i<=n;i++) dis[i]=inf; 
	dis[1]=0;

	for(int i=1;i<=m;i++) {
		x=e[i].x; y=e[i].y;
		link(x,y,e[i].b); link(y,x,e[i].b);
		if(!in[x]) in[x]=1,Q.push(x);
		if(!in[y]) in[y]=1,Q.push(y);
		if(e[i].a==e[i-1].a && e[i].b==e[i-1].b) continue;
		while(!Q.empty()) {
			x=Q.front(); Q.pop(); in[x]=0;
			for(int i=first[x];i;i=next[i]) {
				int v=to[i]; if(max(w[i],dis[x])>=dis[v]) continue;
				dis[v]=max(w[i],dis[x]);
				if(!in[v]) { in[v]=1; Q.push(v); }
			}
		}
		ans=min(ans,dis[n]+e[i].a);
	}
	if(ans==inf) printf("-1");
	else printf("%d",ans);
}

int main()
{
    work();
    return 0;
}

  

原文地址:https://www.cnblogs.com/ljh2000-jump/p/6398956.html