Enduring Exodus

In an attempt to escape the Mischievous Mess Makers’ antics, Farmer John has abandoned his farm and is traveling to the other side of Bovinia. During the journey, he and his k cows have decided to stay at the luxurious Grand Moo-dapest Hotel. The hotel consists of n rooms located in a row, some of which are occupied.

Farmer John wants to book a set of k + 1 currently unoccupied rooms for him and his cows. He wants his cows to stay as safe as possible, so he wishes to minimize the maximum distance from his room to the room of his cow. The distance between rooms i and j is defined as |j - i|. Help Farmer John protect his cows by calculating this minimum possible distance.

Input
The first line of the input contains two integers n and k (1 ≤ k < n ≤ 100 000) — the number of rooms in the hotel and the number of cows travelling with Farmer John.

The second line contains a string of length n describing the rooms. The i-th character of the string will be ‘0’ if the i-th room is free, and ‘1’ if the i-th room is occupied. It is guaranteed that at least k + 1 characters of this string are ‘0’, so there exists at least one possible choice of k + 1 rooms for Farmer John and his cows to stay in.

Output
Print the minimum possible distance between Farmer John’s room and his farthest cow.

Examples
input
7 2
0100100
output
2
input
5 1
01010
output
2
input
3 2
000
output
1
Note
In the first sample, Farmer John can book room 3 for himself, and rooms 1 and 4 for his cows. The distance to the farthest cow is 2. Note that it is impossible to make this distance 1, as there is no block of three consecutive unoccupied rooms.

In the second sample, Farmer John can book room 1 for himself and room 3 for his single cow. The distance between him and his cow is 2.

In the third sample, Farmer John books all three available rooms, taking the middle room for himself so that both cows are next to him. His distance from the farthest cow is 1.

#include <iostream>
#define INF 0x3f3f3f3f

using namespace std;

const int N=1e5+10;

int n,k;
char room[N];
int prefix_sum[N];

bool check(int farmer,int len)
{
    return prefix_sum[min(farmer+len,n)]-prefix_sum[max(farmer-len-1,0)]>=k+1;
}

int binary_search(int farmer)
{
    int min_distance;
    int l=1,r=n;
    while(l<=r)
    {
        int mid=(l+r)/2;
        check(farmer,mid) ? min_distance=mid,r=mid-1:l=mid+1;
    }
    return min_distance;
}

int main()
{
    while(cin>>n>>k)
    {
        cin>>room+1;

        prefix_sum[0]=0;
        for(int i=1;i<=n;i++)
        {
            prefix_sum[i]=(room[i]=='0' ? prefix_sum[i-1]+1:prefix_sum[i-1]);
        }

        int ans=INF;
        for(int i=1;i<=n;i++)
        {
            if(room[i]=='0')
            {
                ans=min(binary_search(i),ans);
            }
        }
        cout<<ans<<endl;
    }
    return 0; 
}