线性目标函数下的greedy结构

1971年Edmonds在文献1]中给出了在独立系统上greedy算法能使任何线性目标函数达到最优的充分必要条件:系统满足steinitz交换公理。众所周知,这样的系统称为拟阵。