[SDOI/SXOI2022] 无处存储
题目背景
滥用本题评测将封号。请注意本题非同寻常的时空限制和数据点个数。
题目描述
小 Ω 想出一个数据结构题,于是它先造了一棵点有点权的树:
给定一棵大小为 $n$ 的树,编号 $1$ 到 $n$,第 $i \in [2,n]$ 个点的父节点记作 $f_i \in [1, i-1]$。另外,每个点 $i$ 有一个点权 $a_i$,初始点权由输入确定,具体方式见输入格式。
在数据结构题里面,需要有对应的修改和查询的操作,而树上最简单的两种非平凡操作当然是链加、链求和了。
因此你需要支持以下两种操作:
`0 x y v`:将树上从 $x$ 到 $y$ 的简单路径上的点的权值增加 $v$;
`1 x y`:求树上从 $x$ 到 $y$ 的简单路径上的点的权值和;
出完之后小 Ω 拿给小 N 看,小 N 表示:
……这也太简单了,这不是轻重链剖分模板题吗?!!
小 Ω 于是想到在刚刚接触 OI 的时候了解到的时间换空间的原理,因此他决定本题的空间限制为 **64 MB**。
输入输出格式
输入格式
第一行输入三个正整数 $id$,$n$,$q$,其中 $id$ 为子任务编号,和四个非负整数 $A$,$B$,$C$,$a_0$。
$A$,$B$,$C$,$a_0$ 用于生成点权 $a_1, a_2, \dots, a_n$,具体方法是按照下式进行递推:
$$a_{i}=\left(A a_{i-1}^{2}+B a_{i-1}+C\right) \bmod 2^{32}$$
接下来一行 $n-1$ 个正整数表示 $f_2, \dots, f_n$。
接下来 $q$ 行,每行若干整数,形如 $0 \ x' \ y' \ v'$ 或者 $1 \ x' \ y'$,表示一次修改或查询。
其中 $x^{\prime}$,$y^{\prime}$,$v^{\prime}$ 用于**强制在线**,实际操作的 $x=x^{\prime} \operatorname{xor} P$,$y=y^{\prime} \operatorname{xor} P$, $v=v^{\prime} \operatorname{xor} P$,其中 $\operatorname{xor}$ 是 `C/C++` 中的按位异或运算符 `^`,$P = \text{lastans} \And \left(2^{20}-1\right)$,其中 $\text{lastans}$ 为上一次询问的答案(没有上次询问则记为 0),$\And$ 为 `C/C++` 中的按位与运算符 `&`。
输出格式
若干行,依次输出每个询问的答案对 $2^{32}$ 取模后的结果。
输入输出样例
输入样例 #1
0 10 10 935995202 406705156 7034169 418665824
1 1 1 1 1 1 1 7 2
0 10 3 781084039
1 7 5
0 897574 897583 833116301
1 897583 897572
0 886189 886179 123805569
1 886182 886190
1 145142 145136
1 854537 854538
1 896515 896525
0 879409 879412 746499584
输出样例 #1
2925376046
3681387943
4240586487
2878147072
2350755335
731736886
说明
样例 2 ~ 样例 15 数据见下方下载链接。
以上各组样例数据中,每组数据的数据范围符合其输入的子任务编号对应的子任务的数据范围及性质(输入的子任务编号为 0 时除外),并且为了避免可能的常数问题,保证下发样例(子任务编号为 0 时除外)与最终评测所用的该子任务的测试点的数据生成方式强度相同。
| 子任务编号 | 测试点分值 | $n \leq$ | $q \leq $ | 树的形态 | 特殊性质 |
| :--------: | :--------: | :-------------: | :-------------: | :------: | :------: |
| 1 | 2 | $3000$ | $3000$ | C | W |
| 2 | 2 | $7 \times 10^6$ | $5 \times 10^4$ | A | W |
| 3 | 2 | $1 \times 10^6$ | $5 \times 10^4$ | B | Y |
| 4 | 2 | $2 \times 10^6$ | $5 \times 10^4$ | B | Y |
| 5 | 2 | $3 \times 10^6$ | $5 \times 10^4$ | B | Y |
| 6 | 2 | $4 \times 10^6$ | $5 \times 10^4$ | B | Y |
| 7 | 2 | $5 \times 10^6$ | $5 \times 10^4$ | B | Y |
| 8 | 2 | $6 \times 10^6$ | $5 \times 10^4$ | B | Y |
| 9 | 3 | $7 \times 10^6$ | $5 \times 10^4$ | B | Y |
| 10 | 2 | $1 \times 10^6$ | $5 \times 10^4$ | B | W |
| 11 | 2 | $2 \times 10^6$ | $5 \times 10^4$ | B | W |
| 12 | 2 | $3 \times 10^6$ | $5 \times 10^4$ | B | W |
| 13 | 2 | $4 \times 10^6$ | $5 \times 10^4$ | B | W |
| 14 | 2 | $5 \times 10^6$ | $5 \times 10^4$ | B | W |
| 15 | 2 | $6 \times 10^6$ | $5 \times 10^4$ | B | W |
| 16 | 3 | $7 \times 10^6$ | $5 \times 10^4$ | B | W |
| 17 | 2 | $1 \times 10^6$ | $5 \times 10^4$ | C | X |
| 18 | 2 | $2 \times 10^6$ | $5 \times 10^4$ | C | X |
| 19 | 2 | $3 \times 10^6$ | $5 \times 10^4$ | C | X |
| 20 | 2 | $4 \times 10^6$ | $5 \times 10^4$ | C | X |
| 21 | 2 | $5 \times 10^6$ | $5 \times 10^4$ | C | X |
| 22 | 2 | $6 \times 10^6$ | $5 \times 10^4$ | C | X |
| 23 | 3 | $7 \times 10^6$ | $5 \times 10^4$ | C | X |
| 24 | 2 | $1 \times 10^6$ | $5 \times 10^4$ | C | Y |
| 25 | 2 | $2 \times 10^6$ | $5 \times 10^4$ | C | Y |
| 26 | 2 | $3 \times 10^6$ | $5 \times 10^4$ | C | Y |
| 27 | 2 | $4 \times 10^6$ | $5 \times 10^4$ | C | Y |
| 28 | 2 | $5 \times 10^6$ | $5 \times 10^4$ | C | Y |
| 29 | 2 | $6 \times 10^6$ | $5 \times 10^4$ | C | Y |
| 30 | 3 | $7 \times 10^6$ | $5 \times 10^4$ | C | Y |
| 31 | 2 | $1 \times 10^6$ | $5 \times 10^4$ | C | Z |
| 32 | 2 | $2 \times 10^6$ | $5 \times 10^4$ | C | Z |
| 33 | 2 | $3 \times 10^6$ | $5 \times 10^4$ | C | Z |
| 34 | 2 | $4 \times 10^6$ | $5 \times 10^4$ | C | Z |
| 35 | 2 | $5 \times 10^6$ | $5 \times 10^4$ | C | Z |
| 36 | 2 | $6 \times 10^6$ | $5 \times 10^4$ | C | Z |
| 37 | 3 | $7 \times 10^6$ | $5 \times 10^4$ | C | Z |
| 38 | 3 | $1 \times 10^6$ | $5 \times 10^4$ | C | W |
| 39 | 3 | $2 \times 10^6$ | $5 \times 10^4$ | C | W |
| 40 | 3 | $3 \times 10^6$ | $5 \times 10^4$ | C | W |
| 41 | 3 | $4 \times 10^6$ | $5 \times 10^4$ | C | W |
| 42 | 3 | $5 \times 10^6$ | $5 \times 10^4$ | C | W |
| 43 | 3 | $6 \times 10^6$ | $5 \times 10^4$ | C | W |
| 44 | 3 | $7 \times 10^6$ | $5 \times 10^4$ | C | W |
上表“树的形态”一栏中,$\texttt{A}$ 代表 $\forall i \in [2,n]$,$f_i$ 在 $[1,i-1]$ 中均匀随机生成;$\texttt{B}$ 代表 $\forall i \in [2,n]$,$f_i=i-1$;$\texttt{C}$ 代表树的形态无特殊限制。
上表“特殊性质”一栏中,$\texttt{X}$ 代表没有修改操作;$\texttt{Y}$ 代表对于每次修改操作 $x=y$;$\texttt{Z}$ 代表每次询问操作 $x=y$;$\texttt{W}$ 代表无特殊性质。
对于 $100\%$ 的数据,$1 \leq n \leq 7 \times 10^6,1 \leq q \leq 5 \times 10^4,1 \leq f_i<i,1 \leq x,y \leq n,0 \leq A,B,C,a_0,v \leq 10^9$。
**【提示】**
关于空间限制的提示与警告:
1. 程序本身可能占用约 2~4MB 的空间(例如包含的 libc 库),请避免使用的空间与空间限制过于接近。
2. 下发的快速输入模板占用约 1MB 空间,将其中的参数 `S` 调大可以减少对 `fread` 的调用次数(从而加快一点速度),但也会占用更多的空间。如有必要,您可以自由的调整 `S` 的大小,或者使用自己的输入方式。
3. 需要注意的是,递归调用本身尽管没有显式地占用很多空间,但递归过程中的递归栈仍然可能占用内存(可以简单的理解为程序底层需要记录递归过程的参数和返回值)。例如,传入一个 `int` 类参数、返回值为 `int` 的递归函数递归调用 100 次可能产生等同于定义 200 个 `int` 的空间开销(具体比例系数与编译器实现和优化有关)。由于评测时的“空间限制”实际上是程序运行过程中的内存占用的峰值,因此过深的递归可能导致 MLE。因此请谨慎的使用递归,除非您能确保您的递归深度不会过大。
4. 由于计算机系统向文件输出的底层实现相关的某些原因(例如在内存中缓存输出),输出本身可能会占用一定空间。对本题的输出规模而言,您可以认为这部分占用的空间不会超过 1MB;但是某些调试输出(例如使用 `cerr` 或者向 `stderr` 输出)可能会产生额外的空间开销(尽管它们本身不会出现在输出文件中,从而不会影响评测的比对结果),因此请确保最终提交的文件不包含过多的调试输出。
5. 因以上原因超出空间限制的一律后果自负。
本题输入量较大,您可能需要采用高效的输入方式以免因输入效率而超时。出于公平起见,在此提供一份快速输入模板(用法参考下发文件的 fast_input.cpp)。关于该快速输出模板的说明:
1. 下发的快速输入模板占用约 1MB 空间。参数 `S` 越大,速度越快,但占用空间越高,请根据您的实际情况谨慎的确定 `S` 以获得最佳的时空平衡。
2. 请确保代码中无变量、函数、命名空间等名为 `INPUT_SPACE` 或者 `inn` 以避免命名冲突,否则会导致无法通过编译。同理,某些形如 `#define gc getchar()` 的语句可能会导致和 `INPUT_SPACE` 的内部命名冲突。若发生此类编译错误,您需要更改这些冲突的命名。
3. 对于本模板,建议从文件进行输入。从键盘输入,可能会产生无法终止的情形,此时需要在输入末尾手动输入作用等同于文件终止符的字符(该字符不能和输入的数字字符直接相邻,建议在新的一行)。例如,在 Windows 下,这个字符是 `Ctrl+Z`。
4. 对 C 和 C++ 选手,该模板分别需要包含 `stdio.h` 和 `cstdio`(或者 `bits/stdc++.h`)头文件。
5. 出于效率和码长的考虑,`inn()` 函数仅能用于输入一个无符号 32 位整数类型。
为演示快速输入模板的使用和产生权值的方式,提供一样例程序,见下发文件的 sample.cpp。