算法导论习题解答 16-2 （最小平均完成时间）

假定给定任务集合 S = { a 1 , a 2 , ⋯   , a n } S=\{a_1,a_2,\cdots,a_n\} S={a1​,a2​,⋯,an​}，其中任务$a_i$在启动后需要$p_i$个时间单位完成。你有一台计算机来运行这些任务，每个时刻只能运行一个任务。令$c_i$表示任务$a_i$的完成时间，即任务$a_i$被执行完的时间。你的目标是最小化平均完成时间，即最小化$(1/n){\sum }_{i=1}^n{c}_i$。例如，假定有两个任务$a_1$和$a_2$，$p_1=3$，$p_2=5$，如果$a_2$首先运行，然后运行$a_1$，则$c_2=5$，$c_1=8$，平均完成时间为$(5+8)/2=6.5$。如果$a_1$先于$a_2$执行，则$c_1=3$，$c_2=8$，平均完成时间为$(3+8)/2=5.5$。

a. 设计算法，求平均完成时间最小的调度方案。任务的执行都是非抢占的，即一旦$a_i$开始运行，它就持续运行$p_i$个时间单位。证明你的算法能最小化平均完成时间，并分析算法的运行时间。

b. 现在假定任务并不是在任意时刻都可以开始执行，每个任务都有一个释放时间$r_i$，在此时间之后才可以开始。此外假定任务执行是可以抢占的 (preemption)，这样任务可以被挂起，稍后再重新开始。例如，一个任务$a_i$的运行时间为$p_i=6$，释放时间为$r_i=1$，它可能在时刻1开始运行，在时刻4被抢占。然后在时刻10恢复运行，在时刻11再次被强占，最后在时刻13恢复运行，在时刻15运行完毕。任务$a_i$共运行了6个时间单位，但运行时间被分割成三个部分。在此情况下，$a_i$的完成时间为15.设计算法，对此问题求解平均时间最小的调度方案。证明你的算法确实能最小化完成时间，分析算法的运行时间。

Answer:

a. 算法设计如下：按照运行时间从小到大的顺序依次运行每个任务，算法的时间复杂度为排序时间$O(n\lg n)$。下证该算法能最小化平均完成时间：

首先假设算法最后得到的任务序列为 { i 1 , i 2 , ⋯   , i n } \{i_1,i_2,\cdots,i_n\} {i1​,i2​,⋯,in​}，取一个最优序列 { j 1 , j 2 , ⋯   , j n } \{j_1,j_2,\cdots,j_n\} {j1​,j2​,⋯,jn​}。假设存在一个$r$，使得两个序列的前$r$项相同，第$r+1$项相同。那么我们能够得到如下推论：

• 用时最短的任务。我们使用$p_k^i$来表示算法得到的任务序列的第$k$个任务用时；$p_k^j$来表示算法得到的任务序列的第$k$个任务用时；使用$P_k^i$来表示算法序列的第$k$个任务的完成时间；使用$P_k^j$来表示最优序列的第$k$个任务的完成时间。
• 两种序列的前$r$个任务的完成时间之和相同，设第$r$个任务的完成时间为$A$。那么最优序列的剩余$n-r$个任务的完成时间之和为：
  $$\sum _{d=r+1}^n{P}_d^j=\sum _{d=r+1}^n\left(A+\sum _{e=r+1}^d{p}_e^j\right)$$

由于$i_{r+1}\ne j_{r+1}$，故存在$j_k=i_{r+1}(r+1<k\le n)$，不妨交换最优序列中的$j_{r+1}$和$j_k$。此时最优序列剩余的$n-r$个任务的完成时间之和为：
$$\sum _{d=r+1}^n{\hat{P}}_d^j=\sum _{d=r+1}^n\left(A+\sum _{e=r+1}^d{p}_e^j\right)+(n-r)(p_k^j-p_{r+1}^j)+(n-k+1)(p_{r+1}^j-p_k^j)$$

有$p_k^j\le p_{r+1}^j$以及$r+1<k\le n$，故：
$$\sum _{d=r+1}^n{\hat{P}}_d^j=\sum _{d=r+1}^n{P}_d^j+(k-r-1)(p_k^j-p_{r+1}^j)\le \sum _{d=r+1}^n{P}_d^j$$

