算法导论16.2-5

• 问题描述
  设计一个高效算法，对实数线上给定的一个点集$\{x_1,x_2,...,x_n\}$，求一个单位长度闭区间的集合，包含所有给定的点，并要求次集合最小。证明你的算法是正确的。
• 问题分析
  ①求解单位长度闭区间集合问题的最优子结构
  首先对点集$\{x_1,x_2,...,x_n\}$按递增顺序排列，得到点集$\{y_1,y_2,...,y_n\}$。$S_{ij}$表示以$y_i$开始以$y_j$结束的点集，假定$S_{ij}$的最优解中的某个元素包含$S_{mn}$其中$m\leq n$。如果用$c[i,j]$表示集合$S_{ij}$的最优解的大小，则可得递归式
  $$c[i,j]=c[i,m]+c[n,j]+1$$
  当不知$S_{ij}$的最优解包含的单位长度区间所包含的子集$S_{mn}$时，就需要考查$S_{ij}$中所有可能的$S_{mn}$（$S_{mn}$是可以包含于一个单位长度闭区间的），于是
  $$\begin{equation} c[i,j]=\left\{ \begin{aligned} 0 \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad若 S_{ij}=\varnothing \\ \min \limits_{S_{mn}\subset S_{ij}}\{ c[i,m]+c[n,j]+1\}\quad若 S_{ij} \neq\varnothing \end{aligned} \right. \end{equation}$$
  ②贪心选择
  直观上，我们应该选择这样一个$S_{mn}$，使得$y_m=y_i$且$y_{n+1}>y_i+1$。因为这样的一个单位区间将包含$y_i$到$y_n$而我们不能做得更好。
• 算法设计
  GREEDY-INTERVALS(x)

y=sort(x)
n=y.length
for i=1 to n
    print "interval" i
    up=y[i]+1
    while y[i]<=up
        i++
return