Lecture 11 贪心算法的理论基础-拟阵.pptxVIP

第4章 贪心算法 1 4.8 贪心算法的基础理论 1.拟阵 2.帯权拟阵的贪心算法 3.任务时间表问题 本讲主要内容： 2 4.8 贪心算法的理论基础 借助于拟阵[1]（Matroid）工具，可建立关于贪心算法的较一般的理论。 线性代数中有如下两条性质： （1）如果X＝{x1,x2,…,xk}是一个线性无关向量组，则对X的任意子集X’也是线性无关的。 （2）如果X＝{x1,x2,…,xr}和Y＝{y1,y2,…,ym}是两个线性无关向量组且mr，则必存在一个yi∈Y，使得X∪{yi}是一个线性无关向量组。 1935年，Whitney把以上两条性质进行了抽象推广，提出了拟阵概念。 [1]赖虹建. 拟阵论[M].北京: 高等教育出版社，2002年7月 3 4.8 贪心算法的理论基础 1.拟阵 独立公理集系统将拟阵M定义为满足下面3个条件的有序对(S,I) (1)S是非空有限集。 (2)I是S的一类具有遗传性质的独立[1]子集族，即若BI，则B是S的独立子集，且B的任意子集也都是S的独立子集(即该子集属于I)。空集必为I的成员。 (3)I满足交换性质，即若AI,BI且|A||B|，则存在某一元素xB-A，使得A∪{x}I。 [1]:此处的独立子集是线性无关(或线性独立)概念的推广，代表I的入集条件 4 4.8 贪心算法的理论基础 例1：如非空集合S的子集K的幂集I=