1. P9746 「KDOI-06-S」合并序列
- 首先合并是区间合并所以要区间 dp,从前缀,后缀,以及中间夹着的某一段转移而来。
- 枚举后缀,这个时候问题相当于询问 内是否存在
xxxoooxxxooo
这样的选择情况,两段x
都是合法区间,并且 xor 和为 。 - 值域与定义域互换,现在考虑对每个 求出最小的 使得 存在那种情况即可,然后同样需要一个 表示最小的 存在
oooxxxx
这种情况。 - 注意需要按照 从大往小转移,轻微卡常。
2. P9747 「KDOI-06-S」签到题
一个区间合法的充要条件是存在 满足其为区间按位或,并且《 左侧所有数或起来》《 右侧所有数或起来》二者有其一为 。
扫描线扫右端点,不同的按位或将左端点分为 个区间,对于每个区间 先在区间按位或 在序列中存在位置的 vector 中二分,找到 内最靠后的 。
再找到最右侧的 满足 的按位或为 ,最左侧的 满足 的按位或为 。
- 如果 ,此时左端点在 内的左端点均合法。
- 否则,如果 此时左端点在 内的左端点均合法。
现在对每个右端点有 个合法的左端点区间,每次询问一个区间的最长的合法子区间。再次按照询问的右端点扫描线,用两棵线段树支持一下区间 chkmax 单点查询就行。
时间复杂度是 。
3. P9055 [集训队互测 2021] 数列重排
贪心,首先考虑 那些,想让每个区间都合法,那么就考虑先把 的排出来,之后每一个块都是先 的再 的,也就是34 01234 01234...
这样子。
然后考虑往里面插入 的那些,一定是插在两边或者两组之间的空里面(如果 并不是全 1 那么将 3401234
看成同一组)
正难则反,先假设所有 的区间都合法。然后写出每个空里面需要减去的代价关于球数的式子,是二次函数,凸的。所以可以每次贪心选最优的放。这个时候再看两侧的空每次放球的代价是 1,2,3,....
,而中间的空每次放球的代价是 k,k+1,k+2,...
。所以先往两侧放 个球然后剩余所有位置挨个轮着放就行。
4. P8984 [北大集训 2021] 末日魔法少女计划
构造 区间合并结构。 比较小,所以可以仿照 Sqrt Tree 的构造来把最优的划分 dp 出来。设 表示长度为 的序列每个区间都能最多 次合并的最小步数。分成若干块,此时每个块内部需要满足所有区间都能 次合并出;头尾的块需要可以 次出后/前缀;中间的块需要 次合并出前缀或后缀;把中间的块看成元素,整块之间需要 次合并出所有区间。
那么先枚举两头的块长,中间的之和剩余长度有关可以用另外一个 dp 算:
可以 次合并出前缀且 次合并出所有区间。
可以 次合并出前缀, 次合并出后缀且 次合并出所有区间。
再根据记录的最优决策点构造。
5. 无向带权图全局最小割
随机化做法,定义 为将 按边权不断随机边缩起来,直到缩了 次得到的图(每次缩边之后去重边)。定义函数 表示求 的全局最小割,将 为两次随机算出来的 ,将 和 取较小值作为答案。
随机取边可以按度数(邻边权值和)随机点,在按照边权随机邻边。再进行 的合并。那么 的复杂度是 ,整个做法的复杂度是 。
现在来分析概率,考虑一次缩边缩的是最小割的边的概率。假设最小割权值是 ,那么最小度数 ,总边权 ,选中最小割中的边的概率 。所以缩 次没缩到最小割的概率是 ,代入 得到 。
令 为大小为 的图得到正确答案的概率,此时有 。
结论是正确概率为
解法一:
重新令 为递归深度。假设 其中 为常数,那么 ,另一方面由递推式可知 ,于是解得 ,从而 ,而递归深度是 ,所以正确的概率是 。
解法二:
令 ,可以化简为 ,从而 的上界 。每次递归 至少 +1,所以后面那一坨 的,所以 ,从而 。
6. QOJ4896 Alice、Bob 与 DFS
先考虑只有白点怎么做,把游戏过程看成这样:
- 初始先将 的所有出边倒序放入栈,如果 为黑色那么放入的为红色,否则为粉色。
- 每次可以 pop 掉栈顶的若干元素,可以在某个粉色 pop 后停下,pop 了红色必须停下,如果全粉色可以全 pop 完直接结束游戏。然后将最后 pop 的点 的出边倒序放入栈,根据 黑白决定放入点是红粉。
先考虑只有白点怎么做,假设从 开始走的游戏的 sg 是 。对于一个栈 ,现在计算如果 pop 并把其出边倒序压入栈所到达的状态,其 SG 值是多少。此时发现 前面的那些点实际上是在求 前保证如果走完 可以到达一个集合 内的任意 sg 值,而这个 就是 这样一个栈的 sg 值,其中 指的是将 的出边倒序压入栈。
由此可以定义 表示从 结束后还能到达 中任意一个 sg 值的状态,其 sg 值是多少。那么所求的实际上是 (没有出边的点 sg 值为 1)。这样就得到了求 的方法:
- 倒序遍历每一个出点 :
- 计算 ;
- 。
- 最终 ,这里 是最初的, 是最后的。
此时可以归纳证明 ,其中 的上标指的是第几个没出现的数。
一个直观的理解是它相当于对 中的每个状态都接了 中作为后继,那么相当于 ban 到了 中的值,再在剩余的里面求 。
归纳的证明:看成每次将没出现的第 个数加入到 中。同样可以发现相当于 ban 掉初始 中的值去求 。
排除掉没有出边的黑点(可以将其直接视作白点),对于一个黑点,它 的求解是这样的:
- 倒序遍历每一个出点 :
- 计算 ;
- 。
- 最终 。
只有一个元素,所以黑点 并仅取决于 中的是不是 ,往回倒推 ,发现仅需要关注 包不包含 (由于已经排除没有出边的情况,所以 )。
这时原来归纳证明的结论不行了,即使改为这样
只有白点之间可以归纳,黑点不满足其归纳假设,需要特殊考虑黑点的贡献。
就可以了,可以验证黑点满足,然后直接套用上面那个归纳就是对的?
7. 300iq contest 2 H Honorable Mention
表示 区间内,是否决定选择前缀与前面的后缀连成一段 / 是否决定选择后缀与后面的前缀连成一段,凸的,直接闵和合并。线段树的结构分治处理出来就行。
先 wqs 二分,然后选一个段就会有一个 的贡献,求最值。把线段树上的这些节点找出来,在凸包上二分得到每个节点 的取值,然后再做个线性 dp 的合并就行。这样是 的。换成整体二分,在整体二分上 bfs,每一层的时候对每个凸包记个指针,就是俩 log。
8. P5470 [NOI2019] 序列
没看出费用流模型比较失败。瞅了一眼 srf 题解里的图。
然后开始模拟费用流,简单画画就讨论完了?/xia 推导的核心:
- 有费用的边一定不会推流;
- 一个物品的两个反向边不会同时存在。
9. CF1427G One Billion Shades of Grey
10. P6631 [ZJOI2020] 序列
照着 dxm 论文有一步步推的/wq Code
11. [Aizu 2230] How to Create a Good Game
原问题:
令 为 的对偶变量, 为 的对偶变量。其中 为变量,前者 ,后者无限制。
对偶之后:
注意原问题的变量 是无限制的,所以它对偶之后的限制应为 。
那么先强制让 ,让 连边费用为 , 连边费用为 ,跑个网络流去修正这个网络预流的流量就行(其实就是循环流)。
12. 300iq contest 2 J Jiry Matchings
二分图最大权匹配,凸的。所以 dp 表示 子树内, 没有被选 / 可能没被选也可能被选,一共选了几个匹配。合并是 卷积,位移,取 max,之类的操作。这里不能启发式合并因为合并是 的。序列上的情况启发我们要树分治,但是不能把一个连通块里每个叶子的存在与否给记下来。
其实树剖也是一种树分治!!重链剖分之后,轻儿子用哈夫曼树合并(直接中点分治也行),把一条重链上挂的轻子树都合并上来之后再对这条重链就行中点分治合并,分治的过程中记录左右端点是否被选。
13. P3347 [ZJOI2015] 醉熏熏的幻想乡
只会贺题解代码/ll
考虑极小的 内,每个左部点的费用是其代价关于当前流量的导数值。类似骑行川藏那个题,能意识到的是,还没看到上界的费用应当都相同。答案就是费用关于流量围成的面积。
给出总流量求费用有点难,因为不太能确定每个左部点自己的流量。但是如果已知费用 的话,能够知道每个人的流量上限 ,跑一下最大流就知道每个人此时怎样流是最优的。
我们需要还原出整个图像,所以需要把 流量——费用 的直线给求出来。稍微分类讨论一下:
- 对于不满流的左部点, 再大,流量上限再大,流量不会变得更大,所以将流量加到截距里面。下面考虑满流的:
- 如果 说明它是会在 的时候突然被选中然后流满,是一个斜率突增的点,这个突增的问题稍后再讨论。它也是此后保持流满 的状态,加到截距流满。
- ,看 取到的是 (已经 bound 住不能再涨)还是 ,前者也是不会再变直接加到截距里面;后者在费用增大的时候依然会增加流量, 每增大 1 流量增大 ,加到斜率,然后根据它过当前这个点算出对截距的贡献。
能够算出某个位置处的直线,需要意识到的是除了徒增点,被徒增点划分出的区域内部是上凸的(考虑各个左端点是上凸的,加起来还是上凸的)所以根据最左侧和最右侧的直线算出中间的交点,再算这个交点旁边的直线就行。注意不能直接按照顶点来算,需要加个 eps 偏移量。
跑最大流不能写分数类,需要用小数跑,那么求不满的流就是考虑最大流 = 最小割,而最小割就是左侧的满流边,和右侧的不能到达的满流边。所以左侧未满流点的流量就是右侧的割边的流量。
还有一些细节看 Alex_Wei 的题解吧/ll
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· Manus的开源复刻OpenManus初探
· 三行代码完成国际化适配,妙~啊~
· .NET Core 中如何实现缓存的预热?
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?