如题，刚在一位大佬的帖子里看到了链接，就去注册了个账号测 S T3 T4。

T4 的特殊性质 A 是 1、5、6、7、8，然后 $n \le 20$ 和 $n \le 10 ^ 5$ 的 1、7、8 我都过了，$n \le 500$ 的 5、6 无了。抽象。

总不会是数据分治的问题吧，其它部分分我可都是写假了（）

A 性质代码：

int s[N];
bool cmp(int x, int y) { return x > y; }
int dp[N];
void Dfs(int u, int f) {
    int m = 0;
    for (auto v : e[u]) {
        if (v == f) continue;
        Dfs(v, u);
        s[++m] = dp[v];
    }
    dp[u] = a[u] / b[u] + (a[u] % b[u] > 0);
    sort(s + 1, s + m + 1, cmp);
    F(i, 1, m) dp[u] = max(dp[u], s[i] + i);
    return ;
}

答案是 $dp _ 1$