bzoj1565: [NOI2009]植物大战僵尸

Description

Plants vs. Zombies（PVZ）是最近十分风靡的一款小游戏。Plants（植物）和Zombies（僵尸）是游戏的主角，其中Plants防守，而Zombies进攻。该款游戏包含多种不同的挑战系列，比如Protect Your Brain、Bowling等等。其中最为经典的，莫过于玩家通过控制Plants来防守Zombies的进攻，或者相反地由玩家通过控制Zombies对Plants发起进攻。
现在，我们将要考虑的问题是游戏中Zombies对Plants的进攻，请注意，本题中规则与实际游戏有所不同。游戏中有两种角色，Plants和Zombies，每个Plant有一个攻击位置集合，它可以对这些位置进行保护；而Zombie进攻植物的方式是走到植物所在的位置上并将其吃掉。
游戏的地图可以抽象为一个N行M列的矩阵，行从上到下用0到N–1编号，列从左到右用0到M–1编号；在地图的每个位置上都放有一个Plant，为简单起见，我们把位于第r行第c列的植物记为Pr, c。
Plants分很多种，有攻击类、防守类和经济类等等。为了简单的描述每个Plant，定义Score和Attack如下：
Score[Pr, c]
Zombie击溃植物Pr, c可获得的能源。若Score[Pr, c]为非负整数，则表示击溃植物Pr, c可获得能源Score[Pr, c]，若为负数表示击溃Pr, c需要付出能源 -Score[Pr, c]。
Attack[Pr, c]
植物Pr, c能够对Zombie进行攻击的位置集合。
Zombies必须从地图的右侧进入，且只能沿着水平方向进行移动。Zombies攻击植物的唯一方式就是走到该植物所在的位置并将植物吃掉。因此Zombies的进攻总是从地图的右侧开始。也就是说，对于第r行的进攻，Zombies必须首先攻击Pr, M-1；若需要对Pr, c（0 ≤ c < M-1）攻击，必须将Pr,M-1, Pr, M-2 … Pr, c+1先击溃，并移动到位置(r, c)才可进行攻击。
在本题的设定中，Plants的攻击力是无穷大的，一旦Zombie进入某个Plant的攻击位置，该Zombie会被瞬间消灭，而该Zombie没有时间进行任何攻击操作。因此，即便Zombie进入了一个Plant所在的位置，但该位置属于其他植物的攻击位置集合，则Zombie会被瞬间消灭而所在位置的植物则安然无恙（在我们的设定中，Plant的攻击位置不包含自身所在位置，否则你就不可能击溃它了）。
Zombies的目标是对Plants的阵地发起进攻并获得最大的能源收入。每一次，你可以选择一个可进攻的植物进行攻击。本题的目标为，制定一套Zombies的进攻方案，选择进攻哪些植物以及进攻的顺序，从而获得最大的能源收入
。

Input

第一行包含两个整数N, M，分别表示地图的行数和列数。
接下来N×M行描述每个位置上植物的信息。第r×M + c + 1行按照如下格式给出植物Pr, c的信息：
第一个整数为Score[Pr, c], 第二个整数为集合Attack[Pr, c]中的位置个数w，
接下来w个位置信息（r’, c’），表示Pr, c可以攻击位置第r’ 行第c’ 列。
1 ≤ N ≤ 20，1 ≤ M ≤ 30，-10000 ≤ Score ≤ 10000 。

Output

仅包含一个整数，表示可以获得的最大能源收入。
注意，你也可以选择不进行任何攻击，这样能源收入为0。

Sample Input

3 2

10 0

20 0

-10 0

-5 1 0 0

100 1 2 1

100 0

Sample Output

25

HINT

在样例中, 植物P1,1可以攻击位置(0,0), P2, 0可以攻击位置(2,1)。

一个方案为，首先进攻P1,1, P0,1，此时可以攻击P0,0 。

