从矩阵向量与图论的角度理解matriod拟阵与贪心算法

前两天算法课上讲到贪心，老师顺便提到了拟阵。
这个词很有意思，中英文都可以看到矩阵的影子，但似乎又不是一般的矩阵。
拟阵Matroid的概念由Haussler Whitney在1935年提出，创建了矩阵中 线性无关(linear independence) 与其他领域一些概念的对应关系，比如图论。

从矩阵与向量的角度入手看拟阵的基本定义

1. 前提：S 是一个有穷的线性无关的向量集合（或称有限集）
2. 遗传性质：如果 I 是 S 的一个子集，那么 I 也是一个线性无关的向量集合。
3. 增广性质：如果 A 和 B 都属于 I ，都是线性无关向量集，且A中向量个数少于B中向量个数，即|A| < |B|，那么存在一个向量 $v\in$