看数据和题目长相 显然数位dp 但是最大的难点就是 最后满足的状态难想
我 们再 看数据 L<100
显然只会对后七位产生影响
所以我们在dp 最后的状态判断是需要花费功夫
我们需要记录几个状态 位数 整体的1的奇偶 连续1的奇偶 是否到达上限
判断的时候有一些细节不做赘述了
#include <bits/stdc++.h>
using namespace std;
#define int long long
//typedef long long ll;
typedef pair<int,int> pii;
#define x first
#define y second
#define pb push_back
#define inf 1e18
#define IOS std::ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
#define fer(i,a,b) for(int i=a;i<=b;i++)
#define der(i,a,b) for(int i=a;i>=b;i--)
const int maxn=1e5+10;
const int mod=1e9+7;
int qmi(int a,int b) {
int res=1;
while(b) {
if(b&1) res=res*a%mod;
a=a*a%mod;
b>>=1;
}
return res;
}
const int N=2e5+10;
int dr[4][2]= {{-1,0},{1,0},{0,-1},{0,1}};
int n,k;
int m;
int dp[150][3][3][3];
int q[N];
int a[N];
int cal(int sum,int pre,int lim) {
int ans=0;
int up=lim?n%128:127;
for(int i=0; i<=up; i++) {
int g=1;
for(int j=0; j<m&&g; j++)
if(i+j<128) g&=(__builtin_parity(i+j)^sum)==a[j];
else g&=(__builtin_parity(i+j-128)^sum^(1^pre))==a[j];
ans+=g;
}
return ans;
}
int dfs(int pos,int sum,int pre,int lim) {
if(dp[pos][sum][pre][lim]!=-1)return dp[pos][sum][pre][lim];
if(pos<=7) return dp[pos][sum][pre][lim]=cal(sum,pre,lim);
int ans=0;
int up=lim?q[pos]:1;
for(int i=0; i<=up; i++) {
ans+=dfs(pos-1,sum^i,(!pre)&i,lim&&(i==up));
}
if(!lim) dp[pos][sum][pre][lim]=ans;
return ans;
}
int so(int x) {
int cnt=0;
while(x)
q[++cnt]=x%2,x/=2;
cout<<cnt<<endl;
return dfs(cnt,0,0,1);
}
void solve() {
memset(dp,-1,sizeof(dp));
cin>>m>>n;
fer(i,0,m-1)cin>>a[i];
cout<<so(n)<<endl;
}
signed main() {
IOS;
int _;
cin>>_;
while(_--) solve();
return 0;
}