Trees of Tranquillity
题解
(可以略过)
First and foremost,我们需要理解clique的概念,它的意思是一个完全联通的子图。
虽然我并不认为会有像我一样将它理解成联通块,然后yy了半天的魔鬼4个优先队列+权值线段树的人
如果理解了clique的概念,我们很容易发现,符合要求的点集中的点一定分布在同一条从根开始的链上。
于是,我们可以对于从根到一个叶子节点的路径上,考虑如何从中选出最多的在另一棵树上没有祖先关系的点集来。
考虑如何维护另一棵树上的祖先关系,我们可以先将其转化成 d f n dfn dfn序列上的区间包含关系。
由于对于任意一个节点,它子孙的 d f n dfn dfn区间一定被包含在其的 d f n dfn dfn之内,所以我们相当于选出数量最多的没有包含关系的区间。
由于 d f n dfn dfn序的区间并不存在相交关系,所以我们很容易得到一种贪心做法。
假设 1 − > f a u 1->fa_{u} 1−>fau的路径上最优的区间集合为 S S S,如果 u u u的区间与 S S S中的区间没有包含关系,就直接将其加进去,否则保留长度更小的那个区间。
因为与长度较小的区间有包含关系的区间一定与另一个较大的区间有包含关系,反之不然,所以这样做一定是最优的。
于是我们可以通过线段树来维护最优的点集,然后通过可持久化或者撤回操作来枚举第一棵树上的点,得到最优点集的最大值。
时间复杂度 O ( n l o g n ) O\left(nlog\,n\right) O(nlogn)。
源码
#include<bits/stdc++.h>
using namespace std;
#define MAXN 300005
#define lowbit(x) (x&-x)
#define reg register
#define mkpr make_pair
#define fir first
#define sec second
typedef long long LL;
typedef unsigned long long uLL;
const LL INF=0x7f7f7f7f7f7f7f7f;