浅谈子集系统、拟阵与贪心

拟阵前先谈另一个东西，子集系统。
子集系统是一个有序二元组M=(S，L)，它必须满足以下3个条件：
1.S是一个有限集。
2.L是S的一些子集构成的有限非空子集。
3.遗传性：对∀B∈L，∀A⊆B，有A∈L（可知∅必须是L的元素）。
S中每个元素被赋予一个正值w(s)。
举个例子，一个带权无向图G的边集为E，它的所有生成森林集合为J，则(E，J)为一个子集系统。

独立集
对于U⊆S，如果U∈L。则U为独立集

对于独立集A，若存在x∈S，满足x∉A且A∪x∈L，则称A为可扩展的。不可扩展的为极大独立集。

极大独立集的基数为它所包含的元素个数。

前一个例子中，G 的所有生成树是所有的极大独立集，它们的基数都为|V|- 1，|V| 为G 的顶点数。

拟阵是一个子集系统，但它还必须满足第4个条件：交换性，也称为独立扩展公理，对于∀A∈L，B∈L，|A|＜|B|，存在一个x∈B-A，使A∪{x}∈L。
举个例子，S为一个班的所有学生，L为若干张这个班级部分学生名单的集合。由遗传性可得，从一张名单中选若干个同学组成的子名单仍存在于名单集合中。由交换性可得，若名单A上的人数少于B，则必然可以从B中选一个人不属于A，将这个人加入A中后形成的新名单仍然存在于名单集合中。

对于拟阵M=(S，L)，L中的极大独立集称为拟阵的基。
用β表示基的集合，则β非空且它满足基交换性，即若A，B∈β，A≠B，a∈A-B，则∃b∈B-A使得A-{a}+{b}∈β。
有基交换性得每个基大小相同。拟阵的秩就是基的大小，拟阵的并仍是拟阵。若S中元素带权，则M为带权拟阵。
对于U⊆S，如果r(u)=max{|x|:x⊆U，且x为独立集}，则称r(U)为U的秩，r称为拟阵的秩函数。

子集优化问题：在子集系统中选一个元素E∈L，使得w(E)最大， w(E)=∑e∈E