[Note] 拟阵

Reference

---

本来打算啃论文的结果被我鸽啦
论文的话可以参考 WC 2007 2015 2018

为了方便大家（我）看得懂而且我赶时间
我就简单一点讲吧。所以会很不严谨

---

有限拟阵^Reference

一个有限拟阵 $\mathrm{M}=(\mathrm{S},\mathrm{I})$ 满足：
$\mathrm{S}$ 是有限集； $\mathrm{S}$ 的某些子集组成有限非空集 $\mathrm{I}$ ，且这些子集被称为独立集。
遗传性： $\mathrm{I}$ 里面的某个集合的子集必须也属于 $\mathrm{I}$ 。（所以 $\varnothing \in \mathrm{I}$ 。)
交换性： $\forall \mathrm{A},\mathrm{B}\in \mathrm{I}$ ， $|\mathrm{B}|>|\mathrm{A}|$ ，一定有： $\exists \mathrm{v}\in \mathrm{B}-\mathrm{A}$ 满足 A ∪ { v } ∈ I \rm A\cup\{v\}\in\rm I A∪{v}∈I
交换性换句话说就是：
任意一个独立集一定是至少一个大小最大的独立集（即极大独立集 or 拟阵的基）的子集。

所以实际上你也可以把 $\mathrm{I}$ 看作是多个极大独立集的所有子集构成的集合？

举个例子，均匀拟阵 $\mathrm{M}=(\mathrm{S},\mathrm{I})$
$\mathrm{S}=something$ ， I = { A ⊆ S    :    ∣ A ∣ ≤ k } {\rm I}=\{{\rm A\subseteq S\;:\;|A|}\le k\} I={A⊆S:∣A∣≤k} 其中 $k$ 是常数。

再举个例子：图拟阵 $\mathrm{M}=(\mathrm{S},\mathrm{I})$
$\mathrm{S}$ 为无向图 $\mathrm{G}$ 的边集。（ $\mathrm{G}$ 是有向图的话大概率就没有这样的拟阵啦？）
所有的独立集无环。（换句话说就是：所有大小最大的独立集都是生成森林）

再再举个栗子：匹配拟阵 $\mathrm{M}=(\mathrm{V},\mathrm{I})$
$\mathrm{V}$ 是无向图 $\mathrm{G}=(\mathrm{V},\mathrm{E})$ 的点集；
所有的独立集都满足存在一个匹配可以覆盖其中的所有点。

用增广路可以证明匹配拟阵的交换性；
利用拟阵并可以简单地证明二分图匹配拟阵的交换性。
留作习题喜提

图拟阵里面，带环的都是非独立集。
但是单个环还是有点意思的，可以下个定义啊。
极小非独立集：去掉其中的任意一个元素都可以形成一个独立集。

你可以发现任意一个拟阵所有基大小相同，但是所有环大小不一定相同。

另外提一下基交换定理
基 $\mathrm{A},\mathrm{B}$ 。为了方便看懂记 $\mathrm{C}=\mathrm{A}\cap \mathrm{B}$
你可以把 $\mathrm{A}$ （或者 $\mathrm{B}$ ） 减去 $\mathrm{A}\backslash \mathrm{C}$ （或者 $\mathrm{B}\backslash \mathrm{C}$ ） 的任意一个子集
然后一定能够加上 $\mathrm{B}\backslash \mathrm{C}$ （或者 $\mathrm{A}\backslash \mathrm{C}$ ） 的某一个子集形成一个独立集。
证明：利用拟阵的交换性公理

---

拟阵的秩 & 秩函数

拟阵的秩 = 拟阵基的大小
对于拟阵 $\mathrm{M}=(\mathrm{S},\mathrm{I})$ ，任意一个 $\mathrm{U}\subset \mathrm{S}$ ，有：
秩函数 $r(\mathrm{U})$ 表示 $\mathrm{U}$ 中极大独立集（这里是指 $\mathrm{U}$ 里面大小最大的那个独立集）的大小。
性质：
有界性
单调性
次模性
前两个性质都很显然以至于我懒得打
第三个性质
$$\forall \mathrm{A},\mathrm{B}\subset \mathrm{S},\mathrm{r}(\mathrm{A}\cup \mathrm{B})+\mathrm{r}(\mathrm{A}\cap \mathrm{B})=\mathrm{r}(\mathrm{A})+\mathrm{r}(\mathrm{B})$$
看起来有点像 $(a,b)[a,b]=ab$ 所以也许很好记、
怎么证明呢？
设 $\mathrm{A}\cap \mathrm{B},\mathrm{A},\mathrm{B},\mathrm{A}\cup \mathrm{B}$ 里面的极大独立集分别为 $\mathrm{Q},\mathrm{W},\mathrm{E},\mathrm{R}$
然后先准备两个字母 $\mathrm{T}$ 和 $\mathrm{Y}$
令 $\mathrm{Q}+\mathrm{T}=\mathrm{W}$
令 $\mathrm{Q}+\mathrm{Y}=\mathrm{E}$
有 $\mathrm{Q}+\mathrm{T}+\mathrm{Y}=\mathrm{R}$
有 $\mathrm{Q}+\mathrm{R}=\mathrm{Q}+\mathrm{T}+\mathrm{Q}+\mathrm{Y}=\mathrm{W}+\mathrm{E}$
好啦。
（至于看起来为什么会有点像 $(a,b)[a,b]=ab$ 那当然是有原因的啦？自行思考）
秩函数可以推出拟阵公理，留做习题。

---

加权拟阵

就是加权啦，给每一个独立子集 $A$ 附加权值 $\omega (A)=\sum _{v\in A}\omega (v)$

---

拟阵上的最优化问题：最大权独立子集

看起来是不是很熟悉鸭
求加权拟阵的最大权独立子集？贪心即可。
把 $\mathrm{S}$ 里面的元素从大到小排
按照排序后的顺序逐个考虑 $\mathrm{S}$ 里面的每个元素，只要加上之后还是独立集就加上。
最后得到的集合一定是最优的，而且是拟阵的一个基。（当然前提是元素非负？）
会得到基是显然的。
由此，加上一开始做的排序：会得到最优解自然也是显然的。

然后根据这个一般方法，可以得到：
最小生成树。
二分图匹配。
etc
对于新的问题，可以从遗传性入手判断它是不是一个拟阵问题，然后试着证明交换性
然后就可以用类似的方法解决了。典型例子是最小生成环套树森林。

---

update 博主退役了 再见
WC2018 的论文应该很通俗易懂 就不讲啦
据说国外拟阵交&并的应用比较广 不过我还没写过有点小遗憾