Submission #102273

# Submission time Handle Problem Language Result Execution time Memory
102273 2019-03-24T04:58:51 Z qkxwsm Designated Cities (JOI19_designated_cities) C++14
23 / 100
2000 ms 128548 KB
#pragma GCC optimize ("O3")
#pragma GCC target ("sse4")
#include <bits/stdc++.h>
#include <ext/pb_ds/tree_policy.hpp>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/rope>

using namespace std;
using namespace __gnu_pbds;
using namespace __gnu_cxx;

random_device(rd);
mt19937 rng(rd());
const long long FIXED_RANDOM = chrono::steady_clock::now().time_since_epoch().count();

struct custom_hash
{
	template<class T>
	unsigned long long operator()(T v) const
	{
		unsigned long long x = v;
		x += FIXED_RANDOM;
		// x += 11400714819323198485ull;
		// x = (x ^ (x >> 30)) * 13787848793156543929ull;
		x = (x ^ (x >> 27)) * 10723151780598845931ull;
		return x ^ (x >> 31);
	}
};

template<class T> using ordered_set = tree<T, null_type, less<T>, rb_tree_tag, tree_order_statistics_node_update>;
template<class T, class U> using hash_table = gp_hash_table<T, U, custom_hash>;

template<class T>
T randomize(T mod)
{
	return (uniform_int_distribution<T>(0, mod - 1))(rng);
}
template<class T>
void readi(T &x)
{
	x = 0;
	bool negative = false;
	char c = ' ';
	while (c < '-')
	{
		c = getchar();
	}
	if (c == '-')
	{
		negative = true;
		c = getchar();
	}
	while (c >= '0')
	{
		x = x * 10 + (c - '0');
		c = getchar();
	}
	if (negative)
	{
		x = -x;
	}
}
template<class T>
void printi(T output)
{
	if (output == 0)
	{
		putchar('0');
		return;
	}
	if (output < 0)
	{
		putchar('-');
		output = -output;
	}
	int buf[20], n = 0;
	while(output)
	{
		buf[n] = ((output % 10));
		output /= 10;
		n++;
	}
	for (n--; n >= 0; n--)
	{
		putchar(buf[n] + '0');
	}
	return;
}
template<class T>
void ckmin(T &a, T b)
{
	a = min(a, b);
}
template<class T>
void ckmax(T &a, T b)
{
	a = max(a, b);
}
long long expo(long long a, long long e, long long mod)
{
	return ((e == 0) ? 1 : ((expo(a * a % mod, e >> 1, mod)) * ((e & 1) ? a : 1) % mod));
}
template<class T, class U>
void nmod(T &x, U mod)
{
	if (x >= mod) x -= mod;
}
template<class T>
T gcd(T a, T b)
{
	return (b ? gcd(b, a % b) : a);
}

#define y0 ___y0
#define y1 ___y1
#define MP make_pair
#define PB push_back
#define LB lower_bound
#define UB upper_bound
#define fi first
#define se second
#define DBG(x) cerr << #x << " = " << (x) << endl
#define SZ(x) ((int) ((x).size()))
#define FOR(i, a, b) for (auto i = (a); i < (b); i++)
#define FORD(i, a, b) for (auto i = (a) - 1; i >= (b); i--)
#define ALL(x) (x).begin(), (x).end()

const long double PI = 4.0 * atan(1.0);
const long double EPS = 1e-9;

#define MAGIC 347
#define SINF 10007
#define CO 1000007
#define INF 1000000007
#define BIG 1000000931
#define LARGE 1696969696967ll
#define GIANT 2564008813937411ll
#define LLINF 2696969696969696969ll
#define MAXN 200013

typedef long long ll;
typedef long double ld;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
typedef pair<ld, ld> pdd;
typedef vector<int> vi;
typedef vector<ll> vl;
typedef vector<ld> vd;
typedef vector<pii> vpi;
typedef vector<pll> vpl;
typedef vector<pdd> vpd;

int N, Q, R;
vi edge[MAXN];
hash_table<int, ll> dist[MAXN];
ll ans[MAXN];
ll tot;
int parent[MAXN], subtree[MAXN];
ll down[MAXN], up[MAXN];
ll enter[MAXN];
ll best[MAXN];
vl others[MAXN];
bitset<MAXN> done;

