Submission #757365

# Submission time Handle Problem Language Result Execution time Memory
757365 2023-06-13T06:22:14 Z SanguineChameleon Pyramid Base (IOI08_pyramid_base) C++17
75 / 100
5000 ms 54812 KB
#include <bits/stdc++.h>
using namespace std;

void just_do_it();

int main() {
	#ifdef KAMIRULEZ
		freopen("kamirulez.inp", "r", stdin);
		freopen("kamirulez.out", "w", stdout);
	#endif
	ios_base::sync_with_stdio(0);
	cin.tie(0);
	just_do_it();
	return 0;
}

const int maxN = 1e6 + 20;
const int maxK = 4e5 + 20;
int tree[maxN << 2];
int lazy[maxN << 2];
int Lx[maxK];
int Ly[maxK];
int Rx[maxK];
int Ry[maxK];
int ly[maxK];
int ry[maxK];
int cnt_x[maxN];
int cnt_y[maxN];
int cost[maxK];
int order[maxK];
int queries[maxK << 2];
pair<int, int> events_x[maxK << 1];
pair<int, int> events_y[maxK << 1];
int N, M, B, K;

void reset(int id, int lt, int rt) {
	tree[id] = 0;
	lazy[id] = 0;
	if (lt == rt) {
		return;
	}
	int mt = (lt + rt) >> 1;
	reset(id << 1, lt, mt);
	reset(id << 1 | 1, mt + 1, rt);
}

void update(int id, int lt, int rt, int ql, int qr, int add) {
	if (lt == ql && rt == qr) {
		tree[id] += add;
		lazy[id] += add;
		return;
	}
	tree[id << 1] += lazy[id];
	lazy[id << 1] += lazy[id];
	tree[id << 1 | 1] += lazy[id];
	lazy[id << 1 | 1] += lazy[id];
	lazy[id] = 0;
	int mt = (lt + rt) >> 1;
	if (qr <= mt) {
		update(id << 1, lt, mt, ql, qr, add);
	}
	else if (ql >= mt + 1) {
		update(id << 1 | 1, mt + 1, rt, ql, qr, add);
	}
	else {
		update(id << 1, lt, mt, ql, mt, add);
		update(id << 1 | 1, mt + 1, rt, mt + 1, qr, add);
	}
	tree[id] = min(tree[id << 1], tree[id << 1 | 1]);
}

bool check(int sz, int lim) {
	int n = N - sz + 1;
	int m = M - sz + 1;
	cnt_x[1] = 1;
	cnt_x[n + 1] = 1;
	for (int i = 2; i <= n; i++) {
		cnt_x[i] = 0;
	}
	cnt_y[1] = 1;
	cnt_y[m + 1] = 1;
	for (int i = 2; i <= m; i++) {
		cnt_y[i] = 0;
	}
	for (int pos = 1; pos <= min(K, lim); pos++) {
		int i = order[pos];
		int lx = max(1, Lx[i] - sz + 1);
		int rx = min(n, Rx[i]);
		int ly = max(1, Ly[i] - sz + 1);
		int ry = min(m, Ry[i]);
		if (lx <= rx && ly <= ry) {
			cnt_x[lx]++;
			cnt_x[rx + 1]++;
			cnt_y[ly]++;
			cnt_y[ry + 1]++;
		}
	}
	int sz_x = 0;
	for (int i = 1; i <= n + 1; i++) {
		swap(sz_x, cnt_x[i]);
		sz_x += cnt_x[i];
	}
	int sz_y = 0;
	for (int i = 1; i <= m + 1; i++) {
		swap(sz_y, cnt_y[i]);
		sz_y += cnt_y[i];
	}
	events_x[cnt_x[1]].first = 1;
	events_x[cnt_x[1]].second = 0;
	cnt_x[1]++;
	events_x[cnt_x[n + 1]].first = n + 1;
	events_x[cnt_x[n + 1]].second = 0;
	cnt_x[n + 1]++;
	events_y[cnt_y[1]].first = 1;
	events_y[cnt_y[1]].second = 0;
	cnt_y[1]++;
	events_y[cnt_y[m + 1]].first = m + 1;
	events_y[cnt_y[m + 1]].second = 0;
	cnt_y[m + 1]++;
	for (int pos = 1; pos <= min(K, lim); pos++) {
		int i = order[pos];
		int lx = max(1, Lx[i] - sz + 1);
		int rx = min(n, Rx[i]);
		int ly = max(1, Ly[i] - sz + 1);
		int ry = min(m, Ry[i]);
		if (lx <= rx && ly <= ry) {
			events_x[cnt_x[lx]].first = lx;
			events_x[cnt_x[lx]].second = i;
			cnt_x[lx]++;
			events_x[cnt_x[rx + 1]].first = rx + 1;
			events_x[cnt_x[rx + 1]].second = -i;
			cnt_x[rx + 1]++;
			events_y[cnt_y[ly]].first = ly;
			events_y[cnt_y[ly]].second = i;
			cnt_y[ly]++;
			events_y[cnt_y[ry + 1]].first = ry + 1;
			events_y[cnt_y[ry + 1]].second = -i;
			cnt_y[ry + 1]++;
		}
	}
	n = 0;
	int sz_q = 0;
	for (int i = 0; i < sz_x; i++) {
		if (i == 0 || events_x[i].first != events_x[i - 1].first) {
			if (n) {
				queries[sz_q++] = 0;
			}
			n++;
		}
		int id = events_x[i].second;
		if (id) {
			queries[sz_q++] = id;
		}
	}
	n--;
	m = 0;
	for (int i = 0; i < sz_y; i++) {
		if (i == 0 || events_y[i].first != events_y[i - 1].first) {
			m++;
		}
		int id = events_y[i].second;
		if (id > 0) {
			ly[id] = m;
		}
		else {
			ry[-id] = m - 1;
		}
	}
	m--;
	reset(1, 1, m);
	for (int i = 0; i < sz_q; i++) {
		int id = queries[i];
		if (id > 0) {
			update(1, 1, m, ly[id], ry[id], cost[id]);
		}
		else if (id < 0) {
			update(1, 1, m, ly[-id], ry[-id], -cost[-id]);
		}
		else if (tree[1] <= B) {
			return true;
		}
	}
	return false;
}

