Submission #963425

# Submission time Handle Problem Language Result Execution time Memory
963425 2024-04-15T01:57:10 Z Pring Bubble Sort 2 (JOI18_bubblesort2) C++17
38 / 100
9000 ms 18252 KB
#include <bits/stdc++.h>
#include <bits/extc++.h>
#include "bubblesort2.h"
using namespace std;
using namespace __gnu_pbds;

#ifdef MIKU
string dbmc = "\033[1;38;2;57;197;187m", dbrs = "\033[0m";
#define debug(x...) cout << dbmc << "[" << #x << "]: ", dout(x)
void dout() { cout << dbrs << endl; }
template <typename T, typename ...U>
void dout(T t, U ...u) { cout << t << (sizeof...(u) ? ", " : ""); dout(u...); }
#else
#define debug(...) 39
#endif

#define fs first
#define sc second
#define mp make_pair
#define FOR(i, j, k) for (int i = j, Z = k; i < Z; i++)
using ll = long long;
typedef pair<int, int> pii;
typedef pair<int, ll> pil;
typedef pair<ll, int> pli;
typedef pair<ll, ll> pll;
typedef tree<pii, null_type, less<pii>, rb_tree_tag, tree_order_statistics_node_update> TREE;

namespace {
	const int MXN = 500005;
	int n;
	vector<int> a;
	TREE MS;

	namespace TREAP {
		mt19937 rnd(time(nullptr));
		struct NODE {
			int l, r, pri, sz, val, big, tag;
			NODE(int v = 0) : l(0), r(0), pri(rnd()), sz(1), val(v), big(v), tag(0) {}
		} nd[MXN];
		int rt;
		
		void add_tag(int id, int _t) {
			if (id == 0) return;
			nd[id].val += _t;
			nd[id].big += _t;
			nd[id].tag += _t;
		}
		void PUSH(int id) {
			add_tag(nd[id].l, nd[id].tag);
			add_tag(nd[id].r, nd[id].tag);
			nd[id].tag = 0;
		}
		void PULL(int id) {
			nd[id].big = max({nd[nd[id].l].big, nd[nd[id].r].big, nd[id].val});
			nd[id].sz = nd[nd[id].l].sz + nd[nd[id].r].sz + 1;
		}
		int MERGE(int ta, int tb) {
			if (ta == 0) return tb;
			if (tb == 0) return ta;
			if (nd[ta].pri > nd[tb].pri) {
				PUSH(ta);
				nd[ta].r = MERGE(nd[ta].r, tb);
				PULL(ta);
				return ta;
			} else {
				PUSH(tb);
				nd[tb].l = MERGE(ta, nd[tb].l);
				PULL(tb);
				return tb;
			}
			return 0;
		}
		pii SPLIT(int rt, int k) {
			if (rt == 0) return mp(0, 0);
			if (k == 0) return mp(0, rt);
			int lsz = nd[nd[rt].l].sz + 1;
			PUSH(rt);
			if (lsz <= k) {
				auto [ta, tb] = SPLIT(nd[rt].r, k - lsz);
				nd[rt].r = ta;
				PULL(rt);
				return mp(rt, tb);
			} else {
				auto [ta, tb] = SPLIT(nd[rt].l, k);
				nd[rt].l = tb;
				PULL(rt);
				return mp(ta, rt);
			}
			return mp(0, 0);
		}
	}

	void INIT() {
		using namespace TREAP;
		nd[0] = NODE(-MXN);
		nd[0].sz = 0;
		vector<pii> dist;
		FOR(i, 0, n) dist.push_back(mp(a[i], i));
		sort(dist.begin(), dist.end());
		FOR(i, 0, n) MS.insert(dist[i]);
		FOR(i, 0, n) {
			nd[i + 1] = NODE(dist[i].sc - i);
		}
		rt = 1;
		FOR(i, 1, n) rt = MERGE(rt, i + 1);
		FOR(j, 1, n + 1) debug(j, nd[j].pri);
	}

