2019 ICPC 南昌站 C And and Pair 推公式

传送门

题意

给出一个数字 $n$ (以二进制形式给出)
然后寻找数对 $(i,j)$ 满足
1：$1<=j<=i<=n$
2：$i\&n=i$
3：$j\&i=0$

分析

一开始以为跟上海一样是一个双线程的数位$DP$，后来发现只要推一推公式就好了
按照二进制从低位枚举每一位，如果当前为$1$，那么对应$i$中可以是$0$或者$1$，如果是$0$，那么$i$只能取$0$
对于$i$的$1$位置，$j$只能取$0$对于$i$的$0$位置$j$可以取$1$或者$0$
所以，对于每一个$1$，我们有三种情况，对于每一个$0$，我们只有两种情况
第一个条件要求$i>=j$，我们只要保证$i$中的最高位大于等于$j$中的最高位即可

代码

#pragma GCC optimize(3)
#include <bits/stdc++.h>
#define debug(x) cout<<#x<<":"<<x<<endl;
#define dl(x) printf("%lld\n",x);
#define di(x) printf("%d\n",x);
#define _CRT_SECURE_NO_WARNINGS
#define pb push_back
#define mp make_pair
#define all(x) (x).begin(),(x).end()
#define fi first
#define se second
#define SZ(x) ((int)(x).size())
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> PII;
typedef vector<int> VI;
const int INF = 0x3f3f3f3f;
const int N = 2e5 + 10;
const ll mod = 1000000007;
const double eps = 1e-9;
const double PI = acos(-1);
template<typename T>inline void read(T &a) {
	char c = getchar(); T x = 0, f = 1; while (!isdigit(c)) {if (c == '-')f = -1; c = getchar();}
	while (isdigit(c)) {x = (x << 1) + (x << 3) + c - '0'; c = getchar();} a = f * x;
}
int gcd(int a, int b) {return (b > 0) ? gcd(b, a % b) : a;}
char str[N];
ll num3[N],num2[N];
int n;

int main() {
	int T;
	read(T);
	num3[0] = num2[0] = 1;
	for(int i = 1;i < N;i++) num3[i] = num3[i - 1] * 3ll % mod,num2[i] = num2[i - 1] * 2ll % mod;
	while(T--){
		scanf("%s",str + 1);
		n = strlen(str + 1);
		int x = 0,y = 0;
		ll ans = 0;
		for(int i = n;i;i--){
			if(str[i] == '1'){
				ans = (ans + (num3[x] * num2[y] % mod)) % mod;
				x++;
			}
			else y++;
		}
		ans = (ans + 1) % mod;
		dl(ans);
	}
	return 0;
}