This submission is migrated from previous version of oj.uz, which used different machine for grading. This submission may have different result if resubmitted.
/*
* Author: Nonoze
* Created: Saturday 27/07/2024
*/
#include <bits/stdc++.h>
using namespace std;
namespace std {
// https://judge.yosupo.jp/submission/193613
struct IOPre {
static constexpr int TEN = 10, SZ = TEN * TEN * TEN * TEN;
std::array<char, 4 * SZ> num;
constexpr IOPre() : num{} {
for (int i = 0; i < SZ; i++) for (int n = i, j = 3; j >= 0; j--) num[i * 4 + j] = n % TEN + '0', n /= TEN;
}
};
struct IO {
#if !HAVE_DECL_FREAD_UNLOCKED
#define fread_unlocked fread
#endif
#if !HAVE_DECL_FWRITE_UNLOCKED
#define fwrite_unlocked fwrite
#endif
static constexpr int SZ = 1 << 17, LEN = 32, TEN = 10, HUNDRED = TEN * TEN,
THOUSAND = HUNDRED * TEN, TENTHOUSAND = THOUSAND * TEN,
MAGIC_MULTIPLY = 205, MAGIC_SHIFT = 11, MASK = 15,
TWELVE = 12, SIXTEEN = 16;
static constexpr IOPre io_pre = {};
std::array<char, SZ> input_buffer, output_buffer;
int input_ptr_left, input_ptr_right, output_ptr_right;
IO() : input_buffer{}, output_buffer{}, input_ptr_left{}, input_ptr_right{}, output_ptr_right{} {}
IO(const IO&) = delete;
IO(IO&&) = delete;
IO& operator=(const IO&) = delete;
IO& operator=(IO&&) = delete;
~IO() { flush(); }
template<typename T> static constexpr bool is_char_v = std::is_same_v<T, char>;
template<typename T> static constexpr bool is_bool_v = std::is_same_v<T, bool>;
template<typename T> static constexpr bool is_string_v =
std::is_same_v<T, std::string> || std::is_same_v<T, const char*> ||
std::is_same_v<T, char*> || std::is_same_v< std::decay_t<T>, char*>;
template<typename T> static constexpr bool is_default_v =
is_char_v<T> || is_bool_v<T> || is_string_v<T> || std::is_integral_v<T>;
inline void load() {
memmove(std::begin(input_buffer),
std::begin(input_buffer) + input_ptr_left,
input_ptr_right - input_ptr_left);
input_ptr_right =
input_ptr_right - input_ptr_left +
fread_unlocked(
std::begin(input_buffer) + input_ptr_right - input_ptr_left, 1,
SZ - input_ptr_right + input_ptr_left, stdin);
input_ptr_left = 0;
}
inline void read_char(char& c) {
if (input_ptr_left + LEN > input_ptr_right) load();
c = input_buffer[input_ptr_left++];
}
inline void read_string(std::string& x) {
char c;
while (read_char(c), c < '!') continue;
x = c;
while (read_char(c), c >= '!') x += c;
}
template<typename T>
inline std::enable_if_t<std::is_integral_v<T>, void> read_int(T& x) {
if (input_ptr_left + LEN > input_ptr_right) load();
char c = 0;
do c = input_buffer[input_ptr_left++];
while (c < '-');
[[maybe_unused]] bool minus = false;
if constexpr (std::is_signed<T>::value == true)
if (c == '-') minus = true, c = input_buffer[input_ptr_left++];
x = 0;
while (c >= '0')
x = x * TEN + (c & MASK), c = input_buffer[input_ptr_left++];
if constexpr (std::is_signed<T>::value == true)
if (minus) x = -x;
}
inline void skip_space() {
if (input_ptr_left + LEN > input_ptr_right) load();
while (input_buffer[input_ptr_left] <= ' ') input_ptr_left++;
}
inline void flush() {
fwrite_unlocked(std::begin(output_buffer), 1, output_ptr_right, stdout);
output_ptr_right = 0;
}
inline void write_char(char c) {
if (output_ptr_right > SZ - LEN) flush();
output_buffer[output_ptr_right++] = c;
}
inline void write_bool(bool b) {
if (output_ptr_right > SZ - LEN) flush();
output_buffer[output_ptr_right++] = b ? '1' : '0';
}
inline void write_string(const std::string& s) {
for (auto x : s) write_char(x);
}
inline void write_string(const char* s) {
while (*s) write_char(*s++);
}
inline void write_string(char* s) {
while (*s) write_char(*s++);
}
template <typename T>
inline std::enable_if_t< std::is_integral_v<T>, void> write_int(T x) {
if (output_ptr_right > SZ - LEN) flush();
if (!x) {
output_buffer[output_ptr_right++] = '0';
return;
}
if constexpr (std::is_signed_v<T>) if (x < 0) output_buffer[output_ptr_right++] = '-', x = -x;
int i = TWELVE;
std::array<char, SIXTEEN> buf{};
for (; x >= TENTHOUSAND; x /= TENTHOUSAND, i -= 4)
memcpy(std::begin(buf) + i, std::begin(io_pre.num) + (x % TENTHOUSAND) * 4, 4);
if (x < HUNDRED) {
if (x < TEN) output_buffer[output_ptr_right++] = '0' + x;
else {
uint32_t q = (uint32_t(x) * MAGIC_MULTIPLY) >> MAGIC_SHIFT;
uint32_t r = uint32_t(x) - q * TEN;
output_buffer[output_ptr_right++] = '0' + q;
output_buffer[output_ptr_right++] = '0' + r;
}
} else {
if (x < THOUSAND)
memcpy(std::begin(output_buffer) + output_ptr_right, std::begin(io_pre.num) + (x << 2) + 1, 3),
output_ptr_right += 3;
else
memcpy(std::begin(output_buffer) + output_ptr_right, std::begin(io_pre.num) + (x << 2), 4),
output_ptr_right += 4;
}
memcpy(std::begin(output_buffer) + output_ptr_right, std::begin(buf) + i + 4, TWELVE - i);
output_ptr_right += TWELVE - i;
}
template <typename T_>
std::enable_if_t<(is_default_v< std::remove_cv_t< std::remove_reference_t<T_> > >), IO&> operator<<(T_&& x) {
using T = std::remove_cv_t< std::remove_reference_t<T_> >;
if constexpr (is_bool_v<T>) write_bool(x);
else if constexpr (is_string_v<T>) write_string(x);
else if constexpr (is_char_v<T>) write_char(x);
else if constexpr (std::is_integral_v<T>) write_int(x);
return *this;
}
template<typename T>
std::enable_if_t<(is_default_v<T> && !is_bool_v<T>), IO&> operator>>(T& x) {
if constexpr (is_string_v<T>) read_string(x);
else if constexpr (is_char_v<T>) read_char(x);
else if constexpr (std::is_integral_v<T>) read_int(x);
return *this;
}
IO* tie(std::nullptr_t) { return this; }
void sync_with_stdio(bool) {}
} io;
} // namespace std
using std::io;
#define cin io
#define cout io
#ifndef _IN_LOCAL
#define dbg(...)
#endif
#define endl '\n'
#define endlfl '\n' << flush
#define quit(x) return (void)(cout << x << endl)
template<typename T> void read(T& x, bool write=0, bool write2=1) { if (write && write2) cout << x << endl; else if (write) cout << x << ' '; else cin >> x;}
template<typename T1, typename T2> void read(pair<T1, T2>& p, bool write=0, bool write2=1) { read(p.first, write, 0), read(p.second, write, 0); if (write && write2) cout << endl;}
template<typename T> void read(vector<T>& v, bool write=0) { for (auto& x : v) read(x, write, 0); if (write) cout << endl; }
template<typename T1, typename T2> void read(T1& x, T2& y, bool write=0) { read(x, write), read(y, write); if (write) cout << endl; }
template<typename T1, typename T2, typename T3> void read(T1& x, T2& y, T3& z, bool write=0) { read(x, write), read(y, write), read(z, write); if (write) cout << endl; }
template<typename T1, typename T2, typename T3, typename T4> void read(T1& x, T2& y, T3& z, T4& zz, bool write=0) { read(x, write), read(y, write), read(z, write), read(zz, write); if (write) cout << endl; }
template<typename T> void print(T x) { read(x, 1); }
template<typename T1, typename T2> void print(T1 x, T2 y) { read(x, y, 1); }
template<typename T1, typename T2, typename T3> void print(T1 x, T2 y, T3 z) { read(x, y, z, 1); }
template<typename T1, typename T2, typename T3, typename T4> void print(T1 x, T2 y, T3 z, T4 zz) { read(x, y, z, zz, 1); }
#define sz(x) (int)(x.size())
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define cmin(a, b) a = min(a, b)
#define cmax(a, b) a = max(a, b)
#define int long long
const int inf = numeric_limits<int>::max() / 4;
mt19937 rng(chrono::steady_clock::now().time_since_epoch().count());
const int MOD = 1e9+7, LOG=25;
void solve();
signed main() {
ios::sync_with_stdio(0);
cin.tie(0);
int tt=1;
// cin >> tt;
while(tt--) solve();
return 0;
}
vector<int> depth;
vector<vector<int>> nb, up;
vector<unordered_map<int, int>> nb2;
int lca(int a, int b) {
if (depth[a]<depth[b]) swap(a, b);
int k=depth[a]-depth[b];
for (int i=LOG-1; i>=0; i--) {
if (k&(1<<i)) a=up[a][i];
}
if (a==b) return a;
for (int i=LOG-1; i>=0; i--) {
if (up[a][i]!=up[b][i]) {
a=up[a][i], b=up[b][i];
}
}
return up[a][0];
}
int n, k, m, q;
vector<vector<int>> adj;
vector<int> a;
int SQRT;
void precalc(int x) {
nb[a[x]].pb(x);
nb2[depth[x]][a[x]]++;
for (auto u: adj[x]) {
depth[u]=depth[x]+1;
up[u][0]=x;
for (int i=1; i<LOG; i++) {
up[u][i] = up[ up[u][i-1] ][i-1];
}
precalc(u);
}
}
pair<int, int> calc(int x, unordered_map<int, int> &mp) {
unordered_map<int, int> in, out;
pair<int, int> ans;
for (auto u: nb[a[x]]) {
if (lca(u, x)!=x) out[depth[u]]++;
else in[depth[u]]++, ans.fi++;
}
for (auto u: out) {
int available=mp[u.fi]-in[u.fi], toadd=min(u.se, available);
ans.fi+=toadd, ans.se+=toadd;
}
return ans;
}
unordered_map<int, int> howmany, howmany2;
void dfs(int x, int colour) {
howmany[depth[x]]++;
if (a[x]==colour) howmany2[depth[x]]++;
for (auto u: adj[x]) dfs(u, colour);
}
pair<int, int> calc2(int x) {
howmany.clear(), howmany2.clear();
dfs(x, a[x]);
pair<int, int> ans={0, 0};
for (auto u: howmany) {
int toadd=min(u.se, nb2[u.fi][a[x]]);
ans.fi+=toadd;
ans.se+=toadd-howmany2[u.fi];
}
return ans;
}
pair<int, int> ans;
unordered_map<int, int> dfs(int x, vector<bool> &colour) {
bool past=colour[a[x]];
colour[a[x]]=1;
vector<unordered_map<int, int>> vec; vec.pb({{depth[x], 1}});
for (auto u: adj[x]) vec.pb(dfs(u, colour));
sort(all(vec), [&](auto &aa, auto &bb) {return sz(aa)>sz(bb);});
for (int i=1; i<sz(vec); i++) {
for (auto u: vec[i]) vec[0][u.fi]+=u.se;
}
colour[a[x]]=past;
if (!colour[a[x]]) {
if (sz(nb[a[x]])<SQRT) {
auto temp=calc(x, vec[0]);
if (temp.fi>ans.fi || (temp.fi==ans.fi && temp.se<ans.se)) ans=temp;
} else {
auto temp=calc2(x);
if (temp.fi>ans.fi || (temp.fi==ans.fi && temp.se<ans.se)) ans=temp;
}
}
return move(vec[0]);
}
void solve() {
read(n, k);
SQRT=sqrt(n);
if (k==1) {
cout << n << ' ' << 0 << endl;
return;
}
a.clear(), a.resize(n); read(a);
adj.clear(), adj.resize(n), depth.resize(n), nb.resize(k), nb2.resize(n), up.resize(n, vector<int>(LOG, 0));
for (int i=1; i<n; i++) {
int x; cin >> x;
adj[x].pb(i);
}
precalc(0);
vector<bool> colour(n, 0);
dfs(0, colour);
cout << ans.fi << ' ' << ans.se << endl;
}
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |
# | Verdict | Execution time | Memory | Grader output |
---|
Fetching results... |