也就是说,“未来与过去无关”,当前的状态是此前历史的一个完整总结,此前的历史只能通过当前的状态去影响过程未来的演变。
具体地说,如果一个问题被划分各个阶段之后,阶段 I 中的状态只能由阶段 I+1 中的状态通过状态转移方程得来,与其他状态没有关系,特别是与未发生的状态没有关系,这就是无后效性。
对于F[I,j,k] ,能否转移,与之前的方案是有关的。 即有后效性,为了消除后效性,通常和方法是加记一维,用二进制数表示上一行的选取情况。
这样,就没有后效性了。而且转移的方法也简单,直接判断上一行所需的两个数是否已经选取了。
然而,状态数为N^2*2^N,这个数量级在N=50的时侯是不可承受的。
看来这条思路已经山穷水尽了。只能回头从别的方面想了。题目中有否可用的信息呢?
转换思路
分析题目中的选取条件,我们会发现:
这道题最终解的形态(选中的数字)可以描述成若干个三角形相互连接或重叠,如上图中的红色砖块,由两个蓝色标识的三角形部分重叠而成。
将最终解的形态(选中的数字)的每列最下层点用线画出(图中的蓝线),可以发现:
1、构成的轮廓线是一条锯齿状的折线;
2、轮廓线上的相邻点布局在三角形的相列与相邻行上,即如果从左向右观察列,轮廓线上的点只能从其左列的上方行或下方行连过来;
3、轮廓线上点所在列的上方点一定全部被选中。
则把原问题转化为沟画出重叠三角形的锯齿状轮廓折线,找到一条合法的路径,使得围在轮廓线内的数字代价和最大。
另,根据第3点分析,轮廓线上点所在列的上方点一定全部被选中,可将选中的数字压缩到轮廓线上点,问题进一步转化为求轮廓线上点的代价和最大。
算法:
1、预处理:
设cost[I,j]表示选取第i行第j个,需要一起选取的其他点的个数。即与这个点同一列,且在这个点之上的点的个数。
2、sum[I,j]表示选取第i行第j个,需要一起选取的其他点的数值和。即与这个点同一列,且在这个点之上的点的数值之和。
这样,cost[],sum[]分别记录了走到每个格子本列的数字个数与代价和。
3、因为对于任意一列的任意一个数字,转移到它的前提与之前的方案无关,所以满足了Dp的无后效性。 同时当前列必定要由之前的某个最优状态转移过来,所以又满足了最优子结构的性质。故DP是可行的。
4、重新回到原来的状态表示:
记F[I,j,k]表示(I,j)这个点,已经选取了K个数字的最优值。
从左到右进行DP,一个点的最优值则由这个点左列上行的点或左列下行的点转移过来,因为轮廓线是连续的。
得到了Dp方程:
F[I,j,k]:=max(F[i-1,j,k-cost[I,j]],F[i+1,j-1,k-cost[I,j]])+sum[I,j]
注意细节
要额外开一排0排,用来表示每一列一个都不取的情况。