摘要：
两棵树分别记为 S，K lemma： 一个团一定位于S的一条链上 proof：显然 考虑K树dfs序，任何节点的dfs序区间之间只有包含或不相交的关系（本身的dfs序和子树中最大的dfs序组成的区间） proof：显然 考虑K树dfs序，则x是y的祖先的充分必要条件是x子树的dfs序区间包含y子树的 阅读全文
摘要：
规律，结论 不妨假设现在有三种长度的区间 \(A,B,C\) ，其中 \(A<B<C\) lemma: 每一个B区间必包含所有A区间，每一个C区间必包含所有B区间（每一个大的区间，必包含所有小的区间） proof：显然 所有A区间包含的点集必连续，所有A，B区间包含的点集必连续（长度小于等于某一个数 阅读全文