网络流24题——太空飞行计划问题(最大权闭合图)

链接：https://www.oj.swust.edu.cn/oj/problem/show/1737

分析：把实验和仪器都看做点，点权为盈利（仪器的盈利为负），从实验到所需仪器连一条边，求图的最大权闭合图。

最大权闭合图求法：增加源汇点s、t，对于每个点，设权重为w，若w>0，从s向该点连一条边，容量为w，若w<0，从该点向t连一条边，容量为-w，再把原有的边全部容量改为无穷大，求一下该图的最小割即为最大权，割完和s所在集合就是最大权闭合图，也就是需要做的实验和需要的仪器。

#include<iostream>
#include<vector>
#include<queue>
#include<stack>
#include<cstdio>
#include<cstring>
using namespace std;
const int maxn=1e3+5,INF=1e9;
int m,n;
struct Edge{
    int from,to,cap,flow;
    Edge(int u,int v,int c,int f):from(u),to(v),cap(c),flow(f){}
};
struct ISAP{
    int n,s,t;
    vector<Edge> edges;
    vector<int> G[maxn];
    bool vis[maxn];
    int d[maxn];
    int cur[maxn];
    int p[maxn];
    int num[maxn];

    void init(int n){
        this->n=n;
        edges.clear();
        for(int i=0;i<n;i++)G[i].clear();
    }

    void AddEdge(int from,int to,int cap){
        edges.push_back(Edge(from,to,cap,0));
        edges.push_back(Edge(to,from,0,0));
        G[from].push_back(edges.size()-2);
        G[to].push_back(edges.size()-1);
    }

    void BFS(){
        memset(vis,0,sizeof(vis));
        queue<int> Q;
        Q.push(t);
        d[t]=0;
        vis[t]=1;
        while(!Q.empty()){
            int x=Q.front();Q.pop();
            for(int i=0;i<G[x].size();i++){
                Edge &e=edges[G[x][i]^1];
                if(e.flow==e.cap)continue;
                if(!vis[e.from]){
                    vis[e.from]=1;
                    d[e.from]=d[x]+1;
                    Q.push(e.from);
                }
            }
        }
    }

    int Augment(){
        int x=t,a=INF;
        while(x!=s){
            Edge &e=edges[p[x]];
            a=min(a,e.cap-e.flow);
            x=edges[p[x]].from;
        }
        x=t;
        while(x!=s){
            edges[p[x]].flow+=a;
            edges[p[x]^1].flow-=a;
            x=edges[p[x]].from;
        }
        return a;
    }

    int Maxflow(int s,int t){
        this->s=s;this->t=t;
        int flow=0;
        BFS();
        memset(num,0,sizeof(num));
        for(int i=0;i<n;i++)num[d[i]]++;
        int x=s;
        memset(cur,0,sizeof(cur));
        while(d[s]<n){
            if(x==t){
                flow+=Augment();
                x=s;
            }
            int ok=0;
            for(int i=cur[x];i<G[x].size();i++){
                Edge &e=edges[G[x][i]];
                if(e.cap>e.flow&&d[x]==d[e.to]+1){
                    ok=1;
                    p[e.to]=G[x][i];
                    cur[x]=i;
                    x=e.to;
                    break;
                }
            }
            if(!ok){
                int m=n-1;
                for(int i=0;i<G[x].size();i++){
                    Edge &e=edges[G[x][i]];
                    if(e.cap>e.flow)m=min(m,d[e.to]);
                }
                if(--num[d[x]]==0)break;
                num[d[x]=m+1]++;
                cur[x]=0;
                if(x!=s)x=edges[p[x]].from;
            }
        }
        return flow;
    }
}isap;

int main(){
//    freopen("e:\in.txt","r",stdin);
    scanf("%d%d",&m,&n);
    char c;
    int v,ans=0;
    isap.init(n+m+2);
    for(int i=n+1;i<=n+m;i++){
        scanf("%d",&v);
        ans+=v;
        isap.AddEdge(0,i,v);
        c=getchar();
        while(c==' '){
            scanf("%d",&v);
            c=getchar();
            isap.AddEdge(i,v,INF);
        }
    }
    for(int i=1;i<=n;i++){
        scanf("%d",&v);
        isap.AddEdge(i,n+m+1,v);
    }
    ans-=isap.Maxflow(0,n+m+1);
    isap.BFS();
    for(int i=n+1;i<=n+m;i++){
        if(!isap.vis[i]){
            printf("%d ",i-n);
        }
    }

    printf("
");
    for(int i=1;i<=n;i++){
        if(!isap.vis[i]){
            printf("%d ",i);
        }
    }
    printf("
");
    printf("%d
",ans);
    return 0;
}