小题狂练 (C)
好像其实是想新开一个的时候就开一个(
- [HEOI2014] 逻辑翻译
- [CEOI2013] Board
- [AGC002E] Candy Piles
- [APIO2022] 排列
- CF1615F LEGOndary Grandmaster
- [ICPC2016 WF] Swap Space
- [AGC040F] Two Pieces
- CF838F Expected Earnings
- [ABC304Ex] Constrained Topological Sort
- [集训队互测 2023] Tree Topological Order Counting
- [ARC067E] Grouping
- CF1375F Integer Game
- [AGC027D] Modulo Matrix
- [ARC089E] GraphXY
- CF17C Balance
- CF1733E Conveyor
- [HNOI2009] 有趣的数列
- P8864 「KDOI-03」序列变换
- [WC2019] 数树
- [AGC036D] Negative Cycle
- [CF16FinalG] Zigzag MST
- CF1693D Decinc Dividing
- CF1510I Is It Rated?
- 牛客多校 思
[HEOI2014] 逻辑翻译
考虑怎么让问题变得更小一点,比如尝试把 分离出来,答案多项式可以写成 的形式,其中 是 组成的向量 .
代入 可以得到一个二元一次方程,求解即可让问题规模减半(也就是减一个未知数).
时间复杂度 ,输出比较麻烦 .
[CEOI2013] Board
懒得喷,注意到先上升到某一层然后平移过去下降一定最优,枚举层数即可 .
具体实现上需要先用一个只带 1 和 2 的序列描述两个点的位置 .
[AGC002E] Candy Piles
排序之后可以看成在 组成的杨表上走格路,从边界往回推就可以了 .
XXX
XXXXX
XXXXX
XXXXXXX
OXXXXXX
比如 的情况,相当于从 O
出发,1 操作就是往上走一步,2 操作就是往右走一步 .
另一侧的问题:Remove and Decrease Game .
[APIO2022] 排列
注意到一个长度为 的递增序列贡献 ,考虑用一个递增的序列中间插递减序列来拆二进制位,这样是大概 个元素 .
然而发现毒瘤出题人卡了常数,这里可以把递减序列中连续放的两个位置合并(并且抬高一点),这样就是约 个元素,可以通过 .
CF1615F LEGOndary Grandmaster
很经典的题了,翻转奇数位后就变成每次把 1 移动一位,那么令 1 在两个序列中的的位置是 距离就是 .
那么只需要对于每个 枚举 计算其贡献即可 . 时间复杂度 .
[ICPC2016 WF] Swap Space
感觉这个贪心策略有点神奇 . 断言: 的按 从小到大选别的按 从大到小选 .
感性理解一波,显然 和 独立 . 对于 的情况格式化完 之后 这个位置就空了,所以主要关心当前产生的代价,也就是 ;对于 的情况会使得总空间减少,所以主要关心造成的后续影响,也就是 .
[AGC040F] Two Pieces
听说是多元 GF 经典例题(
就是要数形如 B(B(B(...(B
的结构,其中 B
是匹配括号串 .
用一个三元 GF, 分别计量左括号个数、右括号个数和操作次数 .
是 Catatlan 数,则每段的 OGF ,仔细地刻画可以得到答案的 OGF:
代数推导部分开始:
注意到 ,那么可以得到:
在此处使用哑演算,令哑元 ,则:
对于 可以通过另类拉格朗日反演求解:
那么就做完了,时间复杂度 .
CF838F Expected Earnings
令 表示取 个球,其中有 个红球时下一个球是红球的概率,有 数组那么答案容易求得 .
那么转移就是:
注意到 Bayes 公式:
那么实际上只需要计算若干 个球中有 个红的概率,记为 ,则可以转移:
那么整个问题就做完了,时间复杂度 .
[ABC304Ex] Constrained Topological Sort
首先把限制变成最紧的,也即调整限制使得对于每条边 ,有 ,,拓扑排序一下就可以了 .
做完之后只需要和选最多不交区间类似地按 扫一遍依次分配即可 .
[集训队互测 2023] Tree Topological Order Counting
只需要计算每个 排在拓扑序第 位的方案数 . 令 表示考虑到 且 在第 位的方案数 .
则:
其中 表示 除去子树 的拓扑序数量,可以预处理得到 . 那么这样做就 了 .
发现主要问题在于统计答案太慢,这里把这个 DP 倒过来就 了,可以看成对所有 一起做 DP .
[ARC067E] Grouping
个人平均分成 组的方案数是
按组大小从小到大依次分配,令 表示分到大小为 的组、还剩 个人的方案数,则可以简单转移:
不算快速幂的复杂度,时间复杂度 (调和级数).
CF1375F Integer Game
注意到当且仅当三个数组成等差数列且最大值不能操作时先手直接获胜 .
先随便操作一个比较大的数值使得形成一个最大值无法操作的状态,然后令三个数按顺序分别是 ,取 ,分类讨论可得每种情况都构成等差数列 .
没错,三步之内先手必胜
[AGC027D] Modulo Matrix
考虑弱化到 .
黑白染色,钦定黑色取 max 白色取 min,那么黑色位置的值就是周围一圈白色的 lcm 加一 .
每条正 / 反对角线分配一个奇素数填上白色(每个白色位置由两个素数乘积组成),则每个黑色位置由四个素数乘积加一组成 . 调整素数顺序即可控制到 以内(交替放大小素数).
关于每个位置互不相同的证明:黑色和白色自身显然互不相同,而黑色位置一定是偶数、白色位置一定是奇数,显然不同 .
[ARC089E] GraphXY
令 是 只算非未知数边的最短路,那么 .
弱化为 ,取 然后判断是否有位置能取到等号即可 .
要把这个构造放到图上,只需要连两条全是 X 或 Y 的链,然后在走 个 X 边到达的点和走 个 Y 边到达的点间连边权为 的有向边即可 .
CF17C Balance
令一个串的核心是把他的连续段全部缩起来之后得到的序列(不关心连续段长度),则注意到操作后的序列的核心一定是原序列核心的子序列 .
那么就有一种生成所有操作后序列的方法了,然后做一个朴素 DP 就可以了, 时间 .
CF1733E Conveyor
显然没有史莱姆会相撞,然后平方递推出到 时刻每个位置经过的史莱姆数和 时刻每个位置的史莱姆数然后比较一下即可 .
时间复杂度 其中 .
[HNOI2009] 有趣的数列
考察长度为 的匹配括号序列,把左括号的位置放到序列的奇数位、右括号的位置放到序列的偶数位,则立得合法序列与匹配括号序列的双射,从而答案即为 Catalan 数 .
数据范围比较小直接 Legendre 公式线性对数做就可以通过了 .
P8864 「KDOI-03」序列变换
注意到操作相当于交换前缀异或和,那么原来的限制相当于限制 1 的连续段个数 .
令 是原来的 的前缀异或和, 表示将 中的 1 分为 段的最小操作次数,则:
其中 表示将 中的 1 移动到同一段的最小操作次数 .
显然 满足区间包含单调性 . 另一方面,移动一个端点区间所有 1 的位置组成中位数位置最多移动一位,讨论一下可以得到 ,那么 也满足四边形不等式 . 从而 和 都是蒙日矩阵 .
一次转移相当于做一个 矩阵乘法,矩阵快速幂即可批量进行转移,考虑到矩阵是蒙日矩阵所以这里的矩阵乘法可以 计算 . 那么就 解决了这个问题 .
[WC2019] 数树
首先特判 . 平凡不表 .
对于 ,相当于将蓝树划分若干个连通块,然后连一些边连通这些连通块(这里不能连原有的树边),假设连通块个数是 那么贡献 .
考虑如果没有不能选原有的树边的限制就是一个 Prüfer 序列,答案是 ,其中 是每个连通块大小 . 考虑这种计算方式相当于是每个合法方案贡献:
对于这个式子的解释就是钦定选 个树边计算有多少个选连通块的方案 .
那么先提出来 ,然后解方程 把贡献改成 就可以天然得到答案 . 从而问题变成一个大小为 的连通块贡献 ,一棵树的贡献是连通块贡献的乘积,求所有树的贡献和 . 注意到相当于在每个连通块里面选一个点然后贡献 ,用一个简单树形 DP 即可计算 .
对于 ,类似 可以得到相当于每个大小为 的连通分量贡献 ,算上生成树个数的贡献就是 ,总体的答案就是这个东西的 MSET 构造,直接使用多项式 exp 计算即可做到线性对数 .
然而可以发现(joke3579:有标号有根树换元):
然后就可以线性做了 .
[AGC036D] Negative Cycle
模拟赛的有点深刻题 . 注意到如果保留 的 边,那么满足 的连 的 边也一定保留,因为如果保留 不合法那么保留 也不合法,具体可以通过走 内的 边来考虑 .
那么可以发现 边的结构一定是有一个 的划分 ,连任意 其中 ,这里 . 进而可以得到 边就是连 其中 ,这里 .
可以用 表示最后一个区间是 的答案,每次枚举上一个端点转移即可,时间复杂度 .
[CF16FinalG] Zigzag MST
考察 这组边,考虑 Kruskal 的过程,按边权顺序连边,连 的时候一定已经连过 了,那么 一定连通,可以把 改成 ,答案不变 . 类似的,连 的时候 一定连通,可以改成 . 不断这样改最后可以得到 . 不考虑 这条边,剩下的结构就是一个 个点的环,可以简单叠合重边,这样就是 个点了,可以直接 Kruskal 求 MST .
时间复杂度 ,可以通过 .
CF1693D Decinc Dividing
定义 表示 在递增/递减序列中时,另外一个序列最后一个元素的最大值/最小值 . 然后就能平方了 .
倒序枚举左端点,当某个 值和上一次完全一致时直接继承上一次的右端点位置,然后就对了 . 因为注意到如果取 之前最大的 使得 那么 只能是 中的一个 . 类似 . 那么每个 值最多被更新 7 次,所以时间复杂度是 的 .
CF1510I Is It Rated?
对每个人维护一个权值 ,初始 ,每次加权随机进行选择 . 公布答案后给所有选错的人的权值乘 .
牛客多校 思
没报牛客多校,因为是模拟赛出的所以下面就按照模拟赛的配置说 .
考虑贡献是绝对值那么就分类讨论大小去掉 . 令 表示当前 ,左边减右边的贡献是 的时候的答案 .
初始 ,每次枚举一个询问的数 即可转移:
然后这个 DP 其实是有二维的决策单调性的,然后就可以 了,可以获得暴力分 . 冷静一下发现 实际上是 级别的,那么就是 了,可以通过 .
具体证明可以考虑一个长度为 的区间,每次如果查询 左边的值那么右边最大产生 的代价,左边第一步最大产生 的代价,后面的代价不超过二分做的代价 ,那么可以把询问点调整到 ,这样一定不劣 . 对称地可以得到询问点大于 的时候也可以调整到 ,那么每次选的位置一定在 之间,也就是说区间长度每次至少缩小 ,那么肯定是 log 轮就结束了 .
虽然写一个一维的决策单调性分治 也可以直接冲过去 .
以下是博客签名,正文无关
本文来自博客园,作者:yspm,转载请注明原文链接:https://www.cnblogs.com/CDOI-24374/p/18178974
版权声明:本作品采用「署名-非商业性使用-相同方式共享 4.0 国际」许可协议(CC BY-NC-SA 4.0)进行许可。看完如果觉得有用请点个赞吧 QwQ
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 单线程的Redis速度为什么快?
· 展开说说关于C#中ORM框架的用法!
· Pantheons:用 TypeScript 打造主流大模型对话的一站式集成库
· SQL Server 2025 AI相关能力初探
· 为什么 退出登录 或 修改密码 无法使 token 失效
2023-05-08 THUSC2023 睡觉记
2020-05-08 浅谈 exgcd
2020-05-08 【洛谷P1754 球迷购票问题】题解