这次UR延续了UR 19的风格,又给大家送上了一场良心的UER难度的UR!

from rushcheyo,数据,标程,题解 by mayaohua
良心送分A题~
算法一
我会爆搜!
直接按题目描述的过程 爆搜,可以通过子任务 ,期望得分 分。
算法二
我会状压DP!
使用状压DP, 表示当前点集为 的方案数,转移可以预处理一下。
时间复杂度为 ,可以通过子任务 ,期望得分 分。
算法三
如果没想到DP,但是很有拼劲的话,你应该可以把深度不超过 的数据手玩出公式。
可以通过子任务 ,期望得分 分,结合算法二可以得到 分。
算法四
考虑靠谱做法。倒着考虑题目的过程,其实就是在一棵树上每次删去一个度为 的节点或删去一个度为 的节点并合并两个邻接点。
不妨先计算概率,最后再乘回 。 令 表示考虑子树 ,假定节点 有一个不可删去的父亲,随机排列能删空子树 的概率。那么原来答案显然就是 。
这个DP的转移可以考虑枚举子树 中最后一个删去的节点:如果是节点 ,那么贡献显然是 ;否则不妨设它是节点 ,那么之前需要分别删去两个部分—— 子树中其它节点及 子树中除去 子树的部分。第一个部分的贡献显然是 ,而考虑第二部分,令节点 到节点 路径上的节点依次是 ,那么由于节点 的父亲不可删去且节点 最后删去,因此删去某个 ( )时它的度数必定是 ,且它所有不是 的子树都被删空了,那容易看出这部分概率就是 。不论哪种情况,因为我们钦定了某个点最后一个删除,最后还要乘上 。
直接按上面的式子实现,时间复杂度为 ,事实上能通过子任务 ,期望得分 分。
算法五
冷静一下,发现算法四里面的式子不少部分可以预处理。具体来说,我们可以让 ,并在第二种情况中枚举节点 所在的子树,那么容易得到下面的递推式: 。
上面推导的关键是注意到如果我们选择了子树 中节点 ,那么 对子树 和子树 贡献时,唯一区别就是在 序列最前面加了一个节点 ,因此很容易更新贡献。
精细实现时间复杂度为 或 ,可以通过子任务 ,期望得分 分。
算法六
把算法五的DP式子仔细拆开,事实上能得到一个不用DP的做法: 。
这样只需要预处理一下逆元就可以简单计算了,时间复杂度为 ,可以通过子任务 ,期望得分 分。
Bonus
这题原来是作为B题的,一开始的版本是有 次询问,每次询问一个点集 ( )作为最后保留的节点集合(而不是现在的只有节点 被保留),有兴趣的同学可以自己思考下。
from rushcheyo,数据 by nike0good,标程,题解 by mayaohua
感谢matthew99帮助加强。
大家纷纷通过了这题,但是是否记得要证明结论呢?
算法零
或许有某些神奇的搜索能通过子任务 ?期望得分 分。
算法一
很容易看出这是一个最小链覆盖模型:令子串 当且仅当 是 的子串,这是一个定义在子串集合上的偏序关系,那么就是选择最小数目的链覆盖所有子串。
直接用网络流来求解DAG最小链覆盖,可以通过子任务 ,期望得分 分。
算法二
刚刚的做法没有利用题目的特殊性质。根据dilworth定理,最小链覆盖等于最长反链,考虑从这个方向入手。
容易发现我们可以选择某个长度 的所有子串作为一个极长反链。可以大胆猜测,对不同的 取最大值就是最长反链!
发现这样确实能通过所有样例,让我们来证明一下:
引理1:最长反链长度即为最大的同一长度不同子串个数。
证明:如果存在一个反链中子串长度不全相同,我们下面证明可以得到一个相同长度的串长度全相同的反链。
考虑其中长度最小的串长 ,如果我们能够找出一个子串 在反链中,且 或 不在其中,我们显然可以将 换成 或 (这两个串显然都不在原来反链中)而仍然为反链。反复进行这个操作,直到不能调整为止,此时所有长度为 的子串均在其中,那显然不可能有其它长度子串,也即此时得到一个串长度全为 的相同长度反链。
由上述结论,我们只需要计算出每个长度的不同子串个数,这可以用 SAM 或者 SA 计算。
对每组询问分开构建 SAM 或 SA,时间复杂度为 或 ,可以通过子任务 ,期望得分 分。
算法三
考虑对多组询问加速。
在算法二的基础上尝试一些数据结构乱搞,比如用回滚莫队加线段树可以做到 左右的复杂度。
(或许)可以通过子任务 ,期望得分 分。
算法四
当串随机的时候,算法二中得到的串长 不会太大。
考虑取一个阈值 ,只考虑长度 的串。对询问离线并对右端点扫描线,这样每次加入 个串,用哈希维护下上一次出现位置,并用树状数组每个左端点维护不同子串个数即可。
时间复杂度为 ,取 即可通过子任务 ,结合算法三,期望得分 分。
算法五
基于刚刚的结论优化是很难通过子任务 的,我们希望有更强的结论。
通过大胆猜想和用样例验证,我们可以猜测下面的结论:
引理2:最长反链长度 当且仅当长度为 的子串两两不同。
证明:充分性是显然的——只需要取所有长度为 的子串即可。
考虑证明必要性。根据引理1,我们只需要考虑所有长度为某个固定 的子串,那么若最长反链长度 ,显然有 。
假设存在两个长度为 的子串 和 ( )相同,那么 ,均有 。于是,长度为 的不同子串个数不会超过 ,矛盾。
故所有长度为 的子串互不相同。
由上述结论,答案即为 。
直接每组询问分开用 SAM 或 SA 计算,时间复杂度同样为 或 ,可以通过子任务 ,期望得分 分。
算法六
考虑快速解决多组询问,这可以对算法五用数据结构优化。
在后缀树上对后缀集合进行启发式合并,每次合并两个不同子树中的后缀集合 和 ,提取出后缀对 ( )使得 或 且 在 中相邻。容易发现对询问有用的 一定会是这样提取出的 ,而这样的 只会有 对。
那么对询问离线,对右端点扫描线加入这些 对,并用线段树维护每个左端点的答案即可。
时间复杂度为 ,可以通过子任务 ,期望得分 分。如果用 SAM+LCT 代替后缀树上启发式合并,也可以得到相同复杂度做法。
from Infleaking,数据,标程,题解 by Infleaking
算法一
肥力第 小的当然是 啦!甚至不用排序,直接输出 。
可以通过子任务 ,期望得分 分。
算法二
我们知道一个经典结论, 个 随机实数第 小的期望是 ,于是我们套入这个题里面,答案就是 。
可以通过子任务 ,结合算法一期望得分 分。
算法三
这个题甚至都没法暴力!
问题来了,现在我推出了一个式子,我要怎么才能知道我没写错呢?测样例!
借助算法二的结论,我们搞到了一个显然正确的暴力:
按照端点分段,枚举每个值在哪一段中,利用算法二,我们就可以得到在这种情况下的答案。把所有情况乘上出现的概率求和就是答案了。
时间复杂度 ,可以通过子任务 ,结合算法一、二期望得分 分。
算法四
假设我们知道 表示第 小的数大于的概率,那么显然 。
通过枚举哪些数是小于 的,我们可以得到一个 的表达式
( 为 的补集, 是关于 的函数且 的概率)。
这个 是一个分段的直线,因此 会是一个分段的多项式,枚举端点然后直接DP维护 的每一项系数。
时间复杂度 ,可以通过子任务 ,结合算法一、二期望得分 分。
算法五
聪明的同学已经发现了,相邻的两个端点之间只有少数的 是会变的,我们可以直接利用上一个端点的DP值快速计算出下一个。具体来说就是撤销原来的 对于 的影响,假装这是最后加入DP的值,然后倒着算一遍把之前的DP值求出来,再加入新的 。
时间复杂度 ,可以通过子任务 ,结合算法一、二期望得分 分。
算法六
瓶颈在于这个积分,这使得我们不得不求出所有的 然后一个一个算。
观察最初的式子 ,我们知道多个函数乘积高阶导数就是尝试将求导分配到每一个乘积里面,然后对每一种方案求和。观察到 或者为常数,其一阶导是 ,如果我们把后面的尾巴去掉,就可以得到 是 的高阶导数乘上一个系数。
考虑其组合意义: 是恰好有 个数满足条件的情况之和,而 是枚举有 个数满足条件,对其他数没有要求的所有情况之和,因此可以得到其关系 ,因此我们可以用 反解出 。
此时,我们只需要对相邻两个端点,求出 的高阶导数在端点处的点值即可,这是一个卷积的形式,可以用FFT解决。而 可以通过上一段区间的 乘除少量二项式得到。
相邻的两个端点之间需要一次卷积来计算答案,因此时间复杂度是 的,可以通过子任务 ,期望得分 分。如果不幸常数写大了,可能只有 分。