共得到能源收益为(-5)+20+10 = 25。

注意, 位置(2,1)被植物P2,0保护，所以无法攻击第2行中的任何植物。

解题思路：

看了题就想到了最大权闭合子图，不过一直在想如何用建边判掉有环的情况，一直想不出来，后来发现先拓扑排序把有环的删了就行了，囧……
最大闭合子图的网络流求法如下：
1.从S向正权值的点连正权值的边；
2.从负权值的点向T连权值的绝对值的边；
3.原图中的边赋值为INF.
4.答案即为正权值之和减去最小割。
具体证明可以看这里

#include<bits/stdc++.h>
using namespace std;

int getint()
{
    int i=0,f=1;char c;
    for(c=getchar();(c!='-')&&(c<'0'||c>'9');c=getchar());
    if(c=='-')f=-1,c=getchar();
    for(;c>='0'&&c<='9';c=getchar())i=(i<<3)+(i<<1)+c-'0';
    return i*f; 
}

const int N=10000,M=1000000,INF=0x3f3f3f3f;
int S,T,n,m,ans,cnt,p[35][35],a[N];
int tot=1,du[N],dis[N],cur[N],first[N],nxt[M],to[M],cap[M];
vector<int>g[N];
queue<int>q;

void add(int x,int y,int z)
{
    nxt[++tot]=first[x],first[x]=tot,to[tot]=y,cap[tot]=z;
    nxt[++tot]=first[y],first[y]=tot,to[tot]=x,cap[tot]=0;
}

void topsort()
{
    for(int i=1;i<=cnt;i++)if(!du[i])q.push(i);
    while(!q.empty())
    {
        int u=q.front();q.pop();
        for(int i=0;i<g[u].size();i++)
        {
            int v=g[u][i];
            if(!(--du[v]))q.push(v);
        }
    }
}

bool bfs()
{
    while(!q.empty())q.pop();
    for(int i=S;i<=T;i++)dis[i]=-1,cur[i]=first[i];
    q.push(S),dis[S]=0;
    while(!q.empty())
    {
        int u=q.front();q.pop();
        for(int e=first[u];e;e=nxt[e])
        {
            int v=to[e];
            if(dis[v]==-1&&cap[e])
            {
                dis[v]=dis[u]+1,q.push(v);
                if(v==T)return true;
            }
        }
    }
    return false;
}

int dinic(int u,int flow)
{
    if(u==T)return flow;
    int res=0;
    for(int &e=cur[u];e;e=nxt[e])
    {
        int v=to[e];
        if(dis[v]==dis[u]+1&&cap[e])
        {
            int det=dinic(v,min(flow-res,cap[e]));
            cap[e]-=det,cap[e^1]+=det;
            res+=det;if(res==flow)break;
        }
    }
    if(res<flow)dis[u]=-1;
    return res;
}

int main()
{
    //freopen("lx.in","r",stdin);
    //freopen("lx.out","w",stdout);
    n=getint(),m=getint();
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)p[i][j]=++cnt;
    for(int i=1;i<=n;i++)
        for(int j=1;j<=m;j++)
        {
            a[p[i][j]]=getint();
            int k=getint();
            while(k--)
            {
                int x=getint()+1,y=getint()+1;
                g[p[i][j]].push_back(p[x][y]);
                du[p[x][y]]++;
            }
            if(j>1)g[p[i][j]].push_back(p[i][j-1]),du[p[i][j-1]]++;
        }
    topsort();
    S=0,T=++cnt;
    for(int i=1;i<=cnt;i++)if(!du[i])
    {
        if(a[i]>0)ans+=a[i],add(S,i,a[i]);
        else add(i,T,-a[i]);
        for(int j=0;j<g[i].size();j++)
        {
            int v=g[i][j];
            if(!du[v])add(v,i,INF);
        }
    }
    while(bfs())ans-=dinic(S,INF);
    cout<<ans;
    return 0;
}