void dfs(int u)
{
	subtree[u] = 1;
	for (int v : edge[u])
	{
		if (v == parent[u] || done[v]) continue;
		// cerr << u << " -> " << v << endl;
		parent[v] = u;
		down[v] = down[u] + dist[u][v];
		up[v] = up[u] + dist[v][u];
		dfs(v);
		subtree[u] += subtree[v];
	}
	// cerr << u << ' ' << up[u] << ' ' << down[u] << endl;
}
void clean(int u)
{
	for (int v : edge[u])
	{
		if (v == parent[u] || done[v]) continue;
		clean(v);
	}
	subtree[u] = 0;
	parent[u] = N;
	others[u].clear(); best[u] = 0; down[u] = 0; up[u] = 0;
}
int find_cent(int u, int sz)
{
	for (int v : edge[u])
	{
		if (v == parent[u] || done[v]) continue;
		if (subtree[v] * 2 > sz) return find_cent(v, sz);
	}
	return u;
}
void solve(int u)
{
	bool flag = true;
	for (int v : edge[u])
	{
		if (v == parent[u] || done[v]) continue;
		flag = false;
		solve(v);
	}
	for (int v : edge[u])
	{
		if (v == parent[u] || done[v]) continue;
		//now we talk more about what we save!
		if (SZ(others[v]) >= SZ(others[u]))
		{
			swap(others[v], others[u]);
		}
		others[u].insert(others[u].end(), ALL(others[v]));
		ll cur = best[u], could = best[v] + dist[u][v];
		others[u].PB(min(cur, could));
		best[u] = max(cur, could);
	}
	return;
}
//now centroid decomp!
void go(int u)
{
	dfs(u);
	// cerr << "go " << u << endl;
	ll mx1 = 0, mx2 = -LLINF;
	for (int v : edge[u])
	{
		if (v == parent[u] || done[v]) continue;
		solve(v);
		others[v].PB(best[v] + dist[u][v]);
		sort(ALL(others[v]));
		if (others[v].back() > mx1)
		{
			mx2 = mx1;
			mx1 = others[v].back();
		}
		else if (others[v].back() > mx2)
		{
			mx2 = others[v].back();
		}
	}
	for (int v : edge[u])
	{
		if (v == parent[u] || done[v]) continue;
		if (others[v].back() == mx1)
		{
			others[v].pop_back(); break;
		}
	}
	for (int v : edge[u])
	{
		if (v == parent[u] || done[v]) continue;
		if (others[v].back() == mx2)
		{
			others[v].pop_back(); break;
		}
	}
	for (int v : edge[u])
	{
		if (v == parent[u] || done[v]) continue;
		others[u].insert(others[u].end(), ALL(others[v]));
	}
	sort(ALL(others[u]));
	ll sum = enter[u] - mx1 - mx2;
	ckmin(ans[2], sum);
	FOR(i, 3, 3 + SZ(others[u]))
	{
		sum -= others[u][SZ(others[u]) - i + 2];
		ckmin(ans[i], sum);
	}
	//now you always need to make sure you have stuff from multiple components!
	done[u] = true;
	clean(u);
	for (int v : edge[u])
	{
		if (done[v]) continue;
		dfs(v);
		// cerr << "hi " << u << ' ' << v << ' ' << subtree[v] << endl;
		if (subtree[v] == 1) continue;
		int c = find_cent(v, subtree[v]);
		clean(v);
		go(c);
	}
	return;
	//now just treat c as the root and yay!
}


