#include <bits/stdc++.h>
using namespace std;
// macros
typedef unsigned int ui;
typedef long long ll;
typedef long double ld;
typedef pair<int, int> ii;
typedef pair<ll, ll> lll;
typedef tuple<int, int, int> iii;
typedef vector<int> vi;
typedef vector<ii> vii;
typedef vector<iii> viii;
typedef vector<ll> vll;
typedef vector<lll> vlll;
#define REP(a,b,c) for(int a=int(b); a<int(c); a++)
#define RE(a,c) REP(a,0,c)
#define RE1(a,c) REP(a,1,c+1)
#define REI(a,b,c) REP(a,b,c+1)
#define REV(a,b,c) for(int a=int(c-1); a>=int(b); a--)
#define FOR(a,b) for(auto& a : b)
#define all(a) a.begin(), a.end()
#define INF (3e9+10)
#define EPS 1e-9
#define pb push_back
#define popb pop_back
#define fi first
#define se second
mt19937_64 rng(chrono::steady_clock::now().time_since_epoch().count());
// input
template<class T> void IN(T& x) {cin >> x;}
template<class H, class... T> void IN(H& h, T&... t) {IN(h); IN(t...); }
// output
template<class T1, class T2> void OUT(const pair<T1,T2>& x);
template<class T> void OUT(const vector<T>& x);
template<class T> void OUT(const T& x) {cout << x;}
template<class H, class... T> void OUT(const H& h, const T&... t) {OUT(h); OUT(t...); }
template<class T1, class T2> void OUT(const pair<T1,T2>& x) {OUT(x.fi,' ',x.se);}
template<class T> void OUT(const vector<T>& x) {RE(i,x.size()) OUT(i==0?"":" ",x[i]);}
template<class... T> void OUTL(const T&... t) {OUT(t..., "\n"); }
template<class H> void OUTLS(const H& h) {OUTL(h); }
template<class H, class... T> void OUTLS(const H& h, const T&... t) {OUT(h,' '); OUTLS(t...); }
// dp
template<class T> bool ckmin(T&a, T&b) { bool bl = a > b; a = min(a,b); return bl;}
template<class T> bool ckmax(T&a, T&b) { bool bl = a < b; a = max(a,b); return bl;}
void program();
int main() {
ios_base::sync_with_stdio(false);
cin.tie(NULL);
cout.tie(NULL);
program();
}
//===================//
// begin program //
//===================//
const int MX = 5e5;
const int N = (1<<20);
int n, m, p; ui b;
int c[MX], X1[MX], X2[MX], Y1[MX], Y2[MX];
// segment tree
ui SEG[N*2], LAZ[N*2];
void addSeg(int i, int j, ui v, ui lazy=0, int l=0, int r=N-1, int p=1) {
SEG[p] += lazy;
LAZ[p] += lazy;
if(j < l || i > r) return;
if(i <= l && j >= r) {
SEG[p] += v;
LAZ[p] += v;
return;
}
int m=(l+r)/2;
addSeg(i,j,v,LAZ[p],l ,m,p*2 );
addSeg(i,j,v,LAZ[p],m+1,r,p*2+1);
LAZ[p] = 0;
SEG[p] = min(SEG[p*2], SEG[p*2+1]);
}
ui getSeg(int i, int j, ui lazy=0, int l=0, int r=N-1, int p=1) {
SEG[p] += lazy;
LAZ[p] += lazy;
if(j < l || i > r) return INF;
if(i <= l && j >= r) return SEG[p];
int m=(l+r)/2;
ui a=getSeg(i,j,LAZ[p],l ,m,p*2 );
ui b=getSeg(i,j,LAZ[p],m+1,r,p*2+1);
LAZ[p] = 0;
return min(a,b);
}
typedef tuple<int, int, int, int> iiii;
typedef vector<iiii> viiii;
bool possible(int w) {
RE(i,p) X1[i] -= w-1;
RE(i,p) Y1[i] -= w-1;
// fill pq
viiii pq;
RE(i,p) {
pq.pb({max(0,X1[i] ),max(0,Y1[i]),Y2[i],-c[i]});
pq.pb({max(0,X2[i]+1),max(0,Y1[i]),Y2[i], c[i]});
}
sort(all(pq));
// clear segment tree
RE(i,N*2) SEG[i]=LAZ[i]=0;
int cx, lbY, ubY, cost, nextX, _;
tie(cx, lbY, ubY, cost) = pq[0];
if(cx > 0) {
RE(i,p) X1[i] += w-1;
RE(i,p) Y1[i] += w-1;
return 0;
}
// sweep line
RE(i,pq.size()) {
tie(cx, lbY, ubY, cost) = pq[i];
cost = -cost;
if(i != pq.size()-1)
tie(nextX, _, _, _) = pq[i+1];
addSeg(lbY, ubY, cost);
if((i == pq.size()-1 || nextX != 0) && cx <= m-w) {
if(getSeg(0,n-w) <= b) {
RE(i,p) X1[i] += w-1;
RE(i,p) Y1[i] += w-1;
return true;
}
}
}
RE(i,p) X1[i] += w-1;
RE(i,p) Y1[i] += w-1;
return false;
}
void program() {
IN(m,n,b,p);
RE(i,p) IN(X1[i],Y1[i],X2[i],Y2[i],c[i]);
RE(i,p) X1[i]--, Y1[i]--, X2[i]--, Y2[i]--;
int lb=1, ub=min(n,m);
while(lb != ub) {
int mid=(lb+ub+1)/2;
if(possible(mid)) lb=mid;
else ub=mid-1;
}
OUTL(lb);
}
Compilation message
pyramid_base.cpp: In function 'bool possible(int)':
pyramid_base.cpp:128:14: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::tuple<int, int, int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
128 | if(i != pq.size()-1)
| ~~^~~~~~~~~~~~~~
pyramid_base.cpp:132:15: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<std::tuple<int, int, int, int> >::size_type' {aka 'long unsigned int'} [-Wsign-compare]
132 | if((i == pq.size()-1 || nextX != 0) && cx <= m-w) {
| ~~^~~~~~~~~~~~~~
pyramid_base.cpp:132:30: warning: 'nextX' may be used uninitialized in this function [-Wmaybe-uninitialized]
132 | if((i == pq.size()-1 || nextX != 0) && cx <= m-w) {
| ~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
21 ms |
16716 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
21 ms |
16780 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
37 ms |
16704 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
48 ms |
16844 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Incorrect |
68 ms |
16844 KB |
Output isn't correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
77 ms |
16848 KB |
Output is correct |
2 |
Incorrect |
108 ms |
16844 KB |
Output isn't correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
134 ms |
16844 KB |
Output is correct |
2 |
Correct |
84 ms |
16844 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
93 ms |
17304 KB |
Output is correct |
2 |
Correct |
173 ms |
17356 KB |
Output is correct |
3 |
Correct |
153 ms |
17304 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Incorrect |
400 ms |
18040 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Correct |
638 ms |
18872 KB |
Output is correct |
2 |
Correct |
102 ms |
18912 KB |
Output is correct |
3 |
Correct |
241 ms |
18808 KB |
Output is correct |
4 |
Correct |
822 ms |
18956 KB |
Output is correct |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Incorrect |
917 ms |
19392 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Incorrect |
1012 ms |
19320 KB |
Output isn't correct |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Execution timed out |
5085 ms |
35224 KB |
Time limit exceeded |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Execution timed out |
5085 ms |
48428 KB |
Time limit exceeded |
2 |
Halted |
0 ms |
0 KB |
- |
# |
결과 |
실행 시간 |
메모리 |
Grader output |
1 |
Execution timed out |
5098 ms |
53548 KB |
Time limit exceeded |
2 |
Halted |
0 ms |
0 KB |
- |