Namomo Summer Camp 2021 第一天专题讲解

Subset

题意：给出 $n$ 个数，要求求出两个不相交的子集，使得他们的和一样。 $n\le 1\times 10^5$，$a_i\le 1\times 10^5$。

解法：此题在 Atcoder 上出过一个类似题。考虑前 $n$ 个元素构成的子集数目，有 $2^n$ 种子集，而前 $n$ 个元素至多能构成的本质不同的数字只有 n max ⁡ { a i } ≤ n × 1 × 1 0 5 n\max\{a_i\} \leq n\times 1\times 10^5 nmax{ai​}≤n×1×105，而实际构成的数目更是远远小于这个数字。不难发现，令 $n=22$，则子集数目 $2^{22}=4194304>1\times 10^5\times n=2.2\times 10^6$，由鸽巢原理知一定有和相同的不同子集。因而只需暴力枚举前 $22$ 个元素构成的子集即可。

可以使用哈希表存储子集对应的和，对于和相同的两个不同子集，去掉两个集合的交集即可。

City Brain

来源：ICPC EC Final 2020 D

题意：给定点数为 $n$，边数为 $m$ 的一个边权均为 $1$ 的无向图。对于每条边，可以花费 $x$ 元（$x>0$），使得其边权变成 $\frac{1}{x+1}$。现在预先有 $k$ 元，有两个人，分别从 $s_1,s_2$ 点走到 $t_1,t_2$，问二人走过的边权和最小为多少。$n,m\le 5\times 10^3$。

解法：首先，无论怎么减，其边权均大于 $0$，而每条边边权均为 $1$，不难发现——无论在一条边上花费多少钱，都不如直接走最短路来的费用。因而只需要保留其最短路图即可。

再注意到一个事情——花费钱数是具有边际效应的，每多花一块钱其能减少的量单调递减（并且其递减速度非常快），因而一定是尽可能的更新那些没有减过或者花费钱数较少的边。注意：这里并不能保证每一个人走的路径段上每条边花费的钱数尽可能平均。

按照贪心的思路继续分析——二人会走公共段，并且如果有公共段必然是连续的一段。显然，如果存在多个公共段，例如 $u_1\to v_1$，与 $u_2\to v_2$，那么为什么二人不公共的走 $v_1\to u_2$ 呢？所以只会有一个公共段。但是公共段长度不一定最长，这里贪心无法成立。因而我们将边分成了个人段和公共段，在个人段和公共段上分别花费钱数平均。容易得到，对于长度为 $l$ 的路径段，若修改次数为 $x$ 次，则通过这一路径段的花费为 $g(x,l)=\frac{x\mathrm{m}\mathrm{o}\mathrm{d}l}{\lfloor \frac{x}{l}\rfloor +2}+\frac{l-(x\mathrm{m}\mathrm{o}\mathrm{d}l)}{\lfloor \frac{x}{l}\rfloor +1}$。

基于这一贪心，我们可以考虑枚举公共路径的长度。显然二人走的路径段数目恒定，因而确定了公共路径长度我们可以很快确定出二人剩下的单人路径长度，只需要 $O(n)$ 的检查一下这样的公共路径段是否存在即可。此部分时间复杂度 $O(n^2)$。之后，我们需要均摊花的钱数。基于刚刚的贪心，不难发现其总的价值函数 $f(x)=g(x,l_1)+g(k-x,l_2)$ 为单峰函数，因而我们可以进行三分——三分出用于公共段与个人段分别用了多少钱，然后根据三分的转移即可。这样总复杂度仅 $O(n^2+n\log k)$。

Mr. Panda and Typewriter

来源：CCPC Final 2019 C

题意：有一个打字机，有以下三个功能：

1. 以 $x$ 的时间在文本最后打下一个字符。
2. 以 $y$ 的时间复制一个连续子序列存入 buffer 中待粘贴。之前 buffer 中的子串会被清空。
3. 以 $z$ 的时间将 buffer 中的子串粘贴到文本最后。此操作不会清空 buffer。

给定一篇长度为 $n$ 的文章，问最短需要多长时间才能将其打完。$n\le 5\times 10^3$。

解法：显然，如果使用了 ctrl+C 操作，一定是要在之后 ctrl+V 的，否则就浪费了时间。

