UOJ#84-[UR #7]水题走四方【dp】

正题

题目链接:https://uoj.ac/problem/84


题目大意

nnn个点的一棵树,111为根,两个人从根节点往下走(只能从深度小的点走到深度大的点)。

两个人每一秒都可以一条边(也可以不移动),或者不消耗时间将一个人传送到另一个人那里。

求遍历整棵树需要的最少时间。

1≤n≤5×1061\leq n\leq 5\times 10^61n5×106


解题思路

什么神仙题。

首先考虑到肯定存在一种方案使得一个人不需要使用传送,因为显然两个人都需要使用传送的方案可以通过交换两个人的某些路径得到有一个人不需要传送的方案。

那么说明其中一个人的路径肯定是一条链,我们将这个人称之为本体,另一个人称为分身。

然后一个粗暴的想法是dpdpdp出一条路径,然后本体每走到一个点就等分身遍历完除了链上的其他子树再往下一个节点走。设fif_ifi表示走到节点iii的答案。

但是这样显然是会出问题的,对于节点xxx不一定是从它的父亲处转移的,因为两个人可以同时移动,当分身最后一次传送后本体可以和分身一起移动然后本体在下一个路口等分身传送。

让本体等分身是一种可能更赚的方案如图(边长代指了中间省略的点数量级别)
在这里插入图片描述
显然当本体等待分身遍历完1∼51\sim 515之后让本体和分身分别走向444333是更优的做法。

可以相当于在链上选择一些关键点,本体只有在关键点时才等待,并且分身最后遍历最深的叶子时本体同时出发。而关键点不连续的条件只有本体等分身的时才会出现,也就是分身最后遍历的叶子深度比下一个关键点的深度要大。

而且显然地如果出现了这种情况那么选择另一个深度更小的祖先作为上一个关键点不可能更优(因为会走同一段)

所以我们只需要对于每个节点xxx找到第一个祖先yyy满足yyy的子树除去xxx的子树后存在一个深度比xxx大的节点记为sfxsf_xsfx

那么每个节点只需从sfxsf_xsfx转移即可,如果找不到sfsfsf的节点显然对于这样的节点它的父节点只会有一个子节点,那么令fx=ffax+1f_x=f_{fa_x}+1fx=ffax+1即可。

问题是如何快速的求出每个sfxsf_xsfx,注意到对于一个处理好的子树xxx只有可能有一段连续的链没有sfxsf_xsfx(如图红色箭头所指部分)
在这里插入图片描述
所以我们只需要从小往上处理维护每个处理好的子树的sfsfsf000的链。

然后两棵子树的时候我们直接暴力合并这些部分即可,因为合并完之后肯定只会留下长的那条链多出来的部分。

时间复杂度:O(n)O(n)O(n)


code

#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
const ll N=5e6+10;
ll n,ans,deg[N],dep[N],fa[N],sf[N];
ll siz[N],sum[N],mx[N],nxt[N],f[N];
char s[N<<1];
void addl(ll x,ll y){deg[x]++;fa[y]=x;dep[y]=dep[x]+1;return;
}
signed main()
{scanf("%lld",&n);if(n==1)return puts("0")&0;scanf("%s",s+1);for(ll i=1,now=0,cnt=0;i<=2*n;i++){if(s[i]=='(')++cnt,addl(now,cnt),now=cnt;else now=fa[now];}for(ll i=n;i>1;i--){if(!deg[i])siz[i]=1,sum[i]=mx[i]=dep[i];ll x,y;for(x=i;x&&dep[x]<=mx[fa[i]];x=nxt[x])sf[x]=fa[i];for(y=nxt[fa[i]];y&&dep[y]<=mx[i];y=nxt[y])sf[y]=fa[i];nxt[fa[i]]=x+y;sum[fa[i]]+=sum[i];siz[fa[i]]+=siz[i];mx[fa[i]]=max(mx[fa[i]],mx[i]);}f[1]=0;ans=n*n+100;for(ll i=2;i<=n;i++){f[i]=n*n+100;ll x=sf[i];if(x)f[i]=f[x]+sum[x]-sum[i]-dep[x]*(siz[x]-siz[i]);if(deg[fa[i]]==1)f[i]=min(f[i],f[fa[i]]+1);if(!deg[i])ans=min(ans,f[i]);}printf("%lld\n",ans);return 0;
}

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

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

相关文章

361. 观光奶牛

