[动规] [NOIP2000 提高组] 方格取数

题目描述

设有 $N\times N$ 的方格图 $(N\le 9)$，我们将其中的某些方格中填入正整数，而其他的方格中则放入数字 $0$。如下图所示（见样例）:

A
 0  0  0  0  0  0  0  0
 0  0 13  0  0  6  0  0
 0  0  0  0  7  0  0  0
 0  0  0 14  0  0  0  0
 0 21  0  0  0  4  0  0
 0  0 15  0  0  0  0  0
 0 14  0  0  0  0  0  0
 0  0  0  0  0  0  0  0
                         B

某人从图的左上角的 $A$ 点出发，可以向下行走，也可以向右走，直到到达右下角的 $B$ 点。在走过的路上，他可以取走方格中的数（取走后的方格中将变为数字 $0$）。
此人从 $A$ 点到 $B$ 点共走两次，试找出 $2$ 条这样的路径，使得取得的数之和为最大。

点击查看完整题目信息。

题解

动态规划练习。

四维的状态转移方程：

$f_{x_1,y_1,x_2,y_2}=max(f_{x_1-1,y_1,x_2-1,y2},f_{x_1-1,y_1,x_2,y_2-1},f_{x_1,y_1-1,x_2-1,y_2},f_{x_1,y_1-1,x_2,y_2-1})+m_{x_1,y_1}+m_{x_2,y_2}$

$f_{x_1,y_1,x_2,y_2}$ 表示：某人第一次走到(x1, y1)，第二次走到(x2, y2)时的最大和。

三维的状态转移方程：

$f_{step,x_1,x_2}=max(f_{step-1,x_1,x_2},f_{step-1,x_1-1,x_2},f_{step-1,x_1,x_2-1},f_{step-1,x_1-1,x_2-1})+m_{x_1,step-x_1}+m_{x_2,step-x_2}$

$f_{step,x_1,x_2}$ 表示：某人第一次走到‌(x1, step - x1)，第二次走到(x2, step - x2)时的最大和，这两次走的步数均为step。

这个状态转移方程相当于求得了：第一次出发走 step 步之后的最大值与第二次出发走 step 步的最大值之和（根据 x1 和 x2 确定位置）。

代码（cpp）：

#include<stdio.h>
#define MAX(a, b) ((a) > (b) ? (a) : (b))
#define MIN(a, b) ((a) < (b) ? (a) : (b))

// 使用三维数组，使用走过的步数，以及纵向或横向走的步数，来确定两次走的位置
int max_4(int a, int b, int c, int d)
{
  int x = MAX(a, b);
  int y = MAX(c, d);
  return MAX(x, y);
}
int main()
{
  int N, m[10][10] = {0};
  int dp[20][10][10] = {0};
  int x, y, v;
  int i, j, k;
  
  scanf("%d", &N); // N * N 的方格图
  do
  {
    scanf("%d %d %d", &x, &y, &v);
    m[x][y] = v;
  } while(x || y || v); // 当输入为 0 0 0 时退出
  for (i = 1; i < N + N + 1; ++ i)
    for (j = 1; j < MIN(i, N) + 1; ++ j)
      for (k = 1; k < MIN(i, N) + 1; ++ k)
        dp[i][j][k] = max_4(dp[i - 1][j][k], dp[i - 1][j - 1][k], dp[i - 1][j][k - 1], dp[i - 1][j - 1][k - 1]) + m[j][i - j] + m[k][i - k] * (!(j == k)); // 一共走两次，第一次走过之后原位置的值清 0，这里用`(!(j == k))`做特殊判断
  printf("%d", dp[N + N][N][N]);
  return 0;
}

不可以使用两次二维 dp（贪心），即第一次取路径最大值，然后路径清零，最后第二次再取路径最大值。

这个错误的根源在于最长路径可以有很多种路线，有的路线会占用原本最优次长路径中的数字，导致次长路径的价值变小，所以第一次选什么路线是有讲究的，会影响到第二次的路线，违背了动规的无后效性原则，不能两次走。