CodeForces 1610H Squid Game(延迟贪心 + 构造 + 树状数组)

problem

洛谷链接

solution

考虑重新随便钦定一个点为“根”,并且强制根必须是关键点。

则所有 x−yx-yxy 不是直系祖先-子代的要求(要求Ⅰ),即 xxx 不是 yyy 祖先,yyy 也不是 xxx 祖先,一定都被满足。

所有 x−yx-yxy 是直系祖先-子代的要求(要求Ⅱ)都不能被满足。根离这条路径最近的点一定是 x/yx/yx/y 中某个端点。

下面不妨仍认为 111 为根。考虑怎么才能最少且满足所有的要求Ⅱ。

采用延迟贪心的思想。从下往上考虑尽量晚放关键点(最浅化关键点的深度)

感性想想这确实是最优的

到这里都是基于根被选为关键点的后续操作,但是这个根一定要成为关键点吗?

也有可能存在,考虑要求Ⅱ的时候,晚放的某些关键点恰好把所有的要求Ⅰ也顺带解决了的情况。

所以延迟贪心后,又反过来考虑是否要新增一个根为关键点,增加 111 的贡献。

换言之,在强制根的想法上找到了解法发现可行,现在回来再考虑假设的必要性。

发现,如果为了解决要求Ⅱ而放置的关键点无法解决要求Ⅰ,则要求Ⅰ的 lca\text{lca}lca 一定深度更小 / 这个关键点一定在要求Ⅰ的某个端点子树内。

只要有一个要求Ⅰ无法被满足,都意味着这个根作为关键点是必需的。

dfs 树,利用 dfndfndfn 序,用树状数组维护关键点的信息即可。

注意:虽然之前说随便找个点做根,但这只是一种思考方式,并不是真的在代码中进行换根操作。

code