这说明交换后的新序列的平均完成时间小于等于最优序列的平均完成时间，这与最优序列的假设相矛盾，故此处的小于等于只能取等于号，即$p_k^j=p_{r+1}^j$，此时交换两个任务不会使平均完成时间发生变化，因此该最优序列可以保持最优序列的性质。

• 根据上一条推论，我们可以知道对于任意前$r(r<n)$项相同的一组算法生成的序列和一组最优序列，都可以通过交换操作在保持最优序列性质的前提下，使得两个序列的第$r+1$位也相同，直到两个序列完全相同。故该算法能最小化平均完成时间。

b. 采用最短用时优先算法：优先执行当前剩余时间最短的可执行任务。

首先假设算法最后得到的每个时刻所执行的任务的任务序列为 { i 1 , i 2 , ⋯   , i m } \{i_1,i_2,\cdots,i_m\} {i1​,i2​,⋯,im​}，取一个最优序列 { j 1 , j 2 , ⋯   , j m } \{j_1,j_2,\cdots,j_m\} {j1​,j2​,⋯,jm​}，此处$m$为所有任务的总用时。假设该最优序列能满足在所有其他的最优序列中拥有一个最大的$r$，使得两个序列的前$r$项不相同，第$r+1$项相同。那么我们能够得到如下推论：

• 对于指代不同任务的$i_{r+1}$和$j_{r+1}$，由算法定义可知任务$T_{r+1}^i$的剩余用时小于等于任务$T_{r+1}^j$的剩余用时。若相等，则将后续序列中所有的$i_{r+1}$和$j_{r+1}$互换，该操作不影响最优序列的性质，并使最优序列的前$r+1$项与算法提供的序列前$r+1$项相同，这与最大$r$的假设相矛盾。因此任务$T_{r+1}^i$的剩余用时必然小于任务$T_{r+1}^j$的剩余用时。
• 已知算法优先执行当前剩余时间最少的任务，记两个序列当前完成的任务为$R$个，则第$R+1$个任务的完成时间必然是算法序列的完成时间更小。此处记算法序列第$r+1$个时刻执行的任务为$T^i$，记最优序列第$r+1$个时刻执行的任务为$T^j$。那么两个任务在第$r+1$个时刻前各自都还有剩余用时，记$T^i$的剩余用时为$t^i$；$T^j$的剩余用时为$t^j$，特别地，有$t^i<t^j$。根据上述内容，我们知道在最优序列从第$r+2$个时刻起的后续的$m-r-1$个时刻里，任务$T^i$还要执行$t^i$次，而任务$T^j$还要执行$t^j-1$次。
• 我们将最优序列中自第$r+1$个时刻起的所有执行任务$T^j$的$t^j$个时刻记为一个集合$U(|U|=t^j>t^i)$，以及所有执行任务$T^i$的时刻即为一个集合$V$，将两个集合合并记做$W=U+V$。则$W$中有$t^i+t^j$个元素，我们使时刻最小的前$t^i$个时刻在最优序列中都执行任务$T^i$，剩余的后$t^j$个时刻在最优序列中执行任务$T^j$。已知原先任务$T^i$与任务$T^j$的完成时间分别为$F^i=MA{X}_{k\in [1,t^i]}\left(u_k|u_k\in U\right)$和$F_j=MA{X}_{k\in [1,t^j]}\left(u_k|u_k\in V\right)$。同时，两者之和也可以表示为：
  $$Q=F^i+F^j=MAX\left(F^i,F^j\right)+MIN\left(F^i,F^j\right)$$

那么交换后的新序列中，除了任务$T^i$与任务$T^j$，其他任务的完成时间完全不变，而任务$T^i$的完成时间变为$W$中第$t^i$大的时刻，记为$w_{t^i},w_{t^i}<MIN\left(F^i,F^j\right)$。而任务$T^j$的完成时间变为$MAX\left(F^i,F^j\right)$，故交换后的两者之和：
$$Q^{\prime }=w_{t^i}+MAX\left(F^i,F^j\right)<MAX\left(F^i,F^j\right)+MIN\left(F^i,F^j\right)=Q$$

故在其他任务的完成时间都不变的情况下，交换后的这两个任务的完成时间之和变小了，这与原序列为最优序列的假设不相符。故假设不成立，不存在这样的最大$r$使得前$r$项相同，第$r+1$项不同。即所有项都相同。故该算法能够获取最小平均完成时间。