	int SOLVE(int p, int v) {
		using namespace TREAP;
		int now = MS.order_of_key(mp(a[p], p));
		MS.erase(MS.find(mp(a[p], p)));
		int nxt = MS.order_of_key(mp(v, p));
		MS.insert(mp(v, p));
		a[p] = v;
		debug(now, nxt);
		if (now == nxt) return nd[rt].big;
		auto [ta, t1] = SPLIT(rt, min(now, nxt));
		auto [tt, td] = SPLIT(t1, abs(nxt - now) + 1);
		if (now > nxt) {
			auto [tb, tc] = SPLIT(tt, now - nxt);
			debug(ta, tb, tc, td);
			add_tag(tc, now - nxt);
			add_tag(tb, -1);
			tt = MERGE(tc, tb);
			t1 = MERGE(tt, td);
			rt = MERGE(ta, t1);
		} else {
			auto [tb, tc] = SPLIT(tt, 1);
			debug(ta, tb, tc, td, 2);
			add_tag(tb, now - nxt);
			add_tag(tc, 1);
			tt = MERGE(tc, tb);
			t1 = MERGE(tt, td);
			rt = MERGE(ta, t1);
		}
		return nd[rt].big;
	}

	void DFS(int id, int &C) {
		if (id == 0) return;
		using namespace TREAP;
		DFS(nd[id].l, C);
		debug(id, nd[id].val + C);
		C++;
		DFS(nd[id].r, C);
	}
}

ostream &operator<<(ostream &ss, TREAP::NODE a) {
	ss << '<' << a.val << ' ' << a.big << ' ' << a.tag << ' ' << a.sz << ' ' << a.l << ' ' << a.r << '>';
	return ss;
}

vector<int> countScans(vector<int> A, vector<int> X, vector<int> V) {
	::a = A;
	::n = A.size();
	int q = X.size();
	vector<int> ans;
	INIT();
	FOR(i, 0, q) {
		ans.push_back(SOLVE(X[i], V[i]));
		using namespace TREAP;
		debug(rt);
		int C = 0;
		DFS(rt, C);
		FOR(j, 1, n + 1) debug(j, nd[j]);
	}
	// for (auto &i : ans) assert(i >= 0);
	return ans;
}

Compilation message

bubblesort2.cpp: In function 'void {anonymous}::INIT()':
bubblesort2.cpp:14:20: warning: statement has no effect [-Wunused-value]
   14 | #define debug(...) 39
      |                    ^~
bubblesort2.cpp:106:20: note: in expansion of macro 'debug'
  106 |   FOR(j, 1, n + 1) debug(j, nd[j].pri);
      |                    ^~~~~
bubblesort2.cpp: In function 'int {anonymous}::SOLVE(int, int)':
bubblesort2.cpp:14:20: warning: statement has no effect [-Wunused-value]
   14 | #define debug(...) 39
      |                    ^~
bubblesort2.cpp:116:3: note: in expansion of macro 'debug'
  116 |   debug(now, nxt);
      |   ^~~~~
bubblesort2.cpp:14:20: warning: statement has no effect [-Wunused-value]
   14 | #define debug(...) 39
      |                    ^~
bubblesort2.cpp:122:4: note: in expansion of macro 'debug'
  122 |    debug(ta, tb, tc, td);
      |    ^~~~~
bubblesort2.cpp:14:20: warning: statement has no effect [-Wunused-value]
   14 | #define debug(...) 39
      |                    ^~
bubblesort2.cpp:130:4: note: in expansion of macro 'debug'
  130 |    debug(ta, tb, tc, td, 2);
      |    ^~~~~
bubblesort2.cpp: In function 'void {anonymous}::DFS(int, int&)':
bubblesort2.cpp:14:20: warning: statement has no effect [-Wunused-value]
   14 | #define debug(...) 39
      |                    ^~
bubblesort2.cpp:144:3: note: in expansion of macro 'debug'
  144 |   debug(id, nd[id].val + C);
      |   ^~~~~
bubblesort2.cpp: In function 'std::vector<int> countScans(std::vector<int>, std::vector<int>, std::vector<int>)':
bubblesort2.cpp:14:20: warning: statement has no effect [-Wunused-value]
   14 | #define debug(...) 39
      |                    ^~
bubblesort2.cpp:164:3: note: in expansion of macro 'debug'
  164 |   debug(rt);
      |   ^~~~~
bubblesort2.cpp:14:20: warning: statement has no effect [-Wunused-value]
   14 | #define debug(...) 39
      |                    ^~
bubblesort2.cpp:167:20: note: in expansion of macro 'debug'
  167 |   FOR(j, 1, n + 1) debug(j, nd[j]);
      |                    ^~~~~
