IOI2020国家集训队作业 Part 1

CF504E Misha and LCP on Tree

对于序列上的问题，可以考虑哈希+二分，对于树上的问题，只需使用树剖将一条路径分成序列上的 \(O(\log n)\) 个区间即可，时间复杂度 \(o(n\log n)\)。

CF505E Mr. Kitayuta vs. Bamboos

二分答案，考虑时光倒流，初始所有竹子高为 \(\text{mid}\) ，每个竹子每秒会下降 \(a_i\) 高度，你每秒可以给 \(k\) 个竹子拉高 \(p\) ，问是否可以使得所有竹子高度在规定时间内恒 \(\ge 0\) 。

用堆维护每个竹子 \(<0\) 的时间，贪心地加即可。

CF506E Mr. Kitayuta's Gift

令 \(dp[l][r][i]\) 表示回文串边上长为 \(i\) 的前后缀正好能和 \(s[1,l]\)、\(s[r,n]\) 匹配的方案数，直接以前两维为状态矩乘时是 \(o(|s|^6\log n)\) 的。

容易发现这是一个在自动机上的转移，自动机上只有两种本质不同的节点，而且经过点的顺序不影响答案，因此可以先 \(dp\) 求出经过每种节点数的路径各有多少条，将自动机改成两条链的形式，在链之间连边，节点数是 \(2\times |s|\) 的，\(O(|s|^3\log n)\) 。

CF516D Drazil and Morning Exercise

发现 \(f\) 以直径中点为根，向叶子方向递增，预处理之后，双指针维护即可。

CF516E Drazil and His Happy Friends

CF521D Shop

发现操作一定是先赋值，再加，再乘，加法一定是先加大的再加小的，可以预处理出前两种操作的贡献，将其统一为乘法，贪心选取即可。

CF526F Pudding Monsters

转化为排列，区间合法等价于 \(\max_{i=l}^ra_i-\min_{i=l}^ra_i=r-l+1\)，即 \(\max_{i=l}^ra_i-\min_{i=l}^ra_i-r+l-1=0\)，由于 \(\max_{i=l}^ra_i-\min_{i=l}^ra_i-r+l-1\ge 0\)，对右端点扫描线，对左端点维护区间最小值及最小值个数即可。

CF526G Spiders Evil Plan

以直径的端点做根，先不考虑 \(x\) 的限制，问题转化为选 \(2y-1\) 个叶子使得权值和最大，显然可以贪心，然后考虑 \(x\) 的影响，如果当前联通块包含了 \(x\) ，那么直接返回答案，否则要将原有答案去除一段，将 \(x\) 到它最近的被选中的祖先的一段加上，这一段有可能是那个祖先原来在的那一段，也有可能是被选中的第 \(2y-1\) 段，两种情况取 \(\max\) 即可。

CF527E Data Center Drama

将度数为奇数的点匹配，如果总边数为奇数，再加一个自环，跑欧拉回路，欧拉回路中每个点入度等于出度，隔位取反即可保证出入度均为偶数。

CF536D Tavas in Kansas

分别预处理出 \(s,t\) 到每个点的距离，然后离散化，每次至少取一个点，预处理出每个状态下一步至少要走到哪里，转移时用可以选的权值总和减去这个位置开始另一个人先手收益的后缀 \(\min\) 即可。

CF538G Berserk Robot

将坐标系旋转 \(45^{\circ}\) ，同时放大到原来的 \(\sqrt 2\) 倍。

这样 ULDR 对应的就是 \((1,1),(-1,1),(-1,-1),(1,-1)\)，可以分开考虑横纵坐标了。

另一个周期内 \(x\) 轴的移动距离为 \(t_x\) ，对于 \(t=l\times \lfloor\dfrac{t}{l} \rfloor+k\) ，有 \(s=t_x\times \lfloor\dfrac{t}{l} \rfloor+s_k\) 。

将坐标按 \(k\) 排序，对于相邻两项，有 \(|s_a-s_b|\le |a-b|\) ，这些限制可以转化为对 \(t_x\) 的限制，求解出 \(t_x\) 的范围后，选取一个合法解即可解除每个 \(s_i\) ，进而构造出操作序列，\(y\) 轴同理。

CF538H Summer Dichotomy

先不考虑 \(t,T\) 的限制，可以证明 \(n_1 = \min_{i=1}^n r_i\) ，\(n_2 = \max_{i=1}^n l_i\) 是最优的。

证明如下：

将所有 \([l_i, r_i]\) 当作一条数轴上的线段，那么有三种情况：