首先一个非常朴素的 DP 可以被设计出来——$f_{i,j,k}$ 表示打到第 $i$ 个字符后，buffer 中存储了从 $j$ 开始的长度为 $k$ 的序列所需要的时间。但是数据范围明显不允许我们这么做。此时需大胆的删掉一个维度，变成 $f_{i,j}$ 表示前 $i$ 个字符，buffer 中存储了现在已经打出的字符串的最后 $j$ 个字符，所需要的时间。可以发现这个也是可以成功转移的：

1. 直接在字符串的末尾输入一个字符——$f_{i+1,k}\leftarrow f_{i,j}+x$。
2. 使用粘贴——$f_{k,j}\leftarrow f_{i,j}+z+(k-i-j)x$。$k$ 为后面第一个完整包含 $[i-j+1,\cdots ,i]$ 字符串的区间右端点。中间的全部用操作 $1$ 填满。
3. $f_{i+k,k}\leftarrow f_{i,j}$。$[i+1,\cdots ,i+k]$ 区间段是直接由之前的某个剪贴板状态剪贴而来。虽然这里可能会有损失（损失了剪贴板中的一些部分），但是我们取得是最小值，有重复是可以的。另一种写法是直接令 $j=0$，这样显然也不会对答案有什么更劣的影响。

整体复杂度 $O(n^2)$。

Bookcase Solidity United

题意：有 $n$ 层书架，每层书架至多只能承受 $a_i$ 的重量。现往每层书架上放 $x$ 单个重量为 $1$ 的物品，$x$ 可以根据每一层的情况进行变化，如果超过其承受能力则该层书架被击碎，$\lfloor \frac{x}{2}\rfloor$ 个物品会掉落到地上，剩下的才会掉到下一个没有被击碎的书架。问击碎这 $n$ 层书架至少需要放置多少个物品。$n\le 70$，$a_i\le 150$。

解法：看到这种 $n$ 较小但是又不是那么小（无法进行状压 DP 的范围）时，可以考虑区间 DP。

首先显然贪心是不成立的——若在最高层与最底层中间存在有大量的 $a_i=1$ 的书架层，贪心的补满刚好需要击碎的重量就会导致中间大量的物品被浪费掉。这种情况应当提前击碎中间这些书架层，然后直接最高层和最底层对接。

记 $f_{l,r,k}$ 表示仅击碎 $[l,r]$ 的区间，最后还剩 $k$ 个物品可以落下，最少需要几个物品。区间 DP 通常考察两种转移：

1. 区间延申，$f_{l,r,k}\to f_{l,r+1,\frac{\max (k,a_{r+1})}{2}}$：击碎了第 $r$ 层直接击碎下一层。那么此时可以贪心的补足击碎下一层的球数。有递推 $f[i][j][\frac{\max (k,a_{r+1})}{2}]\leftarrow f[i][j][k]+\max (0,a_{r+1}-k)$。
2. 区间合并：击碎了第 $r$ 层，由于中间 $[r+1,p-1]$ 层全部已经被击碎，物品直接漏到第 $p$ 层。那么转移为 $f[i][j][k+k_1]\leftarrow f[i][j][k]+f[j][p][k_1]$。

此外还有一个贪心——显然不会“蓄能”，提前在一层放好多物品然后让它一口气落好多层，因为每过一层都会损失一半的物品，因而每次枚举的 $k$ 的范围只有 $[0,a_i]$。

Infimum of Paths

题意：有一个 $n$ 个节点、$m$ 条边的带权有向图，边权 $w$ 均为 $[0,9]$，现在问能否从一个节点走到另一个节点，其权值为 $\sum _{i=1}^{k}10^{-i}{w}_{e_i}$，其中 $e_i$ 表示走过的第 $i$ 段路径。问最小权值为多少。$n,m\le 5\times 10^3$。

解法：此题图中并没有说无环，因而环会成为一个极大的问题。并且容易注意到，某些环可能会影响到答案，使得路径长度变成无穷大——例如在某一个分岔口，走向终点的路径权值为 $5$，而顺着环上走的权值仅为 $4$。由于越靠近起点权值越大，并且后面走的权值不会影响前面的权值，而在换上每一轮走到这一岔口一定都是沿着环一直走下去，这样答案就变成了一个循环小数。

