CF543B Destroying Roads（bfs+枚举）

因为边权都是1，所以可以bfs求得两点间最短路$O(nm)$。然后考虑两条最短路如果不想交，则答案显然就是m-dis[s1][t1]-dis[s2][t2]。如果相交呢，那他们一定会有一段重合的，这样答案显然有可能更小，而且这样的情况下，只有可能在重合的两端分开，分开后就不可能再重合了。我们枚举这段重合的起点和终点i，j，判断是否合法，然后更新答案。注意：要把s1和t1交换一下，因为一共有四种情况。

#include <bits/stdc++.h>
using namespace std;
#define ll long long
int const inf=0x3f3f3f3f; 
#define N 3010
inline int read(){
    int x=0,f=1;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;
}
int n,m,s1,t1,l1,s2,t2,l2,h[N],num=0,dis[N][N],ans;
bool inq[N];
struct edge{
    int to,next;
}data[N<<1];
void bfs(int s){
    queue<int>q;memset(inq,0,sizeof(inq));
    q.push(s);inq[s]=1;
    while(!q.empty()){
        int x=q.front();q.pop();
        for(int i=h[x];i;i=data[i].next){
            int y=data[i].to;if(inq[y]) continue;
            inq[y]=1;dis[s][y]=dis[s][x]+1;q.push(y);
        }
    }
}
int main(){
//  freopen("a.in","r",stdin);
    n=read();m=read();
    for(int i=1;i<=m;++i){
        int x=read(),y=read();
        data[++num].to=y;data[num].next=h[x];h[x]=num;
        data[++num].to=x;data[num].next=h[y];h[y]=num;
    }s1=read();t1=read();l1=read();s2=read();t2=read();l2=read();
    for(int i=1;i<=n;++i) bfs(i);ans=m-dis[s1][t1]-dis[s2][t2];
    if(dis[s1][t1]>l1||dis[s2][t2]>l2){puts("-1");return 0;}
    for(int i=1;i<=n;++i)
        for(int j=1;j<=n;++j){
            if(i==j) continue;
            if(dis[s1][i]+dis[i][j]+dis[j][t1]>l1) continue;
            if(dis[s2][i]+dis[i][j]+dis[j][t2]<=l2){
                ans=max(ans,m-dis[s1][i]-dis[s2][i]-dis[i][j]-dis[j][t1]-dis[j][t2]);
            }if(dis[t2][i]+dis[i][j]+dis[j][s2]<=l2){
                ans=max(ans,m-dis[s1][i]-dis[t2][i]-dis[i][j]-dis[j][t1]-dis[j][s2]);
            }
        }printf("%d\n",ans);
    return 0;
}