Problem:
Score : 400 points

Problem Statement

N people are arranged in a row from left to right.

You are given a string S of length N consisting of 0 and 1, and a positive integer K.

The i-th person from the left is standing on feet if the i-th character of S is 0, and standing on hands if that character is 1.

You will give the following direction at most K times (possibly zero):

Direction: Choose integers l and r satisfying 1 \leq l \leq r \leq N, and flip the l-th, (l+1)-th, ..., and r-th persons. That is, for each i = l, l+1, ..., r, the i-th person from the left now stands on hands if he/she was standing on feet, and stands on feet if he/she was standing on hands.

Find the maximum possible number of consecutive people standing on hands after at most K directions.

Constraints

N is an integer satisfying 1 \leq N \leq 10^5.

K is an integer satisfying 1 \leq K \leq 10^5.

The length of the string S is N.

Each character of the string S is 0 or 1.

Input

Input is given from Standard Input in the following format:

N K
S

Output

Print the maximum possible number of consecutive people standing on hands after at most K directions.

Sample Input 1

5 1
00010

Sample Output 1

4

We can have four consecutive people standing on hands, which is the maximum result, by giving the following direction:

Give the direction with l = 1, r = 3, which flips the first, second and third persons from the left.

Sample Input 2

14 2
11101010110011

Sample Output 2

8

Sample Input 3

1 1
1

Sample Output 3

1

No directions are necessary.

Solution in Ruby (2.3.3) (judge verdict: Accepted)

# util functions

# debug
$debugFlag = ( ARGV[0] != nil )
p "==== DEBUG MODE ====" if $debugFlag

def pd(str)
  p str if $debugFlag
end

# input
inputs = []
lc = 0
while l = $stdin.gets do
  if lc == 1
    inputs << l.chomp.split(" ").map(&:to_s)
  else
    inputs << l.chomp.split(" ").map(&:to_i)
  end
  lc += 1
end

# input check
if $debugFlag
  p "--- INPUT (begin) ---"
  inputs.each do |l_i|
    p l_i
  end
  p "--- INPUT (end) ---"
  print "\n"
end

kk = inputs[0][1]
ss = inputs[1][0]

# body
if $debugFlag
  p kk
  p ss
end

if ss[0..0] == "0"
  state_is_zero = true
else
  state_is_zero = false
end

origlen = ss.length
# if ss[-1..-1] == "0"
#   ss += "1"
# else
#   ss += "0"
# end

queue = []
candidate = []
cur_cnt = 0
cand_val = 0
queue_cnt = 0
lastFlag = false ## ...
ss.length.times do |i|
  pd ss[i..i] 
  if state_is_zero == true
    if ss[i..i] == "0"
      cur_cnt += 1  
    else
      print "cur:" if $debugFlag
      pd cur_cnt
      queue << queue_cnt + cur_cnt
      queue_cnt = 0
      if kk > 1
        kk -= 1
      else
        lastFlag = true
      end
      cand_val += cur_cnt
      cur_cnt = 1
      state_is_zero = false
    end
  else
    if ss[i..i] == "0"
      print "cur:" if $debugFlag
      pd cur_cnt
      if lastFlag == true
        pd "cand update:#{cand_val + cur_cnt}"
        pd cand_val
        pd cur_cnt
        candidate << cand_val + cur_cnt        
        cand_val -= queue.shift
        lastFlag = false
      end
      cand_val += cur_cnt
      queue_cnt += cur_cnt      
      cur_cnt = 1
      state_is_zero = true      
    else
      cur_cnt += 1
    end    
  end
end

candidate << cand_val + cur_cnt

pd candidate
pd queue

if candidate.size == 0
  pd "all"
  puts origlen
else
  puts candidate.max
end