Submission #547499

# Submission time Handle Problem Language Result Execution time Memory
547499 2022-04-10T21:20:44 Z sidon Pyramid Base (IOI08_pyramid_base) C++17
40 / 100
1877 ms 166452 KB
#include <bits/stdc++.h>
using namespace std;
using ll = long long;

const int Z = 4e5+1, LIM = 1e6+1;
const ll INF = 1e18;

int sL, sR;
ll sV;
struct ST0 {
	int l, r;
	ll v {}, add {};
	ST0 *L, *R;
	ST0(int lv, int rv) : l(lv), r(rv) {
		if(r - l > 1) {
			int m = (l + r) / 2;
			L = new ST0(l, m);
			R = new ST0(m, r);
		}
	}
	void rangeAdd(int lv, int rv, ll val) {
		sL = lv, sR = rv + 1, sV = val;
		rangeAdd();
	}
	void rangeAdd() {
		if(sR <= l || r <= sL) return;
		if(sL <= l && r <= sR) {
			add += sV;
			v += sV;
			return;
		}
		L->rangeAdd();
		R->rangeAdd();
		v = min(L->v, R->v) + add;
	}
	void clear() {
		if(r - l > 1) L->clear(), R->clear();
		add = v = 0;
	}
};
struct ST1 {
	int l, r, add {};
	array<int, 3> v;
	ST1 *L, *R;
	ST1(int lv, int rv) : l(lv), r(rv) {
		v = {r - l, r - l, r - l};
		if(r - l > 1) {
			int m = (l + r) / 2;
			L = new ST1(l, m);
			R = new ST1(m, r);
		}
	}
	void pull() {
		if(add || r - l < 2) v = {!add, !add, !add};
		else {
			int m = (l + r) / 2;
			bool lf = L->v[0] == m - l, rf = R->v[0] == r - m;
			v = {max(L->v[2] + R->v[1], max(L->v[0], R->v[0])), L->v[0] + (lf ? R->v[0] : 0), R->v[1] + (rf ? L->v[1] : 0)};
		}
	}
	void rangeAdd(int lv, int rv, int val) {
		sL = lv, sR = rv + 1, sV = val;
		rangeAdd();
	}
	void rangeAdd() {
		if(sR <= l || r <= sL) return;
		if(sL <= l && r <= sR) return add += sV, pull();
		L->rangeAdd();
		R->rangeAdd();
		pull();
	}
};

int M, N, B, P;
vector<array<ll, 3>> a[2][LIM];

int main() {
	ios_base::sync_with_stdio(0);
	cin.tie(0);

	cin >> N >> M >> B >> P;

	for(int i = 0; i < P; ++i) {
		array<ll, 5> u;
		for(ll &j : u) cin >> j;
		a[0][u[0]].push_back({u[1], u[3], u[4]});
		a[1][u[2]].push_back({u[1], u[3], u[4]});
	}

	int x = 0;
	if(B) {
		ST0* st = new ST0(1, M + 1);

		for(int y = 1<<20; y /= 2; ) if(x + y <= min(M, N)) {
			x ^= y;
			bool ok = 0;

			st->rangeAdd(M - x + 2, M, INF);

			for(int i = 1; i <= N && !ok; ++i) {
				for(const auto &[l, r, v] : a[0][i])
					st->rangeAdd(l - x + 1, r, v);
				if(i < x) continue;
				for(const auto &[l, r, v] : a[1][i-x])
					st->rangeAdd(l - x + 1, r, -v);
				ok = st->v <= B;
			}
			st->clear();
			if(!ok) x ^= y;
		}
	} else {
		ST1* st = new ST1(1, M + 1);

		for(int i = 1, j = 1; i <= N; ++i) {
			for(const auto &[l, r, v] : a[1][i-1])
				st->rangeAdd(l, r, -1);
			for(; j <= N && j - i < st->v[0]; ++j) {
				x = max(x, j - i);
				for(const auto &[l, r, v] : a[0][j])
					st->rangeAdd(l, r, 1);
			}
			x = max(x, min(j - i, st->v[0]));
		}
	}

	cout << x;
}
# Verdict Execution time Memory Grader output
1 Correct 23 ms 47188 KB Output is correct
# Verdict Execution time Memory Grader output
1 Incorrect 26 ms 47252 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 22 ms 47316 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 25 ms 48252 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 34 ms 56652 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 123 ms 141168 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 122 ms 141172 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 43 ms 48536 KB Output is correct
2 Correct 68 ms 48632 KB Output is correct
3 Correct 54 ms 48456 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 277 ms 57596 KB Output is correct
2 Correct 394 ms 57600 KB Output is correct
3 Correct 307 ms 57544 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 767 ms 142456 KB Output is correct
2 Correct 42 ms 48524 KB Output is correct
3 Correct 214 ms 142504 KB Output is correct
4 Correct 917 ms 142456 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1172 ms 142768 KB Output is correct
2 Correct 1480 ms 142728 KB Output is correct
3 Correct 841 ms 142836 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1089 ms 143076 KB Output is correct
2 Correct 1815 ms 143036 KB Output is correct
3 Correct 1791 ms 143032 KB Output is correct
4 Correct 1877 ms 143028 KB Output is correct
5 Correct 1840 ms 143048 KB Output is correct
6 Correct 898 ms 143120 KB Output is correct
# Verdict Execution time Memory Grader output
1 Incorrect 788 ms 153764 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 958 ms 160192 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 1196 ms 166452 KB Output isn't correct
2 Halted 0 ms 0 KB -