#include <bits/stdc++.h>
using namespace std;
#ifdef tabr
#include "library/debug.cpp"
#else
#define debug(...)
#endif
namespace solve1 {
struct segtree {
using T = int;
using F = int;
T e() {
return (int) 2e9;
}
F id() {
return 0;
}
T op(T a, T b) {
return min(a, b);
}
T mapping(F f, T x) {
return f + x;
}
F composition(F f, F g) {
return f + g;
}
int n;
vector<T> node;
vector<F> lazy;
segtree() : segtree(0) {}
segtree(int _n) {
if (_n <= 1) {
n = _n;
} else {
n = 1 << (32 - __builtin_clz(_n - 1));
}
node.resize(2 * n, e());
lazy.resize(n, id());
}
segtree(vector<T> v) {
if ((int) v.size() <= 1) {
n = (int) v.size();
} else {
n = 1 << (32 - __builtin_clz((int) v.size() - 1));
}
node.resize(2 * n, e());
lazy.resize(n, id());
for (int i = 0; i < (int) v.size(); i++) {
node[i + n] = v[i];
}
for (int i = n - 1; i > 0; i--) {
node[i] = op(node[i * 2], node[i * 2 + 1]);
}
}
void eval(int k) {
node[2 * k] = mapping(lazy[k], node[2 * k]);
node[2 * k + 1] = mapping(lazy[k], node[2 * k + 1]);
if (2 * k < n) {
lazy[2 * k] = composition(lazy[k], lazy[2 * k]);
lazy[2 * k + 1] = composition(lazy[k], lazy[2 * k + 1]);
}
lazy[k] = id();
}
void update(int x, int y, F v, int k, int l, int r) {
if (y <= l || r <= x) {
return;
}
if (x <= l && r <= y) {
node[k] = mapping(v, node[k]);
if (k < n) {
lazy[k] = composition(v, lazy[k]);
}
} else {
eval(k);
update(x, y, v, 2 * k, l, (l + r) / 2);
update(x, y, v, 2 * k + 1, (l + r) / 2, r);
node[k] = op(node[2 * k], node[2 * k + 1]);
}
}
T get(int x, int y, int k, int l, int r) {
if (y <= l || r <= x) {
return e();
}
if (x <= l && r <= y) {
return node[k];
}
eval(k);
T vl = get(x, y, 2 * k, l, (l + r) / 2);
T vr = get(x, y, 2 * k + 1, (l + r) / 2, r);
return op(vl, vr);
}
void update(int x, int y, F v) {
update(x, y, v, 1, 0, n);
}
T get(int x, int y) {
return get(x, y, 1, 0, n);
}
T get(int x) {
return get(x, x + 1, 1, 0, n);
}
};
void solve(int h, int w, int d, int n, vector<tuple<int, int, int, int>> a, vector<tuple<int, int, int, int>> b) {
int hi = min(w, h) + 1;
int lo = 0;
while (hi - lo > 1) {
int mid = (hi + lo) / 2;
segtree seg = segtree(vector<int>(w, 0));
int aid = 0;
int bid = 0;
int ok = 0;
for (int i = 0; i < h - mid + 1; i++) {
while (bid < n && get<0>(b[bid]) <= i) {
auto [x2, y1, y2, c] = b[bid];
y1 = max(0, y1 - mid + 1);
seg.update(y1, y2, -c);
bid++;
}
while (aid < n && get<0>(a[aid]) - mid + 1 <= i) {
auto [x1, y1, y2, c] = a[aid];
y1 = max(0, y1 - mid + 1);
seg.update(y1, y2, c);
aid++;
}
if (seg.get(0, w - mid + 1) <= d) {
ok = 1;
break;
}
}
if (ok) {
lo = mid;
} else {
hi = mid;
}
}
cout << lo << '\n';
}
} // namespace solve1
namespace solve0 {
struct segtree {
using T = array<int, 4>;
using F = int;
T e() {
return array<int, 4>{(int) 2e9, 1, 1, 1};
}
F id() {
return 0;
}
T op(T a, T b) {
if (a[0] < b[0]) {
a[2] = 0;
return a;
} else if (a[0] > b[0]) {
b[1] = 0;
return b;
}
a[3] = max(a[3], b[3]);
a[3] = max(a[3], a[2] + b[1]);
a[2] = b[2];
return a;
}
T mapping(F f, T x) {
x[0] += f;
return x;
}
F composition(F f, F g) {
return f + g;
}
int n;
vector<T> node;
vector<F> lazy;
segtree() : segtree(0) {}
segtree(int _n) {
if (_n <= 1) {
n = _n;
} else {
n = 1 << (32 - __builtin_clz(_n - 1));
}
node.resize(2 * n, e());
lazy.resize(n, id());
}
segtree(vector<T> v) {
if ((int) v.size() <= 1) {
n = (int) v.size();
} else {
n = 1 << (32 - __builtin_clz((int) v.size() - 1));
}
node.resize(2 * n, e());
lazy.resize(n, id());
for (int i = 0; i < (int) v.size(); i++) {
node[i + n] = v[i];
}
for (int i = n - 1; i > 0; i--) {
node[i] = op(node[i * 2], node[i * 2 + 1]);
}
}
void eval(int k) {
node[2 * k] = mapping(lazy[k], node[2 * k]);
node[2 * k + 1] = mapping(lazy[k], node[2 * k + 1]);
if (2 * k < n) {
lazy[2 * k] = composition(lazy[k], lazy[2 * k]);
lazy[2 * k + 1] = composition(lazy[k], lazy[2 * k + 1]);
}
lazy[k] = id();
}
void update(int x, int y, F v, int k, int l, int r) {
if (y <= l || r <= x) {
return;
}
if (x <= l && r <= y) {
node[k] = mapping(v, node[k]);
if (k < n) {
lazy[k] = composition(v, lazy[k]);
}
} else {
eval(k);
update(x, y, v, 2 * k, l, (l + r) / 2);
update(x, y, v, 2 * k + 1, (l + r) / 2, r);
node[k] = op(node[2 * k], node[2 * k + 1]);
}
}
T get(int x, int y, int k, int l, int r) {
if (y <= l || r <= x) {
return e();
}
if (x <= l && r <= y) {
return node[k];
}
eval(k);
T vl = get(x, y, 2 * k, l, (l + r) / 2);
T vr = get(x, y, 2 * k + 1, (l + r) / 2, r);
return op(vl, vr);
}
void update(int x, int y, F v) {
update(x, y, v, 1, 0, n);
}
T get(int x, int y) {
return get(x, y, 1, 0, n);
}
T get(int x) {
return get(x, x + 1, 1, 0, n);
}
};
void solve(int h, int w, int, int n, vector<tuple<int, int, int, int>> a, vector<tuple<int, int, int, int>> b) {
int ans = 0;
int aid = 0;
int bid = 0;
segtree seg = segtree(vector<array<int, 4>>(w, {0, 1, 1, 1}));
for (int beg = 0, end = 0; beg <= h; beg++) {
while (aid < n && get<0>(b[aid]) <= beg) {
seg.update(get<1>(b[aid]), get<2>(b[aid]), -1);
aid++;
}
while (end - beg <= seg.node[1][3] && end <= h) {
ans = max(ans, end - beg + 1);
while (bid < n && get<0>(a[bid]) <= end) {
seg.update(get<1>(a[bid]), get<2>(a[bid]), 1);
bid++;
}
end++;
}
}
cout << ans << '\n';
}
} // namespace solve0
int main() {
ios::sync_with_stdio(false);
cin.tie(0);
int h, w;
cin >> h >> w;
int d;
cin >> d;
int n;
cin >> n;
vector<tuple<int, int, int, int>> a(n), b(n);
for (int i = 0; i < n; i++) {
int x1, y1, x2, y2, c;
cin >> x1 >> y1 >> x2 >> y2 >> c;
x1--, y1--;
a[i] = make_tuple(x1, y1, y2, c);
b[i] = make_tuple(x2, y1, y2, c);
}
sort(a.begin(), a.end());
sort(b.begin(), b.end());
if (d == 0) {
solve0::solve(h, w, d, n, a, b);
} else {
solve1::solve(h, w, d, n, a, b);
}
return 0;
}
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Incorrect |
0 ms |
204 KB |
Output isn't correct |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Incorrect |
0 ms |
204 KB |
Output isn't correct |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Incorrect |
1 ms |
332 KB |
Output isn't correct |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Incorrect |
2 ms |
1100 KB |
Output isn't correct |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Incorrect |
5 ms |
6476 KB |
Output isn't correct |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Incorrect |
36 ms |
52876 KB |
Output isn't correct |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Incorrect |
33 ms |
52948 KB |
Output isn't correct |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Correct |
18 ms |
864 KB |
Output is correct |
| 2 |
Correct |
62 ms |
984 KB |
Output is correct |
| 3 |
Correct |
61 ms |
852 KB |
Output is correct |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Correct |
248 ms |
3260 KB |
Output is correct |
| 2 |
Correct |
429 ms |
3192 KB |
Output is correct |
| 3 |
Correct |
380 ms |
3184 KB |
Output is correct |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Correct |
724 ms |
17792 KB |
Output is correct |
| 2 |
Correct |
53 ms |
1484 KB |
Output is correct |
| 3 |
Correct |
193 ms |
17832 KB |
Output is correct |
| 4 |
Correct |
1491 ms |
17816 KB |
Output is correct |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Correct |
1443 ms |
18124 KB |
Output is correct |
| 2 |
Correct |
3192 ms |
18124 KB |
Output is correct |
| 3 |
Correct |
654 ms |
18040 KB |
Output is correct |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Correct |
1091 ms |
18424 KB |
Output is correct |
| 2 |
Correct |
3328 ms |
18496 KB |
Output is correct |
| 3 |
Correct |
2999 ms |
18424 KB |
Output is correct |
| 4 |
Correct |
3339 ms |
18424 KB |
Output is correct |
| 5 |
Correct |
3431 ms |
18420 KB |
Output is correct |
| 6 |
Correct |
493 ms |
18520 KB |
Output is correct |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Incorrect |
423 ms |
65324 KB |
Output isn't correct |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Incorrect |
515 ms |
71660 KB |
Output isn't correct |
| 2 |
Halted |
0 ms |
0 KB |
- |
| # |
결과 |
실행 시간 |
메모리 |
Grader output |
| 1 |
Incorrect |
624 ms |
77868 KB |
Output isn't correct |
| 2 |
Halted |
0 ms |
0 KB |
- |
