动态规划——凸多边形最优三角剖分问题——加括号问题
问题:
给定凸多边形P={v0,v1,… ,vn-1},以及定义在由凸多边形的边和弦组成的三角形上的权函数w。要求确定该凸多边形的三角剖分,使得该三角剖分所对应的权,即三角剖分中诸三角形上权之和为最小。
分析:
该问题和矩阵连乘问题是同构的,矩阵连乘问题是该问题的特殊情形(子问题合并处不同)。
矩阵连乘积中的每个矩阵Ai对应于凸(n+1)边形中的一条边vi-1vi。三角剖分中的一条弦vivj,i<j,对应于矩阵连乘积A[i+1:j]。
若凸(n+1)边形P={v0 ,v1 ,…,vn}的最优三角剖分T包含三角形v0vkvn,1≤k≤n-1,则T的权为3个部分权的和:三角形v0vkvn的权,子多边形{v0 ,v1 ,…,vk}和{vk ,vk+1,…,vn}的权之和。
因此递推公式为:t[i,j] = min_i<=k<j_{t[i,k]+t[k+1,j]+w(p_i-1_p_k_p_j_)},可以看到与矩阵连乘算法基本上一致,矩阵连乘的w(p_i-1_p_k_p_j_) = p_i-1*p_k*p_j_,故矩阵连乘为凸多边形最优三角剖分的特例。
进一步的,这两个问题都属于一类问题——加括号问题,其本质都是在不改变序列顺序的前提下对序列加括号从而确定其计算顺序,相应于一棵完全二叉树,称为表达式的语法树。
代码自然是完全类似的。