SCU 4442 Party

二分图的最小点权覆盖。

非常感谢巨巨@islands_的解答，还帮我画了一个图。

题目保证给出的边构成的图是一个二分图。

如果没有第三种类型的$frog$，那么问题就很简单了。即选择哪些点，覆盖住所有的边，并且要求选择的点的权值之和最小。可以转换成网络流来解决。

现在有第三种类型的$frog$，可以把这种$frog$拆成两个点，两点之间连边，然后其余和他有矛盾的点，分别向两个点中的一个点连边。画画图可以发现拆点之后的新图也是二分图。对这个图跑一次二分图的最小点权覆盖，如果拆点的边两端有一个点被选择，说明这个$frog$实际上是不选择的，如果拆点的边两端有两个点被选择，说明这个$frog$实际上被选择了，那么只要在结果上减去第三种类型的$frog$的权值和就可以了。

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

int n,m;
int w[],p[],dis[];
vector<int>g[];

const int maxn =  + ;
const int INF = 0x7FFFFFFF;
struct Edge
{
    int from, to, cap, flow;
    Edge(int u, int v, int c, int f) :from(u), to(v), cap(c), flow(f){}
};
vector<Edge>edges;
vector<int>G[maxn];
bool vis[maxn];
int d[maxn];
int cur[maxn];
int s, t;

void init()
{
    for (int i = ; i < maxn; i++) G[i].clear();
    edges.clear();
}
void AddEdge(int from, int to, int cap)
{
    edges.push_back(Edge(from, to, cap, ));
    edges.push_back(Edge(to, from, , ));
    int w = edges.size();
    G[from].push_back(w - );
    G[to].push_back(w - );
}
bool BFS()
{
    memset(vis, , sizeof(vis));
    queue<int>Q;
    Q.push(s);
    d[s] = ;
    vis[s] = ;
    while (!Q.empty())
    {
        int x = Q.front();
        Q.pop();
        for (int i = ; i<G[x].size(); i++)
        {
            Edge e = edges[G[x][i]];
            if (!vis[e.to] && e.cap>e.flow)
            {
                vis[e.to] = ;
                d[e.to] = d[x] + ;
                Q.push(e.to);
            }
        }
    }
    return vis[t];
}
int DFS(int x, int a)
{
    if (x == t || a == )
        return a;
    int flow = , f;
    for (int &i = cur[x]; i<G[x].size(); i++)
    {
        Edge e = edges[G[x][i]];
        if (d[x]+ == d[e.to]&&(f=DFS(e.to,min(a,e.cap-e.flow)))>)
        {
            edges[G[x][i]].flow+=f;
            edges[G[x][i] ^ ].flow-=f;
            flow+=f;
            a-=f;
            if(a==) break;
        }
    }
    if(!flow) d[x] = -;
    return flow;
}
int dinic(int s, int t)
{
    int flow = ;
    while (BFS())
    {
        memset(cur, , sizeof(cur));
        flow += DFS(s, INF);
    }
    return flow;
}

void B(int x)
{
    queue<int>Q; Q.push(x); dis[x]=;

    while(!Q.empty())
    {
        x = Q.front(); Q.pop();
        for(int i=;i<g[x].size();i++)
        {
            int to = g[x][i];
            if(dis[to]!=-) continue;
            dis[to] = dis[x]^;
            Q.push(to);
        }
    }
}

void ADD(int a,int b)
{
    g[a].push_back(b);
    g[b].push_back(a);
}

int main()
{
    while(~scanf("%d%d",&n,&m))
    {
        for(int i=;i<=*n;i++) g[i].clear();

        for(int i=;i<=n;i++) scanf("%d",&w[i]);
        for(int i=;i<=n;i++)
        {
            scanf("%d",&p[i]);
            if(p[i]==) ADD(i,i+n);
        }

        for(int i=;i<=m;i++)
        {
            int A,B; scanf("%d%d",&A,&B);
            if(p[A]+p[B]==) continue;

            if(p[A]==||p[A]==)
            {
                if(p[B]==||p[B]==) ADD(A,B);
                else
                {
                    if(p[A]==) ADD(A,B);
                    else ADD(A,B+n);
                }
            }

            else if(p[A]==)
            {
                if(p[B]==||p[B]==)
                {
                    if(p[B]==) ADD(A,B);
                    else ADD(A+n,B);
                }
                else if(p[B]==)
                {
                    ADD(A,B);
                    ADD(A+n,B+n);
                }
            }
        }

        memset(dis,-,sizeof dis);
        for(int i=;i<=*n;i++)
        {
            if(dis[i]!=-) continue;
            B(i);
        }

        init();

        s=,t=*n+;

        for(int i=;i<=*n;i++)
        {
            if(dis[i]==) continue;
            for(int j=;j<g[i].size();j++) AddEdge(i,g[i][j],INF);
        }

        for(int i=;i<=*n;i++)
        {
            int V;
            if(i<=n) V = w[i];  else V=w[i-n];
            if(dis[i]==) AddEdge(s,i,V);
            else AddEdge(i,t,V);
        }

        int ans = dinic(s,t);
        for(int i=;i<=n;i++) if(p[i]==) ans=ans-w[i];

        printf("%d\n",ans);

    }
    return ;
}