TOJ 2944 Mussy Paper

2944.   Mussy Paper

---

Time Limit: 2.0 Seconds   Memory Limit: 65536K    Special Judge
Total Runs: 381   Accepted Runs: 98

A good mathematical joke is better, and better mathematics, 
than a dozen mediocre papers.
--J E Littlewood

RoBa, an undergraduate student, is preparing for his thesis. He collects many papers about artificial intelligence, the field that he is very interested in. However, he doesn't know how to start his work. You know at the tail of every paper, there is a list of reference papers, describing the relative work of other researchers. So these papers may form a very complicated net. Now, RoBa turns to you for help.

RoBa has given every paper an interesting value (which can be negative). A greater value indicates a more interesting paper. He wants to select a paper set S, such that, for every paper in this set, all the papers in its reference list are also contained in the set S. And what's more, he wants to make the sum of all the interesting value in the set maximum.

Input

There are multiple test cases in the input. The first line of each test case contains an integer N,(N ≤ 100) indicating the amount of papers. Then N lines followed. Each line contains two integers V_i (|V_i| ≤ 10,000) and P_i at first. V_i indicating the interesting value of the i-th paper, P_i indicating the amount of reference papers of the i-th paper. Then P_i numbers followed, indicating all the reference papers. The papers are numbered from 1 to N.

The input is terminated with N = 0.

Output

If the maximum possible sum is greater than zero, output two lines for each test case. The first line contains two integers, the maximum sum of interesting value, and the amount of papers in the selected set. The next line contains all the papers, separated by space. If there are more than one valid set to get the maximum sum, anyone will be OK. Please note the set cannot be empty.

If the maximum possible sum is no more than zero, you should only output one line says "Refused" instead, which means RoBa will refuse to do this research.

Sample Input

4
-10 1 2
10 2 3 4
-3 0
-3 0
4
-10 1 2
-10 2 3 4
-3 0
-3 0
0

Sample Output

4 3
2 3 4
Refused

Problem Setter: RoBa

Note: Special judge problem, you may get "Wrong Answer" when output in wrong format.

Source: TJU Team Selection Contest 2008 (4)

解题：最大权闭合子图

 #include <bits/stdc++.h>
 using namespace std;
 const int maxn = ;
 const int INF = ~0U>>;
 struct arc {
     int to,flow,next;
     arc(int x = ,int y = ,int z = -) {
         to = x;
         flow = y;
         next = z;
     }
 } e[maxn*maxn];
 int head[maxn],gap[maxn],d[maxn],tot,S,T;
 void add(int u,int v,int flow) {
     e[tot] = arc(v,flow,head[u]);
     head[u] = tot++;
     e[tot] = arc(u,,head[v]);
     head[v] = tot++;
 }
 int dfs(int u,int low) {
     if(u == T) return low;
     int tmp = ,minH = T - ;
     for(int i = head[u]; ~i; i = e[i].next) {
         if(e[i].flow) {
             if(d[u] == d[e[i].to] + ) {
                 int a = dfs(e[i].to,min(e[i].flow,low));
                 e[i].flow -= a;
                 e[i^].flow += a;
                 tmp += a;
                 low -= a;
             }
             if(e[i].flow) minH = min(minH,d[e[i].to]);
             if(!low) break;
         }
     }
     if(!tmp) {
         if(--gap[d[u]] == ) d[S] = T;
         ++gap[d[u] = minH + ];
     }
     return tmp;
 }
 int sap() {
     memset(gap,,sizeof gap);
     memset(d,,sizeof d);
     gap[S] = T;
     int ret = ;
     while(d[S] < T) ret += dfs(S,INF);
     return ret;
 }
 int n,m;
 bool vis[maxn];
 vector<int>ans;
 void dfs(int u){
     vis[u] = true;
     if(u != S && u != T) ans.push_back(u);
     for(int i = head[u]; ~i; i = e[i].next)
         if(!vis[e[i].to] && e[i].flow) dfs(e[i].to);
 }

 int main() {
     while(scanf("%d",&n),n) {
         memset(head,-,sizeof head);
         S = n + ;
         T = S + ;
         int sum = tot = ,w;
         for(int u = ,v; u <= n; ++u) {
             scanf("%d%d",&w,&m);
             if(w > ) {
                 add(S,u,w);
                 sum += w;
             } else add(u,T,-w);
             while(m--) {
                 scanf("%d",&v);
                 add(u,v,INF);
             }
         }
         sum -= sap();
         if(!sum) puts("Refused");
         else{
             ans.clear();
             memset(vis,false,sizeof vis);
             dfs(S);
             printf("%d %d\n",sum,ans.size());
             sort(ans.rbegin(),ans.rend());
             for(int i = ans.size()-; i >= ; --i)
                 printf("%d%c",ans[i],i?' ':'\n');
         }
     }
     return ;
 }