区间DP,区间上做动态规划。一个大区间必然由长度不等的小区间合并而来,在合并过程中,最基本也是动态规划的必须原则:满足最优化原理和无后效性原则,所以在确定状态转移方程时,得特别留心这两点。
区间DP区别于其它线性DP题的特点是:区间DP通过枚举区间分界点实现状态转移。
例题:凸多边形三角划分
题意:给定一个具有N(N<=50)个顶点的凸多边形,每个顶点的权值均已知。问如何把这个凸多边形划分成N-2个互不相交的三角形,使得这些三角形顶点的权的乘积之和最小。
样例:
5
121
122
123
245
231
这是一个几何模型,我们可以将其转化为实际模型,给定N个数,首尾成环,每拿走一个数的代价是该数乘以左右相邻两个的数,问拿走N-2个数后的最小代价。
思路:1)确定子问题。一个凸多边形划分为两个小的凸多边形,再进行划分…最后合并,可以确定子问题相同,都是求每个小凸多边形的三角形顶点的权的乘积。
2)确定状态。将1-N个顶点的凸多边形划分为(A1,A2,A3…Ak) + (Ak+1,Ak+2,Ak+3…An)两部分,只要前后两部分都是最优策略,那么必然合并后的凸多边形也是最优策略,且这两部分单独求值,互不影响。所以确定状态dp[i,j]为从顶点i到顶点j的凸多边形三角划分后得到的最优值,显示区间最优状态时dp[1,n]。
3)列出状态转移方程式。dp[i][j] = min(dp[i][k]+dp[k][j]+vis[i]*vis[k]*vis[j]).(i<k<j)。