[luoguP3729]曼哈顿计划EX

来自FallDream的博客，未经允许，请勿转载，谢谢。

---

• 艾登拥有一个计算机网络，每一台计算机都至少有着Intel Xeon E50 v40 + 40路GTX10800Titan的恐怖配置，并由无线网络直接或间接连接，这可以用一个无向连通图来表示。但是他的计算机网络有一个问题——不够安全，dedsec可能会攻击他的网络，切断一些无线连接，从而导致整个计算机网络不连通。为了避免这种情况，艾登决定从这些计算机中挑出一些计算机作为计算节点，其他计算机作为信息的中转站，进行停止核弹发射进程的任务。虽然台台都是顶配，但是艾登的计算机也会有从山寨厂买回的配件和原装正版配件的差别——每台电脑的工作能力是不同的，记为。现在艾登想知道，对于一个工作能力的要求，整个网络的安全系数最大是多少？

• 设给出的图为，其中 = （计算节点） + （中转节点）

• 我们定义安全系数k为：最大的k，使得任意两点都至少有k条互不相交的u到v的链（互不相交定义为：没有重复的边，可以重复有重复的点）

• 我们定义整个图的工作能力、

先建出等价流树/最小割树，然后按照流量排序，从大到小加入带权并查集，更新答案即可。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<vector>
#include<algorithm>
#define MN 550
#define MM 3000
#define MV 1000000
#define pa pair<int,int>
#define mp(x,y) make_pair(x,y)
#define INF 2000000000
using namespace std;
inline int read()
{
    int x =  , f = ; char ch = getchar();
    while(ch < '' || ch > ''){ if(ch == '-') f = -;  ch = getchar();}
    while(ch >= '' && ch <= ''){x = x *  + ch - '';ch = getchar();}
    return x * f;
}

vector<int> v[MN*];
bool in[MN+];
int n,m,Q,cc=,cnt=,tot=,head[MN+],S,T,fa[MN+],d[MN+];
int c[MN+],q[MN+],top,w[MN+],Hd[MN+],Ques[MN+],Ans[MV+],Fa[MN+];
pa p[MN+];
struct edge{int to,next,w,tot;}e[MM*+];

inline void ins(int*H,int f,int t,int w)
{
    e[++cnt]=(edge){t,H[f],w,w};H[f]=cnt;
    e[++cnt]=(edge){f,H[t],w,w};H[t]=cnt;
}    

void Get(int x)
{
    in[x]=;
    for(int i=head[x];i;i=e[i].next)
        if(e[i].w&&!in[e[i].to]) Get(e[i].to);
}

int dfs(int x,int f)
{
    if(x==T) return f;
    int used=;
    for(int&i=c[x];i;i=e[i].next)
        if(e[i].w&&d[e[i].to]==d[x]+)
        {
            int w=dfs(e[i].to,min(f-used,e[i].w));
            used+=w;e[i].w-=w;e[i^].w+=w;
            if(used==f) return f;
        }
    return d[x]=-,used;
}

bool bfs()
{
    memset(d,,sizeof(d));int i,j;
    for(d[q[top=i=]=S]=;i<=top;++i)
        for(j=c[q[i]]=head[q[i]];j;j=e[j].next)
            if(e[j].w&&!d[e[j].to])
                d[q[++top]=e[j].to]=d[q[i]]+;
    return d[T];
}

void Solve(int x)
{
    if(v[x].size()<) return;
    S=v[x][],T=v[x][];int ans=;
    for(int i=;i<=cnt;++i) e[i].w=e[i].tot;
    while(bfs()) ans+=dfs(S,INF);
    ins(Hd,S,T,ans);
    memset(in,,sizeof(in));Get(S);
    for(int i=;i<v[x].size();++i)
        v[tot++in[v[x][i]]].push_back(v[x][i]);
    int pre=tot;tot+=;Solve(pre+);Solve(pre+);
}

void Dfs(int x,int fa)
{
    for(int i=Hd[x];i;i=e[i].next)
        if(e[i].to!=fa&&e[i].w) Fa[e[i].to]=x,p[++cc]=mp(e[i].w,e[i].to),Dfs(e[i].to,x);
}
inline int getfa(int x){return fa[x]?fa[x]=getfa(fa[x]):x;}
int main()
{
    n=read();m=read();Q=read();int mx=;
    for(int i=;i<=n;++i) mx=max(mx,w[i]=read()),v[].push_back(i);
    for(int i=;i<=m;++i)
    {
        int x=read(),y=read();
        ins(head,x,y,);
    }
    Solve();Dfs(,);
    sort(p+,p+cc+,greater<pa>());
    for(int i=;i<=cc;++i)
    {
        int x=p[i].second,y=getfa(Fa[x]);
        fa[x]=y;w[y]+=w[x];
        Ans[min(w[y],MV)]=max(Ans[min(MV,w[y])],p[i].first);
    }
    for(int i=MV;i;--i)
        Ans[i]=max(Ans[i],Ans[i+]);
    for(int i=;i<=Q;++i)
    {
        int x=read();
        if(x<=mx) puts("nan");
        else if(Ans[x]) printf("%d\n",Ans[x]);
        else puts("Nuclear launch detected");
    }
    return ;
}