【题目大意】
有F 种食物和D 种饮料,每种食物或饮料只能供一头牛享用,且每头牛只享用一
种食物和一种饮料。现在有 N 头牛,每头牛都有自己喜欢的食物种类列表和饮
料种类列表,问最多能使几头牛同时享用到自己喜欢的食物和饮料。(1 <= F <=
100, 1 <= D <= 100, 1 <= N <= 100)
【建模方法】
此题的建模方法比较有开创性。以往一般都是左边一个点集表示供应并与源相连,
右边一个点集表示需求并与汇相连。现在不同了,供应有两种资源,需求仍只有
一个群体,怎么办?其实只要仔细思考一下最大流的建模原理,此题的构图也不
是那么难想。最大流的正确性依赖于它的每一条s-t 流都与一种实际方案一一对
应。那么此题也需要用s-t 流将一头牛和它喜欢的食物和饮料“串”起来,而食
物和饮料之间没有直接的关系,自然就想到把牛放在中间,两边是食物和饮料,
由s, t 将它们串起来构成一种分配方案。至此建模的方法也就很明显了:每种食
物i 作为一个点并连边(s, i, 1),每种饮料j 作为一个点并连边(j, t, 1),将每头牛k
拆成两个点k’, k’’并连边(k’, k’’, 1), (i, k’, 1), (k’’, j, 1),其中i, j 均是牛k 喜欢的食物
或饮料。求一次最大流即为结果。
#include<stdio.h>
#include<string.h>
const int EDGE_NUM = 20001;//边数
const int POINT_NUM = 501;//点数
struct edge
{
int v;//点
int next;//下一边
int value;//当前边流量
}edge[2*EDGE_NUM];//边信息,以邻接表形式存储
int p[POINT_NUM];//p[i]记录最后一条以i为起点的边的id,即以i为起点的最后一条边为edge[p[i]],而edge[p[i]].next则为以i为起点的倒数第二条边,以此类推
int level[POINT_NUM];//level[i]记录i点的层次
int que[POINT_NUM],out[POINT_NUM];//辅助数组
int edgeNumber;
void init()
{
edgeNumber = 0;
memset(p,-1,sizeof(p));
}
inline void addEdge(int from,int to,int value)//添加边,以邻接表形式存储
{
edge[edgeNumber].v = to;
edge[edgeNumber].value = value;
edge[edgeNumber].next = p[from];
p[from] = edgeNumber++;
}
int Dinic(int source,int sink,int n)
{
int i,maxFlow = 0;
while(true)
{
int head,tail;
for(i=0;i<n;i++)level[i] = 0;
level[source] = 1;//源点为第一层
head = 0;tail = 0;
que[0] = source;//que这里当队里使用
while(head<=tail)//BFS该剩余图,计算每个可达点层次
{
int cur = que[head++];
for(i=p[cur];i!=-1;i=edge[i].next)
{
if(edge[i].value>0&&level[edge[i].v]==0)
{
level[edge[i].v] = level[cur]+1;
que[++tail] = edge[i].v;
}
}
}
if(level[sink]==0)break;//不存在增广路
for(i=0;i<n;i++)out[i]=p[i];//out[i]动态记录可用边
int q = -1;//q为已经搜索到的点的个数,que存放途径边信息
while(true)//DFS剩余图,查找增广路
{
if(q<0)//当前路为空
{
int cur = out[source];
for(;cur!=-1;cur=edge[cur].next)//查找第一条边
{
if(edge[cur].value>0&&out[edge[cur].v]!=-1&&level[edge[cur].v]==2)//合法第一条边必须满足:1.流量大于0;2.终点有可用边 3:终点层次为2
break;
}
if(cur==-1)break;//找不到第二层,当前剩余图已经没有增广路
que[++q]=cur;//存入第一条边id
out[source]=edge[cur].next;
}
int curnode = edge[que[q]].v;//当前路的终点
if(curnode==sink)//找到一条增广路
{
int thisflow = edge[que[0]].value;//thisflow为当前增广路的流量
int index = 0;//标记最小流量边的id
for(i=1;i<=q;i++)
{
if(thisflow>edge[que[i]].value)
{
thisflow=edge[que[i]].value;
index = i;
}
}
maxFlow+=thisflow;
for(i=0;i<=q;i++)
{
edge[que[i]].value-=thisflow;
edge[que[i]^1].value+=thisflow;//与其方向相反的边
}
q = index-1;//查找下一条增广路时可直接使用当前路的前q条边
}
else//尚未找到汇点
{
int cur = out[curnode];
for(;cur!=-1;cur=edge[cur].next)
{
if(edge[cur].value>0&&out[edge[cur].v]!=-1&&level[edge[cur].v]==level[curnode]+1)
break;
}
if(cur==-1)//没有下一条路
{
out[curnode]=-1;//标记当前点的可达边为0
q--;
}
else
{
que[++q]=cur;
out[curnode]=edge[cur].next;//下一次搜索时可达边从edge[cur].next开始查找
}
}
}
}
return maxFlow;
}
int main()
{
int Nn,Ff,Dd;
while(scanf("%d%d%d",&Nn,&Ff,&Dd)!=EOF)
{
init();
int foodstart = 1;
int cow1 = Ff+2;
int cow2 = cow1+Nn+1;
int drinkstart = cow2+Nn+1;
int end = drinkstart+Dd+1;
int i;
for(i=0;i<Nn;i++)//添加牛边
{
addEdge(cow1+i,cow2+i,1);
addEdge(cow2+i,cow1+i,0);
}
for(i=0;i<Ff;i++)//添加食物边
{
addEdge(0,foodstart+i,1);
addEdge(foodstart+i,0,0);
}
for(i=0;i<Dd;i++)//添加饮料
{
addEdge(drinkstart+i,end,1);
addEdge(end,drinkstart+i,0);
}
for(i=0;i<Nn;i++)
{
int f,d;
scanf("%d%d",&f,&d);
int x;
while(f--)
{
scanf("%d",&x);
x--;
addEdge(foodstart+x,cow1+i,1);
addEdge(cow1+i,foodstart+x,0);
}
while(d--)
{
scanf("%d",&x);
x--;
addEdge(cow2+i,drinkstart+x,1);
addEdge(drinkstart+x,cow2+i,0);
}
}
printf("%d\n",Dinic(0,end,end+1));
}
return 0;
}
附上dinic模版
struct edge
{
int v, next;
int val;
} net[ 100010 ];
int level[maxn], Qu[maxn], out[maxn],next[maxn];
class Dinic {
public:
int end;
Dinic() {
end = 0;
memset( next, -1, sizeof(next) );
}
inline void insert( int x, int y, int c) {
net[end].v = y, net[end].val = c,
net[end].next = next[x],
next[x] = end ++;
net[end].v = x, net[end].val = 0,
net[end].next = next[y],
next[y] = end ++;
}
bool BFS( int S, int E ) {
memset( level, -1, sizeof(level) );
int low = 0, high = 1;
Qu[0] = S, level[S] = 0;
for( ; low < high; ) {
int x = Qu[low];
for( int i = next[x]; i != -1; i = net[i].next ) {
if( net[i].val == 0 ) continue;
int y = net[i].v;
if( level[y] == -1 ) {
level[y] = level[x] + 1;
Qu[ high ++] = y;
}
}
low ++;
}
return level[E] != -1;
}
int MaxFlow( int S, int E ){
int maxflow = 0;
for( ; BFS(S, E) ; ) {
memcpy( out, next, sizeof(out) );
int now = -1;
for( ;; ) {
if( now < 0 ) {
int cur = out[S];
for(; cur != -1 ; cur = net[cur].next )
if( net[cur].val && out[net[cur].v] != -1 && level[net[cur].v] == 1 )
break;
if( cur >= 0 ) Qu[ ++now ] = cur, out[S] = net[cur].next;
else break;
}
int u = net[ Qu[now] ].v;
if( u == E ) {
int flow = inf;
int index = -1;
for( int i = 0; i <= now; i ++ ) {
if( flow > net[ Qu[i] ].val )
flow = net[ Qu[i] ].val, index = i;
}
maxflow += flow;
for( int i = 0; i <= now; i ++ )
net[Qu[i]].val -= flow, net[Qu[i]^1].val += flow;
for( int i = 0; i <= now; i ++ ) {
if( net[ Qu[i] ].val == 0 ) {
now = index - 1;
break;
}
}
}
else{
int cur = out[u];
for(; cur != -1; cur = net[cur].next )
if (net[cur].val && out[net[cur].v] != -1 && level[u] + 1 == level[net[cur].v])
break;
if( cur != -1 )
Qu[++ now] = cur, out[u] = net[cur].next;
else out[u] = -1, now --;
}
}
}
return maxflow;
}
};