检查二进制字符串的所有长度为K的子字符串是否具有等于0和1的计数

当我们需要验证一个二进制字符串中所有长度为K的子字符串是否满足0和1的计数相等时，可以使用以下算法：

1. 定义一个长度为K的窗口，依次遍历字符串中每个长度为K的子字符串。
2. 对于每个子字符串，统计其中0和1的数量。
3. 如果0和1的数量相等，则说明该子字符串满足条件。
4. 如果所有子字符串都满足条件，则返回True，否则返回False。

例如，对于二进制字符串 "11001100" 和k=2，我们可以使用以下代码实现：

def check_binary_string(s, k):
    for i in range(len(s) - k + 1):
        sub_s = s[i:i+k]
        zeros = sub_s.count('0')
        ones = sub_s.count('1')
        if zeros == ones:
            continue
        else:
            return False
    return True

该函数的时间复杂度为O(nk)，其中n为字符串的长度。由于每个子字符串都只需要遍历一次，因此空间复杂度为O(1)。

使用示例：

assert check_binary_string("11001100", 2) == True
assert check_binary_string("11001101", 2) == False
assert check_binary_string("00000000", 4) == True
assert check_binary_string("01101101", 3) == True