from zx2003
子任务一
构造方法非常多。
一个简单的办法是,对于所有 名士兵,将第 个士兵的坐标设为 。然后对于所有 次移动,第 次移动将第 个士兵挪到第 行。容易发现这样总的变化次数恰好为 。
子任务二
构造方法仍然非常多。这里给出一种常数较优的做法。
取一个 的棋盘,将其黑白染色,并在所有黑格上放上士兵。之后每次操作将相邻列的士兵合并起来,这样所有 个士兵所属的分组都会变化恰好一次,并且操作步数只需 。
子任务三,四
我们分析下这个问题的性质。
对于一组 坐标相同的士兵,设其中有 人分组为第二组。则按照分组规则,这些士兵所属的 坐标上一定分别有不少于 名士兵。故而, 一定不超过 。对于 坐标进行同样分析,我们就知道了每次操作后分组变化次数一定不超过 。
对于总的操作次数,我们可以得到一个更好的上界。注意到每次操作时合并的两行中,较小的那一行贡献的变化次数可以用启发式合并的来分析,这一部分的步数总和是 。所以总的变化次数的界为 。
下面给出标算的构造。
我们将操作分为若干轮执行。对于第 轮,我们需要将点集由 的正方形增加一行一列变为 的正方形,这样在该轮中所有 个原正方形中的点的分组都会变化一次。我们可以现在平面远处预先放好点,用到时再移过来即可。注意由于两维坐标的不对称性,实现时需要注意增加行和增加列的先后顺序。
这样的操作不一定能恰好契合 的大小,我们截取按照这种构造方法生成的前 个点,再将前 个点在所有操作开始前就摆在它最后应在的位置上。
最后总的操作步数大约为 ,遗憾的是未能贴紧理论上限。
题外话
本题是来自于 UOJ #309,那道题需要维护每个点的偏好维度。当时一些提交代码是用 vector
存储每行每列上的关键点。按照前面分析这只有根号个,但是众所周知 vector
的动态操作常数很大,所以我当时就想卡下 vector
动态操作的常数。但最后 vector
莫名其妙跑得飞块,我怀疑是因为构造涉及到的点的坐标本质上只有 个,然后缓存非常友好。当时尝试 hack 是失败了,不过也有了现在这道题。
不下发 OJ 上的 checker 是因为 checker 的实现可能会对选手做题产生提示作用。
from JohnVictor
算法一
我会堆暴力!期望得分 分。
算法二
首先注意到一个性质,就是优美的图和它的补图不能同时连通。
证明:对 归纳,设这张图为 ,顶点集为 。
如果 时成立,注意到优美的图的子图和补图仍然是优美的,我们反证,假设原图和补图都连通。
任意找出一个节点 ,如果它和所有的其余节点都连边,那么补图不连通,因此我们不妨假设 在原图和补图中都有边。
我们考虑 的原图 和补图 ,由归纳假设它们不同时连通。
不妨假设 不连通,否则我们考虑 的补图也是一样的。假设 的连通分支为 ,由于 不向所有点连边,所以一定存在一个连通分支,不妨设其为 ,使得 不向 中的所有点连边。
记 为 中和 连边的点构成的集合, 为与 不连边的点构成的集合, 的连通性表明存在 使得 连边。再由原图的连通性存在 使得 连边,此时 构成诱导 ,矛盾。
那么我们可以考虑递归求解这个问题,考虑答案的生成函数,如果原图不连通那么 GF 就是连通分支的 GF 相加,如果补图不连通那么一个顶点集构成团当且仅当它在补图的每一个连通分支中都构成团,也就代表这个 GF 是连通分支的 GF 相乘。
暴力 BFS 判断连通性,时间复杂度 ,期望得分 。
算法三
使用 std::bitset
优化上述暴力 BFS 即可,因为这个图如果连通那么补图不连通,也就是直径为 ,可以扩展出第一层节点之后使用或操作。时间复杂度 ,常数很小,期望得分 。
算法四
我们考虑更快的找出连通块。使用启发式分裂的思想,我们希望如果一次 BFS 将图分为大小为 的两个部分,使用的代价为 。
仍然应用直径为 的性质,首先在原图和补图中各取一个度数最小的节点,然后扩展第一层节点,之后再进行并行 BFS,也就是原图和补图依次扩展一个节点,直到确认其中一个连通为止(显然原图和补图至少有一个连通),可以证明复杂度是 ,期望得分 。
补充一句,复杂度满足要求是因为设最小度为 ,那么较小的一部分大小至少为 ,而扩展的代价至多为 。
算法五
from djq_cpp
注意到上述算法的本质是用一棵树来刻画这个图,具体地,一个这样的图能和一棵 个叶子的树一一对应,两个节点连边当且仅当 LCA 为奇数。
现在我们考虑建树,只用 在前 个点的树中插入一个节点即可。
可以证明在插入一个节点之后,这棵树只有一条链上的节点会发生变化,因为如果互不包含的两个子树中都有向新节点连边的,容易找到一条 ,补图也一样。
现在我们只用找出这条链,具体做法是 DFS 并维护出哪些点的子树到这个新节点连边情况完全相同(全连边或者全不连边),找出不同的这一条链之后,再专门去改变这条链的节点即可,具体可以见这份代码。
时间复杂度 ,常数略大于算法四,期望得分 。
from deadecho
经 EntropyIncreaser 氏加强!!!
为了叙述方便,接下来叙述的 是原题面中输入的 减去 。
算法一
考虑按照题意自底向上进行 DP。设 是 层, 个节点对应的答案。那么有 和递推式
时间复杂度 ,期望得分 。
算法二
算法一中的递推式可以写作卷积,因此可以用 FFT 优化,时间复杂度 ,期望得分 。
算法三
考虑将问题写作生成函数,设 ,发现有关系
我们发现直接积分是没有显式表达式的,但考虑建立辅助生成函数 。
接下来我们记 。但我们接下来不会用到任何双曲三角函数结论。
而我们的目的就是算出 ,因此我们可以分为计算 的前 项系数和所有的 。
由 ,根据复合逆关系,设 ,那么 ,设 ,也就有 ,解得 ,也就有 。
是将 连续积分 次,也就有 ,预处理阶乘就可以做到 计算 的系数。
而根据 Lagrange 反演公式,有 。
综上,我们可以通过计算生成函数的幂在 内完成。预计得分 。
算法四
在 很大的时候,我们不得不考虑 的具体形式。
我们考虑二元 GF ,可依 的递推关系列出方程
根据一阶 ODE 的通解形式,确定常数项之后我们得到了
提取 ,可知
注意到有积分
可知 的形式为 的线性组合,其中 。
可以使用上述和式,通过 FFT 在 时间内计算出 基下的系数,如果暴力按照积分式递推系数则可做到 。预计得分 ,和算法三拼起来可以获得 。
算法五
我们希望加速 基的系数的计算,考虑 是一组 基,为了借助微分方程的力量,我们首先考虑 的微分性质。
设 ,记其系数为 。那么有递推式
设 ,即对应的 为 做 次积分,可得递推式
我们考虑设 ,令 ,考虑列出 之间的导数关系。
这就导出了 满足的方程
由此我们已经得到了 满足的一个微分方程,将其提取 设为 ,提取等式两边的 可得递推式
再提取 设为 ,提取等式两边的 可得递推式
还需解决边界值问题,根据 式可知:
由此即可从大到小递推,在 时间内计算出系数,然后通过线性筛,只需计算 次快速幂,时间复杂度 。预计得分 。
后记
在操作过程中,我们考虑了复合 ,但 是形式幂级数,复合的 既有正次项又有负次项,其即使拓展到 Laurent 级数也无法定义复合,但我们对微分方程的推导得到的,对于 组成的「生成函数」给出的系数递推式也确实给出了正确的答案。如何更加严格刻画这种推导,或许是个有趣的问题。