训练3.21(CF 543B Destroying Roads)

训练3.21(CF543B Destroying Roads)

题目：http://codeforces.com/problemset/problem/543/B

题意：有n点m边（n<3000)，边权皆为1。给出s1,t1,l1,s2,t2,l2,要求尽可能多地删掉一些边，使得s1到t1的路径不大于l1，使得s2到t2的路径不大于l2,求能删去的最大边数。

题解：要求路径不大于l1,只要s1到s2的最短路径dist1不大于l1即可，保留下来的路径也是该最小路径。不过这里是两组s,t，令dist1为的最短路径长度，dist2为的最短路径长度，dist3为重叠部分长度，那么求最大删边数有两种可能：

（1）m-dist1-dist2:两最短路径各自不重叠
（2）m-dist1-dist2+dist3:出现重叠

由于边权为1，故可用bfs求得两点间最短距离。考虑是否重叠时，枚举s到t间的点i,j,即
A:s1—>i—>j—>t1
B:s2—>i—>j—>t2
i,j为枚举的点。

若 |A|<=l1 && |B|<=l2 ,那么证明这两段路径符合基本要求，其中i—>j 的最短路径长度即为重叠部分长度。

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<vector>
#include<queue>
#include<cstring>
using namespace std;
const int maxn=3e3+3;
vector<int>G[maxn];
int dist[maxn][maxn];
int vis[maxn];
void bfs(int x_){
	queue<pair<int,int> >qu;
	while(!qu.empty())qu.pop();
	memset(vis,0,sizeof(vis));
	vis[x_]=1;
	qu.push(pair<int,int>(x_,0));
	while(!qu.empty()){
		pair<int,int> p=qu.front();qu.pop();
		dist[x_][p.first]=p.second;
		for(int i=0;i<G[p.first].size();i++){
			int x=G[p.first][i];
			if(!vis[x]){
				qu.push(pair<int,int>(x,p.second+1));
				vis[x]=1;
			}
		}
	}
}

int main(){
	int n,m;
	cin>>n>>m;
	int a,b;
	for(int i=1;i<=m;i++){
		cin>>a>>b;
		G[a].push_back(b);
		G[b].push_back(a);
	}
	int s1,t1,l1,s2,t2,l2;
	cin>>s1>>t1>>l1>>s2>>t2>>l2;
	for(int i=1;i<=n;i++)bfs(i);
	if(dist[s1][t1]>l1||dist[s2][t2]>l2){
		printf("-1\n");return 0;
	}
	int ext=dist[s1][t1]+dist[s2][t2];
	for(int i=1;i<=n;i++){
		for(int j=i;j<=n;j++){
			int w1=min(dist[s1][i]+dist[i][j]+dist[j][t1],dist[s1][j]+dist[j][i]+dist[i][t1]);
			int w2=min(dist[s2][i]+dist[i][j]+dist[j][t2],dist[s2][j]+dist[j][i]+dist[i][t2]);
			if(w1>l1||w2>l2)continue;
			ext=min(ext,w1+w2-dist[i][j]);
		}
	}
	cout<<m-ext<<endl;
}