Submission #256175

# Submission time Handle Problem Language Result Execution time Memory
256175 2020-08-02T10:50:31 Z mode149256 Islands (IOI08_islands) C++14
90 / 100
1190 ms 131072 KB
/*input
7
3 8
7 2
4 2
1 4
1 9
3 4
2 3
*/
#include <bits/stdc++.h>
using namespace std;

namespace my_template {
typedef long long ll;
typedef long double ld;
typedef complex<ld> cd;

typedef pair<int, int> pi;
typedef pair<ll, ll> pl;
typedef pair<ld, ld> pd;

typedef vector<int> vi;
typedef vector<vi> vii;
typedef vector<ld> vd;
typedef vector<ll> vl;
typedef vector<vl> vll;
typedef vector<pi> vpi;
typedef vector<vpi> vpii;
typedef vector<pl> vpl;
typedef vector<cd> vcd;
typedef vector<pd> vpd;
typedef vector<bool> vb;
typedef vector<vb> vbb;
typedef std::string str;
typedef std::vector<str> vs;

#define x first
#define y second
#define debug(...) cout<<"["<<#__VA_ARGS__<<": "<<__VA_ARGS__<<"]\n"

const ld PI = 3.14159265358979323846264338327950288419716939937510582097494L;

template<typename T>
pair<T, T> operator+(const pair<T, T> &a, const pair<T, T> &b) { return pair<T, T>(a.x + b.x, a.y + b.y); }
template<typename T>
pair<T, T> operator-(const pair<T, T> &a, const pair<T, T> &b) { return pair<T, T>(a.x - b.x, a.y - b.y); }
template<typename T>
T operator*(const pair<T, T> &a, const pair<T, T> &b) { return (a.x * b.x + a.y * b.y); }
template<typename T>
T operator^(const pair<T, T> &a, const pair<T, T> &b) { return (a.x * b.y - a.y * b.x); }

template<typename T>
void print(vector<T> vec, string name = "") {
	cout << name;
	for (auto u : vec)
		cout << u << ' ';
	cout << '\n';
}
}
using namespace my_template;

const int MOD = 1000000007;
const ll INF = std::numeric_limits<ll>::max();
const int MX = 1000000;

int N;
pi edges[MX];
vpi edgesVisos[MX];
bitset<MX> been;

vi circle; // lens
vi circleV;
bitset<MX> inCircle;

ll ats = 0;
ll proc = 0;
ll maxDis = 0;
int kur;

void fill(int x) {
	been[x] = true;

	for (auto u : edgesVisos[x])
		if (!been[u.x])
			fill(u.x);

	auto u = edges[x];
	if (!been[u.x])
		fill(u.x);
}

// -1 ner rato
int find_circle(int x) {
	been[x] = true;

	auto u = edges[x];
	if (been[u.x]) {
		circleV.emplace_back(x);
		circle.emplace_back(u.y);
		been[x] = false;
		return u.x;
	}

	int k = find_circle(u.x);

	if (k == x) {
		circleV.emplace_back(x);
		circle.emplace_back(u.y);
		been[x] = false;
		return -1;
	}
	else if (k != -1) {
		circleV.emplace_back(x);
		circle.emplace_back(u.y);
		been[x] = false;
		return k;
	}

	been[x] = false;
	return -1;
}

void longest(int x, int p, ll dis) {
	if (dis > maxDis) {
		maxDis = dis;
		kur = x;
	}

	for (auto u : edgesVisos[x]) {
		if (u.x == p or inCircle[u.x]) continue;
		longest(u.x, x, dis + u.y);
	}
	auto u = edges[x];
	if (u.x == p or inCircle[u.x]) return;
	longest(u.x, x, dis + u.y);
}

