#include #include using namespace std; using namespace atcoder; using mint = modint998244353; //using mint = modint1000000007; using ll = long long; ll INF = 2e18; template using vc = vector; template using vv = vc>; using vi = vc; using vvi = vv; using vl = vc; using vvl = vv; using vs = vc; using vvs = vv; using vb = vc; using vvb = vv; using vmint = vc; using vvmint = vv; #define rep(i,n) for(ll i=0; i<(n); i++) #define drep(i,n) for(ll i=(n)-1; i>=0; i--) #define rrep(i,n) for(ll i=1; i<=(n); i++) #define nfor(i,a,b) for(ll i=a;i=(b); i--) templateistream& operator>>(istream& i, vc& v) {rep(j,(ll) size(v))i >> v[j]; return i; } #define nall(a) a.begin(),a.end() #define rall(a) a.rbegin(),a.rend() template bool chmax(T& a, const T& b){ if(a < b){ a = b; return 1; } return 0; } template bool chmin(T& a, const T& b){ if(a > b){ a = b; return 1; } return 0; } #define YES cout<<"Yes"<> N >> A; string S; cin >> S; vl pref1(N+1,0); vl prefS(N+1,0); vl minpref(N+1,0); rep(i,N) { int s; if(S[i]=='0') s = 1; else s = -1; prefS[i+1] = prefS[i] + s; if(S[i]=='1') { pref1[i+1] = pref1[i] + 1; } else { pref1[i+1] = pref1[i]; } minpref[i+1] = min(minpref[i],prefS[i+1]); } ll o = pref1[N]; ll delta = prefS[N]; ll mstar = minpref[N]; auto AC = [&](ll t) -> ll { if(t==0) return 0; ll K = t/N; int r = (int)(t%N); ll ones = (ll) K * o + pref1[r]; ll part2 = (ll) ((ll)K * delta + minpref[r]); ll min_complete; if(K==0){ min_complete = (ll)LLONG_MAX/4; }else{ if(delta >= 0) min_complete = mstar; else min_complete = (long long)((ll)(K-1) * delta + mstar); } ll minPrefix = min(min_complete, part2); return ones + minPrefix; }; unsigned long long lo = 1, hi = 2000000000000000000ULL; // 2e18 while(lo < hi){ unsigned long long mid = lo + ((hi - lo) >> 1); if(AC(mid) >= (ll)A) hi = mid; else lo = mid + 1; } cout << lo << "\n"; return 0; }