线性规划与网络流24题第2题 太空飞行计划 最大权闭合图

/**
题目： 线性规划与网络流24题第2题 太空飞行计划 最小割
链接：http://www.cogs.pro/cogs/problem/problem.php?pid=727
题意：lv
思路：最大点权独立集(点集中任意两个点没有边相连，且点权和最大)=点权总和-最小点权覆盖集。

将实验和仪器看做节点。
实验放在二分图的左边， s->x, cap = 实验利润。
仪器放在右边， x->t, cap = 仪器费用。
如果实验u的进行需要仪器v，u->v, cap = INF。

ans = 所有的实验利润和-最小割 = 所有的实验利润和-最大流 ；

表达能力不好，我说不太清楚。可以看这里的分析：https://wenku.baidu.com/view/d9c9b9220722192e4536f6e1.html

最小割求的是：  所有没有实施的实验的利润和+实施了的实验需要的所有仪器的费用和。 但是最小割的时候，它们值最小。

那么ans最大。

吐糟：这题的读入卡了许久~~~

*/

#include<iostream>
#include<cstring>
#include<vector>
#include<map>
#include<cstdio>
#include<sstream>
#include<algorithm>
#include<queue>
using namespace std;
typedef long long LL;
const int INF = 0x3f3f3f3f;
typedef long long LL;
const int N = 210;
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 Dinic{
int n, m, s, t;
vector<Edge> edges;
vector<int> G
;
bool vis
;
int d
;
int cur
;

void init(int n)
{
this->n = n;
for(int i = 0; i <= n; i++) G[i].clear();
edges.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));
m = edges.size();
G[from].push_back(m-2);
G[to].push_back(m-1);
}

bool BFS(){
memset(vis, 0, sizeof vis);
queue<int> Q;
Q.push(s);
d[s] = 0;
vis[s] = 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]];
if(!vis[e.to]&&e.cap>e.flow){
vis[e.to] = 1;
d[e.to] = d[x]+1;
Q.push(e.to);
}
}
}
return vis[t];
}

int DFS(int x,int a){
if(x==t||a==0) return a;
int flow = 0, f;
for(int &i = cur[x]; i < G[x].size(); i++){
Edge& e = edges[G[x][i]];
if(d[x]+1==d[e.to]&&(f=DFS(e.to,min(a,e.cap-e.flow)))>0){
e.flow += f;
edges[G[x][i]^1].flow -= f;
flow += f;
a -= f;
if(a==0) break;
}
}
return flow;
}

int Maxflow(int s,int t){
this->s = s, this->t = t;
int flow = 0;
while(BFS()){
memset(cur, 0, sizeof cur);
flow += DFS(s,INF);
}
return flow;
}
};
string str;
int a
;
int main()
{
freopen("shuttle.in","r",stdin);
freopen("shuttle.out","w",stdout);
int m, n;
scanf("%d%d",&m,&n);

int s = 0, t = n+m+1;
Dinic ek;
ek.init(t);
int sum = 0;
for(int i = 1; i <= m; i++){
scanf("%d",&a[0]);
getline(cin,str);
stringstream ss(str);
int z = 1, x;
while(ss>>x) a[z++] = x;
ek.AddEdge(s,i,a[0]);
sum += a[0];
for(int j = 1; j < z; j++){
ek.AddEdge(i,m+a[j],INF);
}

}
int x;
for(int i = 1; i <= n; i++){
scanf("%d",&x);
ek.AddEdge(m+i,t,x);
}
int flow = ek.Maxflow(s,t);
int flag = 1;
for(int i = 1; i <= m; i++){///与s连接的点，是实验。
if(ek.vis[i]>0){///与s相连，执行了该实验。
if(flag){
printf("%d",i); flag = 0;
}else
{
printf(" %d",i);
}
}
}
printf("\n");
flag = 1;
for(int i = m+1; i <= n+m; i++){///与t相连的点，是仪器。
if(ek.vis[i]>0){///与s相连，使用了该仪器。
if(flag){
printf("%d",i-m); flag = 0;
}else
{
printf(" %d",i-m);
}

}
}
printf("\n");
printf("%d\n",sum-flow);

return 0;
}