Zebras

题意
给你一个“01”串，问你是否可以把这个串分成k个Subsequence
(
举个例子：
awkwqtez, akw是其subsequence，而kwqt是其substring。
即substring必须是原字符串中连续的字符串，而subsequence可以不是。
)
并且保证这k个Subsequence均符合010101…010即 $（01{）}_n+0$（01）n​+0
k任意，不要求其为最大或最小

思路
贪心考虑，01010101…是最优情况
因此，如果把0和1分别用两个队列存储，队头为等待拼接状态
举例01010
算法演示
$队{列}_0\left[\right]$队列0​[]
$队{列}_1\left[\right]$队列1​[]
枚举第一个元素，我们发现是0，我们就需要去队列_1中看有没有元素，如果没有元素，也没关系，因为0可以自己组成答案。如果有元素的话，我们贪心地让1 - 0拼接起来，并让队列_1出队，因为队头已经使用过了。
$队{列}_0\left[1\right]$队列0​[1]
$队{列}_1\left[\right]$队列1​[]
枚举第二个元素，我们发现是1，我们就需要去队列_0中看有没有元素，如果没有元素，那肯定输出-1，因为1不可以作为Subsequence的开头。如果有元素的话，我们贪心地让0 - 1拼接起来，可以用Next数组进行记录，并让队列_0出队，因为队头已经使用过了。
$队{列}_0\left[\right]$队列0​[]
$队{列}_1\left[2\right]$队列1​[2]
后续变化
枚举第三个元素
$队{列}_0\left[3\right]$队列0​[3]
$队{列}_1\left[\right]$队列1​[]

以此类推
AC代码