最小割
如果能想到最小割,建图也大概可以脑补出来了。
容量都是1。
如果i同意,S->i,否则,i->T。割掉表示与自己冲突。
对于一对朋友i,j,i->j,j->i,割掉表示和朋友冲突。
根据割的性质,最终一定没有S->T的路径,即不会有不同决策落入同一连通分量。
#include<cstdio>
#include<cstring>
#include<algorithm>
#define N 305
#define S N-1
#define T N-2
using namespace std;
const int INF = 1<<29;
int ecnt=1, level[N], q[N], last[N], cur[N];
struct edge{int next,to,flow;}e[N*N*2];
void add(int a, int b, int v)
{
e[++ecnt]=(edge){last[a],b,v};
last[a]=ecnt;
e[++ecnt]=(edge){last[b],a,0};
last[b]=ecnt;
}
bool bfs()
{
memset(level,0,sizeof(level));
q[0]=S;
level[S]=1;
for(int head=0 ,tail=1; head < tail; head++)
{
int x=q[head];
for(int i = last[x]; i; i=e[i].next)
{
int y=e[i].to;
if(level[y] || e[i].flow==0)continue;
level[y]=level[x]+1;
if(y==T)return true;
q[tail++]=y;
}
}
return false;
}
int dfs(int x, int flow)
{
if(x==T)return flow;
int use=0;
for(int &i = cur[x]; i; i=e[i].next)
{
int y=e[i].to;
if(level[y]!=level[x]+1)continue;
int w = dfs(y,min(e[i].flow,flow-use));
use+=w;
e[i].flow-=w;
e[i^1].flow+=w;
if(use==flow)return use;
}
return use;
}
int dinic()
{
int ret=0;
while(bfs())
{
memcpy(cur,last,sizeof(cur));
ret+=dfs(S,INF);
}
return ret;
}
int main()
{
int n, m;
scanf("%d%d",&n,&m);
for(int i = 1; i <= n; i++)
{
int k;
scanf("%d",&k);
if(k)add(S,i,1);
else add(i,T,1);
}
for(int i = 1; i <= m; i++)
{
int a, b;
scanf("%d%d",&a,&b);
add(a,b,1);
add(b,a,1);
}
printf("%d\n",dinic());
return 0;
}