hiho一下 第117周 #1393 : 网络流三·二分图多重匹配 【网络流--增加源点-汇点 Ford-Fulkerson算法】

#1393 : 网络流三·二分图多重匹配

时间限制: 10000ms

单点时限: 1000ms

内存限制: 256MB

描述

学校的秋季运动会即将开始，为了决定参赛人员，各个班又开始忙碌起来。

小Hi和小Ho作为班上的班干部，统计分配比赛选手的重任也自然交到了他们手上。

已知小Hi和小Ho所在的班级一共有N名学生(包含小Hi和小Ho)，编号依次为1..N。

运动会一共有M项不同的比赛，编号为1..M。第i项比赛每个班需要派出m[i]名选手参加。

根据小Hi和小Ho的统计，编号为i的学生表示最多同时参加a[i]项比赛，并且给出他所擅长的b[i]项比赛的编号。

小Hi和小Ho希望将每个学生都安排到他所擅长的比赛项目，以增加夺冠的可能性。同时又要考虑满足每项比赛对人数的要求，当然给一个学生安排的比赛项目也不能超过他愿意参加的比赛项目数量。

根据统计的结果，小Hi和小Ho想知道能否有一个合适的安排，同时满足这些条件。

提示：二分图多重匹配

小Ho：真是麻烦啊，要不让他们自己报名项目怎么样？

小Hi：那样可能满足不了人数的要求啊，还是根据他们的意愿来进行分配吧。

小Ho：要是每个项目都只要派一个人参加就好了。这样只需要一个简单的二分图匹配就可以决定了！

小Hi：但是现在的情况是一个人可以参加多个项目，一个项目也需要多个人参加才行。

小Ho：对啊，所以这就问题所在啊。小Hi你有什么解决的办法么？

小Hi：嗯......有了！

小Ho：什么办法？

小Hi：还是从你刚刚说的二分图匹配入手，我们仍然将学生看作A部，比赛项目看作B部：

接下来，根据每个学生的意愿我们将对应的A[i]和B[j]连起来。比如编号为i的学生擅长编号为j的项目，那么就连接A[i]-B[j]：

小Ho：然后呢？

小Hi：这次的问题和二分匹配不同的地方在于：匹配结果中，A[i]可能和多个B[j]相连，如果有一个可以来记录A[i]连接数量的量呢？

小Ho：记录A[i]的连接数量么？

小Hi：对！因为A[i]最多只能和a[i]的点相连。所以我们需要一个方法来限制这个量在0~a[i]之间变动。

小Ho：这听上去有点像网络流里面的流量，只能在0和容量之间变动。

小Hi：没错！这里我们要用的就是网络流。

小Ho：那具体怎么做呢？

小Hi：我们需要对之前的二分图进行进一步扩展。首先虚拟一个源点s和汇点t：

接下来我们根据a[i]，在s和A[i]之间连接一条容量为a[i]的边。

同时将原来A[i]-B[j]直接的边都改造为从A[i]到B[j]的容量为1的边。

最后我们还要连接所有的B[j]-t。由于比赛项目B[j]最多只需要m[j]名选手参加，所以我们不妨限制B[j]-t的容量为m[j]。

这就是我们最后的网络流图。那么小Ho，你想想在这个图上面做的最大流有什么含义？

小Ho：我想想啊......我知道了！

在完成最大流后，这个网络流图的流量情况直接对应了一个分配方案：

s-A[i]：这一类边的流量表示了A[i]参加的项目数量。

A[i]-B[j]：这一类边的流量表示了A[i]是否参加项目B[j]，若参加则流量为1，否则流量为0。

B[j]-t：这一类边的流量表示了参加比赛项目B[j]的选手数量。

由于流网络会自动调整去满足最大流量，所以它会自动调整每个A[i]-B[j]的流量来使得B[j]-t尽可能大。

若每个项目都能够满足人数的话，网络流会自己调整为所有B[j]-t都满流的情况。

小Hi：就是这样，我们只需要最后判断一下每一条B[j]-t的边是否满流，就可以知道能否满足需求。同时还可以根据A[i]-B[j]的情况，计算出每个选手所参加的比赛项目。

小Ho：这个方法好厉害，都不需要自己手动去进行调整了。

小Hi：没错，这也就是网络流的神奇之处。对于这类允许多条边的匹配问题，也被称为二分图多重匹配问题。而网络流正是它的一个简单解决方法。

小Ho：我明白了！我这就去实现它，然后赶紧把报名表交上去！

输入

第1行：1个整数T，表示一共有T(2≤T≤5)组数据，每组数据按如下格式给出：

第1行：2个正整数N,M。1≤N≤100，1≤M≤100。

第2行：M个整数，第i个数表示第i个项目需要的选手数量m[i]。1≤m[i]≤N。

第3..N+2行：若干整数，第i+2行表示编号为i的学生的信息。先是a[i],b[i]，接下来b[i]个整数，表示其所擅长的b[i]个项目。1≤a[i]≤M

输出

第1..T行：第i行表示第i组数据能否满足要求，若能够输出"Yes"，否则输出"No"。

样例输入

2
4 3
1 2 2
1 2 1 2
2 2 1 3
1 1 2
1 2 2 3
4 3
2 2 2
1 2 1 2
2 2 1 3
1 1 2
1 2 2 3

样例输出

Yes
No

代码：

#include<cstdio>
#include<cstring>
#include<vector>
#include<algorithm>
using namespace std;
struct node{
    int to,w,vap;
}Q;
vector<node>V[205];
bool fafe[205];
void add_edge(int a,int b,int c)
{
    Q.to=b;Q.w=c;Q.vap=V[b].size();
    V[a].push_back(Q);
    Q.to=a;Q.w=0;Q.vap=V[a].size()-1;
    V[b].push_back(Q);
}
int ex_dfs(int x)
{
    fafe[x]=true;
    if (x==201) return 1;
    for (int i=0;i<V[x].size();i++)
    {
        int v=V[x][i].to;
        if (fafe[v]||V[x][i].w==0) continue;
        int k=ex_dfs(v);
        if (k)
        {
            V[x][i].w--;
            V[v][V[x][i].vap].w++;
            return 1;
        }
    }
    return 0;
}
int main()
{
    int t,n,m,a,b,c;scanf("%d",&t);
    while (t--)
    {
        for (int i=0;i<=201;i++)
            V[i].clear();
        c=0;
        scanf("%d%d",&n,&m);
        for (int i=1;i<=m;i++)
        {
            scanf("%d",&a);
            add_edge(i+100,201,a);
            c+=a;
        }
        for (int i=1;i<=n;i++)
        {
            scanf("%d%d",&a,&b);
            add_edge(0,i,a);
            while (b--)
            {
                scanf("%d",&a);
                add_edge(i,a+100,1);
            }
        }
        a=1;b=0;
        while (a)
        {
            a=0;
            memset(fafe,false,sizeof(fafe));
            a=ex_dfs(0);
            b+=a;
        }
        printf("%s\n",b==c?"Yes":"No");
    }
    return 0;
}