結果

問題 No.1313 N言っちゃダメゲーム (4)
ユーザー morimario
提出日時 2020-12-10 01:16:04
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 119 ms / 2,000 ms
コード長 3,932 bytes
コンパイル時間 2,335 ms
コンパイル使用メモリ 208,452 KB
最終ジャッジ日時 2025-01-16 21:08:01
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 35
権限があれば一括ダウンロードができます

ソースコード

diff # 

#define _USE_MATH_DEFINES
#include <bits/stdc++.h>
using namespace std;
using ll = long long; using ull = unsigned long long;
using pii = pair<int, int>; using vi = vector<int>; using vvi = vector<vi>; using vvvi = vector<vvi>;
using pll = pair<ll, ll>; using vl = vector<ll>; using vvl = vector<vl>; using vvvl = vector<vvl>;
using pdd = pair<double, double>; using vd = vector<double>; using vvd = vector<vd>; using vvvd = vector<vvd>;
using pbb = pair<bool, bool>; using vb = vector<bool>; using vvb = vector<vb>; using vvvb = vector<vvb>;
using pss = pair<string, string>; using vs = vector<string>; using vvs = vector<vs>; using vvvs = vector<vvs>;
#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 <typename T> bool chmax(T &x, const T &y) { if (x < y) { x = y; return true; } return false; }
template <typename T> 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 <typename T> void pr(const T &obj) { cerr << obj; }
template <typename T, typename ...Ts> void pr(const T &first, const Ts &...rest) { pr(first); pr(", "); pr(rest...); }
template <typename S, typename T> void pr(const pair<S, T> &pair) { pr("("); pr(pair.first); pr(", "); pr(pair.second); pr(")"); }
template <typename T> void pr(const vector<T> &vec) { pr("{"); for (T obj : vec) { pr(obj); pr(", "); } pr("}"); }
template <typename T> void pr(const vector<vector<T>> &vv) { pr("\n"); rep(index, vv.size()) { pr("["); pr(index); pr("]: "); pr(vv[index]); pr("\n"); } }
template <typename T> void pr(const set<T> &vec) { pr("{"); for (T obj : vec) { pr(obj); pr(", "); } pr("}"); }
template <typename S, typename T> void pr(const map<S, T> &map) { pr("{"); for (pair<S, T> 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 <atcoder/all>
// 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<int, int> m; // m[G]: j:1~Kでg[i+j]=Gとなるjの個数
	set<int> 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;
}
0