361. 观光奶牛 题意&#xff1a; 给一个带点权和边权的有向图&#xff0c;求图中一个 Σ点权/Σ边权 最大的环。 题解&#xff1a; 01分数规划裸题 可以拿来练练手 代码&#xff1a; #include<bits/stdc.h> #define MAXN 2005 #define inf int(1e9) #define eps (…

LOJ洛谷P3225:矿场搭建(割点、点双)

文章目录解析代码解析 我的实现不够简洁&#xff0c;导致bug越调越谜… 关键就是**找被割点分开的分量的方法&#xff1a;dfs&#xff01;&#xff01;&#xff01; 一下子就豁然开朗了 代码 #include<bits/stdc.h> using namespace std; #define ll long long const …

Docker最全教程——数据库容器化(十一)

终于按时完成第二篇。本来准备着手讲一些实践&#xff0c;但是数据库部分没有讲到&#xff0c;部分实践会存在一些问题&#xff0c;于是就有了此篇以及后续——数据库容器化。本篇将从SQL Server容器化实践开始&#xff0c;并逐步讲解其他数据库的容器化实践&#xff0c;中间再…

CF1416E-Split【dp,set】

正题 题目链接:https://www.luogu.com.cn/problem/CF1416E 题目大意 给出nnn个正整数的一个序列aia_iai​&#xff0c;你要把aia_iai​拆成两个正整数的和b2i,b2i1b_{2i},b_{2i1}b2i​,b2i1​&#xff0c;要求使得bbb的相同连续段最少。 1≤n≤5105,1≤ai≤1091\leq n\leq 5\…

[选拔赛2 NOIP2018雅礼集训 Day3 u,v,w]玩个三角形(二维差分),玩个球(状压DP+map),玩个树(树上DP)

文章目录T1&#xff1a;玩个三角形titlesolutioncodeT2&#xff1a;玩个球titlesolutioncodeT3&#xff1a;玩个树titlesolutioncodeT1&#xff1a;玩个三角形 title 题目描述 考虑一个 n ∗ n 的矩阵 A&#xff0c;初始所有元素均为 0。 执行 q 次如下形式的操作&#xff…

LOJ:蚂蚁之旅(欧拉回路)

题意描述 给你无向图的NNN个点和MMM条边&#xff0c;保证这 条边都不同且不会存在同一点的自环边&#xff0c;现在问你至少要几笔才能所有边都画一遍。&#xff08;一笔画的时候笔不离开纸&#xff09; 解析 无向图中&#xff0c;若一个图是连通的&#xff0c;且奇数度个数的…

比赛记录

CF1039 2022.10.31 B 随机化概率分析&#xff0c;发现 \(\left(\dfrac{1}{40}\right)^{4000}\) 等于 \(0\)&#xff0c;所以会蒙对一次。C 比较容易分析&#xff0c;发现若 \(c_u\oplus x\notc_v\)&#xff0c;则对这条边没有任何影响&#xff1b;若 \(c_u\oplus xc_v\)&#x…

2019 年起如何开始学习 ABP 框架系列文章-开篇有益

阅读文本大概需要 3.3 分钟。本系列文章推荐阅读地址为&#xff1a;52ABP 开发文档https://www.52abp.com/Wiki/52abp/latest/Welcome-to-52abp本文的目的是为了让刚刚接触 ABP 框架的同学或者准备接触 ABP 框架的同学&#xff0c;能够理解和搞明白 ABP 框架到底是怎么回事&…

【模板】差分约束算法

【模板】差分约束算法 题意&#xff1a; 题解&#xff1a; 模板题 算法讲解 给出一组包含 m 个不等式&#xff0c;有 n 个未知数。求任意一组满足这个不等式组的解&#xff0c;或判定无解。 连边之后跑最短路&#xff0c;保证每个连通块都没有负环即可。 也可以建源点s 0&a…

数论一之定理证明——裴蜀/威尔逊/费马/扩展欧几里得/[扩展]欧拉/[扩展]中国剩余定理,欧拉函数,逆元,剩余系,筛法

打死没想到会在H老师处学懂数论同余&#xff0c;整除模运算埃式筛法欧拉筛法最大公约数和最小公倍数辗转相除法更相减损术裴蜀定理威尔逊定理费马定理同余等价类、剩余系、缩系欧拉函数欧拉定理扩展欧拉定理区间逆元扩展欧几里得中国剩余定理扩展中国剩余定理利用以上所有知识进…

