4、聚类理论与布尔矩阵的实用指南

聚类理论与布尔矩阵的实用指南

1. 偏序集与反链划分

在有限非空偏序集 $(S, \leqslant)$ 中，若其高度为 $m$，则可以将 $S$ 划分为 $m$ 个反链。构建有限偏序集序列 $(S_i, \leqslant_i)$（$0 \leqslant i \leqslant k - 1$），从 $(S_0, \leqslant_0) = (S, \leqslant)$ 开始。对于非空偏序集 $(S_i, \leqslant_i)$，考虑反链 $U_{i + 1} = MAX(S_i, \leqslant_i)$ 以及偏序集 $(S_{i + 1}, \leqslant_{i + 1})$，其中 $S_{i + 1} = S_i - U_{i + 1}$ 且 $\leqslant_{i + 1} = (\leqslant_i) {S {i + 1}}$，当 $S_k = S_{k - 1} - U_k = \varnothing$ 时停止。

由于反链中任意两个元素不能属于同一链，且 $S$ 包含一个有 $m$ 个元素的链，所以将 $S$ 划分为反链至少需要 $m$ 个反链，即 $m \leqslant k$。为证明 $k \leqslant m$，在偏序集 $(S, \leqslant)$ 中构造链 $x_1 < x_2 < \cdots < x_k$，从 $x_k$ 开始，$x_k$ 为 $U_k$ 中任意元素。若 $x_j \in U_j$（$i \leqslant j \leqslant k$），则选择 $x_{i - 1} \in U_{i - 1}$ 使得 $x_i < x_{i - 1}$，从而证明 ${x_1, \cdots, x_k