形式1(区间 dp)
\[dp_{l,r}=\min_{l \le k < r}\{dp_{l,k}+dp_{k+1,r}\}+w(l,r) \]若 \(w(l,r)\) 满足：
- 区间包含单调性：\(\forall l_1 \le l_2 \le r_2 \le r_1\)，\(w(l_2,r_2) \le w(l_1,r_1)\)
- 四边形不等式： \(\forall l_1 \le l_2 \le r_1 \le r_2\)，\(w(l_1,r_1)+w(l_2,r_2) \le w(l_1,r_2)+w(l_2,r_1)\)
则 \(dp_{l,r}\) 满足四边形不等式，其决策点 \(op_{l,r}\) 满足：
\[op_{l,r-1} \le op_{l,r} \le op_{l+1,r} \]复杂度降至 \(\mathcal O(n^2)\)
eg. 合并石子
形式2
\[dp_{r}=\min_{1 \le l < r}w(l,r) \]若 \(w(l,r)\) 满足四边形不等式，则决策具有单调性。
对决策区间分治，具体来说，每次求出中点的决策点，然后分割给左右区间即可。
复杂度 \(\mathcal O(n \log n)\)
eg. Lightning Conductor
形式3
\[dp_{r}=\min_{1 \le 1 < r} \{dp_l+w(l,r)\} \]若 \(w(l,r)\) 满足四边形不等式，则决策具有单调性。
但无法提前计算中点的决策点，不能直接分治，此时使用二分栈。
因为决策具有单调性，以任意一点为决策点的点构成一段连续的区间。
那么维护一个栈，每次用新的决策点和栈顶比较，弹出较劣的栈顶。
最后栈顶一定存在一部分区间比当前决策点有，二分找出此区间即可。
eg. 有决策单调性的题目 玩具装箱，诗人小G
形式4
\[dp_{i,j}=\min_{k < j}\{dp_{i-1,k}+w(k,j)\} \]1.
若 \(dp_i\) 满足凸性，使用 wqs 二分得到：
\[dp_{i}=\min_{j < i}\{dp_j+w(k,j)+v\} \]转化为形式 \(3\)
eg. 邮局加强版
2.
1.直接使用四边形不等式优化
复杂度 \(\mathcal O(n^2)\)
2.逐层计算 \(dp_i\) , 转化为形式 \(2\)
复杂度 \(\mathcal O(n^2 \log n)\)
eg. 邮局
标签：le,min,eg,决策,单调,四边形,dp 来源： https://www.cnblogs.com/chihik/p/15552298.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。