Submission #252667

# Submission time Handle Problem Language Result Execution time Memory
252667 2020-07-26T06:04:17 Z islingr Nekameleoni (COCI15_nekameleoni) C++14
14 / 140
2075 ms 421188 KB
#include <iostream>
#include <cassert>

#define rep(i, a, b) for (auto i = (a); i < (b); ++i)
#define f first
#define s second

using namespace std;
using ll = int64_t;

const int N = 1 << 17, K = 51, inf = 1e9;
int U, sz, k;

struct S {
	int len, ans;
	pair<ll, int> pref[K], suff[K];
	S() : len{0}, ans{inf} { }
	S(int p, int v) : len{1}, ans{U != 1 ? inf : 1} {
		pref[0] = suff[0] = {1ll << v, p};
	}
	S(const S &l, const S &r) : ans{min(l.ans, r.ans)} {
		len = 0;
		rep(i, 0, l.len) pref[len++] = l.pref[i];
		rep(i, 0, r.len)
			if (len) {
				pref[len] = r.pref[i];
				pref[len].f |= pref[len - 1].f;
				if (pref[len].f != pref[len - 1].f) ++len;
			} else pref[len++] = r.pref[i];
		int tmp = len;

		len = 0;
		rep(i, 0, r.len) suff[len++] = r.suff[i];
		rep(i, 0, l.len)
			if (len) {
				suff[len] = l.suff[i];
				suff[len].f |= suff[len - 1].f;
				if (suff[len].f != suff[len - 1].f) ++len;
			} else suff[len++] = l.suff[i];
		assert(tmp == len);
		assert(len <= k);
		assert(len < K);

		for (int s = l.len, p = 0; s--; ) {
			while (p < r.len && (l.suff[s].f | r.pref[p].f) != U) ++p;
			if (p < r.len && (l.suff[s].f | r.pref[p].f) == U)
				ans = min(ans, r.pref[p].s - l.suff[s].s + 1);
		}
	}
} t[N << 1];

int query() { return t[1].ans; }
void update(int p, int v) {
	p += sz;
	for (t[p] = {p, v}; p >>= 1; )
		t[p] = {t[p << 1], t[p << 1|1]};
}

signed main() {
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	
	int n, q; cin >> n >> k >> q; U = (1ll << k) - 1;
	for (sz = 1; sz < n; sz <<= 1);
	rep(i, 0, n) { int v; cin >> v; --v; update(i, v); }
	while (q--) {
		short t; cin >> t; --t;
		if (t) cout << (query() != inf ? query() : -1) << '\n';
		else {
			int p, v; cin >> p >> v; --p; --v;
			update(p, v);
		}
	}
}
# Verdict Execution time Memory Grader output
1 Correct 244 ms 421116 KB Output is correct
2 Correct 248 ms 421144 KB Output is correct
# Verdict Execution time Memory Grader output
1 Incorrect 274 ms 420984 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 290 ms 421048 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 700 ms 420984 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 1101 ms 421152 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 1204 ms 421176 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 1489 ms 421188 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 1453 ms 421048 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 1979 ms 421048 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 2075 ms 421116 KB Output isn't correct
2 Halted 0 ms 0 KB -