「解题报告」PJudge NOIP Round #5

要春季赛了，我要寄了。

所以做做联赛题吧。

link

青鱼和序列

容易发现最后的和一定是当前所有数的和的固定倍加上一些正着或者反着的答案。

然后发现如果你进行了一次操作 2，那么正着的数量与反着的数量相等，此时你进行哪个操作都会保持这个性质，这也意味着最后的和只有两种情况，两种取 $max$ 即可。

青鱼和怪兽

[ARC016D] 軍艦ゲーム的弱化版，做法一模一样。

写出 DP： $f_{i, j}$ 表示玩家血量为 $i$ ，怪物血量为 $j$ 时的期望步数。容易写出 DP 式子：

\begin{aligned} f_{0, i} & = f_{n, m} \\ f_{i, 0} & = 0 \\ f_{i, j} & = min {p f_{i, j - 1} + (1 - p) f_{i - 1, j}, f_{n, m}} \end{aligned}

有环还有 $min$ ，这啥玩意。

我们改写一下 DP：将 $f_{n, m}$ 换成 $x$ ，那么有：

\begin{aligned} f_{0, i} & = x \\ f_{i, 0} & = 0 \\ f_{i, j} & = min {p f_{i, j - 1} + (1 - p) f_{i - 1, j}, x} \end{aligned}

然后假如你将 $f_{i, j}$ 对 $x$ 求导数，发现如果不考虑不考虑不可导的位置，导数一定在 $[0, 1]$ 内（容易归纳法证明）。那么 $f_{n, m} - x$ 的导数就是在 $[- 1, 0]$ 内，也就是说 $f_{n, m} - x$ 是单调递减的。而显然答案的 $f_{n, m}$ 肯定要等于 $x$ ，那么我们就可以二分这个 $x$ 了。

青鱼和区间

一开始思路是对的，但是没考虑清楚。

设 $S_{i}$ 为覆盖 $i$ 的线段的集合，那么题目的条件就是让 $S_{i}$ 互不相等。

互不相等很不好求，考虑容斥，那么就是考虑将总方案数减去有一些 $S_{i}$ 相等的情况。

一开始我的想法是将相邻的相等的位置合并成一个数，但是发现可能不相邻，然后炸了。

实际上想一想可以发现，假如有若干 $S_{i}$ 相等的位置，假如我们从第一个位置和最后一个位置将这一段数划分开，那么发现所有的区间要不然没有交，要不然包含这一整段，要不然完全包含在这一段内。而我们可以从左往右，每次选取极大的一块 $S_{i}$ 相等的位置，就能将整个序列划分成若干块。那么我们就可以把每一段看做一个数，这段里面的线段可以随便选取，而包含整段的线段实际上就是我们要求的问题，就能递归下去了。

设 $c_{i} = 2^{(\binom{i + 1}{2})}$ ，即从一段长为 $x$ 的区间中任意选取若干线段的方案数。那么对于划分出的一段长为 $i$ 的区间，内部的方案数就是 $c_{i - 2}$ 。

设 $f_{i}$ 为 $i$ 个数使得两两 $S_{i}$ 不相等的方案数， $g_{i, j}$ 表示将 $i$ 个数划分成 $j$ 段的方案数（包括内部选取的方案），那么就有转移 $f_{i} = c_{i} - \sum_{j = 1}^{n - 1} g_{i, j} f_{j}$ 。 $g_{i, j}$ 容易 DP 求出，复杂度 $O (n^{3})$ 。