[atARC106E]Medals

暴力二分答案+网络流，点数为$o(nk)$，无法通过

考虑Hall定理，即有完美匹配当且仅当$\forall S\subseteq V_{left}$，令$S'=\{x|\exists y\in V_{left}且(x,y)\in E\}$，满足$|S|\le |S'|$

代入本题中，即$o(2^{n})$枚举工人，判断前$i$天内这些工人中有人存在的天数>=工人数的$k$倍

（虽然每一个工人被裂为了$k$个点，但由于中$k$个点的出边相同，选多个不会增大$|S'|$，必然全选）

考虑如何统计，先预处理出每一天存在的工人的二进制，再将所有于其有交的二进制全部加1即可

反过来，就是所有与其无交点的二进制，即全部属于其补集的二进制，高位前缀和即可

还有二分上限的问题，可以证明是$2kn$的，这样可以保证每一个工人都出现了至少$kn$次，任取$k$次即可

考虑时间复杂度，总复杂度为$o(n^{2}k+(n2^{n}+nk)\log_{2}nk)$，可以通过

#include<bits/stdc++.h>
using namespace std;
#define N 3600005
int n,m,x,day[N],tot[N],f[N];
bool pd(int k){
    for(int i=0;i<(1<<n);i++)f[i]=0;
    for(int i=1;i<=k;i++)f[day[i]]++;
    for(int i=0;i<n;i++)
        for(int j=0;j<(1<<n);j++)
            if (j&(1<<i))f[j]+=f[j^(1<<i)];
    for(int i=0;i<(1<<n);i++)
        if (tot[i]*m>k-f[(1<<n)-1-i])return 0;
    return 1;
}
int main(){
    scanf("%d%d",&n,&m);
    for(int i=0;i<n;i++){
        scanf("%d",&x);
        for(int j=1;j<N-4;j++)
            if ((j-1)/x%2==0)day[j]|=(1<<i);
    }
    for(int i=0;i<(1<<n);i++)tot[i]=tot[i>>1]+(i&1);
    int l=1,r=N-5;
    while (l<r){
        int mid=(l+r>>1);
        if (pd(mid))r=mid;
        else l=mid+1;
    }
    printf("%d",l);
}