题解 | 小红的01子序列构造（easy）

while True:
    try:
        n, k = map(int, input().split())
        s = input()
        cnt0 = cnt1 = 0     # 分别存储当前区间0和1的个数
        l = r = 0       # 区间[l, r]
        if s[0] == '0':
            cnt0 += 1
        else:
            cnt1 += 1
        num = 0     # 表示当前区间中01序列的个数
        while l < n and r < n and l <= r:
            if num == k:
                print(1 + l, 1 + r)
                break
            elif num < k:       # 当前01序列少，r向右扩展
                r += 1
                if r < n:
                    if s[r] == '0':     # 当前字符是0，01序列个数不增加
                        cnt0 += 1
                    else:       # 当前字符是1，新增的01序列个数即为cnt0
                        num += cnt0
                        cnt1 += 1
            else:           # 当前o1序列多， l向右扩展
                if s[l] == '0':     # 当前字符是0，01序列减少的个数即cnt1
                    num -= cnt1
                    cnt0 -= 1
                else:       # 当前字符是1，01序列个数不变
                    cnt1 -= 1
                l += 1
        else:
            print(-1)
    except:
        break