2019牛客国庆集训派对day2 J Vertex Cover（构造+组合计数）

大致题意

有n个点，标号为0 - n - 1每个点的权值就是2^i ，i 为标号，alice 任意选择一种边集，bob选择一种权值和最小的边际覆盖它的边集，覆盖的定义为alice中每条边中至少有一个点在bob的边集当中，并且权值和为k。求最小覆盖价值为k 时，有多少种边集。

思路

对于每个权值和k，其中每一个为 1 的位置 i，一定有一条端点为 i 的边，而且是最小权值和，所以它既然选择 i 点，代表一定有至少一条边连向 j (j>i) ，且 连向的 j 点不能全是被选择的点，否则完全可以不选 i 点，把这些边的覆盖全算在 j 上。
所以首先统计出二进制每一位的是否被选，vis[i] =1 or 0。然后 i 从大到小进行遍历，对于每个 i 只考虑对 j > i 进行统计，避免重复，sum 表示当前 i+1 到 n 有多少被选中点。

1. 当 vis[i]=1 ，可以向所有 j > i 连边，但是不能不连，所有有 2^(n-i) - 1种方案，同时不能全连向 被选中点，要剪掉 2 ^(sum) -1 。然后sum++;
2. 当vis[i]=0，显然可以向所有 j > i && vis[j]=1的点连边，因为 这些 j 是 必选的，随便加上一些无关的边也可以。
3. 上述结果求积。

代码

#include<bits/stdc++.h>
using namespace std;
#define maxn 100005
#define maxm 1006
#define ll long long int
#define INF 0x3f3f3f3f
#define inc(i,l,r) for(int i=l;i<=r;i++)
#define dec(i,r,l) for(int i=r;i>=l;i--)
#define mem(a) memset(a,0,sizeof(a))
#define sqr(x) (x*x)
#define inf (ll)2e18+1
#define PI acos(-1)
#define mod 1000000007
#define auto(i,x) for(int i=head[x];i;i=ed[i].nxt)
ll read(){
    ll x=0,f=1ll;char ch=getchar();
    while(!isdigit(ch)){if(ch=='-')f=-1;ch=getchar();}
     while(isdigit(ch))x=x*10+ch-'0',ch=getchar();
     return f*x;
}
int n,inv2[maxn];
char s[maxn];
bool vis[maxn];
void init()
{
    inv2[0]=1;
    inc(i,1,maxn-1)inv2[i]=1ll*inv2[i-1]*2%mod;
}
int main()
{
    init();
    while(~scanf("%d",&n)){
        scanf("%s",s);
        int len=strlen(s);///len==n  no
        if(n==1){
            if(len==1&&s[0]=='0')printf("1\n");
            else printf("0\n");
            continue;
        }
        if(len==1&&s[0]=='0'){printf("1\n");continue;}
        if(len==n){printf("0\n");continue;}
        inc(i,0,len-1)if(s[i]=='1')vis[len-i]=1;
        int sum=0;
        ll ans=1ll;
        dec(i,n-1,1){
            if(vis[i]){
                ans=ans*((((inv2[n-i]-1+mod)%mod) - ((inv2[sum]-1+mod )%mod) + mod)%mod)%mod;
                sum++;
            }
            else{
                ans=ans*inv2[sum]%mod;
            }
        }
        printf("%lld\n",ans);
        inc(i,0,n)vis[i]=0;
    }
    return 0;
}