codeforces1405C. Balanced Bitstring 贪心

1405C 1500
贪心水题，没想到
题意：给你一个只包含0，1，？的字符串其中？可以变为0或者1，对于字符串中任意的连续k个字符，如果能使0的数量等于1的数量，那么输出yes，否则输出no
思路：对每k个字符串进行贪心处理，其中有s[i]==s[i+k], 单独对s[0]~s[k-1]进行处理，其他的字符串作为对照，进行贪心得到s[0]到s[k-1]的具体字符，然后对其中的0和1进行统计，如果0和1的数量都小于等于k/2，那么就意味着还有补救的可能性，也就是？变成0或1进行平衡这个长度为k的字符串，反之则不行
代码如下：

#pragma GCC optimize("Ofast","inline","-ffast-math")
#pragma GCC target("avx,sse2,sse3,sse4,mmx")
#include<bits/stdc++.h> 
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int, int> pii;
#define rep(i, a, n) for(int i = a; i <= n; i++)
#define per(i, a, n) for(int i = n; i >= a; i--)
#define IOS std::ios::sync_with_stdio(false), cin.tie(0), cout.tie(0);
#define fopen freopen("file.in","r",stdin);freopen("file.out","w",stdout);
#define fclose fclose(stdin);fclose(stdout);
const int inf = 1e9;
const ll onf = 1e18;
const int maxn = 1e5+10;
inline int read(){
	int x=0,f=1;char ch=getchar();
	while (!isdigit(ch)){if (ch=='-') f=-1;ch=getchar();}
	while (isdigit(ch)){x=(x<<3)+(x<<1)+ch-48;ch=getchar();}
	return x*f;
}
string s;
bool check(int n, int k){
	for(int i = k; i < n; i++){
		if(s[i%k]!=s[i]&&s[i%k]!='?'&&s[i]!='?') return 0;
		if(s[i%k]=='?'&&s[i]!='?') s[i%k]=s[i];
	}
	return 1;
}
inline void cf(){
	int t = read();
	while(t--){
		int n = read(), k = read();
		cin>>s;
		if(!check(n, k)){printf("NO\n");continue;}
		int r1=0, r2=0;
		for(int i = 0; i < k; i++){
			if(s[i]=='0') r1++;
			else if(s[i]=='1') r2++;
		}
		if(r1<<1<=k&&r2<<1<=k){
			printf("YES\n");
		}else printf("NO\n");
	}
	return ;
}
signed main(){
	cf();
	return 0;
}