小 $\Omega$ 想出一个数据结构题,于是它先造了一棵有点权的树:
给定一棵大小为 $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$ 的简单路径上的点的权值和;
出完以后小 $\Omega$ 拿给小 N 看,小 N 表示:
……这也太简单了,这不是轻重链剖分的模板题吗?!!
小 $\Omega$ 于是想到再刚刚接触 OI 的时候了解到的空间换时间的原理,因此他决定本题的空间限制为 64 MB。
输入格式
第一行输入三个正整数 $id, n, q$,其中 $id$ 为子任务编号,和四个非负整数 $A,B,C,a_0$。
$A,B,C, a_0$ 用于生成点权 $a_1,a_2,\cdots,a_n$,具体方法是按照下式进行递推:
$$a_i=(Aa_{i-1}^2 + Ba_{i-1}+C) \bmod 2^{32}$$
接下来一行 $n-1$ 个正整数表示 $f_2, \cdots, f_n$。
接下来 $q$ 行,每行若干个整数,形如 $0~ x'~ y'~ v'$ 或者 $1~ x'~ y'$,表示一次修改或查询。
其中 $x', y', v'$ 用于强制在线,实际操作的 $x=x' \operatorname{xor} P, y = y' \operatorname{xor} P, v = v' \operatorname{xor} P$,其中 $\operatorname{xor}$ 为 C/C++
中的按位异或运算符 ^
,$P = \mathrm{lastans} \operatorname{\&} (2^{20}-1)$,其中 $\mathrm{lastans}$ 为上一次询问的答案(没有上此询问则记为 $0$),$\operatorname{\&}$ 为 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
见下发文件
样例 3
见下发文件
样例 4
见下发文件
样例 5
见下发文件
样例 6
见下发文件
样例 7
见下发文件
样例 8
见下发文件
样例 9
见下发文件
样例 10
见下发文件
样例 11
见下发文件
样例 12
见下发文件
样例 13
见下发文件
样例 14
见下发文件
样例 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$ | $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$ | $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$ | $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$ | $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$ | $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$ | $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 |
上表“树的形态”一栏中,A
代表 $\forall i \in [2, n]$,$f_i$ 在 $[1, i-1]$ 中均匀随机生成;B
代表 $\forall i \in [2, n]$,$f_i=i-1$;C
代表树的形态无特殊限制。
上表“特殊性质”一栏中,X 代表没有修改操作;Y 代表对于每次修改操作 $x=y$;Z 代表每次询问操作 $x=y$;W 代表无特殊性质。
对于 $100\%$ 的数据,$1 \leq n \leq 7 \times 10^6$,$0 \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$。
提示
本题输入量较大,你可能需要采用高效的输入方式以免因输入效率而超时。出于公平起见,在此提供一份快速输出模板(用法参考下发文件的 fast_input.cpp
)。关于该快速输出模板的说平:
- 下发的快速输入模板占用约 1 MB 空间。参数 $S$ 越大,速度越快,但占用空间越高,请根据您的实际情况谨慎的确定 $S$ 以获得最佳的时空平衡。
- 请确保代码中无变量、函数、命名空间等名为
INPUT_SPACE
或者inn
以避免命名冲突,否则会导致无法通过编译。同理,某些形如#define gc getchar()
的语句可能会导致和INPUT_SPACE
的内部命名冲突,若发生此类编译错误,您需要更改这些冲突的别名。 - 对于本模板,建议从文件进行输入。从键盘输入,可能会产生无法终止的情形,此时需要在输入末尾手动输入作用等同于文件终止符的字符(该字符不能和输入的数字字符直接相邻,建议在新的一行)。例如,在 Windows 下,这个字符是
Ctrl+Z
。 - 对于
C
和C++
选手,该模板分别需要包含stdio.h
和cstdio
(或者bits/stdc++.h
)头文件。 - 出于效率和码长的考虑,
inn()
函数仅能用于输入一个无符号 $32$ 位整数。
为演示快速输入模板和产生权值的方式,提供一样例程序,见下发文件的 sample.cpp
。
对于空间限制的提示与警告:
- 程序本身可能占用约 2~4 MB 的空间(例如包含的 libc 库),请避免使用的空间与空间限制过于接近。
- 下发的快速输入模板占用约 1 MB 空间,将其中的参数 $S$ 调大可以减少对 fread 的调用次数(从而加快一点速度),或者使用自己的输入方式。
- 需要注意的是,递归调用本身尽管没有显式地占用很多空间,但递归过程中的递归栈仍然可能占用内存(可以简单地理解为程序底层需要记录递归过程的参数和返回值)。例如,传入一个
int
类参数,返回值为int
的递归函数递归调用 $100$ 次可能产生等同于定义 $200$ 个int
的空间开销(具体比例系数与编译器实现和优化有关)。由于评测的“空间限制”实际上是程序运行过程中的内存占用的峰值,因此过深的递归可能导致 MLE。因此请谨慎地使用递归,除非您能确保您的递归深度不会过大。 - 由于计算机系统向文件输出的底层实现相关的直接原因(例如在内存中缓存输出),输出本身可能会占用一些空间。对本题的输出规模而言,您可以认为这部分占用的空间不会超过 1 MB;但是某些调试输出(例如使用
cerr
或者向stderr
输出)可能会产生额外的空间开销(尽管它们本身不会出现在输出文件中,从而不会影响评测的比对结果),因此请确保最终提交的文件不包含过多的调试输出。 - 因以上原因超出空间限制的一律后果自负。