TQX 的 DP AAgain!
闲话:
这确实抽象,将所有人给干离线了……
不如叫做 TQX 的离线 DP QwQ
DP
--TQX
背包 DP
根号分治优化背包,大概就是利用 将多重变为完全,然后统一转移。
区间 DP
复杂度越高的题越难?(雾
区间 DP 简单的就是 这个限制,但是常常来说这是无法解决问题的(除非实在简单
所以需要辅助以与问题相关的信息,例如 才能进行转移。
值得注意的是区间 DP 的常数很小,如果枚举了 个位置(单调)那么将带有 的常数!所以 不是梦, 也能过。
P5336 [THUSC2016] 成绩单 大概说的就是转移代价与 相关但是与区间内有什么无关,那么就在区间 DP 同时维护最大/最小是什么即可,复杂度
AGC035D Add and Remove 很抽象的区间 DP,大概是说这次我们不顺着来考虑了,从外到内考虑。发现删除中间那个数,会对左右两边各做一次贡献,那么我们可以设 表示 分别对左右两边做 次贡献的最小代价。最终答案就是 ,那么转移也就简单了,中间那个会对左边来 次,右边来 次,也就是左边区间内的东西对两侧分别 ,右边则是 ,那么递归下去搜索即可。
[AGC039E] Pairing Points 区间计数 DP……敢信 能过!大概是说要善于利用 树
的性质:没有三条边互相相交,那么我们枚举一个点对应的点,那么就可以分成两个区间,这两个区间间形成鱼骨状的联系。
那么需要联通,两边至少需要一个跨过中线的东西吧,这总会有一个最顶顶上的吧,那么分成了 块,两两需要联通,状态这不就没了吗?但是发现其实只会有 块!
因为一定会存在两个分界点(绿色)使得分成独立的三部分。
那么思路就清晰了,我们只需要知道分界点,那么就可以枚举最上面的那条线,以及下面的两个分界点即可。于是得出式子:,直接做是 的但是带一个 的常数,能过。
容易利用先枚举绿色断点的方式优化到 。
树形 DP
或许如果将子树利用 dfn
转化为一个区间,那么树形 DP 可能也可以转化为区间 DP 的模型。只是在这里区间要么相交,要么相离,所以树形 DP 应该是不难于区间 DP 的(雾
--TQX
CF1517F Reunion 大概说的是求白点扩展 格覆盖所有点的方案数。那么考虑一个朴素的 DP: 表示 子树内最深的黑点和最浅的白点的距离。那么转移是简单的。但是复杂度为 ,是无法过的,所以考虑如果白点存在且覆盖了所有黑点,那么只需要记录白点是什么,同理,如果黑点没有被完全覆盖,那么白点没有用,就只需要记录黑点是啥就行了,复杂度被优化为 。
[AGC034E] Complete Compress 非常神奇,大概就是说基于一个贪心的思路,考虑移动祖孙点是不优的,那么我们只需要移动不同子树内的东西即可。但是也不能把子树内的全部搞定了,因为可能需要分一点出来在祖先的地方平衡其他的子树,这启示我们可以考虑维护一个上下界,表示能达到的状态。考虑到每次移动使得两个点深度 ,启示我们可以利用 作为状态转移,那么设 分别表示上下界,那么细细转移即可。上界是简单的,就是不需要移动,而下界不简单,考虑如果有一个子树太深,那么怎么也无法使得下界为 ,那么将 求出来,如果 ,那么显然就达不到 ,反之就可以。至于是 ,考虑到每次操作总深度减少的一定是 ,那么这就取决于 的奇偶性。朴素的每个点都要作为一次根,考虑换根即可做到 。
[Ynoi2006] spxmcq 朴素的很简单,,但是需要优化, 显然不够。大概说就是考虑将 离线升序排序,那么显然的是 会在某前段时间为 ,在某后段时间为 ,那么我们只需要知道 在什么时候变成 的,那么就可以得出 的答案即对其联通的子树求和简单即可。不妨设某个根 ,考虑什么时候 ,假设其所在的联通块大小为 ,原本的权值和为 ,那么只需要当 的时候就可以使得 了!那么利用 set
存一存,注意新连接一个子树需要更新一下其变化的时间!
CF1326G Spiderweb Trees 咕
数位 DP
--TQX
P2657 windy 数 板子题,略。【UER#4】被粉碎的数字 大概就是简单的在数位 DP 的同时维护一个进位,考虑最后我们需要只是相等,那么再维护一个差值,也就是 表示考虑到 位,前面进过来了 位,当前差值为 ,卡个上界记忆化即可。
CF1456E XOR-ranges 非常抽象的一个数位区间 DP。注意到有上下界,这是不好处理的,但是可以发现的是只有 种脱离上下界的方法,之后就可以任意填了。考虑最后脱离限制的那位,显然的是之后全放 或者全放 是最优的,那么考虑枚举区间最后脱离的位,如果 在之后存在一位不同,那么这一位一定需要做出贡献。于是可以搞出一个区间 DP,设 表示区间 在 退位,左右顶着上/下界,下面填的是 还是 ,之后枚举断点转移即可。
状压 DP
CF1158F Density of subarrays 更加抽象的状压 DP。注意到当 很小的时候,我们就可以简单的状压,做到 。但是当 很大的时候这就显得无能为力,可能需要将 替换为 。接着就可以发现,利用背包,设 表示前 个分 段的方案数,接下来就是 表示转移的系数,表示必须选 ,并且在 中选了一些使得密度为 的方案数,那么直接转移即可。注意加 register
卡卡常。
DP 的优化
--TQX
-
单调队列,非常朴实,咕
-
slope trick
,大概就是说利用堆维护 DP 函数的斜率,从而转移。一般来说是将 看成一个关于 的函数 ,然后维护其形状转移到下一个函数 ,一般来说转移加凸函数(如绝对值)的就可以考虑凸优化。
Red Black Tree 注意到 DP 是简单的:,其中 表示是黑色, 是修改为颜色 的代价。可以归纳得出 是个凸函数,那么合并时暴力加起来,插入 即可。
[APIO2016] 烟火表演 与上一题类似,加一个可并堆即可。
-
斜率优化,大概就是说 这种东西,其中 都是已知,但是 需要 DP 计算,那么就可以利用斜率优化完成,可以看 # 算法学习笔记(31): 李超线段树
-
决策单调性,与四边形不等式(交叉小于包含)强相关。对于 2D1D 的问题,如果 满足四边形不等式以及包含单调性()那么整个 DP 满足四边形不等式,就可以优化为 了。
但是对于 1D1D 的区间单调性,就需要神秘的方法:单调栈与二分。
大概就是说既然决策单调,那么每一个部分管的区间就是一个区间……那么就可以类似单调栈的搞它。
但是如果仅仅只是 的东西,那么可以利用分治解决。
Artistic Partition 大概就是说最朴素的 DP 就是 ,注意到这里 满足四边形不等式,那么就可以利用分治优化。注意到直接计算不简单,考虑利用莫队(注意分治时用莫队只有常数上的开销!)只是这里莫队转移要带一个 的代价,所以单次转移复杂度为 。注意到当 很大的时候,总可以构造出一个方案使得答案抵着下界 ,不难发现这是 的,于是只需要转移 次即可。其实也可以 的预处理式子(利用整除分块),做到 回答,那么总复杂度为 。
最后
DP,可以说是重中之重,在最优化和计数中常常能见到它的身影。
它没啥套路,又全是套路 QwQ,最可恶的一集。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· TypeScript + Deepseek 打造卜卦网站:技术与玄学的结合
· 阿里巴巴 QwQ-32B真的超越了 DeepSeek R-1吗?
· 如何调用 DeepSeek 的自然语言处理 API 接口并集成到在线客服系统
· 【译】Visual Studio 中新的强大生产力特性
· 2025年我用 Compose 写了一个 Todo App