2019 ICPC 南昌区域赛 - C And and Pair（思维+组合数学）

题目链接

---

题目大意

给一个二进制数$n$，求满足$0\le j\le i\le n$且$(i\&n=i)\&\&(i\&j=0)$的数对$(i,j)$有多少对，$n$可能有前导$0$。

解题思路

开始推了样例，首先肯定要去找$i$，以第二个样例来看，若要满足$i\&1010=i$，我们从左向右按位来看，则$i$的第一位可能是$1$或者$0$，只有这样做完运算后这一位才不会变。然后是第二位，我们知道$i$的这一位必须是$0$，否则该位就发生了改变。然后得出结论。求$i$时，$S$对应的每一位若为$1$该位则有两种，若为$0$则该位只有一种。因此可以求出所有的$i$（还知道，这里求出的$i$肯定都是小于等于$S$的）。然后求$j$，先忽略求出$i$的前导$0$，然后简单推导可以知道$j$对应的规律和求$i$时刚好相反，即若非前导$0$的某一位为$0$，则对应两种情况，若为$1$则对应一种情况。貌似思路有了，可不会写，还是太菜~~

正解思路：从右往前看，每一位遇到$1$就让他做$i$的第一位。看除了第一位后面有多少个$0$有多少个$1$，设这个$1$的低位中有$m$个$1$和$n$个$0$，推导得出有$2^n\ast \sum C_m^i{2}^i$种方案。这个式子能不能化简呢？答案是能：

• $\sum C_n^i\ast 2^i=3^n$
  证明：$(x+1{)}^n=C_n^0\ast x^0+C_n^1\ast x^1+C_n^2\ast x^2+\cdot \cdot \cdot +C_n^{n-1}\ast x^{n-1}+C_n^n\ast x^n$
  令$x=2$，则有$3^n=C_n^0\ast 2^0+C_n^1\ast 2^1+C_n^2\ast 2^2+\cdot \cdot \cdot +C_n^{n-1}\ast 2^{n-1}+C_n^n\ast 2^n$

还要注意，第一位我们最后是没有考虑它为0的情况，第一位为0的话后面只能都是0，这样最后再加一即可

代码：

#include <iostream>
#include <string>
using namespace std;
typedef long long ll;
const int Mod=1e9+7;
const int maxn=1e5+10;
ll quick_mod(ll x,ll n){
    ll ans=1;
    while(n){
        if(n&1) ans=ans*x%Mod;
        n>>=1;
        x=x*x%Mod;
    }
    return ans;
}
int main()
{
    int T;
    string str;
    scanf("%d",&T);
    while(T--){
        string s="";
        cin>>str;
        int k=0;
        while(str[k]=='0') ///处理初始串的前缀0
            k++;
        for(int i=k;i<str.size();i++)
            s+=str[i];
        //cout<<s<<endl;
        int num1=0,num2=0;
        ll ans=0;
        for(int i=s.size()-1;i>=0;i--){
            if(s[i]=='1'){
                ans=(ans%Mod+(quick_mod(2,num1)*quick_mod(3,num2))%Mod)%Mod;
                num2++;
            }else num1++;
        }
        ans=(ans+1)%Mod; ///注意
        printf("%lld\n",ans);
    }
    return 0;
}