TJU 2944 Mussy Paper 最大权闭合子图

传送门

给你一些东西，  每个东西有一个值，有正有负。 在给一些关系， 选了其中一个物品， 和他有关系的也必须全都选上， 关系是单向的。 问最后的最大价值是多少， 如果小于0输出“   **** ”（记不得是什么了。

网络流， 如果一个东西的价值是正的， 源点向它连边， 权值为val； 如果是负的， 汇点向它连边， 权值为-val。 如果1->2， 就从1向2连边， 权值为inf。 最后就是求一个最小割。

#include<bits/stdc++.h>
using namespace std;
#define pb(x) push_back(x)
#define ll long long
#define mk(x, y) make_pair(x, y)
#define lson l, m, rt<<1
#define mem(a) memset(a, 0, sizeof(a))
#define rson m+1, r, rt<<1|1
#define mem1(a) memset(a, -1, sizeof(a))
#define mem2(a) memset(a, 0x3f, sizeof(a))
#define rep(i, a, n) for(int i = a; i<n; i++)
#define ull unsigned long long
typedef pair<int, int> pll;
const double PI = acos(-1.0);
const double eps = 1e-8;
const int mod = 1e9+7;
const int inf = 1061109567;
const int dir[][2] = { {-1, 0}, {1, 0}, {0, -1}, {0, 1} };
const int maxn = 20005;
int head[maxn*4], s, t, num, q[maxn*10], dis[maxn], cnt, vis[maxn];
struct node
{
    int to, nextt, c;
}e[maxn*4];
void init() {
    mem1(head);
    num = cnt = 0;
    mem(vis);
}
void add(int u, int v, int c) {
    e[num].to = v; e[num].nextt = head[u]; e[num].c = c; head[u] = num++;
    e[num].to = u; e[num].nextt = head[v]; e[num].c = 0; head[v] = num++;
}
int bfs() {
    int u, v, st = 0, ed = 0;
    mem(dis);
    dis[s] = 1;
    q[ed++] = s;
    while(st<ed) {
        u = q[st++];
        for(int i = head[u]; ~i; i = e[i].nextt) {
            v = e[i].to;
            if(e[i].c&&!dis[v]) {
                dis[v] = dis[u]+1;
                if(v == t)
                    return 1;
                q[ed++] = v;
            }
        }
    }
    return 0;
}
int dfs(int u, int limit) {
    if(u == t)
        return limit;
    int cost = 0;
    for(int i = head[u]; ~i; i = e[i].nextt) {
        int v = e[i].to;
        if(e[i].c&&dis[u] == dis[v]-1) {
            int tmp = dfs(v, min(limit-cost, e[i].c));
            if(tmp>0) {
                e[i].c -= tmp;
                e[i^1].c += tmp;
                cost += tmp;
                if(cost == limit)
                    break;
            } else {
                dis[v] = -1;
            }
        }
    }
    return cost;
}
int dinic() {
    int ans = 0;
    while(bfs()) {
        ans += dfs(s, inf);
    }
    return ans;
}
void dfs(int u) {
    vis[u] = 1;
    cnt++;
    for(int i = head[u]; ~i; i = e[i].nextt) {
        int v = e[i].to;
        if(e[i].c&&!vis[v]) {
            dfs(v);
        }
    }
}
int main()
{
    int n;
    while(scanf("%d", &n)&&n) {
        s = 0, t = n+1;
        init();
        int sum = 0, val, p;
        for(int i = 1; i<=n; i++) {
            scanf("%d%d", &val, &p);
            if(val>0) {
                add(s, i, val);
                sum += val;
            }else if(val<0) {
                add(i, t, -val);
            }
            while(p--) {
                scanf("%d", &val);
                add(i, val, inf);
            }
        }
        int ans = dinic();
        if(ans == sum) {
            puts("Refused");
        } else {
            dfs(0);
            printf("%d %d
", sum-ans, --cnt);
            for(int i = 1; i<=n; i++) {
                if(vis[i]) {
                    cnt--;
                    printf("%d", i);
                    if(cnt)
                        cout<<" ";
                    else
                        cout<<endl;
                }
            }
        }
    }
}