HDU-3605 Escape

看起来是个简单的匹配问题，但是点的数量很多，可以达到100000多个

如果直接用最大流跑，肯定是超时的

题目中的m最大为10，就决定了人的种类数最大为1024

那么可以按照人的种类缩点，把个数加到边的容量里，这样最多就是1000多个点

然后每个种类再和m个星球建边，以及源点汇点的建边，用ISAP跑一遍即可

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<map>
using namespace std;
typedef long long ll;
const int N=1100+10;
const int M=30000+10;
const int INF=0x7f7f7f7f;
struct Edge
{
    int to,nxt,cap,flow;
}edge[M];
int tot,first[N];
void addedge(int u,int v,int w,int rw=0)
{
    edge[tot].to=v;edge[tot].cap=w;edge[tot].flow=0;
    edge[tot].nxt=first[u];first[u]=tot++;
    edge[tot].to=u;edge[tot].cap=rw;edge[tot].flow=0;
    edge[tot].nxt=first[v];first[v]=tot++;
}
void init()
{
    tot=0;
    memset(first,-1,sizeof(first));
}

int gap[N],dep[N],cur[N];
int Q[N],S[N];
void bfs(int s)
{
    memset(gap,0,sizeof(gap));
    memset(dep,-1,sizeof(dep));
    int q0=0,q1=0;
    Q[q1++]=s;
    dep[s]=0;
    gap[0]=1;
    while(q0<q1)
    {
        int u=Q[q0++];
        for(int i=first[u];i!=-1;i=edge[i].nxt)
        {
            int v=edge[i].to;
            if(dep[v]!=-1) continue;
            dep[v]=dep[u]+1;
            gap[dep[v]]++;
            Q[q1++]=v;
        }
    }
}
int sap(int s,int t,int n)
{
    int ans=0;
    bfs(t);
    memcpy(cur,first,sizeof(first));
    int top=0;
    int u=s;
    while(dep[s]<n)
    {
        if(u==t)
        {
            int Min=INF;
            int inser;
            for(int i=0;i<top;i++)
                if(Min>edge[S[i]].cap-edge[S[i]].flow)
                {
                    Min=edge[S[i]].cap-edge[S[i]].flow;
                    inser=i;
                }
            for(int i=0;i<top;i++)
            {
                edge[S[i]].flow+=Min;
                edge[S[i]^1].flow-=Min;
            }
            ans+=Min;
            top=inser;
            u=edge[S[top]^1].to;
        }
        bool flag=false;
        int v;
        for(int i=cur[u];i!=-1;i=edge[i].nxt)
        {
            v=edge[i].to;
            if(edge[i].cap-edge[i].flow&&dep[v]+1==dep[u])
            {
                flag=true;
                cur[u]=S[top++]=i;
                break;
            }
        }
        if(flag)
        {
            u=v;
            continue;
        }
        gap[dep[u]]--;
        if(!gap[dep[u]]) return ans;
        int Min=n;
        for(int i=first[u];i!=-1;i=edge[i].nxt)
            if(edge[i].cap-edge[i].flow&&Min>dep[edge[i].to])
            {
                Min=dep[edge[i].to];
                cur[u]=i;
            }
        dep[u]=Min+1;
        gap[dep[u]]++;
        if(u!=s) u=edge[S[--top]^1].to;
    }
    return ans;
}
int num[N];
int main()
{
    int n,m;
    while(~scanf("%d%d",&n,&m))
    {
        init();
        int s=(1<<m)+m,t=s+1;
        memset(num,0,sizeof(num));
        for(int i=0;i<n;i++)
        {
            int k=0,v;
            for(int j=0;j<m;j++)
            {
                scanf("%d",&v);
                k=k*2+v;
            }
            num[k]++;
        }
        int end=(1<<m);
        for(int i=0;i<end;i++)
        {
            addedge(s,i,num[i]);
            int k=i,p=m-1;
            while(k)
            {
                if(k&1) addedge(i,end+p,INF);
                k>>=1;
                p--;
            }
        }
        for(int i=0;i<m;i++)
        {
            int a;
            scanf("%d",&a);
            addedge(end+i,t,a);
        }
        int ans=sap(s,t,t+1);
        if(ans<n) printf("NO\n");
        else printf("YES\n");
    }
    return 0;
}