Hetao P5593 删 题解 [ 蓝 ] [ 线性 DP ] [ DFS 序 ] [ 虚树 ]

news/2025/10/21 21:45:00/文章来源:https://www.cnblogs.com/zhr0102/p/18939483

删:思路很新奇的一道 DP 题。

通常做树形 DP 都是自底向上进行 DP 的,而此题因为转移与 DFS 序有关,所以可以拍在 DFS 序上 DP

观察删除的性质,发现一个点 \(u\) 要么被删掉,不进行匹配,要么就必须要与 \(\bm{v\to \operatorname{lca}_{u, v}}\) 的链上(不含 \(\bm{\operatorname{lca}_{u,v}}\))的一个节点进行匹配

同时使用虚树可以证明一个经典结论:将关键点按 DFS 序排序后,任意相邻两点的路径长度之和等于其最小斯坦纳树边权和的两倍。

这就对暴力 DP 提供了复杂度的保证,只要我们一直对两条在 DFS 序上连续的链进行 DP 即可。处理相邻的链可以在 DP 开始前对树进行 DFS,然后将相邻叶子结点的路径记录下来。

于是设计 DP:\(dp_i\) 表示走到第 \(i\) 个点时的最大权值。转移的时候对于一条路径 \((u, v)\),先找到路径上深度最小的节点 \(root\),然后把链分为两部分:\(v\to root\)\(root \to u\)。我们需要转移的是 \(root \to u\) 的部分,因此枚举 \(root \to u\) 的节点 \(x\)

  • 枚举 \(v\to root\) 中的转移节点 \(y\),当 \(x\) 的前缀最大值大于 \(y\) 的前缀最大值时,叶子之间的负担由 \(root \to u\) 的部分决定,因此转移 \(y\) 的 DP 前缀最大值即可。
  • \(x\) 的前缀最大值小于等于 \(y\) 的前缀最大值时,叶子之间的负担由 \(v\to root\) 的部分决定,因此转移 \(y\) 的 DP 后缀最大值(需要减掉每个 \(\bm y\) 的前缀最大值)即可。

直接枚举 \(y\)\(O(n^2)\) 的。但是注意到每一部分的前缀最大值单调不降,因此可以用双指针 + 后缀最大值优化 DP 的枚举过程,时间复杂度为 \(O(n)\)

为了方便实现,代码里使用了欧拉序进行链划分和 DP。

