#P11051. [IOI2024] 树上代价

[IOI2024] 树上代价

题目背景

提交时请不要引用 tree.h

请不要使用 C++14 (GCC 9) 提交。

题目描述

有一棵包括 NN结点,结点从 00N1N-1 编号。结点 00 是树的。除根以外的每个结点都有唯一的父结点。对所有满足 1i<N1 \leq i < Nii,结点 ii 的父结点为 P[i]P[i],这里有 P[i]<iP[i] < i。我们约定 P[0]=1P[0] = -1

对所有结点 ii0i<N0 \leq i < N),ii子树是如下结点组成的集合:

  • ii,以及
  • 所有父结点为 ii 的结点,以及
  • 所有父结点的父结点为 ii 的结点,以及
  • 所有父结点的父结点的父结点为 ii 的结点,以及
  • 以此类推。

下图给出了一个包含 N=6N = 6 个结点的树的例子。每个箭头都从某个结点连向它的父结点(根结点除外,因为它没有父结点)。结点 22 的子树包括结点 2,3,42, 3, 455。结点 00 的子树包括树中的全部 66 个结点,而结点 44 的子树仅包括结点 44 自己。

每个结点都被赋以非负整数的权重。我们将结点 ii0i<N0 \leq i < N)的权重记为 W[i]W[i]

你的任务是写一个程序来回答 QQ 个询问,其中每个询问都用一对正整数 (L,R)(L, R) 来表示。对于询问的回答,应按照如下要求进行计算。

对树中的每个结点,都指派一个整数,称为系数。这样的指派结果被描述成一个序列 C[0],,C[N1]C[0], \ldots, C[N-1],这里 C[i]C[i]0i<N0 \leq i < N)是指派给结点 ii 的系数。我们称该序列为一个系数序列。注意,系数序列中的元素可以取负值、00 或正值。

对某个询问 (L,R)(L, R),一个系数序列被称为是有效的,如果对于每个结点 ii0i<N0 \leq i < N)都有如下条件成立:结点 ii 的子树中的系数之和不小于 LL 且不大于 RR

对于一个给定的系数序列 C[0],,C[N1]C[0], \ldots, C[N-1],结点 ii代价C[i]W[i]|C[i]| \cdot W[i],这里 C[i]|C[i]| 表示 C[i]C[i] 的绝对值。最后,总体代价为所有结点的代价之和。你的任务是,对于每个询问,计算出可以由某个有效系数序列达到的最小总体代价

可以证明,对于任意询问,都至少存在一个有效的系数序列。

实现细节

你需要实现如下两个函数:

void init(std::vector<int> P, std::vector<int> W)
  • PPWW:两个长度为 NN 的整数数组,记录了结点的父结点和权重。
  • 对于每个测试样例,在评测程序与你的程序开始交互时,该函数将被恰好调用一次。
long long query(int L, int R)
  • LLRR:两个整数,描述一次询问。
  • 对于每个测试样例,在 init 被调用后,该函数将被调用 QQ 次。
  • 该函数应该返回对给定询问的答案。

输入格式

评测程序示例读取如下格式的输入:

N
P[1]  P[2] ...  P[N-1]
W[0]  W[1] ...  W[N-2] W[N-1]
Q
L[0]  R[0]
L[1]  R[1]
...
L[Q-1]  R[Q-1]

这里的 L[j]L[j]R[j]R[j]0j<Q0 \leq j < Q),是对 query 的第 jj 次调用的输入参数。注意,输入数据中的第二行中仅包括 N1N-1 个整数,因为评测程序示例并不读取 P[0]P[0] 的值。

输出格式

评测程序示例按照如下格式打印你的答案:

A[0]
A[1]
...
A[Q-1]

这里的 A[j]A[j]0j<Q0 \leq j < Q),是第 jj 次调用 query 时返回的值。

3
0 0
1 1 1
2
1 1
1 2

3
2

提示

考虑如下调用:

init([-1, 0, 0], [1, 1, 1])

这棵树包含 33 个结点:根结点以及它的 22 个子结点。所有结点的权重均为 11

query(1, 1)

本次询问有 L=R=1L = R = 1,这意味着每个子树中的系数之和都必须等于 11。考虑系数序列 [1,1,1][-1, 1, 1]。这棵树以及相应的系数(在阴影矩形中)图示如下。

对每个结点 ii0i<30 \leq i < 3),ii 的子树中全部结点的系数之和均为 11。因此,系数序列是有效的。总体代价的计算如下:

结点 权重 系数 代价
00 11 1-1 11=1\mid -1 \mid \cdot 1 = 1
11 11 11=1\mid 1 \mid \cdot 1 = 1
22

因此总体代价为 33。这是唯一的有效系数序列,因此调用应该返回 33

query(1, 2)

对于该询问的最小总体代价为 22,可以在系数序列为 [0,1,1][0, 1, 1] 时达到。

约束条件

  • 1N2000001 \leq N \leq 200\,000
  • 1Q1000001 \leq Q \leq 100\,000
  • P[0]=1P[0] = -1
  • 对所有满足 1i<N1 \leq i < Nii,都有 0P[i]<i0 \leq P[i] < i
  • 对所有满足 0i<N0 \leq i < Nii,都有 0W[i]10000000 \leq W[i] \leq 1\,000\,000
  • 在每次询问中,都有 1LR10000001 \leq L \leq R \leq 1\,000\,000
子任务 分数 额外的约束条件
1 1010 Q10Q \leq 10;对所有满足 1i<N1 \leq i < Nii,都有 W[P[i]]W[i]W[P[i]] \leq W[i]
2 1313 Q10Q \leq 10N2000N \leq 2\,000
3 1818 Q10Q \leq 10N60000N \leq 60\,000
4 77 对所有满足 0i<N0 \leq i < Nii,都有 W[i]=1W[i] = 1
5 1111 对所有满足 0i<N0 \leq i < Nii,都有 W[i]1W[i] \leq 1
6 2222 L=1L = 1
7 1919 没有额外的约束条件。