1、14 贪心算法与最优策略 2学习要点学习要点贪心算法的概念。贪心算法的概念。贪心算法的基本要素贪心算法的基本要素（1）最优子结构性质）最优子结构性质（2）贪心选择性质）贪心选择性质贪心算法与动态规划算法的差异贪心算法与动态规划算法的差异应用范例应用范例（1）活动安排问题；）活动安排问题；（2）最优装载问题；）最优装载问题；（3）哈夫曼编码和数据压缩；）哈夫曼编码和数据压缩；（4）单源最短路径；）单源最短路径；（5）最小生成树；）最小生成树；（6）多机调度问题。）多机调度问题。3 贪心算法贪心算法总是作出在当前看来最好的选择。总是作出在当前看来最好的选择。也就是说贪心算法并不从整体最优考虑，它所
2、作出也就是说贪心算法并不从整体最优考虑，它所作出的选择只是在某种意义上的的选择只是在某种意义上的局部最优局部最优选择选择。当然，希望贪心算法得到的最终结希望贪心算法得到的最终结果也是整体最优的。果也是整体最优的。虽然贪心算法不能对所有问题都得到整体最优解，但对许多问题它能产生整体最优解,如单源最短路经问题、最小生成树问题等。在一些情况下，在一些情况下，即使贪心算法不能得到整体最优解，其最终结果却即使贪心算法不能得到整体最优解，其最终结果却是最优解的近似解。是最优解的近似解。4贪心策略的思想例例1 1 付款问题付款问题 超市超市POSPOS给顾客找零，如给顾客找零，如26.826.8。“贪心贪心
3、”原则：尽量给顾客大面值的钱。原则：尽量给顾客大面值的钱。20 20、5 5、1 1、0.50.5、0.20.2、0.10.1问题描述：问题描述：已知：已知：int m=500,200,100,50,20,10,5,2,1;int m=500,200,100,50,20,10,5,2,1;int v;int v;输出：各种钞票数输出：各种钞票数 int n10;int n10;使得使得 10 10 10 10 ni ni*mi=v mi=v 且且 ni ni最小。最小。i=1 i=1 i=1 i=15void pay(int m,int v)void pay(int m,int v)int i
4、,r,n10;int i,r,n10;for(i=0;i10;i+)ni=0;for(i=0;i0)while(r0)if(mi)=r)if(mi)=r)r-=mi;ni+;r-=mi;ni+;else else i+;i+;for(i=0;i10;i+)for(i=0;i10;i+)输出输出nini个个mimi面值的钞票。面值的钞票。6 本节讨论可以用贪心算法求解的问题的一般特征。本节讨论可以用贪心算法求解的问题的一般特征。对于一个具体的问题，怎么知道是否可用贪心算法对于一个具体的问题，怎么知道是否可用贪心算法解此问题，以及能否得到问题的最优解呢解此问题，以及能否得到问题的最优解呢?这个问题
5、很这个问题很难给予肯定的回答。难给予肯定的回答。但是，从许多可以用贪心算法求解的问题中看到这但是，从许多可以用贪心算法求解的问题中看到这类问题一般具有类问题一般具有2 2个重要的性质：个重要的性质：贪心选择性质贪心选择性质 和和 最优子结构性质。最优子结构性质。7 贪心选择性质贪心选择性质 所谓贪心选择性质是指所求问题的整指所求问题的整体最优解可以通过一系列局部最优的选择体最优解可以通过一系列局部最优的选择（即贪心选择）来得到。（即贪心选择）来得到。这是贪心算法与这是贪心算法与动态算法的主要区别动态算法的主要区别。对于一个具体问题，要确定它是否具有贪心选择性质，我们必须证明每一步所作的贪心选择
6、最终导致问题的一个整体最优解。8最优子结构性质最优子结构性质 当一个问题的最优解包含着它的子问题的最优解时，称此问题具有最优子结构性质。换句话说，问题的整体最优性依赖于其局部子问题解的最优性。9 共同点：贪心算法和动态规划算法都要求问题具有最优子结构性质。不同点：动态规划算法通常以自底向上自底向上的方式解各子问题，而贪心算法则通常以自自顶向下顶向下的方式进行，以迭代的方式作出相继的贪心选择，每作一次贪心选择就将所求问题简化为规模更小的子问题。问题1：对于具有最优子结构最优子结构的问题应该选用贪心算法还是动态规划算法求解?问题2：是否能用动态规划算法求解的问题也能用贪心算法求解?贪心算法与动态规
7、划算法的差异贪心算法与动态规划算法的差异10例例2 2n0-10-1背包问题：背包问题：给定n种物品和一个背包。物品i的重量是Wi，其价值为Vi，背包的容量为C。应如何选择装入背包的物品，使得装入背包中物品的总价值最大?n背包问题：背包问题：与0-1背包问题类似，所不同的是在选择物品i装入背包时，可以选择物品可以选择物品i i的一部分的一部分，而不一定要全部装入背包，1in。11用贪心算法解背包问题的基本步骤：首先计算每种物品单位重量的价值Vi/Wi，然后，依贪心选择策略，将尽可能多的单位重量价值最高单位重量价值最高的物品装入背包。若将这种物品全部装入背包后，背包内的物品总重量未超过C，则选择
8、单位重量价值次高的物品并尽可能多地装入背包。依此策略一直地进行下去，直到背包装满为止。12nvoid Knapsack(int n,float M,float v,float w,float x)n Sort(n,v,w);/各物品依单位重量的价值排序各物品依单位重量的价值排序n int i;float c=M;n for(i=1;i=n;i+)xi=0;n for(i=1;ic)break;n xi=1;n c-=wi;n n if(i=n)xi=c/wi;n 算法算法knapsackknapsack的的主要计算时间在于将主要计算时间在于将各种物品依其单位重各种物品依其单位重量的价值从大到小
9、排量的价值从大到小排序。因此，算法的计序。因此，算法的计算时间上界为：算时间上界为：O O（nlognnlogn）。）。为了证明算法的正确为了证明算法的正确性，还必须证明背包性，还必须证明背包问题具有贪心选择性问题具有贪心选择性质质。13 对于0-10-1背包问题背包问题，贪心选择之所以不能得到最优解是因为在这种情况下，它无法保证最终能将背包装满，部分闲置的背包空间使每公斤背包空间的价值降低了。事实上，在考虑0-1背包问题时，应比较选择该物品和不选择该物品所导致的最终方案，然后再作出最好选择。由此就导出许多互相重叠的子问题。这正是该问题可用动态规动态规划算法划算法求解的另一重要特征。实际上也是
10、如此，动态规划算法的确可以有效地解0-1背包问题。14例3：活动安排问题 活动安排问题就是要在所给的活动集合中选出最大的活动安排问题就是要在所给的活动集合中选出最大的相容活动子集合。该问题要求高效地安排一系列争用某一相容活动子集合。该问题要求高效地安排一系列争用某一公共资源的活动。公共资源的活动。设有设有n n个活动的集合个活动的集合E=1,2,nE=1,2,n，其中每个活动都，其中每个活动都要求使用同一资源要求使用同一资源(如演讲会场如演讲会场)，而在同一时间内只有一，而在同一时间内只有一个活动能使用这一资源。个活动能使用这一资源。每个活动每个活动i i都有一个要求使用该资源的起始时间都有一
11、个要求使用该资源的起始时间sisi和和一个结束时间一个结束时间fi,fi,且且si fisi fi 。如果选择了活动。如果选择了活动i i，则它在，则它在半开时间区间半开时间区间si,fi)si,fi)内占用资源。若区间内占用资源。若区间si,fi)si,fi)与区与区间间sj,fj)sj,fj)不相交，则称活动不相交，则称活动i i与活动与活动j j是相容的。也就是是相容的。也就是说，当说，当sifjsifj或或sjfisjfi时，活动时，活动i i与活动与活动j j相容。相容。15例3 活动安排问题 例：例：设待安排的11个活动的开始时间和结束时间按结束时间的非减序排列如下：i123456
12、78910 11Si 130535688212fi45678910 11 12 13 1416i123 4567891011Si 130 535688212fi456 7891011121314例3 活动安排问题 算法算法greedySelector greedySelector 的计算的计算过程过程如左图所示。图中每行相应于算法的一次迭代。阴影长条表示的活动是已选入集合A的活动，而空白长条表示的活动是当前正在检查相容性的活动。17例3 活动安排问题ntemplatenvoid GreedySelector(int n,Type s,Type f,bool A)n A1=true;n int
13、j=1;n for(int i=2;i=fj)Ai=true;j=i;n else Ai=false;n n各活动的起始时间和各活动的起始时间和结束时间存储于数组结束时间存储于数组s s和和f f中且按结束时间中且按结束时间的非减序排列的非减序排列 18例3 活动安排问题 由于输入的活动以其完成时间的非减序非减序排列，所以算法greedySelectorgreedySelector每次总是选择具有最早完成时具有最早完成时间间的相容活动加入集合A中。直观上，按这种方法选择相容活动为未安排活动留下尽可能多的时间。也就是说，该算法的贪心选择的意义是使剩余的可安排时使剩余的可安排时间段极大化间段极大化
14、，以便安排尽可能多的相容活动。算法greedySelectorgreedySelector的效率极高。当输入的活动已按结束时间的非减序排列，算法只需O(n)O(n)的时间安排n个活动，使最多的活动能相容地使用公共资源。如果所给出的活动未按非减序排列，可以用O(nlogn)O(nlogn)的时间重排。19例3 活动安排问题 若被检查的活动i的开始时间Si小于最近选择的活动j的结束时间fi，则不选择活动i，否则选择活动i加入集合A中。贪心算法并不总能求得问题的整体最优解整体最优解。但对于活动安排问题，贪心算法greedySelector却总能求得的整体最优解，即它最终所确定的相容活动集合A的规模最
15、大。这个结论可以用数学归纳法证明。20例4 最优装载 有一批集装箱要装上一艘载重量为c的轮船。其中集装箱i的重量为Wi。最优装载问题要求确定在装载体积不受限制的情况下，将尽可能多的集装箱装上轮船。1 1、算法描述、算法描述最优装载问题可用贪心算法求解。采用重量最轻者先装的贪心选择策略，可产生最优装载问题的最优解。具体算法描述如下页。21templatevoid Loading(int x,Type w,Type c,int n)int*t=new int n+1;Sort(w,t,n);for(int i=1;i=n;i+)xi=0;for(int i=1;i=n&wti=c;i+)xti=1
16、;c-=wti;222 2、贪心选择性质、贪心选择性质 可以证明最优装载问题具有贪心选择性质。3 3、最优子结构性质、最优子结构性质最优装载问题具有最优子结构性质。由最优装载问题的贪心选择性质和最优子结构性质，容易证明算法loadingloading的正确性。算法loadingloading的主要计算量在于将集装箱依其重量从小到大排序，故算法所需的计算时间为 O(nlogn)O(nlogn)。23例5 哈夫曼编码哈夫曼编码哈夫曼编码是广泛地用于数据文件压缩的十分有效的编码方法。其压缩率通常在20%90%之间。哈夫曼编码算法用字符在文件中出现的频率表来建立一个用0，1串表示各字符的最优表示方式。
17、给出现频率高的字符较短的编码，出现频率较低的字符以较长的编码，可以大大缩短总码长。1、前缀码对每一个字符规定一个0,1串作为其代码，并要求任一字符的代码都不是其它字符代码的前缀。这种编码称为前缀码前缀码。24 编码的前缀性质可以使译码方法非常简单。表示最优前缀码最优前缀码的二叉树总是一棵严格二严格二叉树叉树，即树中任一结点都有2个儿子结点。平均码长平均码长定义为：使平均码长达到最小的前缀码编码方案称为给定编码字符集C的最优前缀码最优前缀码。)()()(cdcfTBTCc 252 2、构造哈夫曼编码、构造哈夫曼编码哈夫曼提出构造最优前缀码的贪心算法，由此产生的编码方案称为哈夫曼编码哈夫曼编码。哈
18、夫曼算法以自底向上的方式构造表示最优前缀码的二叉树T。算法以|C|个叶结点开始，执行|C|1次的“合并”运算后产生最终所要求的树T。263 3、哈夫曼算法的正确性、哈夫曼算法的正确性要证明哈夫曼算法的正确性，只要证明最优前缀码问题具有贪心选择性质贪心选择性质和最优最优子结构性质子结构性质。(1)贪心选择性质(2)最优子结构性质27例6 单源最短路径给定带权有向图G=(V,E)，其中每条边的权是非负实数。另外，还给定V中的一个顶点，称为源源。现在要计算从源到所有其它各顶点的最短路长度最短路长度。这里路的长度是指路上各边权之和。这个问题通常称为单源最短路径问题单源最短路径问题。1、算法基本思想Di
19、jkstra算法是解单源最短路径问题的贪心算法。28例6 单源最短路径其基本思想基本思想是，设置顶点集合S并不断地作贪心选择贪心选择来扩充这个集合。一个顶点属于集合S当且仅当从源到该顶点的最短路径长度已知。初始时，S中仅含有源。设u是G的某一个顶点，把从源到u且中间只经过S中顶点的路称为从源到u的特殊路径，并用数组dist记录当前每个顶点所对应的最短特殊路径长度。Dijkstra算法每次从V-S中取出具有最短特殊路长度的顶点u，将u添加到S中，同时对数组dist作必要的修改。一旦S包含了所有V中顶点，dist就记录了从源到所有其它顶点之间的最短路径长度。29例6 单源最短路径例如例如，对右图中
20、的有向图，应用Dijkstra算法计算从源顶点1到其它顶点间最短路径的过程列在下页的表中。30例6 单源最短路径迭代迭代S Su udist2dist2 dist3dist3 dist4dist4 dist5dist5初始初始1-10maxint301001 11,221060301002 21,2,44105030903 31,2,4,33105030604 41,2,4,3,5510503060Dijkstra算法的迭代过程：31例6 单源最短路径2、算法的正确性和计算复杂性(1)贪心选择性质(2)最优子结构性质(3)计算复杂性对于具有n个顶点和e条边的带权有向图，如果用带权邻接矩阵表示这
21、个图，那么Dijkstra算法的主循环体需要 时间。这个循环需要执行n-1次，所以完成循环需要 时间。算法的其余部分所需要时间不超过 。)(nO)(2nO)(2nO32例7 最小生成树 设G=(V,E)是无向连通带权图，即一个网络网络。E中每条边(v,w)的权为cvw。如果G的子图G是一棵包含G的所有顶点的树，则称G为G的生成树。生成树上各边权的总和称为该生成树的耗费耗费。在G的所有生成树中，耗费最小的生成树称为G的最小生成树最小生成树。网络的最小生成树在实际中有广泛应用。例如例如，在设计通信网络时，用图的顶点表示城市，用边(v,w)的权cvw表示建立城市v和城市w之间的通信线路所需的费用，则
22、最小生成树就给出了建立通信网络的最经济的方案。33例7 最小生成树1、最小生成树性质用贪心算法设计策略可以设计出构造最小生成树的有效算法。本节介绍的构造最小生成树的PrimPrim算法算法和KruskalKruskal算法算法都可以看作是应用贪心算法设计策略的例子。尽管这2个算法做贪心选择的方式不同，它们都利用了下面的最小生成树性质最小生成树性质：设G=(V,E)是连通带权图，U是V的真子集。如果(u,v)E，且uU，vV-U，且在所有这样的边中，(u,v)的权cuv最小，那么一定存在G的一棵最小生成树，它以(u,v)为其中一条边。这个性质有时也称为MSTMST性质性质。34例7 最小生成树2
23、 2、PrimPrim算法算法 设G=(V,E)是连通带权图，V=1,2,n。构造G的最小生成树的Prim算法的基本思想基本思想是：首先置S=1，然后，只要S是V的真子集，就作如下的贪心选贪心选择择：选取满足条件iS，jV-S，且cij最小的边，将顶点j添加到S中。这个过程一直进行到S=V时为止。在这个过程中选取到的所有边恰好构成G的一棵最小最小生成树生成树。35例7 最小生成树利用最小生成树性质和数学归纳法容易证明，上述算法中的边集合边集合T T始终始终包含包含G G的某棵最小生成树中的某棵最小生成树中的边的边。因此，在算法结束时，T中的所有边构成G的一棵最小生成树。例如例如，对于右图中的带
24、权图，按PrimPrim算法算法选取边的过程如下页图所示。36例7 最小生成树37例7 最小生成树在上述Prim算法中，还应当考虑如何有效地找出满如何有效地找出满足条件足条件i i S,jS,j V-SV-S，且权，且权cijcij最小的边最小的边(i,j)(i,j)。实现这个目的的较简单的办法是设置2个数组closest和lowcost。在Prim算法执行过程中，先找出V-S中使lowcost值最小的顶点j，然后根据数组closest选取边(j,closestj)，最后将j添加到S中，并对closest和lowcost作必要的修改。用这个办法实现的Prim算法所需的计算时间计算时间为)(2n
25、O38例7 最小生成树3 3、KruskalKruskal算法算法Kruskal算法构造G的最小生成树的基本思想基本思想是，首先将G的n个顶点看成n个孤立的连通分支。将所有的边按权从小到大排序。然后从第一条边开始，依边权递增的顺序查看每一条边，并按下述方法连接2个不同的连通分支：当查看到第k条边(v,w)时，如果端点v和w分别是当前2个不同的连通分支T1和T2中的顶点时，就用边(v,w)将T1和T2连接成一个连通分支，然后继续查看第k+1条边；如果端点v和w在当前的同一个连通分支中，就直接再查看第k+1条边。这个过程一直进行到只剩下一个连通分支时为止。39例7 最小生成树例如，例如，对前面的连
26、通带权图，按Kruskal算法顺序得到的最小生成树上的边如下图所示。40例7 最小生成树关于集合的一些基本运算集合的一些基本运算可用于实现Kruskal算法。按权的递增顺序查看等价于对优先队列优先队列执行removeMinremoveMin运算。可以用堆堆实现这个优先队列。对一个由连通分支组成的集合不断进行修改，需要用到抽象数据类型并查集并查集UnionFindUnionFind所支持的基本运算。当图的边数为e时，Kruskal算法所需的计算时间计算时间是 。当 时，Kruskal算法比Prim算法差，但当 时，Kruskal算法却比Prim算法好得多。)log(eeO)(2ne)(2noe
27、41例8 多机调度问题多机调度问题多机调度问题要求给出一种作业调度方案，使所给的n个作业在尽可能短的时间内由m台机器加工处理完成。这个问题是NPNP完全问题完全问题，到目前为止还没有有效的解法。对于这一类问题,用贪心选择策略贪心选择策略有时可以设计出较好的近似算法。约定，每个作业均可在任何一台机器上加工处约定，每个作业均可在任何一台机器上加工处理，但未完工前不允许中断处理。作业不能拆分成理，但未完工前不允许中断处理。作业不能拆分成更小的子作业。更小的子作业。42例7 多机调度问题采用最长处理时间作业优先最长处理时间作业优先的贪心选择策略可以设计出解多机调度问题的较好的近似算法。按此策略，当 时
28、，只要将机器i的0,ti时间区间分配给作业i即可，算法只需要O(1)时间。当 时，首先将n个作业依其所需的处理时间从大到小排序。然后依此顺序将作业分配给空闲的处理机。算法所需的计算时间为O(nlogn)。mn mn 43例8 多机调度问题例如，例如，设7个独立作业1,2,3,4,5,6,7由3台机器M1，M2和M3加工处理。各作业所需的处理时间分别为2,14,4,16,6,5,3。按算法greedygreedy产生的作业调度如下图所示，所需的加工时间为17。444.8 贪心算法的理论基础借助于拟阵拟阵工具，可建立关于贪心算法的较一般的理论。这个理论对确定何时使用贪心算法确定何时使用贪心算法可以
29、得到问题的整体最优解十分有用。1 1、拟阵、拟阵拟阵M定义为满足下面3个条件的有序对(S,I)：(1)S是非空有限集。(2)I是S的一类具有遗传性质的独立子集族，即若BI，则B是S的独立子集，且B的任意子集也都是S的独立子集。空集必为I的成员。(3)I满足交换性质，即若AI,BI且|A|0，则称拟阵M为带权拟阵带权拟阵。依此权函数，S的任一子集A的权定义为 。2 2、关于带权拟阵的贪心算法、关于带权拟阵的贪心算法许多可以用贪心算法求解的问题可以表示为求带权拟阵的最大权独立子集问题最大权独立子集问题。AxxWAW)()(474.8 贪心算法的理论基础给定带权拟阵M=(S,I)，确定S的独立子集A
30、I使得W(A)达到最大。这种使W(A)最大的独立子集A称为拟阵M的最优最优子集子集。由于S中任一元素x的权W(x)是正的，因此，最优子最优子集也一定是极大独立子集集也一定是极大独立子集。例如，例如，在最小生成树问题可以表示为确定带权拟阵 的最优子集问题。求带权拟阵的最优子集A的算法可用于解最小生成树问题。下面给出求带权拟阵最优子集带权拟阵最优子集的贪心算法。该算法以具有正权函数W的带权拟阵M=(S,I)作为输入，经计算后输出M的最优子集A。GM484.8 贪心算法的理论基础nSet greedygreedy(M,W)nA=;n 将S中元素依权值W（大者优先）组成优先队列；n while(S!=
31、)n S.removeMax(x);n if(AxI)A=Ax;n n return An494.8 贪心算法的理论基础算法greedygreedy的计算时间复杂性为 。引理引理4.24.2(拟阵的贪心选择性质拟阵的贪心选择性质)设M=(S,I)是具有权函数W的带权拟阵，且S中元素依权值从大到小排列。又设x S是S中第一个使得x是独立子集的元素，则存在S的最优子集A使得x A。算法greedygreedy在以贪心选择构造最优子集A时，首次选入集合A中的元素x是单元素独立集中具有最大权的元素。此时可能已经舍弃了S中部分元素。可以证明这些被舍弃的元素不可能用于构造最优子集。)(log(nnfnnO
32、504.8 贪心算法的理论基础引理引理4.34.3：设M=(S,I)是拟阵。若S中元素x不是空集的可扩展元素，则x也不可能是S中任一独立子集A的可扩展元素。引理引理4.4(4.4(拟阵的最优子结构性质拟阵的最优子结构性质)设x是求带权拟阵M(S，I)的最优子集的贪心算法greedygreedy所选择的S中的第一个元素。那么，原问题可简化为求带权拟阵M=(S,I)的最优子集最优子集问题，其中：S=y|y S且x,y II=B|B S-x且Bx IM的权函数是M的权函数在S上的限制(称M为M关于元素x的收缩收缩)。514.8 贪心算法的理论基础定理定理4.5(4.5(带权拟阵贪心算法的正确性带权拟
33、阵贪心算法的正确性)设M(S,I)是具有权函数W的带权拟阵，算法greedy返回M的最优子集。3 3、任务时间表问题、任务时间表问题给定一个单位时间任务单位时间任务的有限集S。关于S的一个时间表时间表用于描述S中单位时间任务的执行次序。时间表中第1个任务从时间0开始执行直至时间1结束，第2个任务从时间1开始执行至时间2结束，第n个任务从时间n-1开始执行直至时间n结束。524.8 贪心算法的理论基础具有截止时间截止时间和误时惩罚误时惩罚的单位时间任务时间表问题可描述如下。(1)n个单位时间任务的集合S=1,2,n；(2)任务i的截止时间 ,1in,1 n，即要求任务i在时间 之前结束；(3)任
34、务i的误时惩罚 ,1in,即任务i未在时间 之前结束将招致的 惩罚；若按时完成则无惩罚。任务时间表问题任务时间表问题要求确定S的一个时间表（最优时间表）使得总误时惩罚达到最小。idididiwiwid534.8 贪心算法的理论基础这个问题看上去很复杂，然而借助于拟阵拟阵，可以用带带权拟阵的贪心算法权拟阵的贪心算法有效求解。对于一个给定的S的时间表，在截止时间之前完成的任务称为及时任务及时任务，在截止时间之后完成的任务称为误时误时任务任务。S的任一时间表可以调整成及时优先形式及时优先形式，即其中所有及时任务先于误时任务，而不影响原时间表中各任务的及时或误时性质。类似地，还可将S的任一时间表调整成
35、为规范形式规范形式，其中及时任务先于误时任务，且及时任务依其截止时间的非减序排列。544.8 贪心算法的理论基础首先可将时间表调整为及时优先形式，然后再进一步调整及时任务的次序。任务时间表问题等价于等价于确定最优时间表中及时任务子及时任务子集集A A的问题。一旦确定了及时任务子集A，将A中各任务依其截止时间的非减序列出，然后再以任意次序列出误时任务，即S-A中各任务，由此产生S的一个规范的最优时间表。对时间t=1,2,n，设设 (A)是任务子集A中所有截止时间是t或更早的任务数。考察任务子集A的独立性。tN554.8 贪心算法的理论基础引理引理4.64.6：对于S的任一任务子集A，下面的各命题
36、是等价的。(1)任务子集A是独立子集。(2)对于t=1,2,n，(A)t。(3)若A中任务依其截止时间非减序排列，则A中所有任务都是及时的。任务时间表问题任务时间表问题要求使总误时惩罚达到最小，这等价于使任务时间表中的及时任务的惩罚值之和达到最大。下面的定理定理表明可用带权拟阵的贪心算法解任务时间表问题。tN564.8 贪心算法的理论基础定理定理4.74.7：设S是带有截止时间的单位时间任务集，I是S的所有独立任务子集构成的集合。则有序对(S,I)是拟阵。由定理定理4.54.5可知，用带权拟阵的贪心算法可以求得最大权(惩罚)独立任务子集A，以A作为最优时间表中的及时任务子集，容易构造最优时间表。任务时间表问题的贪心算法的计算时间复杂性计算时间复杂性是 。其中f(n)是用于检测任务子集A的独立性所需的时间。用引理4.6中性质(2)容易设计一个 时间算法来检测任务子集的独立性。因此，整个算法的计算时间计算时间为 。具体算法greedyJobgreedyJob可描述如P130。)(2nO)(nO)(log(nnfnnO
