决策单调性

丐版决策单调性

这是一个码量小且不需要算出前面的函数值即可求出当前点的最优转移点.

考虑分治处理.

当前正在处理 \([l,r]\) 区间.

1. 我们需要保证 \(l\) 处的函数值和转移点都已经是正确的.
2. 还需要保证 \(r\) 处的转移点是在 \([1,l]\) 的最优转移点.

流程：

1. 对于当前区间 \([l,r]\) ，将 \(p_l\) 到 \(p_r\) 转移给 \(mid\) .
2. 递归处理 \(solve(l,mid)\).
3. 将 \([l,mid]\) 转移给 \(r\) .
4. 再递归处理 \(solve(mid,r)\)

当区间端点 \(r-l==1\) 时，返回即可.

正确性可以归纳证明.