GREEDY STRUCTURE FOR LINEAR OBJECTIVE FUNCTIONS
方祖耀 · 中国科学通报：英文版 · 1990
In [1] Edmonds showed that for any linear objective function a basis of an independent system obtained by greedy algorithm is always a maximum iff the independent system satisfies Steinitz exchange axiom. Such a system is called a matroid.