因而，考虑先处理无环的情况。先进行 $n+1$ 轮的 bfs 扩展，到着的每一个点记录从起点走到这个点的最小权值（题目中的权值）。这里可以采用基数排序，每一个点维护一个长度为 $n$ 的到达序列。因而这里总的时空复杂度均为 $O(n^2)$。

接下来考虑有环的情况。如果不在到终点的权值最小的路径上也不用管了，那么现在就是在最小权值的路径上出现了环。可以考虑 $O(n)$ 的算出这个环上的路径带来的权值（仅算一圈即可），然后去比较一下不走完整环，直接去终点的权值，如果发现更小则从这个环开始无限循环下去。

Bytelandia States Union

题意：从坐标平面上 $(s_1,t_1)$ 走到 $(s_2,t_2)$，在 $(x,y)$ 点，走到 $(x+1,y)$ 的代价为 $2x{y}^2+2y^2+x^2$，走到 $(x-1,y)$ 的代价为 $-2x{y}^2+2y^2+x^2$，走到 $(x,y+1)$ 的代价为 $2x^{2}y+2x^2+y^2$，走到 $(x,y-1)$ 的代价为 $-2x^{2}y+2x^2+y^2$。问其最小代价。

解法：通过配凑容易发现，以上四个式子可以合并为一个：若从 $(x_s,y_s)$ 走到 $(x_t,y_t)$，则代价为 $x_t^2{y}_t^2-x_s^2{y}_s^2+x_s^2+y_s^2$。那么从 $(s_1,t_1)$ 走到 $(s_2,t_2)$，其代价为 $s_2^2{t}_2^2-s_1^2{t}_1^2+\sum (x^2+y^2)$，即路径上每个点的横纵坐标的平方。

可以证明：从 $(x_1,y_1)$ 走到 $(x_2,y_2)$，一定是走最短路径。不失一般性的，考虑从 $(x_1,y)$ 走到 $(x_2,y)$，$x_1<x_2$，$y>0$。直接走的答案即是 $\sum _{i=x_1}^{x_2}{i}^2+y^2(x_2-x_1)$，如果为了贪图更小的 $y$，而在第一步向下走，最后一步向上走，容易发现其变化量为 $(-2y+1)(x_2-x_1)+x_1^2+x_2^2+2y^2$，一定是得不偿失。所以直接走最短路径。

此外，继续考虑贪心。如果 $x_1<x_2$ 且 $y_1<y_2$，一个简单的贪心想法是每次只挑横纵坐标小的走。当 $x<y$ 时，变化 $x$ 比变化 $y$ 好，反之亦然。若 $x_1>x_2$ 且 $y_1<y_2$，则是先将 $y$ 减小再移动 $x$。

Mr.Panda and Cactus

来源：CCPC Final 2018 E

题意：给定一颗 $n$ 个节点 $m$ 条带边权的仙人掌，现在对其上的 $n$ 个点进行染色，要求使用恰好 $k$ 种颜色，最后统计两端点颜色不同边的边权和，求边权和的最小值。$k\le 1\times 10^3$，$n,m\le 1\times 10^5$。

解法：由于仙人掌的性质，每条边至多只会出现在一个环上。先用跑 tarjan 跑出仙人掌的环，将边区分树边和非树边。

注意到本题并没有询问究竟是如何染色的，因而不应该考虑染色方案，而应该直接考虑统计答案。出于贪心，一定是让一个连通块内全部染上同一个颜色，尽可能的增加同一颜色边数目，因而本题染色的实质是将原图划分为 $k$ 个联通块。

考虑如何统计答案。记 $f_{i,j}$ 为遍历了前 $i$ 条边，将原图划分为了 $j$ 个联通块其最小边权和。这里的边可以按任意顺序去遍历，同时要分树边和非树边去考虑。对于非树边，砍断 $k$ 个非树边连通块数目增加 $k-1$，而树边则是增加 $k$ 个。因而可以实现转移。

整体复杂度 $O(nk)$。

Query on a Tree

题意：给定一棵 $n$ 个点的树，树上有点权 $a_i$，初始点权均为 $0$，有以下一些操作：

