洛谷P2057 【SHOI2007】善意的投票
阿新 • • 發佈:2018-11-07
如果網路流做的稍多一點,就不難看出來這是一道最小割:將一種意見與超級源點相連,另一種意見與超級匯點相連,再把每個人和與他意見不同的朋友連邊,將每條邊的流量上限都設為1,最後最大流量即為答案。
再看一下我們建的圖會發現這是一個二分圖,所以匈牙利也是可以的
另外觀察一下樣例可以發現我的朋友的朋友不一定是我的朋友(廢話)
因為太菜了再加上真的是一眼就感覺是最小割所以不會描述思路QAQ
上程式碼
dinic,我是把意見為0的人和源點相連了:
#include<iostream>
#include<cstdio>
#include <cstring>
#include<algorithm>
#include<queue>
using namespace std;
const int INF=1000000000;
const int N=310;
const int M=50010;
int n,m,s,t,ans,top=-1,d[N],h[N],pre[M<<1],to[M<<1],f[M<<1],a[N];
queue<int>q;
void ins(int u,int v,int w)
{
pre[++top]=h[u];h[u]=top;to[top] =v;f[top]=w;
}
bool bfs()
{
memset(d,0,sizeof(d));q.push(s);d[s]=1;
while(!q.empty())
{
int x=q.front();q.pop();
for(int i=h[x];i>=0;i=pre[i])
{
int v=to[i];
if(d[v]==0&&f[i]>0)d[v]=d[x]+1,q.push(v);
}
}
if(d[t])return true;
return false;
}
int dfs(int x,int flow)
{
if (x==t||flow==0)return flow;
int fl=0;
for(int i=h[x];i>=0;i=pre[i])
{
int v=to[i];
if(d[v]==d[x]+1&&f[i])
{
int tmp=dfs(v,min(flow-fl,f[i]));
fl+=tmp;f[i]-=tmp;f[i^1]+=tmp;
}
if(flow==fl)break;
}
if(fl==0)d[x]=0;
return fl;
}
int main()
{
scanf("%d%d",&n,&m);t=n+1;memset(h,-1,sizeof(h));
for(int i=1;i<=n;i++)
{
scanf("%d",&a[i]);
if(a[i])ins(i,t,1),ins(t,i,0);
else ins(s,i,1),ins(i,s,0);
}
for(int i=1;i<=m;i++)
{
int x,y;scanf("%d%d",&x,&y);
if(a[x]^a[y])
{
if(a[y]<a[x])swap(x,y);
ins(x,y,1);ins(y,x,0);
}
}
while(bfs())ans+=dfs(s,INF);
printf("%d\n",ans);return 0;
}
匈牙利:
#include<iostream>
#include<cstdio>
using namespace std;
const int N=310;
const int M=50010;
int n,m,cnt=1,ans,top,a[N],h[N],pre[M],to[M],mtch[N],vis[N];
void ins(int u,int v)
{
pre[++top]=h[u];h[u]=top;to[top]=v;
}
bool dfs(int x)
{
for(int i=h[x];i;i=pre[i])
{
int v=to[i];
if(vis[v]!=cnt)
{
vis[v]=cnt;
if(mtch[v]==0||dfs(mtch[v]))
{
mtch[v]=x;return true;
}
}
}
return false;
}
int main()
{
scanf("%d%d",&n,&m);
for(int i=1;i<=n;i++)scanf("%d",&a[i]);
for(int i=1;i<=m;i++)
{
int x,y;scanf("%d%d",&x,&y);
if(a[x]^a[y])a[y]?ins(x,y):ins(y,x);
}
for(int i=1;i<=n;i++,cnt++)
if(!a[i]&&dfs(i))ans++;
printf("%d\n",ans);return 0;
}