#include <bits/stdc++.h>
#define fi first
#define se second
#define eb(x) emplace_back(x)
#define pb(x) push_back(x)
#define lc(x) (tr[x].ls)
#define rc(x) (tr[x].rs)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef long double ldb;
using pi = pair<int, int>;
const int N = 300005, inf = 0x3f3f3f3f;
int n, a[N], dep[N], val[N], lstleaf, L[N], R[N], ccnt, dp[N], premx[N], sufmx[N], ans = -inf;
int euler[N], ecnt;
vector<int> g[N];
void dfs(int u, bool fc)
{euler[++ecnt] = u;val[ecnt] = a[u];if(fc) dp[u] = a[u];for(auto v : g[u]){dep[v] = dep[u] + 1;dfs(v, (fc & (g[u][0] == v)));euler[++ecnt] = u;val[ecnt] = a[u];}if(g[u].size() == 0){euler[++ecnt] = u;val[ecnt] = a[u];++ccnt;L[ccnt] = lstleaf;R[ccnt] = ecnt - 1;lstleaf = ecnt;}
}
int main()
{ios::sync_with_stdio(0);cin.tie(0);cout.tie(0);cin >> n;for(int i = 1; i <= n; i++){int x;cin >> a[i] >> x;while(x--){int v;cin >> v;g[i].push_back(v);}}memset(dp, -0x3f, sizeof(dp));dfs(1, 1);// DPfor(int i = 2; i <= ccnt; i++){int root = L[i];// 求出这条链的根for(int j = L[i] + 1; j <= R[i]; j++){if(dep[euler[j]] < dep[euler[root]]) root = j;}// 预处理左链的前缀最大值premx[root] = val[root];for(int j = root - 1; j >= L[i]; j--)premx[j] = max(premx[j + 1], val[j]);// 预处理左链的 DP 后缀最大值sufmx[L[i]] = dp[euler[L[i]]] - premx[L[i] + 1];for(int j = L[i] + 1; j <= root - 1; j++)sufmx[j] = max(sufmx[j - 1], dp[euler[j]] - premx[j + 1]);// 预处理右链的前缀最大值premx[root] = val[root];for(int j = root + 1; j <= R[i]; j++)premx[j] = max(premx[j - 1], val[j]);// 枚举右链,转移 DPint p = root - 1, mxdp = dp[euler[root - 1]];for(int j = root + 1; j <= R[i]; j++){while(p > L[i] && premx[p] <= premx[j - 1]){p--;mxdp = max(mxdp, dp[euler[p]]);}dp[euler[j]] = max(dp[euler[j]], mxdp + val[j] - premx[j - 1]);if(p - 1 >= L[i]) dp[euler[j]] = max(dp[euler[j]], sufmx[p - 1] + val[j]);}}int now = 1;while(1){ans = max(ans, dp[now]);if(g[now].size() == 0) break;now = g[now][g[now].size() - 1];}cout << ans;return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/942691.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

第二次高级程序作业

2025高级语言程序设计 https://edu.cnblogs.com/campus/fzu/gjyycx/homework/13570 102500426康凯帆书本外额外的题目程序清单3.11练习题 做完这些练习题,让我对于c语言有了更深的了解,以往都是听理论模模糊糊,现在…

大学生需要认真听课的肌肉记忆(注意力训练)

原文:Scalers:大学生上课为什么一定要认真听讲? https://www.scalerstalk.com/816-attention2) 读这篇文我有很深的共鸣,以及一些困惑的解答。 原文说,认真听讲是一种能力,我在读大学一年后无比赞同。事实上不…

Ancestral Problem 题解

逆天卡常匈牙利吊打 dinic 下面默认二分图匹配的复杂度是 \(\mathcal{O}(m\sqrt n)\),其中 \(n\) 是点数,\(m\) 是边数。 暂时默认 \(m=\mathcal{O}(n)\) 因为不影响分析复杂度。首先容易写出 \(\mathcal{O}(n^{3.5}…

AWS IAM角色最佳实践:构建云安全的核心防线

本文深入探讨AWS IAM角色的核心概念与最佳实践,涵盖身份识别、权限管控、威胁检测和自动响应等关键环节,通过具体配置示例展示如何有效保护云环境安全,避免权限滥用和潜在威胁。AWS IAM角色最佳实践 Amazon Web Ser…

初始人工智能和机器学习

一、初始人工智能 1.人工智能是一个抽象的概念,它不是任何具体的机器或算法。任何类似于人的智能或高于人的智能的机器或算法都可以称为人工智能。应用:机器人等。 2.机器学习是AI系统需要具备自我学历的能力,即从原…

盒子模型外边距合并问题

两个外边距重合时,那个大用哪个 当只给子级盒子创建顶部外边距时,会连带着父级盒子一起隔离 第一种:取消子级外边距,给父级加内边距(加内边距会撑大盒子) 规避撑大盒子 2.给父级溢出的部分给隐藏 3.加细边框线显示出多…

o(N^2)找出所有回文子串

1、对于一个字符串如果(i - 1, j - 1)为回文串,并且s[i] == s[j],那么(i, j)也是一个回文串 2、双重循环,外层从大到小,内层从小到大,这样就可以由小区间推到大区间(可以写下思考一下)int vis[2010][2010];mems…

蛋白表达技术概述

一、蛋白表达的定义 蛋白表达(Protein Expression) 是指通过人工构建的基因表达系统,在特定宿主细胞中合成目标蛋白的过程。在自然界中,基因经转录和翻译形成蛋白质,这是生命活动的基本过程。在实验和工业生产中,…

二叉树的中序遍历- 递归原理 - MKT

二叉树的中序遍历- 递归原理

二叉树的中序遍历- 二叉树基本-栈 - MKT

二叉树的中序遍历- 二叉树基本-栈 前序遍历非递归实现​​:void preorderIterative(TreeNode* root) {if (root == nullptr) return;stack<TreeNode*> s;s.push(root);while (!s.empty()) {TreeNode* node = s…

二叉树的中序遍历- 二叉树基本-递归 - MKT

二叉树的中序遍历- 二叉树基本-递归 #include <iostream> #include <queue> using namespace std;struct TreeNode {int val;TreeNode* left;TreeNode* right;TreeNode(int x) : val(x), left(nullptr…

二叉树的中序遍历- 递归和栈 - MKT

二叉树的中序遍历- 递归和栈 /*** Definition for a binary tree node.* struct TreeNode {* int val;* TreeNode *left;* TreeNode *right;* TreeNode() : val(0), left(nullptr), right(nullptr) …

构建YouTube视频总结摘要智能体

构建YouTube视频总结摘要智能体智能体 AI 平台 智能体 AI 框架是一个工具包,用于创建能够通过工具使用和记忆自主或半自主地推理、计划和采取行动的智能体系统。这些框架提供了创建能够与环境交互、做出决策和执行…

友链测试

// run new Vue({el: #app,data: {links: [{name: 捞月亮の小北,desc: 言念君子,温其如玉,avatar: https://youke1.picui.cn/s1/2025/10/21/68f785af89315.png,url: https://example.com},{name: Fomalhaut,desc: Fut…

English writing practice in diary.

Recent Situation Overview Currently everything around is horrible, but hopful(hopeful) too. Learning English for TOEFL, studying major ourse for upgradation(academic improvement) and devoting in web3 r…

以此文记我的国漫生活

原来我以前看过这么多动画片和动漫,来看看你看过哪些: 《喜羊羊与灰太狼》《熊出没》《猪猪侠》《猫和老鼠》《成龙历险记》《十二生肖闯江湖》《大头儿子和小头爸爸》《神兵小将》《舒克贝塔》《疯狂小糖》《葫芦娃…

做了一个概率小游戏,没想到服务器被打爆被攻击了!原因竟然是他?真没想到...

做了一个概率小游戏,没想到服务器被打爆被攻击了!原因竟然是他?真没想到。让我给大家讲讲我怎么和攻击者在线上斗智斗勇的。1. 前言 事情是这样的,上个月在刷知乎的过程中,发现了以下几个有趣的问题。《每毫秒给你…

接下来的目标

本学期目标: 1.学完redis黑马点评,掌握关于redis,分布式锁,秒杀等知识点 2.八股文在javaguide上观看一遍 3.算法题hot100刷第一遍 4.看完《深入理解jvm虚拟机》目前已看完历史即第一章,准备编译openjdk12; 5.写完…

敬启,致那时的我

题面 题目描述 实乃理给你两个整数 \(S, k\),你需要帮她求出以下式子的值对 \(1,000,000,007\) 取模的结果: \[\sum_{X = 0}^S [\mathrm{popc}(X) = k]F(X) \]其中 \(F\) 为斐波那契数列,即 \(F(0) = F(1) = 1, F(n…

阿里云对象存储OSS之Java - Soul

阿里云对象存储OSS 介绍阿里云对象存储OSS是一款非常强大的云存储服务——提供的海量、安全、低成本、高持久性的对象存储服务,通过RESTful API提供HTTP接口。 核心特性:无限扩展:存储空间和文件数量无上限。 多存储…