方祖耀
有限集合 E 的一个子集类\mathcal{J}\subseteq 2~E,如果对任意的 Y∈\mathcal{J}及 X\subseteq Y,总有 X∈\mathcal{J},我们则称(E,\mathcal{J})为一独立系统.1971年 J.Edmonds 指出,独立系统(E,\mathcal{J})对任意线性目标函数其 greedy 基恒为最优基的充分必要条件是\mathcal{J}满足交换公理,即对任意的 X,Y∈\mathcal{J},及|Y|>|X|,则存在 y∈Y\X,使 X∪{y}∈\mathcal{J}.这时(E,\mathcal{J})是一拟阵.