void solve() {
	proc = 0;
	for (auto u : circleV)
		inCircle[u] = true;

	int C = (int)circleV.size();

	vl D(C, 0);

	for (int i = 0; i < C; ++i)
	{
		int x = circleV[i];

		ll did = 0;
		ll did2 = 0;

		D[i] = 0;

		for (auto u : edgesVisos[x]) {
			if (inCircle[u.x]) continue;
			maxDis = 0;
			longest(u.x, x, u.y);
			proc = max(proc, maxDis);

			if (maxDis >= did) {
				did2 = did;
				did = maxDis;
			} else if (maxDis > did2) {
				did2 = maxDis;
			}


			D[i] = max(D[i], maxDis);

			maxDis = 0;
			longest(kur, -1, 0);
			proc = max(proc, maxDis);
		}

		proc = max(proc, did + did2);
	}

	deque<pair<ll, int>> dq;
	ll viso = 0;
	for (int i = 0; i < C; ++i) viso += (ll)circle[i];

	ll suma = circle[0];

	{
		for (int i = 1; i < C; ++i)
		{
			// circle[i] += circle[i - 1];
			ll newVal = suma + D[i];
			suma += circle[i];

			while (dq.size() and dq.back().x <= newVal)
				dq.pop_back();

			dq.push_back({newVal, i});
		}

		suma = 0;
		for (int i = 0; i < C; ++i)
		{
			while (dq.size() and dq.front().y <= i) {
				dq.pop_front();
			}

			proc = max(proc, dq.front().x + D[i] - suma);

			ll newVal = D[i] + viso + suma;
			while (dq.size() and dq.back().x <= newVal)
				dq.pop_back();

			dq.push_back({newVal, i + C});
			suma += circle[i];
		}
	}

	ats += proc;
}

int main() {
	ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
	cin >> N;
	for (int i = 0; i < N; ++i)
	{
		int a, w;
		cin >> a >> w; a--;

		edges[i] = {a, w};

		// edgesVisos[i].emplace_back(a, w);
		edgesVisos[a].emplace_back(i, w);
	}

	for (int i = 0; i < N; ++i)
	{
		if (been[i]) continue;

		circle.clear();
		circleV.clear();

		find_circle(i);
		fill(i);
		reverse(circle.begin(), circle.end());
		reverse(circleV.begin(), circleV.end());

		solve();
	}

	printf("%lld\n", ats);
}

/* Look for:
* special cases (n=1?)
* overflow (ll vs int?)
* the exact constraints (multiple sets are too slow for n=10^6 :( )
* array bounds
*/
# Verdict Execution time Memory Grader output
1 Correct 15 ms 23808 KB Output is correct
2 Correct 15 ms 23808 KB Output is correct
3 Correct 15 ms 23936 KB Output is correct
4 Correct 14 ms 23808 KB Output is correct
5 Correct 14 ms 23840 KB Output is correct
6 Correct 18 ms 23808 KB Output is correct
7 Correct 17 ms 23808 KB Output is correct
8 Correct 17 ms 23808 KB Output is correct
9 Correct 15 ms 23808 KB Output is correct
10 Correct 18 ms 23808 KB Output is correct
11 Correct 15 ms 23808 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 15 ms 23936 KB Output is correct
2 Correct 15 ms 23936 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 15 ms 23936 KB Output is correct
2 Correct 16 ms 24064 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 21 ms 24448 KB Output is correct
2 Correct 29 ms 25728 KB Output is correct
3 Correct 26 ms 24448 KB Output is correct
4 Correct 22 ms 24192 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 34 ms 26488 KB Output is correct
2 Correct 49 ms 28024 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 82 ms 30584 KB Output is correct
2 Correct 88 ms 37496 KB Output is correct
3 Correct 113 ms 40084 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 157 ms 37084 KB Output is correct
2 Correct 186 ms 49168 KB Output is correct
3 Correct 207 ms 63492 KB Output is correct
4 Correct 265 ms 65880 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 283 ms 39764 KB Output is correct
2 Correct 745 ms 84252 KB Output is correct
3 Correct 278 ms 47096 KB Output is correct
4 Correct 363 ms 69852 KB Output is correct
5 Correct 355 ms 67724 KB Output is correct
6 Correct 1190 ms 52168 KB Output is correct
7 Correct 382 ms 87572 KB Output is correct
# Verdict Execution time Memory Grader output
1 Runtime error 379 ms 131072 KB Execution killed with signal 9 (could be triggered by violating memory limits)
2 Halted 0 ms 0 KB -