有三条线段两两不交，则无解。
所有线段两两有交，即有 \(n_1 \ge n_2\) ，则在这种情况下，每个老师都可以随意的选择小组。
\(n_1 < n_2\)，在这种情况下，显然 \(n_1\) 不能更大，而更小则不优，\(n_2\) 同理。

因此 \(n_1 = \min_{i=1}^n r_i\) ，\(n_2 = \max_{i=1}^n l_i\) 一定是最优的。

如果考虑 \(t,T\) 的限制呢？可以发现，若 \(n_1 + n_2 < t\)，则无论哪种情况下，只增大 \(n_2\) 是最优的；若 \(n_1 + n_2 > T\)，则无论哪种情况下，只减小 \(n_1\) 的最优的。

因此我们可以直接求出最优的 \(n_1,n_2\) ，最后做一次二分图染色即可，时间复杂度 \(O(n+m)\) 。

CF547D Mike and Fish

将横坐标或纵坐标相同的点两两匹配，剩下的则不管，考虑每个点最多连出来两条边，并且一定一条横着一条竖着，图中一定不存在奇环，对这张图二分图染色即可。

CF547E Mike and Friends

建 \(\text{AC}\) 自动机，相当于询问 \(\text{fail}\) 树上 \(s_l...s_r\) 有多少个节点在 \(s_k\) 末尾节点的子树中出现，扫描线即可。

CF553E Kyoya and Train

首先给出暴力 \(dp\) 的形式：

设 \(f_{i,j}\) 表示到点 \(i\) 且已经过去 \(j\) 时间后，在最优决策下的最小花费，则我们的目标即为 \(f_{1,0}\) 。

转移如下：

\[f_{i,j} = \begin{cases}0 & i = n, j \le t \\ x & i = n, j > t \\ \operatorname{dist}(i, n) + x & i \ne n, j \ge t \\ \min_{a_k = i} \left(\sum_{l=1}^t p_{k,l}f_{b_k,j+l} + c_k\right) & i \ne n, j < t \\ \end{cases} \]

其中 \(\operatorname{dist}(x,y)\) 表示 \(x \to y\) 的最小花费。

考虑这个 \(dp\) 的正确性，由于转移时 \(j\) 严格变小，因此这个 \(dp\) 实际上是个 \(\text{DAG}\) 。

直接做的话，总转移数是 \(\mathcal O(mt)\) 的，每次转移需要 \(\mathcal O(t)\)，总时间复杂度 \(\mathcal O(mt^2)\)，显然不够优秀。

注意到 \(\sum_{l=1}^t p_{k,l}f_{b_k,j+l}\) 是一个卷积，考虑分治 \(\text{FFT}\) 优化，时间复杂度降为 \(\mathcal O(mt\log^2 t)\) 。

另外，在算 \(\operatorname{dist}(x,y)\) 的时候可以 \(\text{Floyd}\)，时间复杂度 \(\mathcal O(n^3)\) 。

CF555E Case of Computer Network

对于一个边双连通分量内部的点，我们一定有办法让它们之间可以互达，边双缩点变成一棵树，要求的就是给边定向后是否会发生冲突，树上差分打标记，\(\text{dfs}\) 一遍即可。

CF559E Gerald and Path

首先对一端位置排序。

考虑 \(dp\)，设 \(f_{i,j,p}\) 表示考虑前 \(i\) 条线段，最靠右的线段是第 \(j\) 条，其方向为 \(p\)（\(0\) 左 \(1\) 右）。

考虑如何转移，从小到大枚举 \(i\) 后面的线段以及它的方向，同时维护枚举过的线段中最靠右的线段以及它的方向。

设线段 \(j\) 在 \(p\) 方向的右端点是 \(o\)；此时枚举到线段 \(k\)，它的方向为 \(q\)，长度为 \(l\)，右端点是 \(t\)；枚举过的线段中最靠右的线段是 \(x\)，它的方向为 \(y\)，右端点是 \(z\)。

那么有转移 \(f_{k,x,y} \leftarrow f_{i,j,p} + \min(l, t - o) + z - t\) ，时间复杂度 \(\mathcal O(n^3)\) 。

CF566C Logistical Questions

点分治，枚举分治中心为中心算答案，对代价求导判断真正的重心在哪棵子树中。

CF566E Restoring Map

