POJ 3084 Panic Room（最大流最小割）

Description

You are the lead programmer for the Securitron 9042, the latest and greatest in home security software from Jellern Inc. (Motto: We secure your stuff so YOU can't even get to it). The software is designed to "secure" a room; it does this by determining the minimum number of locks it has to perform to prevent access to a given room from one or more other rooms. Each door connects two rooms and has a single control panel that will unlock it. This control panel is accessible from only one side of the door. So, for example, if the layout of a house looked like this:    with rooms numbered 0-6 and control panels marked with the letters "CP" (each next to the door it can unlock and in the room that it is accessible from), then one could say that the minimum number of locks to perform to secure room 2 from room 1 is two; one has to lock the door between room 2 and room 1 and the door between room 3 and room 1. Note that it is impossible to secure room 2 from room 3, since one would always be able to use the control panel in room 3 that unlocks the door between room 3 and room 2. 

Input

Input to this problem will begin with a line containing a single integer x indicating the number of datasets. Each data set consists of two components:

1. Start line – a single line "m n" (1 <=m<= 20; 0 <=n<= 19) where m indicates the number of rooms in the house and n indicates the room to secure (the panic room).
2. Room list – a series of m lines. Each line lists, for a single room, whether there is an intruder in that room ("I" for intruder, "NI" for no intruder), a count of doors c (0 <= c <= 20) that lead to other rooms and have a control panel in this room, and a list of rooms that those doors lead to. For example, if room 3 had no intruder, and doors to rooms 1 and 2, and each of those doors' control panels were accessible from room 3 (as is the case in the above layout), the line for room 3 would read "NI 2 1 2". The first line in the list represents room 0. The second line represents room 1, and so on until the last line, which represents room m - 1. On each line, the rooms are always listed in ascending order. It is possible for rooms to be connected by multiple doors and for there to be more than one intruder!

Output

For each dataset, output the fewest number of locks to perform to secure the panic room from all the intruders. If it is impossible to secure the panic room from all the intruders, output "PANIC ROOM BREACH". Assume that all doors start out unlocked and there will not be an intruder in the panic room.

题目大意：有n个房间，若干扇门，门是单向的，只能从一边上锁（如一道门连接a→b，任何时刻都能从a走到b，但上了锁之后就不能从b走到a了）。现在有些坏蛋入侵了一些房间，你不想让他们来到你的房间，问最少要锁上多少扇门，若全锁上都木有用……就……

思路：新建一个源点S，从S到坏蛋们入侵的房间连一条容量为无穷大的边，对每扇门a→b，连一条边a→b容量为无穷大，连b→a容量为1。若最大流≥无穷大（我是增广到一条容量为无穷大的路径直接退出），则无解（死定啦死定啦），否则最大流为答案。实则为求最小割，好像不需要解释了挺好理解的……

 #include <cstdio>
 #include <cstring>
 #include <algorithm>
 #include <queue>
 using namespace std;

 const int MAXN = ;
 const int MAXE = ;
 const int INF = 0x3fff3fff;

 struct SAP {
     int head[MAXN], dis[MAXN], pre[MAXN], cur[MAXN], gap[MAXN];
     int to[MAXE], next[MAXE], flow[MAXE];
     int n, st, ed, ecnt;

     void init() {
         memset(head, , sizeof(head));
         ecnt = ;
     }

     void add_edge(int u, int v, int c) {
         to[ecnt] = v; flow[ecnt] = c; next[ecnt] = head[u]; head[u] = ecnt++;
         to[ecnt] = u; flow[ecnt] = ; next[ecnt] = head[v]; head[v] = ecnt++;
         //printf("%d->%d flow = %d\n", u, v, c);
     }

     void bfs() {
         memset(dis, 0x3f, sizeof(dis));
         queue<int> que; que.push(ed);
         dis[ed] = ;
         while(!que.empty()) {
             int u = que.front(); que.pop();
             ++gap[dis[u]];
             for(int p = head[u]; p; p = next[p]) {
                 int &v = to[p];
                 if(flow[p ^ ] && dis[v] > n) {
                     dis[v] = dis[u] + ;
                     que.push(v);
                 }
             }
         }
     }

     int Max_flow(int ss, int tt, int nn) {
         st = ss; ed = tt; n = nn;
         int ans = , minFlow = INF, u;
         for(int i = ; i <= n; ++i) {
             cur[i] = head[i];
             gap[i] = ;
         }
         u = pre[st] = st;
         bfs();
         while(dis[st] < n) {
             bool flag = false;
             for(int &p = cur[u]; p; p = next[p]) {
                 int &v = to[p];
                 if(flow[p] && dis[u] == dis[v] + ) {
                     flag = true;
                     minFlow = min(minFlow, flow[p]);
                     pre[v] = u;
                     u = v;
                     if(u == ed) {
                         if(minFlow == INF) return INF;//no ans
                         ans += minFlow;
                         while(u != st) {
                             u = pre[u];
                             flow[cur[u]] -= minFlow;
                             flow[cur[u] ^ ] += minFlow;
                         }
                         minFlow = INF;
                     }
                     break;
                 }
             }
             if(flag) continue;
             int minDis = n - ;
             for(int p = head[u]; p; p = next[p]) {
                 int &v = to[p];
                 if(flow[p] && minDis > dis[v]) {
                     minDis = dis[v];
                     cur[u] = p;
                 }
             }
             if(--gap[dis[u]] == ) break;
             gap[dis[u] = minDis + ]++;
             u = pre[u];
         }
         return ans;
     }
 } G;

 char s[];
 int n, ss, tt, T, c, x;

 int main() {
     scanf("%d", &T);
     while(T--) {
         scanf("%d%d", &n, &tt);
         ss = n;
         G.init();
         for(int i = ; i < n; ++i) {
             scanf("%s%d", s, &c);
             while(c--) {
                 scanf("%d", &x);
                 G.add_edge(i, x, INF);
                 G.add_edge(x, i, );
             }
             if(s[] == 'I') G.add_edge(ss, i, INF);
         }
         int ans = G.Max_flow(ss, tt, ss);
         if(ans == INF) puts("PANIC ROOM BREACH");
         else printf("%d\n", ans);
     }
 }