九月 27, 2019 · OI 算法
拟阵与拟阵交学习笔记
本文以矩阵交相关内容为主，忽略掉了大部分证明，感兴趣的读者请自行阅读集训队论文。 拟阵的定义记 $M = (S, L)$ 表示一个定义在有限集 $S$ 上，独立集的集合为 $L$ 的拟阵。其中 $L$ 是 $S$ 的一些子集构成的集合。拟阵 $M$ 满足以下公理： (遗传性). 如果 $I \in L, J \subseteq I$，那么 $J \in L$。 (交换性). 如果 $I,J \in L$ 且...
九月 27, 2019 · OI 算法
本文以矩阵交相关内容为主，忽略掉了大部分证明，感兴趣的读者请自行阅读集训队论文。 拟阵的定义记 $M = (S, L)$ 表示一个定义在有限集 $S$ 上，独立集的集合为 $L$ 的拟阵。其中 $L$ 是 $S$ 的一些子集构成的集合。拟阵 $M$ 满足以下公理： (遗传性). 如果 $I \in L, J \subseteq I$，那么 $J \in L$。 (交换性). 如果 $I,J \in L$ 且...