mt19937 gen(69420);
const int max_iters = 5;

void just_do_it() {
	cin >> N >> M >> B >> K;
	for (int i = 1; i <= K; i++) {
		order[i] = i;
	}
	int lt = 1;
	int rt = min(N, M);
	for (int i = 1; i <= K; i++) {
		cin >> Lx[i] >> Ly[i] >> Rx[i] >> Ry[i] >> cost[i];
		if (cost[i] > B) {
			int s1 = min(Lx[i] - 1, M);
			int s2 = min(N - Rx[i], M);
			int s3 = min(N, Ly[i] - 1);
			int s4 = min(N, M - Ry[i]);
			rt = min(rt, max(max(max(s1, s2), s3), s4));
		}
	}
	int res = rt;
	int lim = 1000;
	for (int iter = 0; iter < max_iters; iter++) {
		if (iter == max_iters - 1) {
			lim = K;
		}
		shuffle(order + 1, order + K + 1, gen);
		lt = 1;
		rt = res;
		while (lt <= rt) {
			int mt = (lt + rt) >> 1;
			if (check(mt, lim)) {
				res = mt;
				lt = mt + 1;
			}
			else {
				rt = mt - 1;
			}
		}
	}
	cout << res;
}
# Verdict Execution time Memory Grader output
1 Correct 1 ms 340 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 340 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 4 ms 468 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 6 ms 468 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 23 ms 1260 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 50 ms 5208 KB Output is correct
2 Incorrect 210 ms 8336 KB Output isn't correct
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 245 ms 7964 KB Output is correct
2 Correct 61 ms 5588 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 9 ms 852 KB Output is correct
2 Correct 39 ms 980 KB Output is correct
3 Correct 29 ms 996 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 110 ms 2576 KB Output is correct
2 Correct 152 ms 2860 KB Output is correct
3 Correct 149 ms 2848 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 141 ms 6364 KB Output is correct
2 Correct 59 ms 5760 KB Output is correct
3 Correct 104 ms 6752 KB Output is correct
4 Correct 254 ms 10184 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 234 ms 9280 KB Output is correct
2 Correct 519 ms 11164 KB Output is correct
3 Correct 87 ms 6328 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 193 ms 7116 KB Output is correct
2 Correct 614 ms 11572 KB Output is correct
3 Correct 613 ms 11668 KB Output is correct
4 Correct 691 ms 11516 KB Output is correct
5 Correct 649 ms 11488 KB Output is correct
6 Correct 75 ms 6728 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 3899 ms 31948 KB Output is correct
2 Correct 863 ms 20116 KB Output is correct
# Verdict Execution time Memory Grader output
1 Execution timed out 5074 ms 39176 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 5085 ms 54812 KB Time limit exceeded
2 Halted 0 ms 0 KB -