Submission #284141

# Submission time Handle Problem Language Result Execution time Memory
284141 2020-08-26T22:52:17 Z Namnamseo Abduction 2 (JOI17_abduction2) C++17
13 / 100
2 ms 1280 KB
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair<int,int> pp;
typedef pair<ll,ll> pll;
void cppio(){ ios_base::sync_with_stdio(0); cin.tie(0); }
template<typename T,typename U>
istream& operator>>(istream& i, pair<T,U>& p) { i >> p.first >> p.second; return i; }
#define all(x) (x).begin(),(x).end()
#define pb push_back
#define eb emplace_back
#define x first
#define y second
#define rep(i,n) for(int i = 0; i < (n); ++i)
#define rrep(i,n) for(int i = 1; i <= (n); ++i)
#define sz(x) (int)(x).size()
#define XY(t) t.x, t.y

int n, m, q;

int ca[50010];
int cb[50010];

int mxl[2][16][50010];
int mxr[2][16][50010];

int sz[2];

void Pre() {
	sz[0] = n; sz[1] = m;
	{
		int t=0, sz=n;
		for(int *a:{ca, cb}) {
			auto vl=mxl[t], vr=mxr[t];
			rrep(i, sz) vl[0][i] = vr[0][i] = a[i];
			rrep(i, 15) { int hw = 1<<(i-1); rrep(j, sz) {
				vl[i][j] = (j > hw) ? max(vl[i-1][j], vl[i-1][j-hw]) : vl[i-1][j];
				vr[i][j] = (j+hw <= sz) ? max(vr[i-1][j], vr[i-1][j+hw]) : vr[i-1][j];
			} }
			sz += m-n; ++t;
		}
	}
}

pp G(int x, int y, int d, int th=0) {
	int e = d^1;
	int l, r;
	if (d == 0) l=r=y; else l=r=x;
	int v = (d?cb:ca)[x+y-l];

	l-=th;
	for(int i=15; 0<=i && l>=1; --i) {
		if (mxl[e][i][l] <= v) {
			l -= (1<<i);
			if (l < 1) { l = 0; break; }
		}
	}

	r+=th;
	for(int i=15; 0<=i && r<=sz[e]; --i) {
		if (mxr[e][i][r] <= v) {
			r += (1<<i);
			if (r > sz[e]) { r = sz[e]+1; break; }
		}
	}

	return {l, r};
}

int ans;

void f(int mn, int l, int r,
	int dld, int dlu,
	int drd, int dru, int d) {

	/*printf("f: main axis %d, lr [%d...%d], dl %d(%d) / dr %d(%d), dir=%d\n",
		mn, l, r, dld, dlu, drd, dru, d);*/
	int sm = d ? n : m;
	if (l == 0) {
		ans = max(ans, max(dld, dlu)-1);
		if (r > sm) {
			ans = max(ans, max(drd, dru)-1);
			return;
		}
		pp t = G(d?r:mn, d?mn:r, d^1);
		f(r, t.x, t.y,
			dru+(mn-t.x),
			dru+(mn-t.x),
			drd+(t.y-mn),
			drd+(t.y-mn),
			d^1); return;
	}
	if (r > sm) {
		ans = max(ans, max(drd, dru)-1);
		pp t = G(d?l:mn, d?mn:l, d^1);
		f(l, t.x, t.y,
			dlu+(mn-t.x),
			dlu+(mn-t.x),
			dld+(t.y-mn),
			dld+(t.y-mn),
			d^1); return;
	}

	pp fl = G(d?l:mn, d?mn:l, d^1);
	pp fr = G(d?r:mn, d?mn:r, d^1);

	int dlx = dlu+mn-fl.x, dly=dld+fl.y-mn;
	int drx = dru+mn-fr.x, dry=drd+fr.y-mn;

	/*printf("left G=[%d...%d], right G=[%d...%d]\n",
		fl.x, fl.y, fr.x, fr.y);*/
	if (fl == fr) {
		if (fl.x == 0) {
			if (fl.y > sz[d]) {
				ans = max(ans,
					max({dlx, dly, drx, dry})-1);
				return;
			}
			dlx = drx = -1e8;
		} else if (fl.y > sz[d]) {
			dly = dry = -1e8;
		}
		f(l, fl.x, fl.y,
			dlx, drx+r-l,
			dly, dry+r-l, d^1);
	} else {
		int wl = fl.y-fl.x, wr = fr.y-fr.x;
		if (wl < wr) {
			f(l, fl.x, fl.y, dlx, dlx, dly, dly, d^1);
		} else {
			f(r, fr.x, fr.y, drx, drx, dry, dry, d^1);
		}
		return;
	}
}

