LuoguLOJ分析假设现在有两个格子 $(x_1,y_1)$ 和 $(x_2,y_2)$，我们定义一个偏序关系 $\leq$ 为 $x_1\leq x_2$ 且 $y_1\leq y_2$。那么我们就相当于要求给出的偏序集能划分成的最少的全序集的个数，根据 Dilworth 定理它等于最长反链的元素个数。然后反链上的元素满足 $x_1\leq x_2\land y_1>y_2$，或者...