【XSY2693】景中人 区间DP

题目描述

　　平面上有$n$个点，你要用一些矩形覆盖这些点，要求：

• 每个矩形的下边界为$y=0$

  • 每个矩形的大小不大于$s$

    　　问你最少要用几个矩形。

    　　$n\leq 100,1\leq y\leq s$

  • 题解

    　　先把坐标离散化。

    　　猜（zheng）一个结论：最优解中任意两个矩形的横坐标只可能是相离或包含，不可能是相交。证明略。

    　　考虑区间DP。

    　　设