void O(int x, int y, int d)
{
	pp g = G(x, y, d, 1);
	int X=x, Y=y; if (d) swap(X, Y);
	//printf("O: calling f...\n");
	f(X, g.x, g.y, Y-g.x, Y-g.x, g.y-Y, g.y-Y, d);
}

int main()
{
	cppio(); cin>>n>>m>>q; rrep(i, n) cin>>ca[i]; rrep(i, m) cin>>cb[i];
	Pre();
	/*
	for(;q--;) {
		int x, y; cin>>x>>y;
		pp tmp;
		tmp = G(x, y, 0);
		printf("Garo row=%d, col=[%d...%d]\n", x, XY(tmp));
		tmp = G(x, y, 1);
		printf("Sero row=[%d...%d], col=%d\n", XY(tmp), y);
	}
	return 0;
	*/
for(;q--;) {
	int x, y; cin>>x>>y;
	ans = 0; rep(j, 2) O(x, y, j);
	cout << ans << '\n';
}
	return 0;
}
# Verdict Execution time Memory Grader output
1 Correct 1 ms 640 KB Output is correct
2 Correct 1 ms 640 KB Output is correct
3 Correct 1 ms 640 KB Output is correct
4 Correct 1 ms 640 KB Output is correct
5 Correct 1 ms 640 KB Output is correct
6 Correct 1 ms 640 KB Output is correct
7 Correct 1 ms 640 KB Output is correct
8 Correct 1 ms 640 KB Output is correct
9 Correct 1 ms 640 KB Output is correct
10 Correct 1 ms 640 KB Output is correct
11 Correct 1 ms 640 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 640 KB Output is correct
2 Correct 1 ms 640 KB Output is correct
3 Correct 1 ms 640 KB Output is correct
4 Correct 1 ms 640 KB Output is correct
5 Correct 1 ms 640 KB Output is correct
6 Correct 1 ms 640 KB Output is correct
7 Correct 1 ms 640 KB Output is correct
8 Correct 1 ms 640 KB Output is correct
9 Correct 1 ms 640 KB Output is correct
10 Correct 1 ms 640 KB Output is correct
11 Correct 1 ms 640 KB Output is correct
12 Correct 1 ms 1152 KB Output is correct
13 Correct 2 ms 1152 KB Output is correct
14 Correct 2 ms 1280 KB Output is correct
15 Incorrect 1 ms 1152 KB Output isn't correct
16 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 1 ms 640 KB Output is correct
2 Correct 1 ms 640 KB Output is correct
3 Correct 1 ms 640 KB Output is correct
4 Correct 1 ms 640 KB Output is correct
5 Correct 1 ms 640 KB Output is correct
6 Correct 1 ms 640 KB Output is correct
7 Correct 1 ms 640 KB Output is correct
8 Correct 1 ms 640 KB Output is correct
9 Correct 1 ms 640 KB Output is correct
10 Correct 1 ms 640 KB Output is correct
11 Correct 1 ms 640 KB Output is correct
12 Correct 1 ms 1152 KB Output is correct
13 Correct 2 ms 1152 KB Output is correct
14 Correct 2 ms 1280 KB Output is correct
15 Incorrect 1 ms 1152 KB Output isn't correct
16 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 2 ms 1152 KB Output isn't correct
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 1 ms 640 KB Output is correct
2 Correct 1 ms 640 KB Output is correct
3 Correct 1 ms 640 KB Output is correct
4 Correct 1 ms 640 KB Output is correct
5 Correct 1 ms 640 KB Output is correct
6 Correct 1 ms 640 KB Output is correct
7 Correct 1 ms 640 KB Output is correct
8 Correct 1 ms 640 KB Output is correct
9 Correct 1 ms 640 KB Output is correct
10 Correct 1 ms 640 KB Output is correct
11 Correct 1 ms 640 KB Output is correct
12 Correct 1 ms 1152 KB Output is correct
13 Correct 2 ms 1152 KB Output is correct
14 Correct 2 ms 1280 KB Output is correct
15 Incorrect 1 ms 1152 KB Output isn't correct
16 Halted 0 ms 0 KB -