#include <bits/stdc++.h> using namespace std; #define int long long #define FOR(I, L, R) for(int I(L) ; I <= (int)R ; ++I) #define FOD(I, R, L) for(int I(R) ; I >= (int)L ; --I) #define FOA(I, A) for(auto &I : A) #define print(A,L,R) FOR(OK, L, R){if(A[OK]<=-oo / 10||A[OK]>=oo)cout<<"- ";else cout<<A[OK]<<' ';}cout<<'\n'; #define prints(A) FOA(OK, A){cout<<OK<<' ';}cout << '\n'; #define printz(A,L,R) FOR(OK, 0, L){FOR(KO, 0, R){if(A[OK][KO]>-oo&&A[OK][KO]<oo)cout<<A[OK][KO]<<' ';else cout << "- ";} cout << '\n';}cout << '\n'; #define fs first #define sd second #define ii pair<int,int> #define iii pair<int, ii> #define all(A) A.begin(), A.end() #define quickly ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0); #define FILE "catinatree" #define pow ladsf const int N = 2e5 + 5; const int SQRT = 450; const int mod = 1e9 + 7; const int oo = 1e18; int n, k, L; int dp[N][SQRT + 5]; vector<int> g[N]; namespace LessSQRT{ static int pre[N][SQRT + 5], h[N]; static int f[SQRT + 5]; void DFS(int u, int par){ FOA(v, g[u]){ if(v == par){ continue; } DFS(v, u); h[u] = max(h[u], h[v] + 1); } FOR(i, 0, min(k + 1, h[u])){ f[i] = 0; FOA(v, g[u]){ if(v == par){ continue; } f[i] += pre[v][max({0LL, i - 1, k - i})]; } } dp[u][0] = f[0] + 1; FOA(v, g[u]){ if(v == par){ continue; } FOR(i, 1, min(k, h[u])){ dp[u][i] = max(dp[u][i], f[i] + dp[v][i - 1] - pre[v][max({0LL, i - 1, k - i})]); } } if(h[u] > k) dp[u][k + 1] = f[k + 1]; FOD(i, min(k + 1, h[u]), 0){ pre[u][i] = max(dp[u][i], pre[u][i + 1]); } } void solve(){ DFS(0, -1); cout << pre[0][0]; } } namespace MoreSQRT{ static int sz[N]; void DFS(int u, int par){ sz[u] = 1; dp[u][0] = oo; dp[u][1] = 0; FOR(i, 2, L){ dp[u][i] = -oo; } FOA(v, g[u]){ if(v == par){ continue; } DFS(v, u); } FOA(v, g[u]){ if(v == par){ continue; } FOD(i, min(sz[u], L), 0){ if(dp[u][i] < 0) continue; FOR(j, 0, min(sz[v], L)){ if(dp[u][i] + dp[v][j] + 1 > k){ dp[u][i + j] = max(dp[u][i + j], min(dp[u][i], dp[v][j] + 1)); } } } sz[u] += sz[v]; } } void solve(){ DFS(0, -1); FOD(i, n, 0){ if(dp[0][i] >= 0){ cout << i; return; } } } } signed main(){ quickly if(fopen(FILE".inp", "r")){ freopen(FILE".inp", "r", stdin); freopen(FILE".out", "w", stdout); } cin >> n >> k; --k; L = n / k + 1; FOR(v, 1, n - 1){ int u; cin >> u; g[u].push_back(v); g[v].push_back(u); } if(k < SQRT){ LessSQRT::solve(); } else{ MoreSQRT::solve(); } }

catinatree.cpp: In function 'int main()':
catinatree.cpp:132:24: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
  132 |                 freopen(FILE".inp", "r", stdin);
      |                 ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~
catinatree.cpp:133:24: warning: ignoring return value of 'FILE* freopen(const char*, const char*, FILE*)' declared with attribute 'warn_unused_result' [-Wunused-result]
  133 |                 freopen(FILE".out", "w", stdout);
      |                 ~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~