POI 合集
Change Log
- 2022.2.1. 计划优化整篇文章，修改 POI2006 部分题解（修改至 P3449）。
- 2022.2.3 ~ 2.5. 新增了大概 \(50\) 道绿 ~ 蓝题。
- 2022.2.20. 新增 P3462(2007), P3514(2010), P3523(2010)。
1997
P6701 [POI1997] Genotype
首先容易区间 DP 求出 \(f_{l, r}\) 能够表示由哪个字符得到，状压存储。来个 DP \(g_i\) 表示 \(i\) 前缀至少需要多少个 \(\texttt S\) 得到，转移有 \(g_i = \min\limits_{j = 0} ^ {i - 1} g_j + 1\) 且需满足 \(\texttt S\in f_{j + 1, i}\)。\(f_{l, r}\) 的转移枚举中间点 \(p\) 以及 \(f_{l, p}\) 中的所有字符 \(c\)。可以预处理字符 \(c\) 与字符集合 \(S\) 合并能得到哪些字符，但是这样时空复杂度均为 \(26\times 2 ^ {26}\)，无法接受，拆成 \(\leq \texttt M\) 和 \(> \texttt M\) 两半预处理即可。 时间复杂度 \(\mathcal{O}(kL ^ 3|\Sigma| + 26\times 2 ^ {13})\)。
1998
*P5939 [POI1998]折线
将坐标系顺时针旋转 \(45 ^\circ\) 后，使用 Dilworth 定理转化成最长上升子序列（经典导弹拦截）。注意对于横坐标相同的点，需要先考虑纵坐标大的那个。
1999
P5929 [POI1999]地图
不难看出区域颜色误差就是一些城市的人口与人口中位数的差的绝对值之和。我们有关键性质：被划分到同一颜色的所有城市一定连续。调整法容易证明。
根据上述性质，考虑一个最朴素的 DP：设 \(f_{i, k}\) 表示用 \(k\) 种颜色划分前 \(i\) 个城市，区域颜色误差之和的最小值。显然有 \(f_{i, k} = \min\limits_{j = 0} ^ {i - 1} f_{j , k - 1} + w(j + 1, i)\)，其中 \(w(i, j)\) 表示城市 \(i\sim j\) 的区域颜色误差。
根据上述转移式转移，并预处理人口数量的前缀和从而 \(\mathcal{O}(1)\) 计算 \(w(i, j)\)，可以做到 \(\mathcal{O}(mn^2)\)，足够通过本题。
可不可以再给力一点啊？可以。
关于贡献函数 \(w\)，它有非常好的性质：它满足 四边形不等式。可以证明对于 \(x_1 < x_2 < x_3 < x_4\)，有 \(w(x_1, x_4) + w(x_2, x_3) \geq w(x_1, x_3) + w(x_2, x_4)\)。感性理解即可，证明留给读者。因此这个动态规划满足决策单调性，可以使用 决策单调性分治 优化，时间复杂度 \(\mathcal{O}(mn\log n)\)。
可不可以再给力一点啊？可以。
我们猜测 \(f_{n, k}\) 是关于 \(k\) 的凸函数，使用 wqs 二分 和二分队列在 \(\mathcal{O}(n\log n\log V)\) 时间内解决，其中 \(V\) 是二分值域。
诶，这好像就是 IOI2000 邮局。破案了，IOI 竟然出原题。
2001
P1463 [POI2001][HAOI2007]反素数
经典老题。题目相当于求 \(n\) 以内约数个数最多的数。
有两个性质：若用到质数 \(p\) 但没用到质数 \(q\) 且 \(q < p\)，把 \(p\) 换成 \(q\) 不改变约数个数但减小了数字，更优；若 \(p\) 的指数大于 \(q\) 且 \(q < p\)，交换 \(p, q\) 的指数不改变约数个数但减小了数字。根据这两个性质，我们只需用到前 \(9\) 个质数，爆搜很快出结果。
2003
*P3424 [POI2005]SUM-Fibonacci Sums
好题！先求和，再调整。
由于题目给出的 \(x, y\) 是齐肯多夫表示法，所以简单地对应位求和 \(z = x + y\) 后，\(z_i = 0/1/2\)。
考虑从高往低位调整，即依次保证长为 \(1\) 的前缀，长为 \(2\) 的前缀 …… 直到整个数都满足齐肯多夫表示法，类似 数学归纳法。因为从低到高涉及进位，很麻烦。下称满足齐肯多夫表示法为 合法。
我们发现最棘手的是 \(z_i = 2\)，别的都好办。由于 \(0200 = 0111 = 1001\)，考虑一次操作 \(op(i)\) 表示令 \(z_i\gets z_i - 2\)，\(z_{i + 1}\gets z_{i + 1} + 1\)，\(z_{i - 2}\gets z_{i - 2} + 1\)。此时可能导致低位 \(3\) 的出现，但是问题不大，因为我们只关心 \(i\) 及其高位。
我们的目标是 尽可能消掉 \(2\)，自然不希望已经处理好的高位重新出现 \(2\)。由于 \(i + 1\) 及其高位合法，所以不会出现连续的两个 \(1\)。因此，若 \(z_{i + 1} = 1\) 且 \(z_i \geq 2\)，\(op(i)\) 会令 \(z_{i + 1}\) 变成 \(2\)。
不妨先执行进位操作，即 \(z_i \gets z_i - 1\)，\(z_{i + 1}\gets z_{i + 1} - 1\)，\(z_{i + 2}\gets z_{i + 2} + 1\)。由于 \(z_{i + 2}\) 一定等于 \(0\)，所以进位后等于 \(1\)。同时，若 \(z_{i + 3} = 1\)，那么继续进位到 \(z_{i + 4}\)。称从 \(i\) 开始不断进位的过程为 \(\mathrm{flush}(i)\)，其代码如下：
void flush(int p) {while(z[p] && z[p + 1]) z[p + 2]++, z[p]--, z[p + 1]--, p += 2;}
注意，当 \(i + 1\) 及其高位均合法时，操作才不会出错，即操作结束后 \(i + 1\) 及其高位仍合法。容易证明这一点。否则可能出现数码 \(2\)。如当 \(z_i = z_{i + 1} = z_{i + 2} = 1\) 时，这样的进位导致 \(z_{i + 2} = 2\)，破坏了齐肯多夫表示法，但若 \(i + 1\) 及其高位合法，则不会出现 \(z_{i + 1} = z_{i + 2} = 1\) 的情况。
执行完 \(0\) 或 \(1\) 次进位操作后，\(z_{i + 1} = 0\)，因此若 \(z_i \geq 2\)，再执行 \(\mathrm{op}(i)\) 仅会将 \(z_{i + 1}\) 变为 \(1\)，且由于 \(z_i\leq 3\)，故现在所有 \(i\) 及其高位均有 \(z \leq 1\)，但 \(i + 1\) 及其高位不一定合法，因为可能 \(z_{i + 1} = z_{i + 2} = 1\)。由于此时 \(i + 2\) 及其高位合法，所以先 \(\mathrm{flush}(i + 1)\)，再 \(\mathrm{flush}(i)\) 即可保证对于得到的结果，\(i\) 及其高位合法。
啰里啰嗦这么一大堆，只是为了严谨证明以下做法的正确性：
- 从高到低考虑每一位 \(i\)。保证 \(i + 1\) 及其高位合法。
- 首先 \(\mathrm{flush}(i)\)。
- 若 \(z_i \geq 2\)，则依次执行 \(\mathrm{op}(i)\)，\(\mathrm{flush}(i + 1)\)，\(\mathrm{flush}(i)\)。
- 此时 \(i\) 及其高位合法。
特殊情况：\(\mathrm{op}(2)\) 令 \(z_1\gets z_1 + 1\)，\(z_2 \gets z_2 - 2\)，\(z_3\gets z_3 + 1\)。\(\mathrm{op}(1)\) 令 \(z_1\gets z_1 - 2\)，\(z_2\gets z_2 + 1\)。不难发现我们对高位的影响最多仅是令 \(z_{i + 1}\) 加 \(1\)，和普通的 \(\mathrm{op}(i)\ (i > 2)\) 是一样的，故特殊情况也一定合法。
时间复杂度分析：考虑 \(d = \sum z_i\)，每次进位均会让 \(d\) 减少 \(1\)，而 op 不改变 \(d\)，故 flush 的总复杂度均摊为 \(d\)，即总时间复杂度线性。
P5948 [POI2003]Chocolate
简单贪心。将 \(x, y\) 从大到小排序并考虑每条竖线，先切代价更大的那一维。从大到小排序调整法可证（对于相同维度，先切代价小再切代价大不优），贪心策略调整法可证（将先切代价小的一维，再切代价大的一维不优）。时间复杂度线性对数。
P8059 [POI2003] Monkeys
连通性相关删边题目考虑时光倒流，求出每个猴子第一次与 \(1\) 连通的时间。直接 dfs 打标记即可。时间复杂度线性。
2004
P5911 [POI2004]PRZ
状压枚举子集，时间复杂度 \(\mathcal{O}(3 ^ n)\)。
2005
*P3419 [POI2005]SAM-Toy Cars
本题贪心的思想还算比较巧妙：如果地板满了，我们会选择下一次被玩的时刻最晚那个玩具 \(i\) 放回去。证明的话经典调整法，设放了 \(j\) 回去，那么下次玩 \(j\) 时还要把 \(j\) 拿回来，把 \(i\) 放回去，相较于直接把 \(i\) 放回去多用了一步，不优。
维护时刻最晚的玩具，priority_queue 足矣。因为压入一个玩具时，其在堆里面对应的下一次被玩的时刻永远也不会取到，新的下一次被玩的时刻显然大于原来的，故不需要任意删除元素。时间复杂度 \(\mathcal{O}(p\log p)\)。
P3420 [POI2005]SKA-Piggy Banks
显然，基环树个数即为答案。
*P3421 [POI2005]SKO-Knights
巧妙线性代数题。题目要求我们找到两个向量 \(d, e\)，使得它们的 整系数 线性组合得到的线性空间（简称整系数线性空间）等价于给出的所有向量的整系数线性空间。定义 \(\mathrm{span}(S)\) 表示向量集合 \(S\) 的整系数线性空间，即
如果我们能将三个向量 \(a, b, c\) 合并成与之等价的两个向量 \(d, e\)，就能够解决本题。根据基础的线性代数知识，不改变矩阵行空间的初等行变换有三种：
- 兑换：对应本题即可以任意交换 \(a, b, c\)。
- 倍乘变换：对应本题即向量可以乘以任意非 \(0\) 整数。
- 倍加变换：对应本题即向量可以加上任意整数倍其它向量。
当然，上述性质仅在 实系数 线性组合的前提下成立。当要求系数为 整数 时，
- 兑换显然不改变矩阵行空间。
- 倍乘变换 可能改变 矩阵行空间，因为 整数乘法不可逆。如 \(\mathrm{span}((0, 1), (1, 0))\neq \mathrm{span}((0, 2), (1, 0))\)，前者是任意整点，后者是任意纵坐标是偶数的整点。
- 倍加变换 不改变 矩阵行空间：对于任意 \(p = y(a + xb) + zb\in \mathrm{span}(a + xb, b)\)，它本质上仍是 \(a, b\) 的整系数线性组合 \(ya + (xy + z)b\)。对于任意 \(p = ya + zb \in \mathrm{span}(a, b)\)，我们也总可以将其表示为 \(a + xb\) 和 \(b\) 的整系数线性组合 \(y(a + xb) + (z - xy) b\)。
很好！如果整系数倍加变换不改变整系数意义下的矩阵行空间，就可以使用 辗转相减法。具体地，考虑两个向量 \(a, b\)，我们能够在 不改变其整系数线性空间 的前提下，将 \(b\) 的某一维变为 \(0\)。只需对 \(a, b\) 在这一维进行辗转相减法即可。
考虑三个向量 \(a, b, c\)，我们对 \(a, b\) 在 \(x\) 这一维进行辗转相减，再对 \(a, c\) 在 \(x\) 这一维进行辗转相减。此时 \(x_b, x_c\) 均为 \(0\)，意味着 \(b, c\) 共线。因此，对 \(b, c\) 在 \(y\) 这一维进行辗转相减，就可以使 \(y_b\gets \mathrm{gcd}(y_b, y_c)\)，而 \(c\) 变成了 零向量，对 \(\mathrm{span}(a, b, c)\) 没有任何贡献，可以 直接舍去，即此时 \(\mathrm{span}(a, b, c) = \mathrm{span}(a, b)\)。综上，我们在 \(\mathcal{O}(n\log V)\) 的时间内解决了问题，其中 \(V\) 是值域。
注意点：题目限制了坐标绝对值不超过 \(10 ^ 4\)，因此辗转相减法得到最终的 \(a\) 时，\(x_a\) 和 \(y_b\) 是原坐标的 \(\gcd\)，显然满足坐标限制。但 \(y_a\) 不一定，因此要对 \(y_b\) 取模，也相当于做了一步辗转相减（此时 \(x_b = 0\) 所以不需要改变 \(x_a\)）。故最终得到的坐标绝对值不超过 \(10 ^ 2\)，比题目限制优一个数量级。
从上述过程中，我们也可以发现一个有趣的性质：整系数 意义下，两个向量可以在不改变其张成的前提下，使其中一个向量的 某一维变成 \(0\)，而另一个向量的对应维变成原来两个向量在这一维上的 \(\gcd\)。这也是解决本题的关键性质。
因此，推广到任意维度 \(k\)，给定 \(n\) 个 \(k\) 维向量，我们可以 \(nk ^ 2\log V\) 求出这组向量在整系数意义下的基。诶，等等？这不就是 线性基 么！
让我们更加深入地钻研一下题解区的做法。实际上两者的核心思想是等价的，均为刚才提到的性质：将两个向量的其中一个的某一维变成 \(0\)，另一个的对应维变成 \(\gcd\)。不同点在于本文的线性代数做法是从 倍加变换 和 辗转相除法 开始，推得 这一核心思想，即我们运用正确性有保证的方法，最终得到的结果是这样一个性质。而题解区做法是首先令这一条件成立，再根据得到的线性方程组，使用 exgcd 和一些数学推导求解。这也体现了 exgcd 与辗转相除的本质联系。
不妨设对于向量 \(a, b\)，我们要将 \(x_b\) 变为 \(0\)。此时 \(x_{a'}\) 已经确定，即 \(\gcd(x_a, x_b)\)。因此，对于方程 \(xx_a + yx_b = \gcd(x_a, x_b)\)，容易用 扩展欧几里得 算法求得一组解，则 \(y_{a'} = xy_a + yy_b\)。这是因为 \(a' = xa + yb\)。对于向量 \(b'\)，有 \(x_{b'} = 0\)，因此有线性方程组
注意该方程组的 \(x, y\) 与之前 exgcd 求得的 \(x, y\) 不同。同时我们需使 \(y_{b'}\) 绝对值最小，否则可能出现 \(y_{b'} = 2\)，但 \((0, 1) \in \mathrm{span}(a, b)\) 的情况，即对于 \(\mathrm{span}(a, b)\) 中横坐标为 \(0\) 的所有点，\((0, y_{b'})\) 不是与 \((0, 0)\) 相邻的那一个，这样与 \((0, 0)\) 相邻的点无法表示。
根据第一个方程，得到 \(x, y\) 的关系式 \(y = \dfrac{-xx_a}{x_b}\)。带入第二个方程，得到 \(xy_a - \dfrac{xx_ay_b}{x_b} = y_{b'}\)，即
我们的目标很明确：找到 绝对值 最小的合法的 \(x\)。把 \(x\) 写成 \(\dfrac {x_b}d\) 的形式（因为分母是 \(x_b\)），那么 \(y = -\dfrac{x_a} d\)，因此 \(d\) 满足
注意到若满足前两条限制，则第三条限制自动满足，故忽略。为使 \(x\) 的绝对值最小，\(d\) 的绝对值应尽量大。到这一步，大家应该都能看出 \(d\) 应取 \(\gcd(x_a, x_b)\)。因此，\(y_{b'} = \dfrac{y_ax_b - x_ay_b}{\gcd(x_a, x_b)}\)。
综上，我们将原向量 \(a, b\) 写成了另两个向量 \(a', b'\)，其中 \(x_{a'} = \gcd(x_a, y_a)\)，\(y_{a'}\) 用 exgcd 求解，\(x_{b'} = 0\)，\(y_{b'} = \dfrac{y_ax_b - x_ay_b}{\gcd(x_a, x_b)}\)。对 \(a, c\) 做一遍类似的操作，再合并 \(b, c\)（即类似线性代数解法，令 \(y_b \gets \gcd(y_b, y_c)\)，然后丢弃 \(c\)）即可。时间复杂度也是线性对数。
另一种求解 \(y_{b'}\) 的思路（来源于 TheLostWeak 的博客）：\(a', b'\) 可以整系数线性组合出 \(a, b\)，否则显然不满足条件，因为 \(a, b\in \mathrm{span}(a, b)\)。
根据上述性质，考虑 \(a'\)。由于 \(x_{a'} = \gcd(x_a, x_b)\)，所以为了使横坐标等于 \(x_a\)，需要为 \(a'\) 乘以 \(\dfrac{x_a}{\gcd(x_a, x_b)}\) 即 \(\dfrac{x_a}{x_{a'}}\) 的系数，得到 \(\left(x_a, \dfrac{x_ay_{a'}}{x_{a'}}\right)\)。由于我们可以通过向量 \(b' = (0, y_{b'})\) 得到 \((x_a, y_a)\)，因此 \(y_{b'} \left |\ y_a - \dfrac{x_ay_{a'}}{x_{a'}}\right.\) 。同理，\(y_{b'} \left |\ y_b - \dfrac{x_by_{a'}}{x_{a'}}\right.\)。故
易证若 \(y_{b'}\) 小于上述 \(\gcd\)，将导致存在 \(p\in \mathrm{span}(a', b')\)，\(p\notin \mathrm{span}(a, b)\)。若 \(y_{b'}\) 大于上述 \(\gcd\)，\(a', b'\) 无法整系数线性组合出 \(a, b\) 中的至少一个。
联立后两种方法描述 \(y_{b'}\) 的式子，稍作化简后得到等式 \(y_ax_b - x_ay_b = \gcd(y_ax_{a'} - x_a y_{a'}, {y_bx_{a'} - x_by_{a'}})\)。这也许说明了某些性质，但笔者已经不想研究了 QAQ，感兴趣的读者可自行钻研。
P3422 [POI2005]LOT-A Journey to Mars
POI 真的很喜欢出 单调队列！一开始看错题，以为可以来回走，以为是个神题，想了两个小时 ……
首先破环成链，考虑从 \(i\) 开始顺时针方向 \(i\to i + 1\to i + 2 \to \cdots \to i + n - 1 \to i + n\) 能不能走到，也就是要满足 \(p_i \geq d_i\)，\(p_i + p_{i + 1}\geq d_i + d_{i + 1}\) …… 前缀和 优化一下即对于每个 \(k\in [i, i + n - 1]\)，都要有 \(p_k - p_{i - 1} \geq d_k - d_{i - 1}\)，稍做变形得到 \(p_{i - 1} - d_{i - 1} \leq \min\limits_{i\leq k < i + n} p_{i - 1} - d_{i - 1}\)，经典的滑动窗口。
对于逆时针方向，同理要有 \(d_{i - 1} - p_i \leq \min\limits_{i - n\leq k < i} d_{k - 1} - p_k\)（手动模拟一下容易得到），也是滑动窗口。时间复杂度线性。
P3423 [POI2005]BAN-Bank Notes
单调队列优化多重背包板子题。由于要记录转移点，时空复杂度 \(\mathcal{O}(nk)\)。
2006 (2021.12.11-12.14)
做一发出生年的 POI（雾）。
P3434 [POI2006]KRA-The Disks
对 \(r_i\) 求前缀 \(\min\)，按照题意模拟。
*P3435 [POI2006]OKR-Periods of Words
若 \(s\) 存在 border，令其最短 border 长度为 \(L\)，根据 border 的性质 1 和性质 2（见 常见字符串算法 Part 5 border 论），\(s[1,n-L]\) 就是一个合法的周期。因此只需求出每个点在失配树上的最浅非 \(0\) 祖先。
P3436 [POI2006]PRO-Professor Szu
细节题。首先，若一个环能够到达教学楼，那么这个环上的每个点到教学楼的路径数量都是无穷大。因此建反图缩点拓扑排序，若一个强连通分量大小 \(>1\) 或有自环则不能入队。拓扑排序同时记录路径数 \(f_i\) 表示从 \(i\) 到 \(n + 1\) 的路径数量，对 \(36501\) 取 \(\min\)。
但题目没有保证每个点都能到教学楼，所以需要对非教学楼的点跑一遍拓扑排序。注意此时若强连通分量有自环或者大小大于 \(1\) 是可以入队的，因为它们没有到达教学楼的路径。
最后，若出现没有入队的点，说明这个点能够到达一个能够到达 \(n + 1\) 的环，因此路径数无穷大。此外，若 \(f_i > 36500\) 也不符合题意。时间复杂度线性。
*P3437 [POI2006]TET-Tetris 3D
对于一般的区间取 \(\max\) 区间查询 \(\max\)，我们可以用普通带 lazytag 的线段树完成。但若要求不能下传标记（否则空间炸），不能 pushup（否则时间炸，因为一次 pushup 要进行大小为 \(V\) 的线段树合并），那就有些棘手了。
一个技巧是标记永久化，在更新路径上将维护的区间 \(\max\) \(val_i\) 对修改值 \(v\) 取 \(\max\)，在所有拆分区间处将懒标记 \(laz_i\) 对 \(v\) 取 \(\max\)。查询时求递归路径上所有懒标记的最大值，再与拆分区间处维护的区间 \(\max\) 取最大值。
实际意义：\(val_i\) 表示维护的区间 \(\max\)，而 \(laz_i\) 表示 没有被下传 的修改值的 \(\max\)，所以区间 \([l_i,r_i]\) 的最大值为 \(val_i\) 与 \(i\) 到线段树的根上所有结点的 \(laz_i\) 的最大值。因此查询时需要整个递归路径的 \(\max laz_i\)。时空复杂度 \(\mathcal{O}(n\log S\log D)\)。
*P3438 [POI2006]ZAB-Frogs
世 界 线 收 束。以前在小 b 那儿做过的题目，现在换种方法解决：设 \(m_{i, j}\) 表示第 \(i\) 行距离 \((i, j)\) 的最近坏点，设 \(f_{i, j}\) 表示距离 \((i, j)\) 的最近坏点，那么有：
写成 \(m_{k, j} ^ 2 + k ^ 2 = 2ki + (f_{i, j} - i ^ 2)\) 的形式，斜率优化即可。求出距离后并查集维护连通性容易做到 \(\mathcal{O}(nm\alpha)\)。
P3439 [POI2006]MAG-Warehouse
切比雪夫转曼哈顿裸题。进行 \(x'\gets x + y\)，\(y'\gets x - y\) 的变换后两维独立，求 \(p\) 使得 \(\sum\limits_{i = 1}^n w_i |i-x_i|\) 最小是经典问题，找带权重心即可。注意由于两维重心 \(x, y\) 奇偶性不同导致转回来的时候坐标出现小数，因此需检查 \(x + \delta_x\) 与 \(y + \delta_y\)，若奇偶性相同则转回切比雪夫求最小值更新答案，其中 \(\delta_x, \delta_y\in [-1, 1]\)。以及求切比雪夫距离之和时需要 __int128。时间复杂度是排序的线性对数。
P3440 [POI2006]SZK-Schools
一个新编号只能被一个学校占用，不难想到带权二分图匹配。最小费用最大流即可，如果没有流满说明无解。时间复杂度玄学，一个非常松的上界是 \(\mathcal{O}(n ^ 2m)\) 即 \(n ^ 4\)。
*P3441 [POI2006]MET-Subway
CF526G 的弱化版。找到直径一端作为根，长链剖分取 \(2l - 1\) 个叶子即可。
P3442 [POI2006]NAJ-The Invasion
比较基础的凸包题目。
考虑枚举三角形的三个点，我们必须做到 \(\mathcal{O}(1)\) 判断三角形内点的价值之和。这可以通过预处理 \(f_{i, j}\) 表示向量 \(\overrightarrow{P_i P_j}\) 逆时针方向与凸包之间形成的区域包含的点的价值之和，然后用总价值减去 \(f_{i, j} + f_{j, k} + f_{k, i}\ (1\leq i < j < k\leq n)\) 得到。由于三角形包含边界，所以 \(f_{i, j}\) 不包含边界。
\(f_{i ,j}\) 如何预处理呢？枚举每个物资 \(Q_k\)，顺时针二分找到第一个位置 \(p\) 使得 \(\overrightarrow{P_i Q_k}\) 在 \(\overrightarrow{P_i P_j}\) 的逆时针方向，即 \(\overrightarrow{P_iP_j} \times \overrightarrow{P_iQ_k}> 0\)，此时所有在 \(p\) 顺时针方向直到 \(i-1\) 的所有点 \(j\) 的 \(f_{i, j}\) 都需要加上 \(c_k\)。通过破环成链 + 差分做到。
注意特判在顶点上的物资。时间复杂度 \(\mathcal{O}(n(n ^ 2 + m\log n))\)。\(n ^ 3\) 有 \(\dfrac 1 6\) 的常数，可以通过。
*P3443 [POI2006]LIS-The Postman
每条路径片段的限制形如在片段中出现的相邻两条边必须先后走，因为题目限制一条边有向边仅出现一次。
所有限制形成一条边先后走的关系的链（类似 CSP2019 T4 树上的数），将这条链缩成从起点到终点的一条边，然后跑欧拉回路。最后输出这条边时要再展开成链，因此要记录每条链上的结点顺序。
若限制关系出现环或分叉则无解，这可以通过并查集或链表维护。时间复杂度线性对数或线性。
*P3444 [POI2006]ORK-Ploughing
有趣的思维题。考虑到最后必然是行或者列被删完，所以我们不妨设行被删完。
接下来，考虑固定左右各删去多少列，即设 \(f_{l, r}\) 表示还剩 \(l\sim r\) 这些列时，尽量删行 之后剩下来的行数的区间 \([p_{l, r}, q_{l, r}]\)，因为我们要让行尽快被删完。
区间 \([p, q]\) 唯一，反证法可证：假设存在另一个区间 \([p', q']\)，不妨设 \(q' < q\)，那么可以删到 \([p, q']\)，与 “尽量删” 的定义矛盾。同理，若 \(p < p'\)，我们也可以删到 \([p', q]\)。\(\square\)
考虑如何求出 \(f_{l, r}\)。显然，它要从 \(f_{l - 1, r}\) 和 \(f_{l, r + 1}\) 转移过来。如果 \(f_{l - 1, r}\) 最左边一列能删掉，即 \(k\geq \sum\limits_{i = p_{l - 1, r}} ^ {q_{l - 1, r}} t_{i, j}\)，那么 \(f_{l, r}\) 继承 \(f_{l - 1, r}\)。同理，若 \(f_{l, r + 1}\) 最右边一列能删掉，\(f_{l, r}\) 也可以继承 \(f_{l, r + 1}\)。任意继承不会影响复杂度：均摊证明时间复杂度是 \(\mathcal{O}(nm)\)。
同理，假设列被删完再做一遍上述算法即可得到正确答案。
*P3446 [POI2006]EST-Aesthetic Text
还算有趣的动态规划。遇到区间划分题首先考虑 DP，设 \(f_{i, j}\) 表示以第 \(i\) 个单词结尾为一行，且这一行长度为 \(j\) 的最小答案，有 \(f_{i, j} = \min\limits_{k = 1} ^ m(f_{p, k} + |j - k|)\)，其中 \(p\) 满足 \(i - p - 1 + \sum\limits_{q = p + 1} ^ i l_q = j\)。直接转移的复杂度为 \(\mathcal{O}(n ^ 2m)\)（枚举 \(p\) 算出对应的 \(j\)）。
不过注意到很多 \(j\) 都是空值，说明这个定义有些劣。不妨修改定义，设 \(f_{i, j}\) 表示最后一行为 \(i - j + 1\sim i\) 的答案，再设 \(L_{i, j}\) 表示 \(j - 1 + \sum\limits_{p\in [i - j + 1, i]} l_p\) 即 \(i - j + 1\sim i\) 组成一行的长度，那么有：
时间复杂度优化为 \(\mathcal{O}(n^3)\)，但仍无法接受。使用拆绝对值的技巧，维护 \(pre_{i, j}\) 表示 \(f_{i, j} - L_{i, j}\)，\(suf_{i, j}\) 表示 \(f_{i, j} + L_{i, j}\)。对于 \(f_{i, j}\) 对应的转移位置 \(i - j\)，我们只需找到最后一个位置 \(p\) 使得 \(L_{i - j, p}\leq L_{i, j}\)，那么 \(f_{i,j}\) 可以由 \(pre_{i, p}\) 关于 \(p\) 的前缀 \(\min\) 加上 \(L_{i, j}\)，以及 \(suf_{i, p+1}\) 关于 \(p\) 的后缀 \(\min\) 减去 \(L_{i, j}\) 得到。
又因为固定 \(i - j\) 时，\(L_{i, j}\) 随着 \(i\) 增大而增大，这说明 \(f_{i + k, j + k}\) 从 \(i - j\) 处转移时的 \(p\) 随着 \(k\) 增加而递增，因此对每个位置 \(i\) 维护分界点指针即可做到平方。
**P3447 [POI2006]KRY-Crystals
究极神仙题！读完题目，纷繁复杂的限制让我们无从下手。从哪个条件作为突破口呢？肯定是最严格的异或限制。
异或有性质 \(a \oplus b = c\Rightarrow b = a\oplus c\)。对应到题目中，就是若序列 \(a\) 有 \(n - 1\) 个数确定，则未定数只能等于所有确定数的异或和。这启发我们思考，有没有一种可能，未定数对应的限制 \(m_i\) 非常大，以至于无论 \(n - 1\) 个数怎么选，它们的异或和总不大于 \(m_i\)，这样我们就可以很方便地用乘法原理求出答案。
实际上有可能！考虑第 \(i\) 位，假设存在 \(p\) 使得 \(m_p\) 这一位为 \(1\)，但 \(a_p\) 为 \(0\)，说明若所有数字在第 \(i\) 位及其高位异或和为 \(0\)，那么无论其它数字低 \(i - 1\) 位怎么填都符合条件，因为 \(a_p\) 在第 \(i\) 位小于 \(m_p\)，所以接下来的低 \(i - 1\) 位没有限制。
这启发我们直接枚举所有 \(a_p\) 与 \(m_p\) 的最短 LCP，即 存在 \(p\) 使得 \(m_p\) 在第 \(i\) 位为 \(1\) 但 \(a_p\) 为 \(0\)，且 \(a\) 高于第 \(i\) 位的部分与 \(m\) 相同 的位数 \(i\)。这样，我们只需把任意一个 \(p\) 的系数变为 \(1\)（因为它依赖于剩余数的异或和），剩下的系数用乘法原理乘起来即可。
具体地，考虑我们关心什么：第 \(i\) 位异或和为 \(0\) 且存在 \(p\)。这启发我们设计 DP \(f_{j, k, l}\) 表示考虑到第 \(j\) 个数，第 \(i\) 位异或和为 \(k\) 且是否存在 \(p\)。根据乘法原理与实际意义转移：
若 \(m_j\) 第 \(i\) 位为 \(1\)，那么 \(a_j\) 可以选择 \(0 / 1\)：选 \(0\) 的方案数为 \(2^i\)，选 \(1\) 的方案数为 \(m_j - 2^i\)。从 \(l = 0\) 转移到 \(l = 1\) 时，系数为 \(1\)，表示钦定 \(j\) 的系数为 \(1\)。
若 \(a_j\) 第 \(i\) 位为 \(0\)，则只能选 \(0\) 且方案数为 \(m_j+1\)。
最后，若 \(m\) 比 \(i\) 高的位的异或和为 \(0\) 才能计算当前位贡献 \(f_{n, 0, 1}\)，因为钦定了高位 \(a\) 都取 \(m\)。注意全零序列会被统计到，因此最后答案减 \(1\)。时间复杂度是优秀的线性对数，所以为什么数据范围这么小？
总结一下，对于位运算相关 有限制 的计数题，首先考虑 最严格 的限制，并尽量 独立每一位，如果做不到就按顺序考虑每一位的限制。
*P3448 [POI2006]MIS-Teddies
还算有趣的 DP，感觉难度没有黑牌。
奇奇怪怪的限制 + 很小的数据范围，动态规划没跑了。注意到我们根本不需要知道序列长什么样，只需每种玩具放的个数以及最后两个玩具是什么就可以转移。因此设六维 DP \(f_{i, j, k, l, m, n}\) 表示放了 \(i, j, k, l\) 个 \(A1, A2, B1, B2\)，分别标号为 \(0, 1, 2, 3\)，最后两个玩具分别是 \(m\) 和 \(n\) 的方案数，转移直接枚举下一个放什么，检查一下是否符合题意即可。
空间复杂度可通过滚动数组优化。时间复杂度四方，有 \(64\) 倍常数。
*P3449 [POI2006]PAL-Palindromes
神仙题！看到题目，我的想法是如果 \(s_j\) 能接到 \(s_i\) 后面，说明 \(s_j\) 是 \(s_i\) 的前缀。因此，对枚举每个 \(s_i\) 的每一位 \(p\)，求出 \(s_{i}[1,p]\) 在 \(s\) 中的出现次数，以及 \(s_i[p+1,|s_i|]\) 是否是回文串。这可以通过简单的字符串哈希在线性对数时间内做到。
注意到我们根本没有用到 \(s\) 是回文串的性质。这好吗？这不好。我们有一个更强的性质：在 \(s_i, s_j\) 是回文串的前提下，\(s_i + s_j\) 是回文串 当且仅当 它们的 最短回文整周期串相同。充分性显然。
在证明必要性之前，我们给出一个引理：若长度为 \(n\) 的 回文串 \(s\) 存在 回文 周期 \(p\)，则存在长为 \(\gcd(n, p)\) 的 回文整周期。用数学归纳法证明如下：
-
当 \(p\mid n\) 时，显然成立。
-
设串 \(A = s[1, p]\)，\(B = s[n - n\bmod p + 1, n]\)，即 \(s = AAA\cdots AB\)。设 \(q = |B|\)，显然 \(q = n\bmod p > 0\)。设 \(B_R\) 表示 \(B\) 翻转后得到的串。
由于 \(s, A\) 都是回文串，故 \(s = B_RA\cdots AAA\)。因为 \(B\) 是 \(A\) 的前缀，\(B_R\) 也是 \(A\) 的前缀，所以 \(B = B_R\) 即 \(B\) 回文。故 \(s = BA\cdots AA\)。
因为 \(A\) 是 \(BA\) 的前缀，所以 \(A[1, q] = A[q + 1, 2q]\)。同理，\(A[q + 1, 2q] = A[2q + 1, 3q] = \cdots\)。这说明 \(|B|\) 是 \(A\) 的回文周期。
-
这是一个递归式的子命题：若长度为 \(p\) 的回文串 \(A\) 存在回文周期 \(q\)，则存在长为 \(\gcd(p, q)\) 的回文整周期。若子命题成立，则原命题成立。
-
由于 \(\gcd(n,p) = \gcd(p, n\bmod p) = \gcd(p, q)\)，类似辗转相除法，因此必然出现 \(p'\mid n\) 的情况，此时 \(p' = \gcd(n,p)\)。故原命题成立。
必要性：考虑反证法，设 \(s_i\) 最短回文周期对应的回文串为 \(x\)（注意周期是长度，但为方便说明，下文省略 “对应的”），\(s_j\) 的为 \(y\)。不妨设 \(|x| < |y|\)（\(|x| = |y|\) 时显然若 \(s_i + s_j\) 回文则 \(x=y\) ）。
-
首先，\(x\) 不可能是 \(y\) 某个整周期回文串，否则 \(s_j\) 最短回文周期可以是 \(|x|\)，矛盾。
-
当 \(|s_i| < |y|\) 时，因为 \(s_i + s_j = s_iyy\cdots y\)，而 \(s_i\) 和 \(s_i + s_j\) 是回文串，所以 \(s_i + s_j = yy\cdots ys_i\)。故 \(y[1, |s_i|] = y[|s_i| + 1, 2|s_i|] = \cdots\)，即 \(|s_i|\) 是 \(y\) 的回文周期。
根据引理，这说明 \(y\) 存在回文整周期 \(d = \gcd(|y|,|s_i|) < |y|\)，从而有 \(s_j\) 的最短回文周期不大于 \(d\) 即小于 \(|y|\)，与 \(y\) 的定义矛盾。
-
当 \(|s_i|\geq |y|\) 时，因为 \(y\) 和 \(s_i + s_j\) 是回文串，所以 \(s_i[1, |y|] = y\)。这说明 \(|x|\) 是 \(y\) 的回文周期。
根据引理，\(y\) 存在回文整周期 \(d = \gcd(|x|, |y|)<|y|\)，从而有 \(s_j\) 的最短回文周期不大于 \(d\) 即小于 \(|y|\)，与 \(y\) 的定义矛盾。\(\square\)
综上，我们只需 KMP 求出每个字符串的 \(nxt\) 数组，易证若 \(|s| - nxt_{|s|}\) 整除 \(|s|\) 则 \(s[1, |s|-nxt_{|s|}]\) 是最短回文周期字符串，否则最短回文周期字符串就是 \(s\) 本身。
每个最短回文周期字符串对答案的贡献为 \(c ^ 2\)，其中 \(c\) 表示它作为 \(c\) 个串的最短回文周期字符串出现。为此，我们需要排序并检查相邻两个最短回文周期字符串是否相等。时间复杂度线性对数。
2007
P3452 [POI2007]BIU-Offices
题目相当于求给定图的补图的连通块数量，直接做时间复杂度显然无法承受。注意到对于当前节点 \(x\)，我们只需找到第一个不与 \(x\) 相邻且没有被访问过的节点打上访问标记并入队，通过双向链表 + dfs 实现。时间复杂度 \(\mathcal{O}(n + m)\)。dfs 应该做不了。
P3456 [POI2007]GRZ-Ridges and Valleys
将高度相同的相邻位置连边，对于每个极大连通块，若与其相邻的位置高度均小于连通块高度，则是山峰。同理，若与其相邻的位置高度均大于连通块高度，则是山谷。时间复杂度平方。
P3459 [POI2007]MEG-Megalopolis
转化题意，求根到某个节点经过的特殊边数量。考虑维护每个节点的答案，一次修改就是子树 \(-1\)，dfs 序拍平，BIT 维护，时间复杂度线性对数。
*P3462 [POI2007]ODW-Weights
任意两个砝码重量互成倍数说明最多只有 \(\log V\) 种重量不同的砝码。贪心能放大的就放大的（因为大的一定能被换成小的，但如果放小的让大的没地方放，可能导致答案更劣），最后再调整。调整的方法即从大到小枚举每一种重量，如果有比它轻的砝码没放完，就把它去掉，然后放更小的砝码。类似上面的贪心，去掉后优先从大往小放。时间复杂度线性对数。
*P3463 [POI2007]EGZ-Driving Exam
关键性质：如果 \(i\) 能到最左边，那么 \(i - 1\) 也能。因此，能够到达所有道路的初始位置一定是一段区间 \([l, r]\)，满足 \(1\sim r\) 能到最左边但 \(r + 1\) 不能，且 \(l \sim n\) 能到最右边但 \(l - 1\) 不能。
设 \(pre_i\) 表示使 \(1\sim i\) 能到最左边，最少需要修建多少条路。明眼人可以看出这是 \(i\) 减去 \(1\sim i\) 的 LDS，但是我没有看出来（大雾）。提供一个新的思路：考虑枚举从 \(i\) 向左边的所有道路，设其高度为 \(k\)，我们设 \(f_{i, k}\) 表示 \(i\to i - 1\) 走的道路的高度为 \(k\) 时，走到 \(1\) 最少需要新建多少条路。再枚举下一步走的 原有 的道路是哪一条，有转移方程
初始值 \(f_{1, m} = 0\)。后面的 \(i - j - 1\) 是因为根据定义，从 \(i - 1\) 到 \(j\) 走的都不是原有道路，因此要新建 \(i - j - 1\) 条道路。\(p \geq k\) 的原因显然。将贡献拆成 \((f_{j, p} - j) + (i - 1)\)，变成一个经典的二维数点，\(i\) 的有序性（从小到大枚举位置）自然地使用扫描线，把问题降了一维。我们需要支持单点修改，以及查询后缀最小值。由于查的是后缀，信息不需要可减，所以树状数组维护即可。而 \(pre_i\) 显然就是 \(\min f_{i, k}\)。
对于 \(suf_i\) 同理，转移方程变成了 \(f_{i, k} = \min\limits_{i < j \leq n \land p\geq k} f_{j, p} + (j - i - 1)\)，同样用 BIT 维护。
根据一开始的结论，区间 \([l, r]\) 合法当且仅当 \(suf_l + pre_r \leq k\)，因为向左边和向右边的道路独立，\(suf_l\) 和 \(pre_r\) 只是做简单的加法。注意到 \(pre\) 具有单调不降，\(suf\) 具有单调不升的性质，因此考虑按从小到大的顺序枚举 \(r\)，合法的 \(l\) 随着 \(r\) 的递增，显然单调不减，只需用指针维护即可，该部分时间复杂度线性。
总时间复杂度是树状数组的线性对数。实际上 LIS/LDS 和我的动态规划应该是在干同一件事情 qwq，只不过我想复杂了。
P5925 [POI2007]Gaz
若天然气井 \(x_1, y_1\) 和中转站 \(x_2, y_2\) 配对，对答案的贡献为 \(x_2 - x_1 + y_1 - y_2\)。因此答案为所有天然气井的 \(y - x\) 之和加上中转站的 \(x - y\) 之和。
2008
P3467 [POI2008]PLA-Postering
不难发现宽度 \(d_i\) 无用。考虑若 \(w_{i - 1} > w_i\)，那么 \(w_{i - 1}\) 前面必然要贴一张海报，因此用单调栈维护，时间复杂度线性。
P3475 [POI2008]POD-Subdivision of Kingdom
合法的分割方案最多仅有 \(\dbinom {26}{13}\approx 10 ^ 7\) 种，因此 dfs 枚举每个数是否被分进第一个集合。直接使用 C++ 自带的 __builtin_popcount 比手写 popcount 快不少。
P3478 [POI2008] STA-Station
换根 DP 板子题。
2009
P3486 [POI2009]KON-Ticket Inspector
由于我们只关心上一次检票是在什么时候，考虑设计动态规划状态 \(f_{i, j}\) 表示第 \(i\) 次检票在第 \(j\) 站时最多能够查到多少人的票，转移方程即
这是因为新的被查票的人必须得从第 \(k\) 站之后上（否则之前就被查了），在过了第 \(j\) 站之后下（否则查不到）。直接做复杂度 \(\mathcal{O}(k n ^ 4)\)，显然无法接受。
\(t\)D / \(1\)D 动态规划通常设计贡献函数 \(w\)，预处理或推柿子从而快速计算 \(w\)。设 \(w(j, i)\) 表示 \(\sum\limits_{j < p \leq i < q} a_{p, q}\)，朴素预处理后复杂度变成 \(kn ^ 2 + n ^ 4\)，仍然无法接受。
考虑更快地预处理：我们没有必要为每个 \(w\) 都重新算一遍，可以利用已经算过的结果递推。不难发现 \(w(j, i) = w(j + 1, i) + \sum\limits_{q > i} a_{j + 1, q}\)，这样即可做到 \(n ^ 3\)，再加个后缀和优化，预处理就是平方的。因此时间复杂度 \(\mathcal{O}(kn ^ 2)\)。
P3487 [POI2009]ARC-Architects
POI 真的很喜欢出 单调队列！
字典序最大给予我们贪心的思路，即优先选择最大的数字肯定更优，若数字相同则尽量选更前面的，因为这样剩下来的选择就更多。如 \([9,7,9,6]\)，选前面的 \(9\) 就比选后面的 \(9\) 好。
但是有 \(b_i < b_{i + 1}\) 的限制，说明如果我们选最大的，可能导致后面没法选了。因此不妨设我们在选 \(b_i\)，我们只能从下标为 \([b_{i - 1} + 1, k - i + 1]\) 的数当中挑选，因为如果 \(b_i\) 再大一点，那么无论如何我们都选不齐 \(k\) 个数。实现就是经典滑动窗口，若当前数等于单调队列队尾则不弹出，保证了相同数优先选择更前面的。时间复杂度线性。
P3492 [POI2009]TAB-Arrays
因为任何操作不改变每一行和每一列由哪些数组成，只是改变它们的顺序，故只需判断 \(a, b\) 每一行和每一列的数字能否对应上，即对于 \(a\) 的每一行 \(a_i\)，存在 \(b\) 的某一行 \(b_j\)，使得 可重集 \(\{a_i\} = \{b_j\}\)，且一行 \(a_i\) 与一行 \(b_j\) 唯一对应，对于列同理。
由于数字无序，可以排序后哈希（如字符串哈希），也可以使用不依赖于数字顺序的哈希方法（如 \(\sum a_{i, k} + \prod a_{i, k}\)），再看 \(a, b\) 的每一行（列）的哈希值是否能够一一对应（简单的检查方法是排序后相同排名的数相等）。前者时间复杂度是 \(\mathcal{O}(nm(\log n + \log m))\)，后者时间复杂度是 \(\mathcal{O}(nm + n\log n + m\log m)\)。效率差距较大。
2010
P3496 [POI2010]GIL-Guilds
找出原图任意一棵生成森林黑白染色，若存在孤立点则无解，时间复杂度线性。
P3498 [POI2010]KOR-Beads
什么哈希和哈希表水题，时间复杂度是调和级数的 \(\mathcal{O}(n\ln n)\)。后缀数组被完全碾压了，严格 \(\log ^ 2\) 的玩意儿（大雾）。
P3500 [POI2010]TES-Intelligence Test
什么子序列自动机裸题。设每个序列 \(j\) 第一个没有被匹配的元素为 \(c_j\)，位位置为 \(p_j\)，依次遍历序列 \(a\) 中的每个元素 \(a_i\)，将 \(c_j = a_i\) 的所有 \(j\) 的匹配位置 \(+1\)，即 \(p_j\gets p_j + 1\)，\(c_j\gets b_{j, p_j}\)，可以用 vector 或邻接链表辅助实现。若最终 \(p_j > |b_j|\) 则是 \(a\) 的子序列，否则不是。这是 离线 做法。若在线容易 vector + 二分实现。
P3501 [POI2010]ANT-Antisymmetry
直接二分 + 哈希太 low 了，借鉴 manacher 的思路，我们对每个位置（以两个字符之间作为回文中心）求出最长 anti-symmetry 半径，注意到这个类似 manacher，也是可以记录最右边的回文区间，快速继承和扩展做到均摊线性。
*P3503 [POI2010]KLO-Blocks
多组询问要求我们必须使用线性做法，而一个区间满足条件等价于其平均值 \(\geq k\)，即令 \(s\) 表示 \(a - k\) 的前缀和，则 \(s_{l - 1} \leq s_r\) 是区间合法的充要条件。
乍一看没啥思路，似乎要数据结构维护，因为我们需要查询 \(\leq s_i\) 的所有数的最小下标（\(i\) 之后的位置没有贡献，可以不管）。但就算这样也得排序。
观察性质，注意到若 \(s_i < s_j\) 且 \(i < j\)，那么 \(j + 1\) 不会作为区间 左端点 出现，因为 \(i + 1\) 更优。同理，若 \(i\) 不会作为区间 右端点 出现，因为 \(j\) 更优。换句话说，只有 前缀最小值 的位置才会作为区间左端点，后缀最大值 的位置才会作为区间右端点。
因此，两遍单调栈求出前缀最小值和后缀最大值对应的位置，根据单调性只需用两个指针维护。具体地，从左到右遍历每个前缀最小值，找到最右边的一个后缀最大值使得该最大值不小于当前的前缀最小值。由于前缀最小值在不断减小，故其对应的后缀最大值的下标也单调不降，用指针维护即可。时间复杂度 \(\mathcal{O}(mn)\)。
P3507 [POI2010]GRA-The Minima Game
DP + 博弈趣题。一个人肯定取剩下来所有数中最大的 \(k\) 个数，否则会把大数留给对手，不优。因此，设 \(f_i\) 表示还剩下 \(i\) 个数时，先手能达到的最大分数，枚举选完还剩下几个，有转移
注意 \(k\) 是从小到大排过序的，\(f_n\) 即答案。用一个变量维护即可。时间复杂度线性。
P3509 [POI2010]ZAB-Frog
首先 two-pointers 求出距离每个点第 \(k\) 小的点，连出基环内向森林，求每个点走 \(k\) 步到哪个点。可以快速幂线对解决，但是没有直接拓扑排序找环 + dfs 优美。静态 \(k\) 级祖先直接用栈维护就好了。时间复杂度线性。
P3512 [POI2010]PIL-Pilots
POI 真的很喜欢出 单调队列！直接 two-pointers + 两个单调队列就做完了。时间复杂度线性。
2011
*P3514 [POI2011]LIZ-Lollipop
元素权值仅有 \(1\) 和 \(2\) 一定是非常重要的限制。考虑固定左端点 \(l\)，右端点 \(r\) 从 \(l\to n\) 的过程。设 \([l, r]\) 之和为 \(v_{l, r}\)，容易证明若 \(1 \leq k < s\) 且 \(k\) 不能被表示为以 \(l\) 开头的某个子串和，则 \(k + 1\) 一定可以被表出。否则至少存在一个元素权值不小于 \(3\)。
因此，考虑找到最长的后缀 \([l, n]\) 使得 \(s_l = \tt W\)（即找到最小的 \(l\) 使得 \(s_l = \tt W\)），则根据上述性质，\(1\sim v_{l, n}\) 一定全部能被表示出来，因为若 \(2\leq k < v_{l, n}\) 不能被以 \(l\) 开头的某个子串和表出，则 \(k + 1\) 一定能被以 \(l\) 开头的某个子串和表出，所以 \(k\) 一定能被以 \(l + 1\) 开头的某个子串和表出。同理，最长的前缀 \([1, r]\) 同样满足该性质。
因此，求出开头和末尾的连续的 \(2\) 的个数 \(be, ed\)。若 \(be \leq ed\)，说明 \([l, n]\) 之和大于 \([1, r]\) 之和，用后缀来做。否则用前缀来做。可以通过翻转序列避免分类讨论，因此不妨设 \([l, n]\) 之和更大。
设 \(buc_k\) 表示 \([l, buc_k]\) 之和等于 \(k\)。注意 \(buc_k\) 可能不存在，但此时根据上述性质，\(buc_{k + 1}\) 存在。
- 若询问的 \(k \leq v_{l, n}\)，则若 \(buc_k\) 存在，输出 \(l, buc_k\)。否则输出 \(l + 1, buc_{k + 1}\)。
- 否则，若 \(k \leq v_{1, n}\) 且 \(k\) 与 \(v_{l, n}\) 的奇偶性相同（因为接下来只能让 \(l\) 往左移，每次添加 \(2\)），则输出 \(l - \frac{k - v_{l, n}} 2, n\)。
- 否则无解。
时间复杂度线性。
*P3518 [POI2011]SEJ-Strongbox
若 \(v\) 在群里，则所有 \(\leq n\) 且是 \(\gcd(v, n)\) 的倍数的数也在群里。这是因为 \(kv \bmod n\) 取到了所有这样的数。证明：设 \(d = \gcd(v, n)\)，\(d\mid t\) 且 \(t\) 不在群里，这意味着 \(kv \equiv t\pmod n\) 即 \(kv + yn \equiv t \pmod n\) 无解，根据裴蜀定理，它等价于 \(\gcd(v, n) \nmid t\) 即 \(d\nmid t\)，矛盾。证毕。
因此，考虑枚举这个 \(d = \gcd(v, n)\)，若合法则答案即 \(\max\dfrac n d\)，即我们需要找到最小的合法的 \(d\)。如何判断合法：不妨设 \(d_i = \gcd(m_i, n)\)，\(d\) 首先得是密码与 \(n\) 的 \(\gcd\) 即 \(d_k\) 的因数，其次任何 \(d_i\ (1\leq i < k)\) 不能是 \(d\) 的倍数。
考虑后者限制：给所有 \(d_i\ (1\leq i < k)\) 打上标记，从大到小枚举 \(n\) 的每个因数 \(c\)，若 \(c\) 被打上标记，则 \(\dfrac{c}{p_j}\) 也应被打上标记（其中 \(p_j\) 表示能整除 \(c\) 的 \(n\) 的质因子），表示若 \(c\) 是某个 \(d_i\ (1 \leq i < k)\) 的因数，则 \(\dfrac c {p_j}\) 显然也是。
剩下来没有被打上标记的所有 \(n\) 的因数 \(d\)，若 \(d\) 能被 \(d_k\) 整除则合法。找到最小的这样的 \(d\)，则答案为 \(\dfrac n d\)。
打标记的过程用哈希表实现，时间复杂度 \(\mathcal{O}(\sqrt n + k\log n + d(n)\omega(n))\)。\(\omega(i)\) 表示 \(i\) 的质因数个数。
P3520 [POI2011]SMI-Garbage
设 \(f(i)\) 表示以 \(i\) 为一端的需要经过的边的数量。对于一条回路，所有点度数均为偶数，因此一次操作后 \(f(i)\) 的奇偶性不变。故若存在 \(i\) 使得 \(f(i)\) 是奇数，则无解。否则，注意到有解是需要经过的边形成的图的每个连通块均存在欧拉回路的充要条件，对这张图跑一遍欧拉回路。由于要求不能经过相同的点，而路径上相同的点之间也一定是回路，所以借助栈把相同的点之间的回路弹出。时间复杂度 \(\mathcal{O}(n + m)\)。
对于不需要经过的边，可以直接忽略，这是因为是否有解与这些边无关：如果 \(f\) 均为偶数，我们必然能构造出一种不经过需要修改的边，反之无解。
*P3523 [POI2011] DYN-Dynamite
首先二分答案，问题转化为若选一个点能覆盖距离 \(\leq mid\) 的点，要覆盖所有关键点至少要选多少个点。直接贪心似乎不太行，考虑设 \(f_i\) 表示 \(i\) 子树内最远的未被覆盖的 关键点 与 \(i\) 的距离，\(g_i\) 表示 \(i\) 子树内最近的被选择的节点与 \(i\) 的距离。
\(f\) 初始值为 \(-\infty\)，\(g\) 初始值为 \(\infty\)。若 \(f_u\) 本身是关键节点，则初始化 \(f_u = 0\)。转移时 \(f_u = \max\limits_{v\in \mathrm{son}(u)} f_v + 1\)，\(g_u = \min\limits_{v \in \mathrm{son}(u)} g_v + 1\)。
由于若 \(f_u + g_u \leq mid\)，则 \(u\) 子树内对应的最远未被覆盖的关键点可以被覆盖，因此可忽略，即令 \(f_u = -\infty\)。否则，若 \(f_u = mid\) 或 \(u\) 为 根节点 且 \(f_u > 0\)，则需要选择 \(u\)，令 \(g_u = 0\)，\(f_u = -\infty\)。
时间复杂度线性对数。预处理 dfs 序后每次 DP 可以直接递推，不用递归，有效减小常数。
2012 (2021.12.14-12.19)
*P3530 [POI2012]FES-Festival
很好，限制非常差分约束。建出图来，先跑一遍负环判无解。但如何满足不同的 \(t\) 值数量最大呢？差分约束显然无法解决这样的问题。然后就不会了（大雾）。
首先，不同 SCC 之间独立，因为我们可以将两个 SCC 之间的距离拉得任意远。而一个 SCC 内部的答案就是任意两点最短路径的最大值 \(+1\)：使最短路距离增加的只有一类边，而一类边的边权仅有 \(1\)，因此若 \(u\to v\) 的最短路径 \(w\)，那么从 \(u\to v\) 的路径上所有点必然取遍了 \(t_u\sim t_{v}\) 这 \(w+1\) 个值。
由于图是稠密图，因此使用 Floyd 算法求解任意两点之间的最短路。答案即每个 SCC 的答案之和。时间复杂度三方。
P3531 [POI2012]LIT-Letters
一开始看错题咧！看成可以交换任意两个字符咧！不过也可以做，而且复杂度线性。
设 \(a_i\) 在交换后移动到了位置 \(p_i\)，则题目即求使得 \(a_i=b_{p_i}\) 的 \(p\) 的最小逆序对数量。显然，两个相同字符的相对位置不变。即若 \(a_i=a_j\ (i<j)\)，那么不会出现 \(p_i>p_j\)。否则交换 \(p_i,p_j\) 更优，因为可以减小逆序对数量。
因此，\(a\) 中的每个字符唯一对应了 \(b\) 的一个位置，求出 \(p\) 后树状数组求逆序对即可。时间复杂度线性对数。
*P3532 [POI2012]ODL-Distance
考虑在 \(i\) 和 \(p\times i\ (p\in \mathbb{P})\) 之间连边，题目相当于在这张图上撒 \(n\) 个关键点，求距离每个关键点最近且非本身的关键点的最小编号。对每个点记录距离该点最近和第二近的关键点距离与编号，一遍 BFS 即可，但是常数太大，不开 O2 难以通过。
设 \(\omega(i)\) 表示 \(i\) 的质因子个数，则 \(\mathrm{dis}(i,j)=\omega(i)+\omega(j)-2\omega(\gcd(i,j))\)。考虑枚举 \(d=\gcd(i,j)\)，那么减号后面的部分就确定了，对于一个固定的 \(i\)，我们显然要让 \((\omega(j),buc_j)\) 这一二元组最小，其中 \(buc_j\) 表示 \(a\) 值为 \(j\) 的最小位置。
考虑枚举 \(d\) 的倍数 \(kd\)，求出 \(\min_{k\geq 1,kd\leq r}(\omega(kd),buc_{kd})\)，设为 \((x,y)\) 以及取到最小值的位置为 \(td\)。 那么对于所有 \(k\neq t\)，我们用 \(td\) 和 \(kd\) 互相更新。\(kd\) 就相当于上面的 \(i\)，而 \(td\) 充当了使得 \((\omega(j),buc_j)\) 最小的 \(j\)。
每个 \(\gcd\) 都会被枚举到，因此算法正确。时间复杂度是调和级数的线性对数。由于小常数，成功拿到了最优解（2021.12.19）。
P3533 [POI2012]RAN-Rendezvous
定义 \(i\) 的祖先表示从 \(i\) 一直走出边遇到的第一个在环上的结点，这个可以通过一遍 dfs 处理得到。处在同一子树（即奇环内向树的环上每个结点拖着的 “尾巴”，是一棵树）内的询问 \(x,y\) 就是树上 LCA，预处理倍增数组。
除去上一种情况，若 \(x,y\) 根本不在同一棵基环树上，显然无解，否则我们先跳到 \(x,y\) 的祖先 \(anc_x,anc_y\)，有两种选择：\(anc_x\) 顺着环走到 \(anc_y\)，或者 \(anc_y\) 顺着环走到 \(anc_x\)。两种方案按照规则取更优的那个即可。时间复杂度线性对数。
*P3534 [POI2012]STU-Well
二分答案。对于固定的 \(z\)，首先考虑没有 \(x_k=0\) 的限制。
因为 \(|x_i-x_{i+1}|\leq z\) 可写成 \(x_i\leq x_{i-1}+z\ (2\leq i\leq n)\) 以及 \(x_i\leq x_{i+1}+z\ (1\leq i<n)\) ，故我们只需从左往右扫一遍 \(x_i\gets \min(x_i,x_{i-1}+z)\)，从右往左扫一遍 \(x_i\gets\min(x_i,x_{i+1}+z)\)，然后求出原 \(x_i\) 与新 \(x'_i\) 之间的差 \(d=\sum\limits_{i=1}^n x_i-x'_i\)。
正确性（分为合法性与最小性）证明：
- 合法性：因为 \(x_{i-1}+z\) 操作进行完毕后满足 \(x_i\leq x_{i-1}+z\)，而 \(x_{i+1}+z\) 操作后满足 \(x_i\leq x_{i+1}+z\)，且不会破环 \(x_i\leq x_{i-1}+z\) 的性质（因为 \(z\) 非负），得证。
- 最小性：对于 \(x_{i-1}+z\) 操作，若 \(x_i> x_{i-1}+z\)，我们不得不用 \(x_i-x_{i-1}-z\) 的代价填平 \(i\) 这个位置，否则不满足条件。\(x_{i+1}+z\) 同理。
接下来考虑 \(x_k=0\) 的限制，显然还要用 \(z\times |i-k|\) 更新 \(x_i\)，但我们没有足够的时间对每个 \(k\) 都这样暴力计算。稍作转化，我们就是要找到所有这样的 \(p\) 使得 \(x_p > z\times |k - p|\)，然后将代价加上 \(x_p - z\times |k - p|\)。
考虑 \(k\) 变为 \(k+1\) 的过程，\(k\) 左边的位置 \(i\) 的 \(z\times (k-i)\) 会增加，即限制放宽，那么第一个 \(x_i > z\times (k-i)\) 的位置 \(l\) 会向右移动。同理，对于 \(k\) 右边的位置 \(i\)，最后一个 \(x_i > z\times (i-k)\) 的位置 \(r\) 也会向右移动（因为限制变严格了）。
同时，我们知道 \(l\sim r\) 的区间内所有位置都有 \(x_i > z\times (k-i)\)，以及区间外的位置都有 \(x_i\leq z\times (k-i)\)（否则会出现相邻两个数之差的绝对值大于 \(z\) 的情况，因为我们是用斜率绝对值为 \(k\) 的直线去切这个 “山峰”，而任意位置的斜率绝对值不超过 \(k\)，故切到的一定是一段区间），所以可以用前缀和与等差数列求和公式快速计算 \(k\) 处的答案。时间复杂度 \(\mathcal{O}(n\log x)\)。
P3535 [POI2012]TOU-Tour de Byteotia
先将所有 \(u,v>k\) 的边 \((u,v)\) 合并，剩下来所有边能加就加，用并查集维护连通性，时间复杂度线性对数。想了好一会才会做（小雾）。
P3536 [POI2012]BON-Vouchers
注意到对于一个固定的 \(x\)，我们只关心前 \(\dfrac {\max b_i}x\) 个需求为 \(x\) 的顾客，便可断言接下来需求为 \(x\) 的顾客不可能拿到代金券，这一点显然。
因此，若当前需求为 \(x\) 的顾客数量 \(c_x>\dfrac{\max b_i}x\)，那么可以跳过剩下来所有这样的顾客。直接暴力模拟，时间复杂度是调和级数求和产生的 \(\mathcal{O}(b\ln b)\)，可以接受。
*P3537 [POI2012]SZA-Cloakroom
好题，一开始一直在想 \(\dfrac {nk\log n}{\omega}\) 的 \(0/1\) 背包可行性做法，发现无论如何都不可做。但是背包问题并不一定只能装 \(0/1\)，我们要充分发挥 \(f_i\) 的值域带来的信息。
由于背包不可删除，所以按顺序将物品加入背包方便回答，故将询问离线处理。
设 \(f_i\) 表示要用左端点小于当前位置 \(p\) 的所有物品组合出价值 \(i\)，所需物品右端点最小值的最大值。其中 \(p\) 是不断递增的，与此同时回答对应的询问。
不妨设要加入 \((c_i,a_i,b_i)\)，根据我们的策略有 \(a_i\) 递增，转移方程如下：
对于一次询问 \((k_j,l_j,r_j)\ (l_j=s_j,r_j=s_j+m_j)\)，显然只能用 \(a_i\leq l_j\) 的物品，因此对于在加入 \(a_i\) 之前先要回答所有 \(l_j<a_i\) 的询问才能保证正确性。在此基础上，若 \(f_{k_j}>r_j\) 说明可行，否则不可行，这一点结合 \(f\) 的定义容易理解。
综上，时间复杂度 \(\mathcal{O}(nk+q\log q)\)。
P3538 [POI2012]OKR-A Horrible Poem
\(s\) 有长为 \(p\) 的周期 \(\Leftrightarrow\) \(s\) 有 \(|s|-p\) 的 border。因此，枚举区间长 \(r-l+1\) 的所有因数 \(d\) 判断是否有 \(|s|-d\) 的 border 即可。时间复杂度 \(\mathcal{O}(nd(n))\)。
由于若 \(p\) 是周期，那么 \(kp\ (kp\mid |s|)\) 也是周期，因此可以不断除以 \(|s|\) 的质因数判断，即从小到大枚举所有 \(|s|\) 的质因数 \(d\)，不断将 \(p\) 除以 \(d\) 直到不是周期或不能整除位置。时间复杂度 \(\mathcal{O}(n\omega(n))\)，拿到了最优解（2021.12.19）。
*P3539 [POI2012]ROZ-Fibonacci Representation
设 \(f_k\) 为答案，可以证明在 \(k\) 的最小斐波那契表示（题目定义）中，必然出现 \(fib_p\) 或 \(fib_{p+1}\)，其中 \(fib_p\leq k\) 且 \(p\) 最大（一开始的思路），预处理 \(k\) 较小时的答案就可以玄学复杂度爆搜了。
甚至可以证明若 \(k-fib_p\leq fib_{p+1}-k\) 则选 \(fib_p\) 更优，反之选 \(fib_{p+1}\) 更优，这样贪心的复杂度是对数，真是惊为天人。不太会证明（大雾），具体可以看洛谷题解区 这篇博客。
*P3540 [POI2012]SQU-Squarks
将给出的 \(s_i\) 和要求的 \(x_i\) 都从大到小排序，\(s_1=x_1+x_2\)，\(s_2=x_1+x_3\)，这一点显然。
先考虑已知一些数时，如何推出剩下来的数：假设 \(x_1\sim x_r\) 已知，它们两两相加可以形成一些和 \(t_j\)，用可重集 \(s\) 减去可重集 \(t\)，我们能得到一个最大数 \(s_p\)，它只能是 \(x_1+x_{r+1}\) 的和，否则与 \(s_p\) 的最大性违背。
因此，我们断言如果确定 \(x_1\)，那么可以在 \(\mathcal{O}(n^2\log n)\) 的时间内得到整个 \(x_i\)：找到可重集 \(s\backslash t\)（\(t\) 的定义如上）中最大的数 \(s_p\)，反推出 \(x_{r+1}\)，用 \(x_{r+1}\) 与 \(x_1\sim x_r\) 的和更新 \(t\)，再找到下一个最大的 \(s_{p'}\in s\backslash t'\) 反推出 \(x_{r+2}\)，以此类推。根据 \(s_p\) 的单调性可以用指针维护 \(p\)。\(\log\) 由用 \(x_{r+1}+x_i\) 通过 map 打标记产生。特别的，若求出的 \(x_{r+1}\geq x_r\) 或 \(x_{r+1}\leq 0\) 或 \(t\nsubseteq S\) 则钦定的 \(x_1\) 无解。
接下来考虑如何求 \(x_1\)：注意到 \(x_2+x_3\) 仅有可能小于 \(x_1+x_i\ (2\leq i\leq n)\)，因此 \(x_2+x_3\) 在从大到小排过序后的 \(s\) 中下标不会超过 \(n\)。考虑直接枚举这个下标从而解出 \(x_1,x_2\) 和 \(x_3\)。
综上，时间复杂度三方对数。由于大部分下标很快无解，因此常数非常小。
**P3542 [POI2012]PEN-Salaries
大大大大大大大神仙题！我初始的想法是对整棵树进行一遍 dfs，将所有儿子按照 \(z\) 从小到大排序，先考虑 \(z\) 非零的那些点，若已经处理过的子树大小之和 \(s\) 加上当前儿子 \(v\) 的子树大小等于 \(z_v\)，说明 \(v\) 的子树内的值域唯一确定，为 \([s+1,z_v]\)，对 \(v\) 进行 dfs，否则直接返回。这保证被深搜到的结点的值域被唯一确定，而儿子的值域确定建立在父亲的值域确定基础上，因此遇到第一个不符合的子结点就要立刻返回。
很显然，这样是错的。原因是我们没有考虑到已经被钦定的 \(z\) 值。例如 \(z\) 值较大的结点 \(v\) 有较小 \(z\) 值的儿子 \(w\)，当我们考虑 \(v\) 父亲的所有子结点时，就不会将 \(z_w\) 的占位计算在内。
一个神仙想法：考虑每个结点的最大可能 \(z\) 值 \(mx_i\)。记 \(pre_i\) 表示 \(\leq i\) 的最大的没有被钦定的 \(z\) 值，这可以通过对于所有被钦定的 \(z\) 值令 \(pre_z=z-1\)，然后 \(i\) 从小到大扫一遍 \(pre_i=pre_{pre_i}\) 预处理出来。那么 \(mx_i\) 即：
记 \(sum_i\) 表示 \(cnt_i\) 即 \(mx\) 值等于 \(i\) 的数的个数的前缀和，由于保证有解，故 \(sum_i\leq i\)。我们断言 \(mx\) 值为 \(i\) 的结点的 \(z\) 值可以被钦定为 \(i\) 当且仅当 \(sum_i=i\) 且 \(sum_{i-1}=i-1\)。这是因为若一个或多个 \(mx\) 值对应多个空余的 \(z\) 值，则它们全都不能被确定，或者说 \(sum_{i-1}=i-1\) 说明前 \(i-1\) 个值已经被 \(i-1\) 个位置内部消化，就算这 \(i-1\) 个位置没有唯一确定一个 \(z\) 值，后面的位置的 \(z\) 值也不可能 \(\leq i-1\)（否则就无解了）。那么就做完了，时间复杂度线性，凭借小常数拿到了最优解（2021.12.19）。
**P3543 [POI2012]WYR-Leveling Ground
好题！区间操作转化为差分数组 \(d_i\) 的端点操作。一次 \(+a\) 可以和一次 \(-a\) 相抵消，因为若 \(+a\) 的位置在 \(-a\) 位置之前，就是区间 \(+a\)，否则就是区间 \(-a\)。同理，\(+b\) 和 \(-b\) 可以相抵消。
首先考虑对每个差分值单独求解，即解不定方程 \(ax+by=d_i\)。设 \(d=\gcd(a,b)\)，若 \(d\nmid d_i\) 则无解，这是裴蜀定理。否则在一开始调用一次 exgcd 算法解得 \(ax+by=d\) 的一组特解，再通过对每个 \(d_i\) 乘上 \(\dfrac {d_i} d\) 得到 \(ax+by=d_i\) 的特解。
由于一个 \(ax_i+by_i=d_i\) 的贡献为 \(|x_i|+|y_i|\)，而最终答案（首先不考虑可行性）为所有这样的贡献之和除以 \(2\)（因为两两配对）。因此尝试根据特解找到 \(|x_i|+|y_i|\) 最小的特解：若 \(|x_i|\) 不是最小且 \(|y_i|\) 不是最小，那么 \(|x_i|+|y_i|\) 必然不是最小，因此我们只需要检查 \(x_i\) 和 \(y_i\) 分别取到最小非负整数和最大负整数的情况即可。
当前的 \(\sum |x_i|+|y_i|\) 除以 \(2\) 是答案的下界，但并不能保证可行性，因为我们需满足 \(X=\sum x_i=0\)（两两配对）。由于当 \(X=0\) 时必然有 \(Y=0\)，所以只需考虑 \(X\)。
根据特解的形式 \(\begin{cases}x=x'+\dfrac {kb}d\\y=y'-\dfrac {ka}d\end{cases}\)，当 \(X < 0\) 时，我们需要进行 \(\dfrac {Xd}b\)（一定是个整数，因为差分数组之和为 \(0\)）次将某个 \(x_i\) 加上 \(\dfrac b d\)，并将其对应的 \(y_i\) 减去 \(\dfrac a d\)。\(x>0\) 时分别为减去 \(\dfrac b d\) 和加上 \(\dfrac a d\)。称这样的操作为对 \(i\) 进行一次调整，调整的代价即新的 \(|x'_i|+|y'_i|\) 减去 \(|x_i|+|y_i|\)。
容易证明对一个数调整的代价随着调整的次数增加，仅在 \(x_i\) 或 \(y_i\) 改变符号时增加，其它时候不变，因此我们可以用一个堆维护这个过程：每次取出代价最小的 \(i\) 并弹出，在需求次数与不改变符号的前提下尽可能多地调整。若经过调整，需求次数为 \(0\) 则算法结束，否则将新的调整代价压入堆。这样的时间复杂度是严格 \(\mathcal{O}(n\log n)\)，因为 \(x_i,y_i\) 其中任意一个改变符号的才会使代价改变，一共会最多发生 \(2n\) 次，因此我们最多会向堆内压入 \(3n\) 个数。
一个奇妙的性质是 \(\dfrac {Xd}b\) 在 \(\mathcal{O}(n)\) 级别（根据 \(\sum d_i=0\) 感性理解，不会证明），这使得我们可以从堆中取数时仅进行一次调整就塞回去。时间复杂度也是线性对数。
启发：我们可以尝试先忽略问题的一些限制从而得到基本的解法，然后在此基础上考虑限制，进一步求解问题。
*P3544 [POI2012]BEZ-Minimalist Security
每个连通块独立，单独考虑。对于一个连通块 \(G=(V,E)\)，显然 \(|E|\geq |V|-1\)，故其自由度 \(\leq 1\)，即一旦钦定连通块内任何一个 \(q_i=p_i-z_i\)，则整个连通块确定。
不妨将连通块内的点编号为 \(1\sim |V|\)，考虑用 \(q_1\) 表示 \(q_2\sim p_{|V|}\)。根据题目的限制 \(q_u+q_v=w\)，我们知道最后每个 \(q_i\) 都能被写成 \(k_iq_1+c_i\) 的形式，其中 \(k_i=\pm 1\)。因此，找到 \(G\) 的任意一棵生成树，求出 \(k_i\) 和 \(c_i\)。
与此同时，对于非树边 \((u,v,w)\)，若 \(k_u\) 与 \(k_v\) 相同，说明我们能解出 \(q_1\)。此时可以判断无解：有两条非树边解得的 \(q_1\) 不同，或 \(q_1\) 不是整数（即 \(2\nmid w-k_u-k_v\)），或 \(q_1\) 不在 \([0,p_1]\) 范围内。相反，若 \(k_u\) 与 \(k_v\) 不同，则需检查 \(c_u+c_v=w\)。上述操作可以一遍 DFS 完成。
接下来，若 \(q_1\) 被钦定，那么 \(q_i\) 也已经固定下来，检查每条边是否满足要求以及 \(q_i\) 是否在 \([0,p_i]\) 范围内，判断无解。
否则，根据若干组 \(0\leq k_iq_1+c_i\leq p_i\) 的不等式，我们可以解得 \(q_1\) 的取值范围 \([l,r]\)。我们知道 \(q_i\) 的总和为 \(\sum\limits_{i=1}^{|V|}k_iq_1+c_i\)，记 \(K=\sum\limits_{i=1}^{|V|}k_i\)，\(C=\sum\limits_{i=1}^{|V|}c_i\)，\(P=\sum\limits_{i=1}^{|V|}p_i\)，则代价为 \(P-Kq_1C\)。显然，该式的最小值与最大值在 \(q_1\) 等于边界值时取到，分 \(K\leq 0\) 和 \(K>0\) 两种情况讨论一下即可。时间复杂度线性。
*P3545 [POI2012]HUR-Warehouse Store
世 界 线 收 束。法一是按 \(b_i\) 从小到大贪心，对 \(a_i\) 做前缀和，那么 \(b_i\) 合法当且仅当 \(a_i\sim a_n\) 都 \(\geq b_i\)。此时我们选择 \(b_i\) 且令 \(a_i\sim a_n\) 减去 \(b_i\)。线段树维护区间修改区间最值。
法二就很巧妙了：考虑当前剩余货物 \(c\)，从小到大枚举每个 \(i\)。若 \(b_i\leq c\) 说明可以暂时选 \(b_i\)，\(c\gets c-b_i\)。否则若 \(b_i\) 大于已经选的某个 \(b_j\ (j<i)\)，我们可以贪心地去掉 \(j\) 选上 \(i\)，\(c\gets c-b_j+b_i\)。就不证了。可以用优先队列 priority_queue 维护。时间复杂度都是线性对数。
*P3546 [POI2012]PRE-Prefixuffix
好题！不难发现若 \(S,T\) 循环相同则它们可以分别被写成 \(AB\) 和 \(BA\) 的形式。因此题目相当于：对于 \(S\) 的每个 border 长 \(p\ (2p\leq S)\)，求 \(S\) 去掉 \(p\) 前缀和 \(p\) 后缀后最长的不重叠 border 长 \(q\)，则 \(\max p+q\) 即答案。
\(p\) 是好求的，但每个 \(S[p+1,n-p]\) 的 border 就不好求了。考虑 \(S\) 所有这样的子串串 \(S_i=S[i+1,n-i]\)，\(S_i\) 的 border 掐头去尾后变成了 \(S_{i+1}\) 的 border，因此 \(|B_{\max}(S_i)|\leq |B_{\max}(S_{i+1})|+2\)。
根据这一性质，我们从大到小枚举所有 \(i\ (1\leq i\leq n/2)\)，维护长度 \(p\) 表示 \(S_i\) 的最长不重叠 border 长。当 \(i\to i-1\) 时，令 \(p\gets p+2\)，然后不断减小 \(p\) 直到 \(p\) 是 \(S_i\) 的一个不重叠 border 长。势能分析，\(p\) 的移动距离不超过 \(2n\)。
判断字符串是否相等使用哈希，自然溢出哈希会被卡。求 \(S\) 的所有 border 直接 KMP 就行。时间复杂度线性。双 倍 经 验。
P6612 [POI2012]LIC-Bidding
编号并不是很连续（大雾）。注意到 \(x\) 只有可能是 \(2^a3^b\) 的形式，因此数量级为 \(\log n\)。
将 \(x\) 离散化，直接暴力 DP 每个 \((x,y)\) 是必胜还是必败态，时间复杂度线性对数。
2013
*P3550 [POI2013]TAK-Taxis
当前位置 \(p < d\) 时，每个出租车会浪费 \(d - p\) 的路程。因此贪心选择路程大的出租车先打，这样浪费的路程就更少。调整法可证。
此外需要预留一个路程 \(\geq m - d\) 的出租车，这样在 \(d\geq p\) 时可以一步直达，不难发现选择路程最小的符合要求的出租车最优。时间复杂度是排序的线性对数。
*P3551 [POI2013]USU-Take-out
考虑每次删去一段连续的 \(k\) 白和 \(1\) 黑，最后倒过来输出正确性显然。用栈 + 前缀和维护即可。时间复杂度线性。
P3556 [POI2013]MOR-Tales of seafaring
注意到若 \(i, j\) 之间存在长为 \(d\) 的路径，则必然存在长为 \(d + 2k\ (k\geq 0)\) 的路径，沿一条边来回走就可以做到，因此奇偶 bfs 即可。直接开 \(2n\times n\) 的数组没法接受，把询问离线下来，对于每个起始位置单独回答，空间复杂度线性，时间复杂度 \(\mathcal{O}(nm + k)\)。
*P3557 [POI2013]GRA-Tower Defense Game
挺有意思的一道题目。考虑枚举每个点，如果没有被覆盖，那就直接在这个地方建座塔，然后把所有覆盖到的点删掉。正确性是因为存在大小小于 \(k\) 的点覆盖集，因此每个点至少与一个点覆盖集中的点相连，在每个点建塔都能覆盖到与所有与该点相连的点覆盖集中的点所能覆盖的点，故贪心正确。
同时，一个点最多仅会作为一次与某座塔距离为 \(1\) 的点（因为在此之后所有相邻点都被打上了标记，自然不会再作为塔），遍历其所有出边打标记。故时间复杂度线性。
*P3558 [POI2013]BAJ-Bytecomputer
没看出来是 DP，直接贪心，枚举最终的 \(0\) 段 \([l, r]\)，符合要求当且仅当 \([1, l - 1]\) 为空或 \(a_i = -1\) 且 \([r + 1, n]\) 为空或 \(a_{r + 1} = 1\)，因为 \([1, l - 1]\) 都得是 \(-1\)，而 \([r + 1, n]\) 都得是 \(1\)。
设 \(pre_i\) 表示将 \([1, i]\) 操作成全 \(-1\) 的代价，前缀和预处理。\(suf_i\) 表示将 \([i, n]\) 操作成全 \(1\) 的代价，后缀和预处理。运用贪心的思想可知 \(0\) 段 \([l, r]\) 一定是 \(a\) 的极长 \(0\) 段，前面可以再带一个 \(1\)（即 \(a_l = 0 / 1\) 且 \(a_{l + 1\sim r} = 0\)），此时代价为 \(pre_{l - 1} +suf_{r + 1} + a_l\)，因为 \(a_{l - 1} = -1\)，需要 \(a_l\) 的代价将 \(a_l\) 变成 \(0\)。此外还要用所有 \(pre_i + suf_{i + 1}\) 更新答案。
P3560 [POI2013]LAN-Colorful Chain
two-pointers 维护答案，时间复杂度线性。
2014
P3572 [POI2014]PTA-Little Bird
由于 \(d_j\leq d_i\) 的贡献仅有 \(1\)，因此将 \(i\) 压入队列和队尾 \(t\) 比较时，若 \(f_i < f_t\) 或 \(f_i = f_t\land d_i\geq d_t\)，说明 \(i\) 不劣于 \(t\)：当 \(f_i<f_t\) 时，显然有 \(f_i+[d_i\leq d_{i’}]\leq f_t + [d_t\leq d_{i'}]\)。时间复杂度 \(\mathcal{O}(nq)\)。
2015 (2021.12.8-12.10)
P3582 [POI2015]KIN
考虑增量法，实施维护右端点 \(r-1\to r\) 时每个左端点的贡献。设 \(p\) 表示 \(f_r\) 在 \(r\) 之前倒数第二次出现位置，\(q\) 表示最后一次出现位置，那么 \(q+1\sim r\) 加上 \(w_{f_r}\)，\(p+1\sim q\) 减去 \(w_{f_r}\)， 区间修改全局 \(\max\)，线段树维护即可。
*P3583 [POI2015]KWA
打表猜结论题。首先这道题目长得就一脸可以打表的样子，所以我们先通过 DP 求得一点小数据的 \(w\) 值。
输出到 \(10^4\)，发现一个比较明显的分割点在 \(9455\) 这个地方：因为 \(9455=S(30)=\sum\limits_{i=1}^{30}i^2\) 所以它是最后一个 \(w\) 值为 \(30\) 的数，显然若 \(i>9455\) 则 \(w(i)>30\)。这给予我们第一个思想：当 \(i\) 很大的时候，\(j^2\ (j\leq i)\) 的组合能够生成的数覆盖了几乎所有 \(S(i-1)\sim S(i)\) 之间的数，以及当 \(n>S(i)\) 时，必然有 \(w(n)>i\)。
但再观察表，发现在 \(9455\) 的前面有一些 “超重” 数，它们的 \(w\) 值为 \(31\)。乍一看似乎没啥规律，不过仔细思考后可以发现，这些超重数 \(p\) 与 \(9455\) 之间的差 \(q\ (q=9455-p)\)，应该就是所有 \(w(q)=\infty\) 的 \(q\)。毕竟 \(p\) 应该由 \(1\sim i\) 的平方之和减掉一些数的平方得到，但如果它们的差（\(n-p\)）即要减去的数不能由若干个不同的完全平方数之和得到，那么 \(p\) 也不能由 \(S(i)\) 减去一些不同的完全平方数得到，这说明 \(w(p)\) 不得不大于 \(i\)。
接下来我们证明在 \(p\) 足够大的时候，一定有 \(w(p)=i+1\)，其中 \(i\) 为使得 \(S(i)\geq p\) 的最小的 \(i\) 且 \(S(i)-p\) 不能由若干完全平方之和表示：设 \(q=S(i+1)-p\)，由于不能被若干完全平方之和表示的数有限（共有 \(31\) 个且最大值为 \(128\)），所以 \(p\to \infty\) 时 \(q\gg 128\)，因此 \(w(q)\neq \infty\)，这说明 \(p\) 可以由 \(S(i+1)\) 减去若干完全平方数得到，故 \(w(p)=i+1\)。
综上，我们有如下算法：首先暴力求出 \(n\) 比较小时的 \(w(n)\)（大概到 \(10^3\) 级别就够了，设范围为 \([1,x]\)），若给定的 \(n\) 属于 “比较小”，即 \(n\leq x\)，直接输出答案。否则二分求出最小的 \(i\) 使得 \(S(i)\geq n\)，那么第一问的答案即 \(i+[\exist j,\ w(j)=\infty\land n+j=S(i)]\)，第二问的答案可以由 \(n\) 较小时的超重数之和，加上从 \(x+1\) 到 \(n\) 之间所有超重数得到。
因为对于固定的 \(j\)，所有 \(w(p)=j\) 的 \(p\) 中有 \(31\) 个超重数（可表示为 \(S(j-1)-q\)，其中 \(w(q)=\infty\)），所以令 \(l\) 为 \(S(l)\leq x\) 的最大的 \(l\)（注意这个分割点 \(x\) 不应该取到比较靠近形如 \(S(i)-d\) 其中 \(d\) 是一个很小的数的位置，因为这样会把 \(w(p)=l\) 的超重数 \(p\) 分割成 \(\leq x\) 和 \(>x\) 两部分，无法直接用 \(31\) 乘以 \(j\) 的个数计算），答案加上 \(31\times (i-1-l)\)，再枚举 \(w(q)=\infty\) 的 \(q\)，若 \(S(i)-q\leq n\) 说明 \(S(i)-q\) 这一超重数的贡献也要算上，答案加 \(1\)。
除去预处理的常数复杂度，时间复杂度为二分求 \(i\) 的 \(\log n\)。代码预处理到了 \(10^4\)，此时 \(l=30\) 所以上式可改写为 \(31\times (i-31)\)。
**P3584 [POI2015]LAS
第一个想法是若出现相邻的两个食物 \((x,y)\) 满足 \(2a_x<a_y\) 或 \(2a_y<a_x\)，说明能够选择食物 \(x,y\) 的人一定会选择 \(a\) 值较大的那一个，因为就算有人和他抢食物他也能吃到热量较高的那个。
可能出现钦定一个人在 \(x,y\) 之间选择 \(y\) 后 \(y,z\) 又出现了一个数大于另一个数的两倍的情况，所以用队列进行 “松弛”。
松弛完毕后，对于没有钦定食物的所有人贪心地选择他相邻两个食物中热量较高的那个即可。若 \(x\) 选了食物 \(x+1\)，那么 \(x+1\) 就一定不会选食物 \(x+1\)，因为 \(\dfrac{a_{x+1}}{2}\leq a_{x+2}\)。故两个没有钦定食物的人不可能选到同一食物，所以每个人的决策互不干扰，贪心正确性得以保证。
为防止出现小数的情况，可以在一开始将所有食物热量乘以 \(2\)。注意此时判断 \(2a_x<a_y\) 需要开 long long。时间复杂度线性。
P3585 [POI2015]PIE
从上到下从左到右找到第一个需要被涂黑的地方，然后用印章从上到下从左到右第一个凸起对应该位置印一遍并实时更新所有需要被涂黑的地方（因为一个位置只能涂一次），需要预先存储所有凸起位置否则时间复杂度会炸。若有凸起对应的位置超出范围或不需要被涂黑则无解。时间复杂度 \(\mathcal{O}(Tnm)\)。
*P3586 [POI2015]LOG
和联考之前考过的某一题基本上完全一样。每次贪心选最大的 \(c\) 个肯定没问题，但没办法直接模拟。
因为每个数之间顺序无关，此时一般通过将序列排序寻找性质：对于最大的元素 \(a_1\)，若 \(a_1\geq s\) 说明 \(a_1\) 必定能贡献 \(s\) 次取数，那么直接令 \(c\gets c-1\) 然后考虑剩下来 \(n-1\) 个数，这是一个子问题。递归边界是出现 \(a_i<s\)，这说明 \(a_i\sim a_n\) 都小于 \(s\)，此时每个 \(a_i\) 必定可以贡献满。现在问题转化为要求选 \(s\) 次，每次选 \(c\)（这里的 \(c\) 实际上是询问的 \(c\) 减去 \(\geq s\) 的数的个数）个不同的数，每个数被选择的次数不超过 \(a_i\) 其中 \(a_i<s\)。
证明：看成一个 \(s\times c\) 的表格，每一行的数互不相同且 \(i\) 的出现次数不超过 \(a_i\)，我们有如下方案：对于每个 \(i\) 有 \(a_i\) 次填数，每次选择最左边有空位的列的最上面那个位置填入 \(i\) 即可，即填数的轨迹是这样的：\((1,1)\to(2,1)\to\cdots\to(n,1)\to (1,2)\to(2,2)\to\cdots\to (n,2)\to\cdots\)。因为对于轨迹上任意连续 \(n\) 个格子都有横坐标互不相同，所以符合条件。
因为对于轨迹上任意连续 \(n\) 个格子都有横坐标互不相同，所以符合条件。因此，只需判断是否有 \(\sum\limits_{j=i}^n a_j\geq c\times s\) 即可。具体地，我们求出所有 \(a_i\geq s\) 的 \(i\) 的个数 \(m\)，以及所有小于 \(s\) 的数的和 \(v\)，若 \(s\times (c-m)\leq v\) 则可行，否则不可行。这可以通过离散化 + 树状数组实现。时间复杂度线性对数。
*P3587 [POI2015]POD
类似求子区间个数的题目可考虑使用增量法。将这种思想运用到本题，考虑对于切在 \(i\) 的一刀从 \(i\) 挪到 \(i+1\) 的过程中合法的另一刀的位置 \(p\) 如何变化。
首先，当 \(i=0\) 时，\(p\) 一定满足对于任意颜色 \(c\) 都有 \(1\sim p\) 要么包含所有颜色为 \(c\) 的珠子，要么不包含任意一个。也就是说对于每一种颜色，将所有出现的珠子看成一个环，那么合法的另一刀位置位于第一刀劈开的相邻两个珠子之间。
根据这一性质我们已经有了一个非常直接的做法：线段树维护区间最小值，数量，以及取到最小值的位置的最小值和最大值（这两个为了第二问），还需要支持区间修改。对于每个断点，找到没有被覆盖 “不合法线段” 的位置之和，即 \([1,n]\) 等于 \(0\) 的位置个数。由于断点处一定没有被任何不合法线段覆盖，所以就是 \([1,n]\) 取到区间最小值的位置数量 \(-1\)。第二问通过对应区间维护的最小值和最大值计算即可。时间复杂度线性对数，常数非常大。
运用题解区的哈希可以做到线性，而且常数很小。这个哈希维护本质相同区间套路在昨天 2021.12.18 的模拟赛中出现了。
P3588 [POI2015]PUS
裸的线段树优化建图板子吧。对于每个区间被选中的数 \(p_1,p_2,\cdots,p_k\)，向区间 \([l,p_1-1],[p_1+1,p_2-1],\cdots,[p_k+1,r]\) 连边表示 \(p_i\) 大于这些区间中的任何数。若干个点向若干个区间两两连边可以建虚点优化 + 线段树区间连边。注意只有当指向的节点为叶子结点时有指向的点的值要小于当前点的值，否则只需满足不大于。时间复杂度线性对数。
*P3589 [POI2015]KUR
求出现次数的题目可转化为求可能的出现位置数量，本题就运用了这一思想。我们定义小串 \(t\) 在 \(c\) 中的一次出现位置为 \(q\ (q\in [-1,n-m-1])\) 表示 \(\forall i\in[1,m],t_i=c_{q+i}\)。不难发现 \(>n-m\) 的 \(q\) 是不合法的，因为它们超出了范围。
枚举每个字符 \(t_i\)。若 \(t_i=\texttt 0\) 说明 \((a(q+i)+b) \bmod n\in [0,p−1]\)。这是一个不等式形式的限制，\(t_i=\texttt 1\) 同理。尽管在这样一个限制下 \(q\) 的解集可能不连续，但合法的 \(aq\) 范围一定连续（在 \(\bmod n\) 意义下），因为 \(aq+(ai+b)\bmod n\) 是一段区间，而 \(ai+b\) 是常数。
同时，由于题目保证了 \(a\perp n\)，所以一个 \(aq\) 解唯一对应一个 \(q\in [-1,n-2]\) 的解，所以我们只需求出合法的 \(aq\) 个数，但要去掉不合法的 \(q\)。
对于 \(m\) 个限制我们可以得到 \(m\) 个不等式，它的解集是在 \(\bmod n\) 意义下的一段区间，而所有解集的交除去所有不合法的 \(q\ (q\in [n-m,n-2])\) 所得到的 \(aq\) 后集合的大小即为所求。
注意求解集交不能直接对左端点取 \(\max\)，对右端点取 \(\min\)，因为我们是在 \(\bmod n\) 意义下求交（类似于环上区间求交），所以一个区间对应到 \([0,n-1]\) 上可能会形成两段区间，这是无法处理的，只能通过离散化 + 差分求覆盖次数解决。
除掉不合法的 \(aq\)：将所有这样的 \(aq\) 拎出来排个序，在（所有限制差分掉之后）求前缀和（后缀和也行，两种方法不同点在于如何用一个离散化的值 \(v_i\) 表示区间）的过程中用双指针扫一遍，表示落在当前离散化的值所表示区间的 \(aq\) 范围（从而求得数量），就可以在计算答案时去掉这些数的贡献了。时间复杂度线性对数。
**P3590 [POI2015]TRZ
神仙思维题，暴力能过就离谱，建议去 BZOJ 上提交。
施工 ing ……
P3591 [POI2015]ODW
比较套路的根号分治题目。由于当步长 \(>B\) 时最多走 \(\dfrac n B\) 步，所以我们设置一个阈值 \(B\)，表示若步长 \(\leq B\) 则使用预处理的信息，若步长 \(>B\) 则暴力树上倍增计算。
预处理的信息只需要 \(v_{k,u}\) 表示 \(u\) 每次向上跳 \(k\) 步能到达的所有节点权值之和，即 \(\sum\limits_{v\in \mathrm{ancestor}(u)}a_v[k\mid dep_u-dep_v]\)。可以在 \(\mathcal{O}(nB)\) 的复杂度内求得。
综上，时间复杂度 \(\mathcal{O}\left(nB+\dfrac{n^2}{B}\log n\right)\)，当 \(B\) 取 \(\sqrt{n\log n}\) 时有理论最优复杂度 \(n\sqrt{n\log n}\)。如果用长链剖分求树上 \(k\) 级祖先则可做到严格 \(n\sqrt n\)。
由于数据原因，实际表现中取 \(B=20\) 会很快。
*P3592 [POI2015]MYJ
区间 DP 好题。因为 \(c_i\) 具体值不重要，只关心相对大小，所以离散化 \(c_i\)。设 \(f_{l,r,x}\) 表示区间 \([l,r]\) 最小值不小于为 \(x\) 的答案。由于要输出方案所以记录 \(v_{l,r,x}\) 表示 \(f_{l,r,x}\) 的区间最小值取了 \(v_{l,r,x}\)，以及 \(d_{l,r,x}\) 表示 \(f_{l,r,x}\) 的分割点，这说明 \(f_{l,r,x}\) 由 \(f_{l,d_{l,r,x}-1,v_{l,r,x}}\) 和 \(f_{d_{l,r,x}+1,r,v_{l,r,x}}\) 转移而来。
转移枚举断点 \(k\)，则贡献为 \(f_{l,r,x}=cx+\max\limits_{k\in [l,r]}f_{l,k-1,x}+f_{k+1,r,x}\)，其中 \(c\) 是满足 \(l\leq a_i\leq k\leq b_i \leq r\) 的 \(i\) 的个数，可以在枚举 \(l,r,k\) 的时候 \(\mathcal{O}(m)\) 预处理。注意还要和 \(f_{l,r,x+1}\) 取 \(\max\)。时间复杂度 \(\mathcal{O}(n^3m)\)。
P3594 [POI2015]WIL-Wilcze doły
考虑实时维护对于当前 \([l,r]\) 所有连续 \(p\) 个数的和的最大值，前缀和 + 双指针 + 单调队列优化即可。\(r\to r+1\) 时往单调队列加入 \(\sum\limits_{i=r-p+2}^{r+1} a_i\)，不满足条件令 \(l\to l+1\) 时若单调队列队首是 \(\sum\limits_{i=l}^{l+p-1}a_i\) 则弹出。时间复杂度线性。
*P3596 [POI2015]MOD
提供一个被卡空间的做法：设 \(d(S)\) 表示点集 \(S\) 的直径的两个端点，因为 \(d(S\cup T)\subseteq d(S)\cup d(T)\)，而断掉一条边之后形成的子树 dfs 序连续，所以考虑倍增记录一段连续 dfs 序对应点集的直径端点。合并两个点集总共四个直径端点，只需要对这些点任意两两组合的六组点分别求树上距离，取距离最大的那组即可。
因此我们需要 \(\mathcal{O}(1)\) 求树上 LCA，考虑 \(\mathcal{O}(n\log n)-\mathcal{O}(1)\) RMQ 求解，时空复杂度即 \(\mathcal{O}(n\log n)\)。但因为我们开了过多倍增数组所以无法通过，只能获得 \(30\) 分的好成绩。
正解是换根 DP。断掉一条边 \((u,v)\ (u=fa_v)\) 后 \(v\) 子树内的直径可以在最开始一遍 dfs 求出，因此考虑包含根的连通块的直径如何得到，设其长度为 \(g_v\)。
若直径不经过 \(u\)，有两种情况：断掉 \((u,fa_u)\) 后包含根的连通块的直径即 \(g_u\)，或 \(u\) 除 \(v\) 以外的所有子节点的子树直径最大值。
若直径经过 \(u\)，也有两种情况：\(u\) 的子树内最长的两条以 \(u\) 为一端且不经过 \(v\) 的链之和（通俗地说，就是 \(u\) 向下最长的不经过 \(v\) 的两条链），或 \(u\) 向下最长的不经过 \(v\) 的链加上经过 \((u,fa_u)\) 这条边且以 \(u\) 为一端的最长链（即 \(u\) 向上的最长链）。
综合一下，我们需要预处理出 \(u\) 向下最长的三条链 ，\(u\) 的所有儿子的子树最长的两个直径，并且在换根 DP 的过程中同时求出 \(u\) 向上的最长链（可以由 \((u,fa_u)\) 这条边与 \(fa_u\) 向上的最长链或者 \(fa_u\) 向下不经过 \(u\) 的最长链拼起来得到）。
求出断掉每一条边后形成的两个连通块的直径 \((u,v)\) 和 \((x,y)\) 后，显然最长直径为 \(u/v\) 和 \(x/y\) 相连，最短直径为 \((u,v)\) 中点与 \((x,y)\) 中点相连，从而求得新的直径的最大值和最小值，更新答案。
记录最大值和最小值分别由断掉哪一条边得到，最后再断掉这条边，暴力地对于两个连通块，分别对最大值求直径两端，对最小值求直径中点。时间复杂度线性，写起来比较麻烦。
P3597 [POI2015]WYC
非常显然的矩阵快速幂，由于边权只有 \(3\) 所以拆点，存储 \(f_{i,j},f_{i,j+1}\) 和 \(f_{i,j+2}\) 表示以 \(i\) 结尾的长度为 \(j,j+1,j+2\) 的路径数量。最后再计一个 \(sum\) 表示路径总数，得到转移矩阵 \(B\)。预处理出 \(B^1,B^2,\cdots,B^{61}\)，然后倍增求解即可。时间复杂度 \(\mathcal{O}(n^3\log k)\)，有 \(27\) 倍常数。注意矩阵每个数在任何时候都要对 \(k\) 取 \(\min\)。
2016
*P5970 [POI2016]Nim z utrudnieniem
根据取石子游戏的经典理论，我们需要选出 \(k\) 堆石子，使得 \(k \neq 0\)，\(d\mid k\) 且这 \(k\) 堆石子的异或和等于 \(\bigoplus a_i\)。
考虑设计 \(f_{i, j, k}\) 表示前 \(i\) 堆石子中选出 \(\bmod d = k\) 堆，异或和为 \(j\) 的方案数，直接做的复杂度是 \(\mathcal{O}(2 ^ {20}dn)\)，因为不大于 \(10 ^ 6\) 的数最大可能异或出 \(2 ^{20} - 1\)，无法接受。但注意到 \(\sum a_i\) 有限制，说明有很多堆石子，石子数都很少。因为石子顺序不影响答案，如果我们按从小到大的顺序排列石子，那么前 \(i\) 堆石子能够异或得到的所有数均不超过不小于 \(a_i\) 的最小的 \(2\) 的幂 \(2 ^ r < 2a_i\)，这样一来我们只需枚举到 \(2 ^ r\) 而非 \(2 ^ {20}\)。总复杂度均摊下来就是 \(\sum a_i\) 而非 \(a_i \times n\)。故可以通过，时间复杂度 \(\mathcal{O}(md)\)，空间复杂度使用滚动数组优化后为 \(\mathcal{O}(2 ^ {20} d)\)。
2017
P5968 [POI2017]Reprezentacje ró?nicowe
注意到当 \(n > 56\) 时，\(a_n > 10 ^ 9\)，所以接下来只有 \(a_{2k} - a_{2k - 1}\) 对答案有贡献，且依次是前 \(56\) 个数两两作差组合不出来的数从小到大排列的结果。预处理前 \(56\) 项两两差，每次询问二分即可。时间复杂度 \(\mathcal{O}(n\log(\log^2 x))\)。
2018
*P5952 [POI2018]水箱
还算有意思的一道题目。对整个网格图求最小生成树。合并 \(x, y\) 的方案数即 \((f_x + w - w_x)(f_y + w - w_y)\)。其中 \(f_x\) 表示该连通块当前的方案数，\(w\) 表示当前高度，\(w_x\) 表示该连通块当前高度，初始值为 \(-1\)。合并时实时更新 \(f\) 和 \(w\)。时间复杂度线性对数。
2019
P6659 [POI 2019] Najmniejsza wspólna wielokrotność
\(b - a \leq 2\) 容易判断，对于 \(b - a \geq 3\) 的，发现 \(a\leq 5\times 10 ^ 4\)，所以预处理所有左端点 \(\leq 5\times 10 ^ 4\) 的区间的 \(\mathrm {lcm}\) 的答案，用 map 存储。时间复杂度线性对数。
P6661 [POI 2019] Pomniejszenie
阴间模拟题。考虑求出使得 \(A, B\) 不同的第一个位置 \(p\)，有如下限制：
- 需要修改的位置数量不能超过 \(k\)。
- 没有考虑到的位置数量不能小于还需要修改的位数。
具体地，对于每一位 \(i\)，求出 \(s\) 表示在第 \(i\) 位之前有多少 \(A\neq B\) 的位置。\(i\) 合法的必要条件是 \(B_i \neq 0\)，先判掉。由于上述限制要求修改位置数量既不能太小，也不能太大，所以需要考虑当前位是否修改：
- 若 \(A_i < B_i\)，说明可以不修改。此时若 \(s \leq k\) 且 \(n - i \geq k - s\) 则 \(i\) 合法。
- 若 \(B_i > 1\) 或 \(A_i > 0\)，说明可以 强制 修改（因为当 \(A_i = 0, B_i = 1\) 时不能修改）。此时若 \(s + 1\leq k\) 且 \(n - i \geq k - s - 1\) 则合法。
若找不到合法的 \(p\) 则无解。输出答案的过程时刻维护 \(k\) 表示还需要修改的位数：
- 若当前位 \(i\) 小于 \(p\)，输出 \(B_i\)。
- 若当前位 \(i\) 等于 \(p\)，此时当 \(n - i - 1 = k\) 且 \(A_i + 1 = B_i\) 时输出 \(B_i - 2\)，否则输出 \(B_i - 1\)，前者因为这一位必须修改（否则将导致剩余位数小于要修改位数，不合法）。
- 若当前位 \(i\) 大于 \(p\)，此时当 \(n - i - 1 = k\) 且 \(A_i = 9\) 时输出 \(8\)，否则输出 \(9\)。
- 注意点：若输出的数码与 \(A_i\) 不同，则令 \(k\) 自减 \(1\)。
- 注意点：任何时刻若 \(k = 0\)，则输出 \(A_i\)。
时间复杂度线性。
