BZOJ1934[SHOI2007] Vote 善意的投票

原题链接：https://www.lydsy.com/JudgeOnline/problem.php?id=1934

Vote 善意的投票

Description

幼儿园里有n个小朋友打算通过投票来决定睡不睡午觉。对他们来说，这个问题并不是很重要，于是他们决定发扬谦让精神。虽然每个人都有自己的主见，但是为了照顾一下自己朋友的想法，他们也可以投和自己本来意愿相反的票。我们定义一次投票的冲突数为好朋友之间发生冲突的总数加上和所有和自己本来意愿发生冲突的人数。 我们的问题就是，每位小朋友应该怎样投票，才能使冲突数最小？

Input

第一行只有两个整数n，m，保证有2≤n≤300，1≤m≤n(n-1)/2。其中n代表总人数，m代表好朋友的对数。文件第二行有n个整数，第i个整数代表第i个小朋友的意愿，当它为1时表示同意睡觉，当它为0时表示反对睡觉。接下来文件还有m行，每行有两个整数i，j。表示i，j是一对好朋友，我们保证任何两对i，j不会重复。

Output

只需要输出一个整数，即可能的最小冲突数。

Sample Input

3 3
1 0 0
1 2
1 3
3 2

Sample Output

1

HINT

在第一个例子中，所有小朋友都投赞成票就能得到最优解。

题解

经典的最小割模型，类似最大值，只是在最大值中我们是在值域中选一个数，而这里只有两种选择，但是我们依然可以用类似的建图。

假设$A$想睡，$B$想被睡不想睡，两人又是朋友，我们可以仿照最大值建出下面的图，将每个人的选择方案串在一起，朋友之间再连边表示矛盾：

根据题意，我们要把冲突的代价表示出来，违背自己本来意愿有$1$的代价，朋友之间意见不一样也有$1$的代价，上图的文字就会抽象为权值：

$0$边是没有意义的，连接到$S,T$的边也似乎可以省略，为什么不简化一下整个图呢？

完结撒花。

代码

#include<bits/stdc++.h>
using namespace std;
const int M=100005,inf=0x3f3f3f3f;
struct sd{int to,fl;}ed[M];
int s,t,n,m,id,d[M];
vector<int>mmp[M];
queue<int>dui;
void add(int f,int t,int a,int b){mmp[f].push_back(id);ed[id++]=(sd){t,a};mmp[t].push_back(id);ed[id++]=(sd){f,b};}
bool bfs()
{
    memset(d,0,sizeof(d));d[s]=1;dui.push(s);int hh,to,fl,f;
    while(!dui.empty())
    {
        f=dui.front();dui.pop();
        for(int i=mmp[f].size()-1;i>=0;--i){hh=mmp[f][i],to=ed[hh].to,fl=ed[hh].fl;if(d[to]||!fl)continue;d[to]=d[f]+1;dui.push(to);}
    }
    return d[t];
}
int dfs(int v,int e,int minn)
{
    if(v==e||!minn)return minn;int ans=0,tmp,hh,fl,to;
    for(int i=mmp[v].size()-1;i>=0;--i)
    {
        hh=mmp[v][i],to=ed[hh].to,fl=ed[hh].fl;
        if(d[to]!=d[v]+1||!fl)continue;
        tmp=dfs(to,e,min(fl,minn-ans));
        if(!tmp)continue;
        ed[hh].fl-=tmp,ed[hh^1].fl+=tmp;ans+=tmp;
    }
    return ans;
}
void in(){scanf("%d%d",&n,&m);}
void ac()
{
    t=n+1;int ans=0,a,b;
    for(int i=1;i<=n;++i){scanf("%d",&a);a?add(s,i,1,0):add(i,t,1,0);}
    for(int i=1;i<=m;++i){scanf("%d%d",&a,&b);add(a,b,1,1);}
    while(bfs())ans+=dfs(s,t,inf);
    printf("%d",ans);
}
int main(){in();ac();}