Weighted Interval Scheduling

The Problem

• We have $n$ requests labeled $1,2,...,n$, with each request $i$ 起始时间： $s_i$ ，结束时间： $f_i$.
• Each interval $i$ has a value, or weight, $v_i$.
• Two intervals are compatible if they do not overlap.
• GOAL: select a subset S ⊆ { 1 , 2 , . . . , n } S \subseteq \{1, 2, ..., n\} S⊆{1,2,...,n} of mutually compatible intervals to maximize the sum of the values of the selected intervals ${\sum }_{i\in S}{v}_i$

Design Algorithm

将结束时间按从小到大排列，$f_1\le f_2\le ...\le f_n$。我们称 a request $i$ comes before a request $j$ if $f_i<f_j$。

对于一个 request $j$, 定义 $p(j)$：the largest index $i<j$ such that intervals $i$ and $j$ are disjoint.

Consider an optimal solution $\mathcal{O}$.
Let ${\mathcal{O}}_j$ denote the optimal solutions of smaller problems of the form { 1 , 2 , . . . , j } \{1, 2, ..., j\} {1,2,...,j}.

对于最后一个 request $n$ 只有两种可能性：

• $n\in {\mathcal{O}}_n$ , index 在 $p(n)$ ~ $n$ 之间的 request 都不属于 ${\mathcal{O}}_n$
• $n\notin {\mathcal{O}}_n$, 那么 ${\mathcal{O}}_n={\mathcal{O}}_{n-1}$

Let $OPT(j)$ denote the value of solution ${\mathcal{O}}_j$ （最优解集包含的 requests 的 values）

定理 (6.1)：$OPT(j)=\max (v_j+OPT(p(j)),OPT(j-1))$ .

定理 (6.2): Request $j\in {\mathcal{O}}_j$ if and only if
$$v_j+OPT(p(j))\ge OPT(j-1)$$

求最优解的值的算法伪代码：（简易）

---

Compute-Opt($j$)

If $j=0$ then
\quad Return 0
Else
\quad Return $\max (v_j+\text{Compute-Opt}(p(j)),\text{Compute-Opt}(j-1))$
EndIf

---

定理 (6.3): Compute-Opt($j$) correct compute OPT($j$) for each $j=1,2,...,n$.
证明：
由定义，OPT$(0)=0$
对于 $j>0$, 假设 $\forall i<j$ Compute-Opt$(j)$ = OPT($i$)
那么，可知 Compute-Opt$(j)$ = OPT($p(j)$) 和 Compute-Opt$(j-1)$ = OPT($j-1$)
由 定义(6.1) 可得
$$\text{OPT}(j)=\max (v_j+\text{Compute-Opt}(p(j)),\text{Compute-Opt}(j-1))$$
$=\text{Compute-Opt}(j)$

对于上面图片中给出的 requests，recursion 如下：

Memorizing Recursion

可以发现，中间包含很多重复计算。
其实只需要 solve $n+1$ subproblems: $\text{Compute-Opt}(1)$, …, $\text{Compute-Opt}(n)$.
用 Memorizing Recursion 来减少运算。

Maintain an array $M[0...n]$

• $M[j]$ will start with the value “empty”
• but will hold the value of $\text{Compute-Opt}(j)$ as soon as it is first determined.

求最优解的值的算法伪代码：

---

M-Compute-Opt($j$)

\quad If $j=0$ then
\quad \quad Return $0$
\quad Else if $M[j]$ is not empty then
\quad \quad Return $M[j]$
\quad Else
\quad \quad Define $M[j]=\max (v_j+\text{M-Compute-Opt}(p(j)),\text{M-Compute-Opt}(j-1))$
\quad \quad Return $M[j]$
\quad Endif

---

定理 (6.4): The running time of M-Compute-Opt($n$) is $O(n)$. (assume the intervals 按照结束时间从小到大排列)

Compute a Solution in Addition to Its Value

之前计算的是 the value of the optimal solution
还想直到 optimal solution 具体包含哪些 intervals

我们可以 maintain an array $S$, 其中 $S[i]$ 包含 an optimal set of intervals among { 1 , 2 , . . . , i } \{1,2, ..., i\} {1,2,...,i}。但是，每次书写 $S[i]$ 会 blow up the running time by an additional factor of $O(n)$ time.

解决方法：可以通过计算得到的 array $M$ 中的 value 来 recover the optimal solution。 $j\in {\mathcal{O}}_n$ if and only if $v_j+\text{OPT}(p(j))\ge \text{OPT}(j-1)$

求最优解集的算法伪代码：

---

Find-Solution($j$)

\quad If $j=0$ then
\quad \quad Output nothing
\quad Else
\quad \quad If $v_j+M[p(j)]\ge M[j-1]$ then
\quad \quad \quad Output $j$ together with the result of $\text{Find-Solution}(p(j))$
\quad \quad Else
\quad \quad \quad Output the result of $\text{Find-Solution}(j-1)$
\quad \quad Endif
\quad Endif

---

定理 (6.5): Given the array $M$ of the optimal values of the subproblems, $\text{Find-Solution}$ returns an optimal solution in $O(n)$ time.