1. 给 $x$ 的点权增加 $1$。
2. 查询整棵树上 $\underset{1\le j\le n}{\min }\sum _{i=1}^n{a}_i\mathrm{d}\mathrm{i}\mathrm{s}(i,j)$，其中 $\mathrm{d}\mathrm{i}\mathrm{s}(i,j)$ 表示 $i$ 到 $j$ 的最短距离。若存在多个 $j$ 满足条件，要求输出离 $1$ 号节点更近的答案。

解法：不难发现，操作二的答案就是带权重树的重心。

显然可以有一个结论——带权树重心的祖先的子树权重和一定严格大于整棵树权重总和的一半。这里可以由树的重心的定义快速得到。

由于最后是要求离 $1$ 号节点更近，因而不妨以 $1$ 号节点作为根节点，对树进行一个 dfs。得到这个树的 dfs 序后，可以按照这样的方式得到一个序列——按照 dfs 序的先后，将 $i$ 这一数字连续写 $a_i$ 次。因而最后的答案就是这个序列的最中间的数字。因而可以根据 dfs 序搭建一个线段树（即树链剖分），其中第 $i$ 个位置放置其对应的出现次数，然后查询的时候根据出现次数二分出最中间的数字是多少。

整体复杂度 $O(q{\log }^{2}n)$。

Beautiful Sequence Unraveling

题意：定义一个长度为 $n$ 的序列为美的序列——$\forall i\in [1,n)$， min ⁡ 1 ≤ j ≤ i { a j } ≠ max ⁡ i + 1 ≤ j ≤ n { a j } \displaystyle \min_{1 \leq j \leq i} \{ a_j\} \neq \max_{i+1 \leq j \leq n} \{a_j\} 1≤j≤imin​{aj​}​=i+1≤j≤nmax​{aj​}。问长度为 $n$，每个数字均在 $[1,k]$ 范围中的美的序列有多少个。$n\le 400$，$k\le 1\times 10^8$。

解法：考虑最朴素的求解。定义 DP 状态 $f_{x,y}$ 为长度为 $x$ 的序列，包含 $[1,y]$ 的美的序列数目，满足 $y\le x$。显然直接求美的序列是非常复杂的，因而考虑反选——答案即为 $y^x$ 减去 $\exists i\in [1,n)$， min ⁡ 1 ≤ j ≤ i { a j } = max ⁡ i + 1 ≤ j ≤ x { a j } \displaystyle \min_{1 \leq j \leq i} \{a_j\}=\max_{i+1 \leq j \leq x} \{a_j\} 1≤j≤imin​{aj​}=i+1≤j≤xmax​{aj​} 的序列数目。

令 $t$ 为最大的满足上述条件的 $i$，则容易得到，$t$ 右侧的一定是一个美丽序列，否则不满足最大条件。并且，$t$ 右侧的元素统统大于左侧的元素。枚举 $t$，记左侧元素的最大值为 $m$，则有 $f_{x,y}\leftarrow (f_{x-t,y-m+1}-f_{x-t,y-m})(m^t-(m-1{)}^t)$。其含义为，$t$ 右侧的方案数即为 $f_{x-t,y-m+1}-f_{x-t,y-m}$，因为必须取到最小的值 $m$；左侧可以任选，但是必须要求最大值为 $m$，所以方案为 $m^t-(m-1{)}^t$。

考虑优化这一式子。$f_{x,y}=\sum _{t=1}^x\sum _{m=1}^i(f_{x-t,y-m+1}-f_{x-t,y-m})(m^t-(m-1{)}^t)$。单独考虑 $(f_{x-t,y-m+1}-f_{x-t,y-m})m^t=m^x\frac{f_{x-t,y-m+1}-f_{x-t,y-m}}{m^{x-t}}$，容易发现在 $x$ 固定的情况下，$x-t$ 被天然绑定了，因而可以考虑前缀和优化，拿出固定的 $m^x$，优化掉一维。因而这个 $O(n^4)$ 的 DP 就被我们优化到了 $O(n^3)$。

注意我们 DP 数组的真正含义——恰好使用 $y$ 个数字，构成长度为 $n$ 的美的序列的个数，因而最后再使用组合数公式，答案即为 $\sum _{i=1}^n\left(\genfrac{}{}{0ex}{}{k}{i}\right)f_{n,i}$。