传送门

题意：

给你个串$s$，让后把它重复无限次得到$t$，定义前缀的价值为$cn{t}_0-cn{t}_1$，求$t$的前缀价值为$x$的前缀个数，若有无限多输出$-1$。

思路：

定义$pre[i]$为前$i$个字符的价值。
如果$pre[n]=0$，那么说明每个串都独立，如果至少一个$pre[i]=x$，那么说明他是有无限个，输出$-1$，否则就不存在输出$0$姐即可。
如果$pre[n]!=0$，那说明我们可以以$pre[n]$为基底，将$x$缩小$p\ast pre[n]$，让后再加上某一个前缀$pre[i]$，即$p\ast pre[n]+pre[i]=x$，转化一下$p=\frac{x-pre[i]}{pre[n]}$，也就是当$(x-pre[i])\mathrm{m}\mathrm{o}\mathrm{d}pre[n]=0$的时候贡献加一，需要注意$(x-pre[i])$与$pre[n]$需要同号，最后特判一下$x=0$的情况就好啦。

//#pragma GCC optimize("Ofast,no-stack-protector,unroll-loops,fast-math")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4.1,sse4.2,avx,avx2,popcnt,tune=native")
//#pragma GCC optimize(2)
#include<cstdio>
#include<iostream>
#include<string>
#include<cstring>
#include<map>
#include<cmath>
#include<cctype>
#include<vector>
#include<set>
#include<queue>
#include<algorithm>
#include<sstream>
#include<ctime>
#include<cstdlib>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define pb push_back
#define mk make_pair
#define Mid (tr[u].l+tr[u].r>>1)
#define Len(u) (tr[u].r-tr[u].l+1)
#define random(a,b) ((a)+rand()%((b)-(a)+1))
#define db puts("---")
using namespace std;//void rd_cre() { freopen("d://dp//data.txt","w",stdout); srand(time(NULL)); }
//void rd_ac() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//AC.txt","w",stdout); }
//void rd_wa() { freopen("d://dp//data.txt","r",stdin); freopen("d://dp//WA.txt","w",stdout); }typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> PII;const int N=1000010,mod=1e9+7,INF=0x3f3f3f3f;
const double eps=1e-6;int n,x;
char s[N];int main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);int _; scanf("%d",&_);while(_--){scanf("%d%d%s",&n,&x,s+1);int sum=0,flag=0;for(int i=1;i<=n;i++){sum+=s[i]=='0';sum-=s[i]=='1';if(sum==x) flag=1;}if(sum==0) { if(flag) puts("-1"); else puts("0"); continue; }int ans=0,pre=0;for(int i=1;i<=n;i++){pre+=s[i]=='0';pre-=s[i]=='1';if(1ll*sum*(x-pre)>=0&&(x-pre)%sum==0)ans++;}printf("%d\n",ans+(x==0));}return 0;
}
/**/