Codeforces Round #722 (Div. 1) C. Trees of Tranquillity(思维+dfs序)

题意：

给出两棵树，由这两棵树根据规则可以生成一个图，规则如下：

如果$u,v$ 在第一棵树中满足其中一个点是另一个点祖先，在第二棵树中满足两个点都不是另外一个点的祖先，则$u,v$之间连一条边。

求最后生成的图中最大的团。(团为子图中的完全图)

题解：

考虑逆推，假如一些点构成了一个团，那么说明这些点在第一棵树中必然在同一条链上，在第二棵树中任意一个点都不在其他点的子树内。

先解决第二个条件：我们先在第二棵树上求出每个点的$dfs$序，那么每个点的$dfs$序可以用一个区间表示$[in[u],out[u]]$

一个点如果不在另一个点的子树内，那么他们的$dfs$序一定不相交，反之则一定包含。

求出$dfs$序后，我们可以遍历第一棵树的每条链，将一条链上的所有点的$dfs$序放入$set$​中，最后考虑新加入一个区间对答案的影响，维护答案。

$set$内所有区间按左端点排序

$1.$ 当新区间在最左边，且不包含右边的区间，答案++

$2.$当新区间在最右边，且不被左边的区间包含，答案++

$3.$当新区间在中间：

​ $(1)$ 不被左边的区间包含，也不包含右边的区间，答案++

​ $(2)$ 被左边的区间包含，不包含右边的区间，但左边的区间包含了右边的区间，答案++

$4.$ 其余情况均不影响答案。

代码：

#pragma GCC diagnostic error "-std=c++11"
#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<queue>
#include<map>
#include<stack>
#include<set>
#include<ctime>
#define iss ios::sync_with_stdio(false)
using namespace std;
typedef unsigned long long ull;
typedef long long ll;
typedef pair<int,int> pii;
const int mod=1e9+7;
const int MAXN=3e5+5;
const int inf=0x3f3f3f3f;
std::vector<int> g1[MAXN],g2[MAXN];
int in[MAXN];
int out[MAXN];
int tim=0,ans=0,now=0;
set<pii>s;
void dfs1(int u){
    in[u]=++tim;
    for(auto i:g2[u]){
        dfs1(i);
    }
    out[u]=tim;
}
bool check(int u,int v){
    if(in[u]<=in[v]&&out[u]>=out[v]) return true;
    else return false;
}
void add(int u)
{
    if(!s.size()){
        now++;
        s.insert({in[u],u});
        return;
    }
    auto pos=s.lower_bound({in[u],u});
    if(pos==s.begin()){
        if(!check(u,pos->second)) now++;
    }
    else if(pos==s.end()){
        pos--;
        if(!check(pos->second,u)) now++;
    }
    else{
        auto ri=pos;
        pos--;
        auto le=pos;
        if(!check(le->second,u)&&!check(u,ri->second)) now++;
        else if(check(le->second,u)&&!check(u,ri->second)&&check(le->second,ri->second)) now++;
    }
    s.insert({in[u],u});
}
void solve(int u){
    add(u);
    if(!g1[u].size()) ans=max(ans,now);
    int temp=now;
    for(auto i:g1[u]){
        solve(i);
        now=temp;
    }
    s.erase({in[u],u});
}
int main()
{
    int t;
    scanf("%d",&t);
    while(t--){
        s.clear();
        tim=0;
        int n;
        scanf("%d",&n);
        for(int i=2;i<=n;i++){
            int a;
            scanf("%d",&a);
            g1[a].push_back(i);
        }
        for(int i=2;i<=n;i++){
            int a;
            scanf("%d",&a);
            g2[a].push_back(i);
        }
        dfs1(1);
        ans=0,now=0;
        solve(1);
        printf("%d\n",ans);
        for(int i=1;i<=n;i++){
            g1[i].clear(),g2[i].clear();
        }
    }
}