Dilworth
偏序集的两个定理：
定理1) 令（X,≤）是一个有限偏序集，并令r是其最大链的大小。则X可以被划分成r个但不能再少的反链。
其对偶定理称为Dilworth定理：
定理2) 令（X,≤）是一个有限偏序集，并令m是反链的最大的大小。则X可以被划分成m个但不能再少的链。
即：链的最少划分数 = 反链的最长长度
prufer序列
Prufer数列是无根树的一种数列。在组合数学中，Prufer数列由有一个对于顶点标过号的树转化来的数列，点数为n的树转化来的Prufer数列长度为n-2。
对于一棵确定的无根树，对应着唯一确定的prufer序列
构造方法
无根树转化为prufer序列
- 找到编号最小的度数为11的点
- 删除该节点并在序列中添加与该节点相连的节点的编号
- 重复1,21,2操作，直到整棵树只剩下两个节点
如下图的prufer序列为3,5,1,3
连边顺序为
2,3
5,4
1,5
3,1
3,6
（实际上与构建prufer序列时相同）
以上两种操作都可以用set维护，时间复杂度O(nlogn)