首先考虑非叶子节点，两个节点 \((x,y)\) 之间有边当且仅当能找到两个集合交集恰好是 \((x,y)\)，可以以 \(O(\dfrac{n^3}{w})\) 的复杂度将这一部分求出来，考虑给叶子节点找父亲，首先，包含这个节点的最小集合一定就是它的集合，将这个集合中的叶子节点删去就是它父亲节点与非叶子节点之间的边集，通过边集找到它的父亲，这部分的复杂度是 \(O(\dfrac{n^2}{w})\) ，总复杂度 \(O(\dfrac{n^3}{w})\) 。

CF568C New Language

贪心枚举 \(\text{lcp}\) ，\(\text{2-SAT}\) \(\text{check}\) 。

CF568E Longest Increasing Subsequence

首先重复填数对答案没有影响,,所以先忽略这个条件。

记 \(f_i\) 为以 \(i\) 为结尾的 \(\text{LIS}\) 的长度，\(g_i\) 为以 \(i\) 为结尾的 \(\text{LIS}\) 的上一位。

记 \(Min_x\) 为当前长度为 \(x\) 的 \(\text{LIS}\) 的最小的结尾 \(pos_x\) 当前长度为 \(x\) 的 \(\text{LIS}\) 的最小的结尾的位置。

这些都可以简单 \(dp\) 出来。

然后我们考虑怎么构造方案。

不是 \(-1\) 的位置 \(x\) 我们可以直接跳到 \(g_x\) 。

如果 \(x\) 所在的位置是 \(-1\)，那么我们优先找 \(a_y ≠ -1\)，且 \(a_y<a_x,f_y=当前的长度 -1\)，那么我们就跳到位置 \(y\) 。

否则，我们就只能跳到最近的一个 \(-1\) 的位置，时间复杂度 \(O(n\log n+m\log m+(n+m)k)\) 。

CF571D Campus

动态开点线段树维护每个集合被修改的时间，启发式合并，同时记录每次合并的时间，只统计有用操作。

CF571E Geometric Progressions

CF573E Bear and Bowling

一个比较显然的 \(dp\) 思路：我们设 \(dp_{i,j}\) 表示前 \(i\) 个数已经选了 \(j\) 个数的最大答案，容易推出转移方程：

\[dp_{i,j}=\max\{dp_{i-1,j},dp_{i-1,j-1}+s_i\times j\} \]

但是我们发现这个 \(dp\) 是 \(O(n^2)\) 的，考虑优化。

我们考虑 \(\max\) 式子里面的两个元素 \(dp_{i-1,j}\) 和 \(dp_{i-1,j-1}+s_i\times j\) 。

关键来了，我们可以发现这两个各为一个凸函数（如果把他们在 \(i\) 上的取值描成点连起来的话），并且这两个图像有且仅有一个交点，因为右式相当于在左式的基础上向右平移并增加一个变化的率（有点类似于加速度）。

形象来说，这两个的图像大致是这样的：

于是我们可以来二分这个具有可二分性的交点。在这个交点之前，我们取 \(dp_{i,j}=dp_{i-1,j}\) 。之后，我们取 \(dp_{i,j}=dp{i-1,j-1} + s_i \times j\) 。

然后由于式子的转移实际上是给当前的区间加上了一个等差序列，所以就可以用平衡树来维护了。

CF575A Fibonotci

容易想到矩乘，需要快速维护和计算一些矩阵的乘积，线段树即可。

CF575E Spectator Riots

CF575I Robots protection

考虑到四种方向是对称的，我们只考虑其中一种情况，比如说直角顶点在左下角的情况，令三个顶点为 \((x,y), (x+l,y), (x,y+l)\) 。

首先我们发现需要加的所有点 \((x',y')\)，都满足 \(x+y\le x'+y'\le x+y+l\)，这个东西用一棵树状数组就可以维护：

然后我们就是要减去这两块：

我们考虑如何减去，观察这些点的性质，首先均满足 \(x'+y'\in [x+y,x+y+l]\)，然后其还满足 \(x'<x\) 或 \(y'<y\) 。于是我们可以考虑开两棵二维树状数组，一棵维护下标 \((x+y,x)\)，另一棵维护下标 \((x+y,y)\)，然后在这两棵树状数组上矩阵加即可。

时间复杂度 \(\mathcal{O}(q\log^2n)\)，空间 \(\mathcal{O}(n^2)\) 。

CF576D Flights for Regular Customers

将边按时间排序，一条一条加进去，\(\text{bitset}\) + 矩阵快速幂即可。

CF576E Painting Edges

需要开 \(50\) 个并查集的线段树分治判断二分图。

CF578E Walking!