#include <bits/stdc++.h>
using namespace std;
#define maxn 300005
vector < pair < int, int > > MS;
vector < int > G[maxn], E[maxn];
int n, m, cnt;
int dep[maxn], L[maxn], R[maxn], t[maxn], id[maxn];
int f[maxn][20];void dfs( int u ) {for( int i = 1;i < 20;i ++ ) f[u][i] = f[f[u][i - 1]][i - 1];L[u] = ++ cnt;for( int v : G[u] ) {dep[v] = dep[u] + 1;dfs( v );}R[u] = cnt;
}int lca( int x, int d ) { for( int i = 19;~ i;i -- ) if( d >> i & 1 ) x = f[x][i]; return x; }void Add( int i ) { for( ;i <= n;i += i & -i ) t[i] ++; }int Ask( int i ) { int ans = 0; for( ;i;i -= i & -i ) ans += t[i]; return ans; }int get( int x ) { return Ask( R[x] ) - Ask( L[x] - 1 ); }int main() {scanf( "%d %d", &n, &m );for( int i = 2;i <= n;i ++ ) {scanf( "%d", &f[i][0] );G[f[i][0]].push_back( i );}dfs( 1 );for( int i = 1, u, v;i <= m;i ++ ) {scanf( "%d %d", &u, &v );if( dep[u] > dep[v] ) swap( u, v );if( f[v][0] == u ) return ! printf( "-1\n" );E[u].push_back( v );}iota( id + 1, id + n + 1, 1 );sort( id + 1, id + n + 1, []( int x, int y ) { return dep[x] > dep[y]; } );int ans = 0;for( int i = 1;i <= n;i ++ ) {int x = id[i];for( int y : E[x] ) {if( dep[x] == dep[y] ) MS.push_back( { x, y } ); //两个深度一样则一定隶属于不同子树else {int z = lca( y, dep[y] - dep[x] - 1 ); //爬到深度比x深1的祖先点if( f[z][0] ^ x ) MS.push_back( { x, y } ); //证明x,y不属于同一个子树else {if( get( z ) - get( y ) ) continue; //祖先-子代关系 判断x-y这条链(除了x,y)有没有关键点存在else ans ++, Add( L[z] );//新增关键点}}}}for( int i = 0;i < MS.size();i ++ ) {int x = MS[i].first, y = MS[i].second;if( get( x ) + get( y ) == ans ) { ans ++; break; } //判断x,y子树包含了所有的关键点,那么这个x-y旁系祖先-子代关系就必须通过根来满足了}printf( "%d\n", ans );return 0;
}

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

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

相关文章

P4551 最长异或路径

P4551 最长异或路径 题意&#xff1a; 给定一棵 n 个点的带权树&#xff0c;结点下标从 1 开始到 n。寻找树中找两个结点&#xff0c;求最长的异或路径。 异或路径指的是指两个结点之间唯一路径上的所有边权的异或。 题解&#xff1a; 我们指定1为根节点&#xff0c;T(u,v…

[小技巧]EF Core中如何获取上下文中操作过的实体

原文地址&#xff1a;https://www.cnblogs.com/lwqlun/p/10576443.html作者&#xff1a;Lamond Lu 源代码&#xff1a;https://github.com/lamondlu/EFCoreFindSample背景介绍当我们在工作单元(UnitOfWork)中使用EF/EF Core的时候&#xff0c;为了要保持事务&#xff0c;一个用…

CF1621G Weighted Increasing Subsequences(离散化+树状数组优化dp+栈维护后缀最大值+计数)

problem luogu-link solution 显然单独考虑每个 iii 的贡献&#xff0c;即被多少个合法上升子序列包含。 令 xmax⁡{j∣j>i∧aj>ai}x\max\{j\ |\ j>i\wedge a_j>a_i\}xmax{j ∣ j>i∧aj​>ai​}&#xff0c;则包含 iii 的合法子序列的结尾元素最远只能到…

Acwing 232. 守卫者的挑战

Acwing 232. 守卫者的挑战 题意&#xff1a; 有n个挑战&#xff0c;一开始背包容量为k&#xff0c;每次挑战有p[i]的概率成功&#xff0c;成功的话会得到一个大小为1的地图碎片或者是提升背包容量X&#xff0c;所有的地图碎片必须装在包里&#xff0c;问最后带地图离开的概率…

IdentityServer4-前后端分离之Vue

前言之前文章讲到如何使用Node.jsExpress构建JavaScript客户端&#xff0c;实现前后端分离。本节将介绍如何使用Vue实现前后端分离&#xff0c;文中介绍Vue的知识比较基础&#xff0c;适合新手学习。一、搭建Vue项目前提条件&#xff1a;安装nodejs、webpack和vue-cli。这个网上…

P1850 [NOIP2016 提高组] 换教室

P1850 [NOIP2016 提高组] 换教室 题意&#xff1a; 有2n个课安排在n个时间段上&#xff0c;每个时间段上都有两个一样的课同时在不同地方上&#xff0c;起初牛牛被所有课都被安排在Ci上课&#xff0c;另一节课在Di上课。牛牛现在想跟换到Di位置&#xff0c;它最多可以申请m节…

守列划分问题(圆排列+排列dp+结论)

problem 将正整数 1∼n1\sim n1∼n 任意划分成 mmm 个非空集合 A1,...,AmA_1,...,A_mA1​,...,Am​。 一个划分是守序的&#xff0c;当且仅当存在一个环排列 (p1,...,pm)(p_1,...,p_m)(p1​,...,pm​)&#xff0c;使得 max⁡Api>min⁡Api−1\max A_{p_i}>\min A_{p_{i-…

ASP.NET Core应用程序容器化、持续集成与Kubernetes集群部署(三

在上文ASP.NET Core应用程序容器化、持续集成与Kubernetes集群部署&#xff08;二&#xff09;中&#xff0c;我介绍了如何使用Azure DevOps为ASP.NET Core应用程序案例&#xff1a;tasklist搭建持续集成环境。在持续集成的过程中&#xff0c;Azure DevOps的Build Pipeline会下…

ASP.NET Core开源Web应用程序框架ABP

"作为面向服务架构(SOA)的一个变体,微服务是一种将应用程序分解成松散耦合服务的新型架构风格. 通过细粒度的服务和轻量级的协议,微服务提供了更多的模块化,使应用程序更容易理解,开发,测试,并且更容易抵抗架构侵蚀. 它使小型团队能够开发,部署和扩展各自的服务,实现开发的…

CodeForces 1517G Starry Night Camping(网络流最小割)

CodeForces 1517G Starry Night Camping problem 洛谷链接 solution 这个平行四边形的脑洞我™真的长见识了 本题最离谱的要求就是&#xff1a;平行四边形的一条边平行于 xxx 轴。 而往往这种离谱要求就是正解的途径。(((φ(◎ロ◎;)φ))) 首先不观察也能知道&#xff0c…

Acwing 307. 连通图

Acwing 307. 连通图 题意&#xff1a; 求 N 个节点的无向连通图有多少个&#xff0c;节点有标号&#xff0c;编号为 1∼N。 例如下列图示&#xff0c;三个节点的无向连通图共 4 个。 题解: 用py写 代码&#xff1a; def c(n, m):n int(n)m int(m)ret 1for i in range(…

Acwing 309. 装饰围栏

Acwing 309. 装饰围栏 题意&#xff1a; 有n个模板&#xff0c;长度分别是1到N&#xff0c;现在按照高低交错的方式排列模板&#xff0c;能到的很多种排列的方案。 每个方案都可以写作一个长度为N的序列&#xff0c;序列中的个元素是木板的长度&#xff0c;把这些序列按照字典…

CodeForces 901D Weighting a Tree(结论)

problem 洛谷链接 注意&#xff1a;保证 C[v]C[v]C[v] 的奇偶性与顶点 vvv 的度的奇偶性相同。 solution 先考虑树的情况。这是个经典问题了&#xff0c;从叶子往上推&#xff0c;对于一个点还差的边权就有这个点和其父亲的边来补足。最后判断根是否满足条件即可。 那么怎…

CF938E Max History

CF938E Max History 题意&#xff1a; 我们定义f(a)为&#xff1a; 1、开始时&#xff0c;f(a)0,M1。 2、对于每个2<i<n,如果a[M]<a[i],那么f(a)f(a)a[M],Mi。 现在对于一个给定的数组a&#xff0c;求其所有排列的f(a)之和&#xff0c;答案对1e97取模。 题解&am…

最大限度地降低多线程 C# 代码的复杂性

分支或多线程编程是编程时最难最对的事情之一。这是由于它们的并行性质所致&#xff0c;即要求采用与使用单线程的线性编程完全不同的思维模式。对于这个问题&#xff0c;恰当类比就是抛接杂耍表演者&#xff0c;必须在空中抛接多个球&#xff0c;而不要让它们相互干扰。这是一…

CodeForces 1491G Switch and Flip(结论)

problem 洛谷链接 solution 弱化版&#xff1a;如果不考虑翻面&#xff0c;那就是转化为若干个环的问题了。 这里我们尝试用同样的思路解决。 首先明确几个硬币一次交换后的等价情况&#xff0c;如图&#xff08;灰色表示反面&#xff09; &#xff08;u→vu\rightarrow …

ASP.NET Core 借助 K8S 玩转容器编排

Production-Grade Container Orchestration - Automated container deployment, scaling, and management. 生产级别的容器编排系统——自动化的容器部署、扩展和管理。1. 引言由于最近在学习微服务&#xff0c;所以就基于之前docker的基础上把玩一下k8s&#xff08;Kubernetes…

CF1009E Intercity Travelling

CF1009E Intercity Travelling 题意&#xff1a; 有一段路程&#xff0c;路程可以看作是从0到n的一条直线 如果从起点出发或者从休息点出发&#xff0c;连续驾驶k千米&#xff0c;则需要消耗的体能为a1…ak 每个整点都有可能拥有一个休息点&#xff0c;每个休息点存在或者不存…

CodeForces 1396E Distance Matching(构造+树的重心+dfs+set)

problem 洛谷链接 solution 这种要求值和恰好为 kkk 的题目&#xff0c;一般要先明确值和的取值范围。 所以我们先来确定一下值和的最小值和最大值。 将一条路径拆成若干条边&#xff0c;单独计算每条边对路径的贡献。 假设一条边将树划分成 S,TS,TS,T 集合。因为 nnn 为…

程序员修神之路--

写在开始一般来说有两种策略用来在并发线程中进行通信&#xff1a;共享数据和消息传递。使用共享数据方式的并发编程面临的最大的一个问题就是数据条件竞争。处理各种锁的问题是让人十分头痛的一件事。传统多数流行的语言并发是基于多线程之间的共享内存&#xff0c;使用同步方…