Educational Codeforces Round 119 (Rated for Div. 2) EFG 题解

Solution

赛时切了 ABCDEG，不会 F。

E

考虑使用若干个集合 $S_i$ 维护各个数出现的位置，那么两个操作分别可以被抽象为：

• 在一个集合中加入一个数。
• 将集合 $S_x$ 合并到集合 $S_y$ 处。

对于操作一，直接插入即可。
对于操作二，考虑启发式合并：

• 若 $|S_x|<|S_y|$，则枚举 $v\in S_x$ 并将 $v$ 插入到 $S_y$ 中，最后将 $S_x$ 清空。
• 若 $|S_x|>|S_y|$，则枚举 $v\in S_y$ 并将 $v$ 插入到 $S_x$ 中，接着将 $S_x$ 与 $S_y$ 调换位置，最后将 $S_x$ 清空。

我们需要一个 $O(1)$ 插入，$O(1)$ 交换的数据结构，不难想到 STL 中的 vector。其交换的底层实现是直接交换指针，所以插入和交换也是 $O(1)$ 的；相信，写过长链剖分优化 $\text{dp}$ 的 Oier 都知道。

于是，总复杂度与启发式合并同阶，为 $O(n{\log }^{2}n)$。AC链接。

因此啊，这题做法与《五彩斑斓的世界》毫无关联，不要像我一样，数据结构学傻了。

F

似乎是比赛中最难的一道题，至少本蒟蒻 VP 时及赛后看题解之前着实不太会做。

Key Observation

序列 $t$ 为二分序列当且仅当其中不存在长度为 $3$ 的下降子序列。

算法一

做过 NOI 2018 冒泡排序的人应该都很容易想到算法一吧。

考虑 $\text{dp}$。

令 $f_{i,M,m}$ 表示，钦定了序列的前 $i$ 位，目前的最大值为 $M$，目前没有作为前缀最大值的最大值为 $m$ 时，这个状态能够达到 $(0/1)$。

考虑转移。假设这一位填上了 $k(k=\pm p_i)$。

• 若 $k<m$，则不能填 $k$，不可转移。
• 若 $m\le k\le M$，则有转移 $f_{i,M,m}\to f_{i,M,k}$。
• 若 $M<k$，则有转移 $f_{i,M,m}\to f_{i,k,m}$。

边界: $f_{0,-\infty ,-\infty }=1$。

记录转移来源即可构造出一组解。然而，时间复杂度为 $O(\sum n^3)$，无法接受。

下面的算法就是我没想到的了，感觉还是对今后的做题有一定启发意义的。

算法二

考虑对状态设计进行转化——令 $g_{i,j}$ 表示，看了 $[1,i]$，最大值为 $j$，没有作为前缀最大值的数的最大值最小可以为多少（有些绕口，建议多读几遍）。

为什么可以进行转化呢？这是因为，若 $k_1>k_2$，纵使 $f_{i,j,k_1}=f_{i,j,k_2}=1$，$f_{i,j,k_1}$ 依然是比 $f_{i,j,k_2}$ 差的。我们完全可以摒弃其中较差的那一个。

考虑 $g$ 如何转移。假设这一位填上了 $k(k=\pm p_i)$。

• 若 $k<g_{i,j}$，则无法转移。
• 若 $g_{i,j}\le k\le j$，则有转移 $g_{i+1,j}:=\min (g_{i+1,j},k)$。
• 若 $j<k$，则有转移 $g_{i,j}\to g_{i+1,k}$。

边界: $g_{0,-\infty }=1$。

时间复杂度 $O(n^2)$，无法通过本题。

算法三

与算法二同构，唯一的区别在于 $g_{i,j}$ 中 $j$ 与 $g_{i,j}$ 的实际意义调换了一下。

算法四

仔细观察我的代码，你会发现——转移的过程中，要么新的 $j$ 等于 $k$，要么更新的值等于 $k$！

因此啊，状态 $g_{i,j}$ 合法，当且仅当 $j=k$ 或 $g_{i,j}=k$。

综上所述，我们定义状态 $h_{i,p,q}$ 表示，目前看了 $[1,i]$，目前最大值还是非前缀最大值的最大值为 $k$（$p=0/1$），以及目前 $k$ 是 $p_i$ 还是 $-p_i$（$q=0/1$），其中 $h_{i,p,q}$ 存储的是另一个的最大值。这样一来，只要结合算法二与算法三的转移，总复杂度就是线性的了。

总复杂度 $O(n)$，完美解决本题。代码懒得写

Summary

本题是一道非常不错的 $\text{dp}$ 题，有一定难度。

首先，我们应该凭借直觉猜出 Key Observation，然后凭借已有的做题经验顺理成章地想出 $O(n^3)$ 的算法一。关键在于优化。

算法一中的 $\text{dp}$ 存储的只有 $0,1$ 而没有具体的值，并且同对 $(i,j)$ 对应的 $k$ 之间有鲜明的强弱关系，这引导我们将第三维缩掉作为存储的值。于是得到 $O(n^2)$ 做法。

接着，我们需要察觉到——对于一个二分序列，从左往右扫描的过程中，一个数要么作为非前缀最大值中的最大值，要么作为前缀最大值，否则不合法。因此，得到结论——状态合法当且仅当其存储的值或其第二维度就是 $k$。然后就能得到线性的正解了。

观察整个思路流程，其实就是秉承了降维的思想，先后使用分明的强弱关系以及题目的特别性质将后两维缩掉。因此，我们要细致观察强弱关系是否鲜明以及特别性质，以便于最终将状态优化数到可以接受的量。

G

板子题。

令 $f_s$ 表示，集合 $s$ 中的字符串的 $f$ 值。
令 $g_s$ 表示，作为 $s$ 中所有字符串的公共子序列的字符串数量。

通过容斥，容易得到

$$f_s=\sum _{t\in s}(-1{)}^{|t|-1}{g}_t$$

显然，只要求出了 $g$，则可以通过一遍 FWT $O(2^{n}n)$ 地求得 $f$；所以关键在于如何求出 $g$。

注意到各个字符串中字符都是有序的，所以不难发现——若字符串 $T$ 是 $S_{s_1},S_{s_2},\cdots ,S_{s_k}$，当且仅当 $T$ 是有序的，且 $\forall c\in [1,26]$，$T$ 中 $c$ 出现的次数不超过 $S_{s_1},S_{s_2},\cdots ,S_{s_k}$ 中的任何一个字符串中 $c$ 的数量。因此，通过乘法原理很容易得出，$g_s$ 就是 $s$ 中各个字符串中 $1$ 出现的次数的最小值 $\times$ $2$ 出现次数的最小值 $\cdots$ $\times$ $26$ 出现次数的最小值。通过递推可以做到 $O(2^n\times 26)$。

从而，总复杂度为 $O((n+26)2^n)$，可以通过本题。AC链接。