bubblesort2.cpp: At global scope:
bubblesort2.cpp:150:10: warning: 'std::ostream& operator<<(std::ostream&, {anonymous}::TREAP::NODE)' defined but not used [-Wunused-function]
  150 | ostream &operator<<(ostream &ss, TREAP::NODE a) {
      |          ^~~~~~~~
# Verdict Execution time Memory Grader output
1 Correct 11 ms 14168 KB Output is correct
2 Correct 12 ms 14172 KB Output is correct
3 Correct 22 ms 14172 KB Output is correct
4 Correct 23 ms 14168 KB Output is correct
5 Correct 22 ms 14168 KB Output is correct
6 Correct 22 ms 14172 KB Output is correct
7 Correct 21 ms 14384 KB Output is correct
8 Correct 23 ms 14404 KB Output is correct
9 Correct 20 ms 14168 KB Output is correct
10 Correct 19 ms 14424 KB Output is correct
11 Correct 20 ms 14172 KB Output is correct
12 Correct 19 ms 14188 KB Output is correct
13 Correct 19 ms 14172 KB Output is correct
14 Correct 19 ms 14172 KB Output is correct
15 Correct 19 ms 14172 KB Output is correct
16 Correct 18 ms 14172 KB Output is correct
17 Correct 19 ms 14176 KB Output is correct
18 Correct 20 ms 14324 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 11 ms 14168 KB Output is correct
2 Correct 12 ms 14172 KB Output is correct
3 Correct 22 ms 14172 KB Output is correct
4 Correct 23 ms 14168 KB Output is correct
5 Correct 22 ms 14168 KB Output is correct
6 Correct 22 ms 14172 KB Output is correct
7 Correct 21 ms 14384 KB Output is correct
8 Correct 23 ms 14404 KB Output is correct
9 Correct 20 ms 14168 KB Output is correct
10 Correct 19 ms 14424 KB Output is correct
11 Correct 20 ms 14172 KB Output is correct
12 Correct 19 ms 14188 KB Output is correct
13 Correct 19 ms 14172 KB Output is correct
14 Correct 19 ms 14172 KB Output is correct
15 Correct 19 ms 14172 KB Output is correct
16 Correct 18 ms 14172 KB Output is correct
17 Correct 19 ms 14176 KB Output is correct
18 Correct 20 ms 14324 KB Output is correct
19 Correct 160 ms 14984 KB Output is correct
20 Correct 205 ms 14936 KB Output is correct
21 Correct 201 ms 15096 KB Output is correct
22 Correct 206 ms 15088 KB Output is correct
23 Correct 190 ms 15060 KB Output is correct
24 Correct 193 ms 15060 KB Output is correct
25 Correct 184 ms 15080 KB Output is correct
26 Correct 182 ms 14940 KB Output is correct
27 Correct 170 ms 15048 KB Output is correct
28 Correct 178 ms 15052 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 528 ms 16332 KB Output is correct
2 Execution timed out 9095 ms 18252 KB Time limit exceeded
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 11 ms 14168 KB Output is correct
2 Correct 12 ms 14172 KB Output is correct
3 Correct 22 ms 14172 KB Output is correct
4 Correct 23 ms 14168 KB Output is correct
5 Correct 22 ms 14168 KB Output is correct
6 Correct 22 ms 14172 KB Output is correct
7 Correct 21 ms 14384 KB Output is correct
8 Correct 23 ms 14404 KB Output is correct
9 Correct 20 ms 14168 KB Output is correct
10 Correct 19 ms 14424 KB Output is correct
11 Correct 20 ms 14172 KB Output is correct
12 Correct 19 ms 14188 KB Output is correct
13 Correct 19 ms 14172 KB Output is correct
14 Correct 19 ms 14172 KB Output is correct
15 Correct 19 ms 14172 KB Output is correct
16 Correct 18 ms 14172 KB Output is correct
17 Correct 19 ms 14176 KB Output is correct
18 Correct 20 ms 14324 KB Output is correct
19 Correct 160 ms 14984 KB Output is correct
20 Correct 205 ms 14936 KB Output is correct
21 Correct 201 ms 15096 KB Output is correct
22 Correct 206 ms 15088 KB Output is correct
23 Correct 190 ms 15060 KB Output is correct
24 Correct 193 ms 15060 KB Output is correct
25 Correct 184 ms 15080 KB Output is correct
26 Correct 182 ms 14940 KB Output is correct
27 Correct 170 ms 15048 KB Output is correct
28 Correct 178 ms 15052 KB Output is correct
29 Correct 528 ms 16332 KB Output is correct
30 Execution timed out 9095 ms 18252 KB Time limit exceeded
31 Halted 0 ms 0 KB -