int32_t main()
{
	ios_base::sync_with_stdio(0); cin.tie(0);
	// cout << fixed << setprecision(10);
	// cerr << fixed << setprecision(10);
	// if (fopen("file.in", "r"))
	// {
	// 	freopen ("file.in", "r", stdin);
	// 	freopen ("file.out", "w", stdout);
	// }
	cin >> N;
	FOR(i, 0, N - 1)
	{
		int u, v; ll c, d;
		cin >> u >> v >> c >> d;
		u--; v--;
		dist[u][v] = c;
		dist[v][u] = d;
		tot += (c + d);
		edge[u].PB(v);
		edge[v].PB(u);
	}
	FOR(i, 0, N) if (SZ(edge[i]) != 1) R = i;
	parent[R] = N;
	dfs(R);
	ll totdown = 0;
	FOR(i, 0, N) if (i != R) totdown += dist[parent[i]][i];
	FOR(u, 0, N) enter[u] = totdown + up[u] - down[u];
	FOR(i, 1, N + 1) ans[i] = LLINF;
	go(R);
	FOR(u, 0, N) ckmin(ans[1], enter[u]);
	FOR(i, 1, N) ckmin(ans[i + 1], ans[i]);
	cin >> Q;
	while(Q--)
	{
		int x;
		cin >> x;
		if (N == 2)
		{
			cout << (x == 1 ? ans[x] : 0) << '\n';
			continue;
		}
		cout << ans[x] << '\n';
	}
	// cerr << "time elapsed = " << (clock() / (CLOCKS_PER_SEC / 1000)) << " ms" << endl;
	return 0;
}
/* READ READ READ
* int overflow, maxn too small, special cases (n=1?, two distinct?), cin.tie() interactive
* reread the problem, try small cases
* note down possible sources of error as you go
* do smth instead of nothing
*/

Compilation message

designated_cities.cpp: In function 'void solve(int)':
designated_cities.cpp:202:7: warning: variable 'flag' set but not used [-Wunused-but-set-variable]
  bool flag = true;
       ^~~~
# Verdict Execution time Memory Grader output
1 Correct 92 ms 71032 KB Output is correct
2 Correct 85 ms 71004 KB Output is correct
3 Correct 86 ms 70940 KB Output is correct
4 Correct 86 ms 71012 KB Output is correct
5 Correct 84 ms 70916 KB Output is correct
6 Correct 81 ms 70904 KB Output is correct
7 Correct 78 ms 70904 KB Output is correct
8 Correct 81 ms 70904 KB Output is correct
9 Correct 83 ms 70776 KB Output is correct
10 Correct 83 ms 70904 KB Output is correct
11 Correct 86 ms 70960 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 97 ms 70972 KB Output is correct
2 Execution timed out 2039 ms 128548 KB Time limit exceeded
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 85 ms 70904 KB Output is correct
2 Execution timed out 2029 ms 126384 KB Time limit exceeded
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 92 ms 71032 KB Output is correct
2 Correct 85 ms 71004 KB Output is correct
3 Correct 86 ms 70940 KB Output is correct
4 Correct 86 ms 71012 KB Output is correct
5 Correct 84 ms 70916 KB Output is correct
6 Correct 81 ms 70904 KB Output is correct
7 Correct 78 ms 70904 KB Output is correct
8 Correct 81 ms 70904 KB Output is correct
9 Correct 83 ms 70776 KB Output is correct
10 Correct 83 ms 70904 KB Output is correct
11 Correct 86 ms 70960 KB Output is correct
12 Correct 97 ms 70876 KB Output is correct
13 Correct 103 ms 71544 KB Output is correct
14 Correct 103 ms 71644 KB Output is correct
15 Correct 96 ms 71524 KB Output is correct
16 Correct 108 ms 71544 KB Output is correct
17 Correct 102 ms 71544 KB Output is correct
18 Correct 96 ms 71572 KB Output is correct
19 Correct 93 ms 71544 KB Output is correct
20 Correct 91 ms 71240 KB Output is correct
21 Correct 100 ms 71544 KB Output is correct
22 Correct 89 ms 71544 KB Output is correct
23 Correct 98 ms 71544 KB Output is correct
24 Correct 89 ms 71288 KB Output is correct
25 Correct 90 ms 71552 KB Output is correct
26 Correct 94 ms 71288 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 97 ms 70972 KB Output is correct
2 Execution timed out 2039 ms 128548 KB Time limit exceeded
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 92 ms 71032 KB Output is correct
2 Correct 85 ms 71004 KB Output is correct
3 Correct 86 ms 70940 KB Output is correct
4 Correct 86 ms 71012 KB Output is correct
5 Correct 84 ms 70916 KB Output is correct
6 Correct 81 ms 70904 KB Output is correct
7 Correct 78 ms 70904 KB Output is correct
8 Correct 81 ms 70904 KB Output is correct
9 Correct 83 ms 70776 KB Output is correct
10 Correct 83 ms 70904 KB Output is correct
11 Correct 86 ms 70960 KB Output is correct
12 Correct 97 ms 70972 KB Output is correct
13 Execution timed out 2039 ms 128548 KB Time limit exceeded
14 Halted 0 ms 0 KB -