#define _USE_MATH_DEFINES #include using namespace std; using ll = long long; using ull = unsigned long long; using pii = pair; using vi = vector; using vvi = vector; using vvvi = vector; using pll = pair; using vl = vector; using vvl = vector; using vvvl = vector; using pdd = pair; using vd = vector; using vvd = vector; using vvvd = vector; using pbb = pair; using vb = vector; using vvb = vector; using vvvb = vector; using pss = pair; using vs = vector; using vvs = vector; using vvvs = vector; #define rep2(counter, start, goal) for (int counter = (int)(start); counter < (int)(goal); ++counter) #define rep(counter, goal) rep2(counter, 0, goal) #define rep3(counter, start, goal) for (int counter = (int)(start); counter > (int)(goal); --counter) #define rep0(times) for (int counter = 0; counter < (int)(times); ++counter) #define all(container) begin(container), end(container) template bool chmax(T &x, const T &y) { if (x < y) { x = y; return true; } return false; } template bool chmin(T &x, const T &y) { if (x > y) { x = y; return true; } return false; } void yn(bool flag) { cout << (flag ? "yes" : "no") << "\n"; } void Yn(bool flag) { cout << (flag ? "Yes" : "No") << "\n"; } void YN(bool flag) { cout << (flag ? "YES" : "NO") << "\n"; } void set_prec(const int &digits) { cout << fixed << setprecision(digits); cerr << fixed << setprecision(digits); } template void pr(const T &obj) { cerr << obj; } template void pr(const T &first, const Ts &...rest) { pr(first); pr(", "); pr(rest...); } template void pr(const pair &pair) { pr("("); pr(pair.first); pr(", "); pr(pair.second); pr(")"); } template void pr(const vector &vec) { pr("{"); for (T obj : vec) { pr(obj); pr(", "); } pr("}"); } template void pr(const vector> &vv) { pr("\n"); rep(index, vv.size()) { pr("["); pr(index); pr("]: "); pr(vv[index]); pr("\n"); } } template void pr(const set &vec) { pr("{"); for (T obj : vec) { pr(obj); pr(", "); } pr("}"); } template void pr(const map &map) { pr("{"); for (pair pair : map) { pr("("); pr(pair.first); pr(": "); pr(pair.second); pr("), "); } pr("}"); } #define db(obj) cerr << #obj << ": "; pr(obj); cerr << " " #define dl(obj) db(obj); cerr << "\n"; #define dm(...) cerr << "(" << #__VA_ARGS__ << "): ("; pr(__VA_ARGS__); cerr << ") " #define dml(...) dm(__VA_ARGS__); cerr << "\n" // #include // using namespace atcoder; // const ll MOD = 1000000007; // 998244353; // const ll INF = 1000000007; // i:N-1~1 として Grundy数 g[i] を順次定めていく // (S[i]=='x' のとき g[i] = -1 とする) // g[i] は T(i) = {g[i+j]|j:1~K-1} の mex // 今見ているiに対し、j:1~K での g[i+j]=G となる jの個数m[G](G:0~K) と T(i)のmexを管理 // i+K+1 が N未満かつ危険でない場合、--m[g[i+K+1]], mex処理、 // iが危険でない場合、 g[i] <- mex, mex処理 // を繰り返す int main() { // 0-ind int N, K; cin >> N >> K; string S; cin >> S; // 1~N-1 S = "o" + S; // 0~N-1 // dl(S); vi g(N, -1); // 0~N-1 map m; // m[G]: j:1~Kでg[i+j]=Gとなるjの個数 set s; // m[G]=0 であるようなGの集合 *begin(s) がmexとなる rep(i, K + 1) s.insert(i); // db(g); dl(m); dl(s); rep3(i, N - 1, 0) { // i: N-1 ~ 1 // db(i); db(S[i]); dl(S[i - 1]); if (S[i] == 'o') { g[i] = *begin(s); s.erase(g[i]); ++m[g[i]]; } if (i + K <= N && S[i + K] == 'o') { --m[g[i + K]]; if (m[g[i + K]] == 0) s.insert(g[i + K]); } // db(g); db(m); dl(s); } bool f = false; rep2(i, 1, K + 1) if (g[i] == 0) { cout << i << endl; f = true; } if (!f) cout << 0 << endl; }