* 4.8 贪心算法的理论基础 (3)由引理4.4可知Greedy选择了元素x后原问题简化为求拟阵M的最优子集问题 由于对 M=(S,I)中的任一独立子集B?I均有B{x}在M中是独立的由M的定义可知因此Greedy选择了元素x后后续求解将演变为求拟阵M=(S,I)的最优子集问题 由归纳法可知其后继步骤求出M的一个最优子集从而算法Greedy最终求出的是M的一个最优子集 * 4.8 贪心算法的理论