小清新找性质题，想到关键就很简单考虑在第一棵树上枚举一条从\(1\)到某个点的链，显然这些点之间满足第一个限制，现在只要在这些点中选出尽可能多的点满足第二个限制即可在第二棵树上两个点没有祖先关系，等价于它们对应的DFS序区间相离而两个点的DFS序区间显然要么相离要么包