Smallbasic

摘要： 定义 本质上是用一个二元组 $(S,f(x))$ 描述由一堆直线构成的分段函数去优化dp，要求这些分段函数满足凸性。其中 $S$ 是一个可重集，$f(x)$ 是一个一次函数。 我们定义转折点为斜率在它两侧忽然变化的点，那么 $S$ 维护的是所有转折点的横坐标，$f(x)$ 维护的是图像最右边无限延伸 阅读全文