显然本题等价于将字符串划分成若干个 L，R 交错的子序列, 最小化子序列的个数。

那么我们从左向右扫描字符串，贪心地将当前地字母插入之前地子序列中。

我们看看这种情况：RLLR ，这个字符串可能被我们划分成: RL 和 LR 。我们发现他没有办法拼接了，需要划分成 RLR(1,2,4) 和 L(3) 才满足条件。

分类讨论稍微有些麻烦，我们进一步观察发现我们发现我们可以将所有 RL (指开头为 R 结尾为 L 的子序列) 拼成个 RL ，LR 也可以。

所以我们发现只有当所有的子序列都为 RL 和 LR (即无 RR 和 LL )的情况我们才无法拼接，并且此时两种子序列均至少有一个。

这是我们不妨取出一个 RL 和一个 LR ，根据它们结尾的位置关系我们必然可以把它们变一个 RR 和 LL ，比如若 LR 的结尾在 RL 结尾之后，我们将 LR 的结尾接给 RL 就行了。

这样可以避免分类讨论了，时间复杂度 \(\mathcal O(n)\) 。

CF578F Mirror Box

我们依次考虑两个条件：

光线要从邻边射出：说明我们需要将每两个边缘用线封闭起来，这说明图需要是连通的，画图可以发现，不连通的画光线一定会跑出去的。
每一条网格线都存在 \(1\) 中的一条光线，满足这条光线经过这个网格线：说明不能存在环，如果有环的话，因为环是封闭的，光线不可能进入

将放镜子转化为在 \((n+1)\times(m+1)\) 的点阵中连边，将点阵黑白染色，可以发现，合法的方案对应于黑/白格子的生成树。

把已知的边连上并查集缩点，然后跑两遍矩阵树定理，加起来就是答案。

CF582D Number of Binominal Coefficients

令 \(v_p(n)\)（\(p\) 是质数，\(n\) 是正整数）表示 \(n\) 的标准分解式中的 \(p\) 的幂次。

可以发现 \(\displaystyle v_p \!\left( \binom{a + b}{a} \right) = v_p( (a + b)! ) - v_p(a!) - v_p(b!)\) 。

将 \(a, b\) 表示为 \(p\) 进制数后，不难发现，在 \(p\) 进制下进行 \(a\) 和 \(b\) 的加法运算时，进位的次数恰好等于 \(\displaystyle v_p \!\left( \binom{a + b}{a} \right)\) 。

所以将 \(A\) 转为 \(p\) 进制数（朴素实现的时间复杂度为 \(\mathcal O (\log A \cdot \log_p A)\) 后进行数位 \(dp\) 即可。

令 \(f(i, j, 0/1, 0/1)\) 表示当位数从高到低考虑到 \(A\) 的第 \(i\) 位，总共进位了 \(j\) 次，\(a + b\)（小于 / 等于）\(A\) 且（不接受 / 接受）低一位的进位时的 \(a, b\) 的取值方案数。以 \(i\) 作为阶段，从大到小进行转移。则答案为 \(\displaystyle \sum_{j \ge \alpha} f(0, j, 0, 0) + f(0, j, 1, 0)\) 。

时间复杂度为 \(\mathcal O \!\left( \log_p A \!\left( \log A + \log_p A \right) \right)\) 。

CF582E Boolean Function

先建出表达式树，设 \(f[i][j]\) 表示树中点 \(i\) 处将 \(n\) 个值压缩成 \(j\) 的方案数。

对于一个非叶节点 \(i\) 转移为：

\[f[i][x] = \sum_{x = y \oplus z} f[j][y] \times f[k][z] \]

因此可以 \(\text{FWT}\) 优化，总时间复杂度 \(\mathcal O(|\texttt{s}|n2^n)\) 。

CF585E Present for Vitalik the Philatelist

令 \(s_n\) 表示最大公因数恰好为 \(n\) 的集合个数，\(f_n\) 表示与 \(n\) 互质的数的个数。

那么我们要求的就是 \(\sum_i s_if_i\) 。

考虑求出 \(s\) 和 \(f\) 。

考虑计算 \(f_i\) 。令 \(c_i\) 表示数 \(i\) 的出现次数。

莫比乌斯反演：

\[f_n=\sum_i[\gcd(i,n)=1]c_i \\ =\sum_ic_i\sum_{d|i,d|n}\mu(d) \\ =\sum_{d|n}\mu(d)\sum_{d|i} c_{_i} \]

