有一棵树丢了，但知道每个节点的子树大小，要求还原树，多组解输出任意一组

$n\le 2\times 10^5$

我的思路是，考虑dfs序，那么相当于是把若干个长度已知的区间放到一起使得其满足dfs序的性质。直接把size从大到小排序然后每次从右往左找最靠右的、能放下size的区间塞进去并将这个区间的大小减掉，这样做是对的吗？只会感性证明……