贪心算法——最小化延迟安排

问题描述

我们假设一个时间点只能处理一个任务，处理任务$j$所需处理时长为$t_j$且到期时间为$d_j$。
如果任务$j$的开始时间为$s_j$，那么它的完成时间为$f_j=s_j+d_j$
任务$j$的延迟为： l j = m a x { 0 , f j − d j } l_j = max\{0,f_j-d_j\} lj​=max{0,fj​−dj​}
目标：设计一种安排策略最小化最大延迟，即$L=ma{x}_j{l}_j$

正确的贪心策略

按照到期时间从早到晚进行排序，然后无间隙执行，得到的就是最优解
下图就是贪心安排的一个图，最大时延为1

一些观察结论

• 若一个最优解中任务之间存在间隙，则我们一定能找到另一个任务间不存在间隙的最优解。如下图：
  
  我们的贪心策略中任务之间是不存在间隙的

• 逆序对：若任务$i$的到期时间$d_i$小于任务$j$的到期时间$d_j$，但任务$j$却安排在了任务$i$的前面，那么我们称$(i,j)$为一个逆序对。如下图所示：
  
  我们的贪心策略是任务之间不存在间隙且无逆序对的唯一安排

• 如果一个任务之间不存在间隙的安排存在逆序对，那么一定存在一个相邻的逆序对
  证明：（反证法）
  
  ①我们假设$(i,j)$是最近的一个逆序对，且它们之间不相邻，$k$为与$j$相邻的右边元素。如上图所示
  ②则，如果任务$j$的到期时间大于任务$k$的到期时间，那么$(i,j)$是一个相邻的逆序对，假设错误；如果任务$j$的到期时间小于任务$k$的到期时间，由于$l_i<l_j<l_k$，因此$(i,k)$也是一个逆序对且比逆序对$(i,j)$更近，假设错误；
  综上：如果一个任务之间不存在间隙的安排存在逆序对，那么一定存在一个相邻的逆序对

• 交换两个相邻的逆序对，不会增加最大时延，且有可能减少最大时延。
  证明：
  我们设$l$为交换之前的时延，$l^{{}^{\prime }}$为交换之后的时延，则有以下结论
  ①对于所有的$k\ne i,j$，$l_k^{{}^{\prime }}=l_k$，因为这些任务前后没有进行交换
  ②$l_i{}^{\prime }\le l_i$， 交换之后任务$i$的处理时间提前，因此时延小于等于交换之前
  ③$l_j^{{}^{\prime }}=f_j{}^{\prime }-d_j=f_i-d_j\le f_i-d_i\le l_i$
  综上结论：交换后无论任务$i,j$的延迟都不会超过交换前任务$i$的延迟

利用上述观察，证明贪心策略最优性

反证法：若最优解存在一些逆序对
我们可以假设其中一个最优解$S^{\ast }$没有间隙时间
如果$S^{\ast }$存在一个逆序对，那么我们可以保证不增加最大时延的情况下消除该逆序对。
重复上述操作，我们可以得到一种最优解不存在逆序对且没有间隙时间，而这种方案唯一且为我们的贪心解，因此我们的贪心策略可以得到最优解。