我们令 \(g_k=\sum\limits_{k|i}c_i\) ；\(g'_k=\mu(k)g_k\) ，那么 \(f_n=\sum\limits_{d|n} g'_d\) 。

发现这个 \(g_i\) 就表示 \(i\) 的倍数的出现次数。

再考虑求 \(s_i\) 。我们令 \(s'_i\) 表示最大公因数为 \(i\) 的倍数的方案数。要使最大公因数为 \(i\) 的倍数，那么每个选的数必须是 \(i\) 的倍数。所以容易得到 \(s'_i=2^{g_i}-1\) 。

我们有 \(s'_i=\sum\limits_{i|d}s_d\) 。

观察上面的式子的形式，他们都是这样的形式：

\[b_k=\sum_{i|k}a_i \\ b_k=\sum_{k|i}a_i \]

其中，上面的式子为狄利克雷前缀和，下面的式子为狄利克雷后缀和。

计算 \(g\) 和 \(f\) 都是标准的狄利克雷前/后缀和形式，可以在 \(O(w\log\log w)\) 的时间复杂度内完成。

但还有个问题，已知 \(a\) 求 \(b\) 能做了，但是那个 \(s\) 的计算，是已知 \(b\) 求 \(a\) 的。

前面是加，那现在就把它逆回去就好了。具体就是把两重循环的反向，然后把加法改成减法就可以辣。当然也可以用高维前缀和的知识解释。

总时间复杂度 \(O(n+w\log\log w)\)。

CF585F Digits of Number Pi

CF587D Duff in Mafia

首先二分答案，若此时二分的值为 \(o\)，则所有 \(> o\) 的边都不能选。

每条边有选和不选两种状态，所以考虑 \(\text{2-SAT}\)。设第 \(i\) 条边的状态为 \(x_i\) 表示选择它，\(x^{\prime}_i\) 表示不选。连边如下：

对于一定不能选的边，连边 \(x_i \to x^{\prime}_ i\) 。
对于选出的边一定要是一个匹配，考虑一个点 \(p\) 上的所有边 \(x_{1\dots k}\) ，连边 \(x_i \to x^{\prime}_ j(i \ne j)\) 。
对于剩下的边每种颜色也一定要是一个匹配，考虑一个点 \(p\) 上颜色相同的所有边 \(x_{1\dots k}\) ，连边 \(x^{\prime}_ i \to x_j(i \ne j)\) 。

对于 \(2,3\) 类批量连边的情况，可以使用前缀和优化建图，时间复杂度 \(O((n+m)\log w)\) 。

CF587F Duff is Mad

CF590E Birthday

建出 \(\text{AC}\) 自动机，考虑建出字符串之间的包含关系图。

因为 \(\sum\limits_{i=1}^n |s_i| \leq 10^7\)，所以我们不能在 \(\text{AC}\) 自动机上暴力跳，而是在 \(\text{AC}\) 自动机上用并查集维护 \(\text{fail}\) 树上的上一个点，然后暴力跳 \(\text{trie}\) 树上的父亲直到跳到一个存在的字符串即可。

然后 \(O(n^3)\) 把多余的边建出来，直接求最长反链方案即可。

最长反链方案怎么求？

建出拆点二分图并求出其最大匹配。

考虑求出拆点二分图的最大独立集，具体操作是：

从每个没有匹配的左部点开始 \(\text{dfs}\)，左->右的边只走没有匹配的边，右->左的边只走匹配的边，然后所有 \(\text{dfs}\) 到的左部点和未 \(\text{dfs}\) 到的右部点就组成了最大独立集。

然后，左右都在最大独立集里的点 \(i\) 就在最长反链里，时间复杂度 \(O(n^3+\sum\limits_{i=1}^n |s_i|)\) 。

考虑 \(0\) 走到环上转圈的影响：把进入点先拿出来，其他点转若干圈，然后把点放回圆处。

所以所有不合法的位置只有两种情况，并且我们知道增加的边连接了哪两个点：

一条链，增加的边连接深度最深的点和深度最浅的点的父亲节点。

以同一个点为父亲的两条链，增加的边连接两条链深度最深的点。

如果不是上述两种情况或者环上除了被拿出来的点其余点通过旋转无法到达目标状态就无解，否则有解。

判断步数很简单，首先判断环是否在 \(0\) 到根的路径上，如果不是就先走到环上，否则就顺路把环给走完，时间复杂度 \(O(n)\) 。

posted @ 2022-07-31 10:54 一粒夸克阅读(191) 评论(0) 编辑收藏举报

刷新页面返回顶部

公告