拟阵及其应用（带有oj例题讲解）

Matroid

introduction

这篇文章主要是写拟阵及其应用。虽然拟阵的出现并不是因为贪心算法，但是它在贪心算法有着非常重要的地位。

一些概念

1. 线性相关和线性无关：
   在线性代数里，矢量空间的一组元素中，若没有矢量可用有限个其他矢量的线性组合所表示，则称为线性无关或线性独立 (linearly independent)，反之称为线性相关(linearly dependent)。

2. 集族：
   设{ ${{E_\alpha：\alpha\in I}}$}是一个以集合${E_\alpha}$为元素的集合，这种以集合为元素的集合常称为集合类或者集合族，${\alpha}$称为指标，${I}$是由全体指标构成的指标集。

3. 拟阵(matroid):
   一个拟阵就是一个满足如下条件的序偶M=(S,T):

   • S是一个有限集合，T是S的一个非空子集,这些子集称为独立子集。
   • 具有遗传性，即B${\in}$T且A${\subseteq }$B,则A