LOJ:相框(欧拉回路、分类讨论)

解析 本题是一道if的板子题 抓住关键&#xff1a;使所有点的度数全变为2 首先对于度数大于2的点&#xff0c;把它分为若干2度点&#xff08;和可能的一个单点&#xff09; 现在我们只剩下单点和二度点了 接下来分来讨论一下 若有多个连通块&#xff0c;我们要把它们变成链再拼…

CF1342F Make It Ascending(状压+求过程-求结果)

CF1342F Make It Ascending 给予一个包含 \(n\) 个元素的数组 \(a\)&#xff0c;你可以进行以下操作&#xff1a; 选择两个不同的元素 \(a_i,a_j\)(\(1 \le i,j \le n\)&#xff0c;\(i \ne j\))将 \(a_j\) 的值加上 \(a_i\)&#xff0c;并移除 \(a\) 中的第 \(i\) 个元素。 求…

AT4437-[AGC028C]Min Cost Cycle【结论,堆】

正题 题目链接:https://www.luogu.com.cn/problem/AT4437 题目大意 有nnn个点的一张有向完全图&#xff0c;每个点有两个点权a,ba,ba,b。连接x,yx,yx,y两个点的边权为min{ax,by}min\{a_x,b_y\}min{ax​,by​}&#xff0c;求一条权值和最小的哈密顿回路。 1≤n≤105,1≤a,b≤1…

某银行大型管理系统端到端持续集成和交付实践

背景传统的银行IT系统研发流程从需求提出到产品交付往往具有较长的研发周期&#xff0c;纵观银行当下面临的市场环境&#xff0c;个人信贷消费升级&#xff0c;资管需求旺盛&#xff0c;普惠金融成为国家战略&#xff0c;来自银行同业和互联网金融的压力扑面而来&#xff0c;谁…

排列组合十一个性质公式及证明,错排数公式及证明

文章目录排列数组合数求组合数常用公式定义式递推式杨辉三角组合数常用性质及证明性质一性质二性质三性质四(二项式定理)性质五性质六性质七性质八性质九性质十性质十一错排数排列数 从nnn个物品中不放回地依次选mmm个物品&#xff0c;考虑顺序&#xff0c;有多少种方案&#…

洛谷P3155:叶子的染色(树形dp)

解析 本题的关键是选取哪一个根对答案没有影响 还有一个重要的性质是&#xff1a;根节点必定涂色 这点对每棵子树作为独立的子问题时依然成立 然鹅我完全没有看到上面那俩性质 直接暴力设计dp状态0.、1、2 开始莽 然后&#xff1f;然后就T了啊… 只好开始考虑换根 然后&#x…

P7011-[CERC2013]Escape【堆,启发式合并】

正题 题目链接:https://www.luogu.com.cn/problem/P7011 题目大意 给出nnn个点的一棵树&#xff0c;从一出发&#xff0c;要走到 ttt。初始时权值为000&#xff0c;每个节点有一个权值wiw_iwi​&#xff0c;第一次走过这个节点时会让权值加上该节点的权值&#xff0c;要求全程…

CF1463F Max Correct Set(取小样法+状压 DP)

CF1463F Max Correct Set 要求选出集合 \(U\{1,2,3,\dots,n\}\) 的一个子集 \(S\)&#xff0c;满足&#xff1a;如果 \(a \in S\) 并且 \(b \in S\)&#xff0c;那么 \(|a-b| \not {x}\) 并且 \(|a-b| \not {y}\)。求集合 \(S\) 大小的最大值。 \(1\le n\le 10^9,1\le x,y\le 2…

引入用于 Azure IoT Edge 的 Visual Studio 工具

物联网开发人员&#xff1a;工具和经验引入用于 Azure IoT Edge 的 Visual Studio 工具今天&#xff0c;我们很高兴地发布用于 Visual Studio 2017 的 Azure IoT Edge 工具的预览版。Azure IoT Edge 是一个全托管服务&#xff0c;通过直接在跨平台物联网设备上部署并运行人工智…

P4878 [USACO05DEC]Layout G

P4878 [USACO05DEC]Layout G 题意&#xff1a; 题解&#xff1a; 这个题其实是差分约束的裸题&#xff0c;但是有几个坑要注意 1.题目说了&#xff0c;奶牛按照编号1…N排列&#xff0c;对于ML个输入&#xff0c;A< B ,所以关系是B - A < 10,而不是A - B <10,我一开…