Loj #2324. 「清华集训 2017」小 Y 和二叉树

时间:2021-10-22 00:21:33

Loj #2324. 「清华集训 2017」小 Y 和二叉树

小Y是一个心灵手巧的OIer,她有许多二叉树模型。

小Y的二叉树模型中,每个结点都具有一个编号,小Y把她最喜欢的一个二叉树模型挂在了墙上,树根在最上面,左右子树分别在树根的左下方与右下方,且他们也都满足

这样的悬挂规则。为了让这个模型更加美观,小Y选择了一种让这棵二叉树的中序遍历序列最小的悬挂方法。所谓中序遍历最小,就是指中序遍历的结点编号序列的字典

序最小。

一天,这个模型不小心被掉在了地上,幸运的是,所有结点和边都没摔坏,但是她想不起这个模型原来是怎么悬挂的了,也就是说:她想不起来树根节点的编号了。

小Y最近忙于准备清华集训,所以没太多时间处理别的事情,她只好找到同样心灵手巧的你帮忙复原她的二叉树模型。

给定小Y的二叉树模型,结点的编号为 \(1\) ~ \(n\) ,你需要给出其可能的最小的中序遍历,方便小Y更快的摆好她的模型。

输入格式

第一行为一个正整数 \(n\) ,表示点的个数。

后接 \(n\) 行,每行若干个整数:

第 \(i+1\) 行的第一个整数为 \(k_i\) ,表示编号为 \(i\) 的结点的度数,后接 \(k_i\) 个整数 \(a_{i,j}\) ,表示编号为 \(i\) 的结点与编号为 \(a_{i,j}\) 的结

点之间有一条边。

同一行输入的相邻两个元素之间,用恰好一个空格隔开。

输出格式

输出共一行, \(n\) 个整数,表示字典序最小的中序遍历。

数据范围与提示

\(n\leq 10^6\)

假设我们知道了最优答案下的根,那么答案就很好求了。

设\(mn_i\)表示\(i\)的子树的中序遍历得到第一个点。我们可以发现,\(mn_i\)就是\(i\)子树中度数\(\leq 2\)的子节点中最小的那个。然后我们就递归:如果一个点有两个儿子,就优先走\(mn\)值小的那个;如果只有一个儿子,就要判断儿子的\(mn\)值是否比自己的值大来判断将儿子放在左边还是右边。

难点就是找根。很容易发现,答案的第一位一定是度数\(\leq 2\)的节点中最小的那个。然后我们从这个点开始递归,找到最终答案下的根。我们先找到最小的点,设为\(g\)。然后以\(g\)为根,求出\(mn\)数组。接着就是分情况讨论:

假设当前处理\(v\)节点。默认与\(v\)相邻的还没有访问到的点为\(v\)的儿子。

  • 情况1:

假设\(v\)只有一个儿子\(sn_1\),若 \(sn_1\leq mn_{sn_1}\) 则 \(sn_1\) 就作为\(v\)的父亲,递归\(sn_1\);否则\(v\)就是最终的根。

如果\(sn_1\)不作为\(v\)的父亲,那么最终答案里,\(v\)过了就是\(mn_{sn_1}\);反之\(v\)过了就是\(sn_1\)。所以这个贪心是正确的。

  • 情况2:

假设\(v\)有两个儿子\(sn_1\),\(sn_2\)(不妨设\(mn_{sn_1}<mn_{sn_2}\))。那么将\(sn_1\)作为右儿子,\(sn_2\)作为父亲,递归\(sn_2\)。

#include<bits/stdc++.h>
#define ll long long
#define N 1000005 using namespace std;
inline int Get() {int x=0,f=1;char ch=getchar();while(ch<'0'||ch>'9') {if(ch=='-') f=-1;ch=getchar();}while('0'<=ch&&ch<='9') {x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}return x*f;} int n;
int r[N];
struct road {
int to,nxt;
}s[N<<1];
int h[N],cnt;
void add(int i,int j) {s[++cnt]=(road) {j,h[i]};h[i]=cnt;} vector<int>ans;
int rt;
bool vis[N];
int mn[N]; void Get_mn(int v,int fr) {
if(r[v]<3) mn[v]=v;
else mn[v]=1e9;
for(int i=h[v];i;i=s[i].nxt) {
int to=s[i].to;
if(to==fr) continue ;
Get_mn(to,v);
mn[v]=min(mn[v],mn[to]);
}
} int RT;
void Find_rt(int v,int fr) {
int sn1=0,sn2=0;
for(int i=h[v];i;i=s[i].nxt) {
int to=s[i].to;
if(to==fr) continue ;
if(!sn1) sn1=s[i].to;
else sn2=s[i].to;
}
if(!sn1) {RT=v;return ;}
if(!sn2) {
if(sn1<=mn[sn1]) Find_rt(sn1,v);
else {RT=v;return ;}
} else {
if(mn[sn1]>mn[sn2]) swap(sn1,sn2);
Find_rt(sn2,v);
}
} void Print(int v,int fr) {
int sn1=0,sn2=0;
for(int i=h[v];i;i=s[i].nxt) {
int to=s[i].to;
if(to==fr) continue ;
if(!sn1) sn1=to;
else sn2=to;
}
if(mn[sn1]>mn[sn2]) swap(sn1,sn2);
if(!sn2&&mn[sn1]>v) swap(sn1,sn2);
if(sn1) Print(sn1,v);
cout<<v<<" ";
if(sn2) Print(sn2,v);
} int main() {
mn[0]=1e9;
n=Get();
for(int i=1;i<=n;i++) {
int k=Get();
r[i]=k;
while(k--) {
int a=Get();
add(i,a);
}
}
rt=1e9;
for(int i=1;i<=n;i++) if(r[i]!=3) rt=min(rt,i);
Get_mn(rt,0);
Find_rt(rt,0);
Get_mn(RT,0);
Print(RT,0);
return 0;
}