Codeforces-1695 C: Zero Path 【动态规划、介值定理】

Codeforces-1695 C: Zero Path

题目传送门：Codeforces-1695 C

题目

题目截图

样例描述

题目大意

  给定一个 $n\times m$ 的棋盘，棋盘中每个格子值为 $1$ 或 $-1$。现在要从 $(1,1)$ 走到 $(n,m)$，问是否存在一条求和为 $0$ 的路径。

题目解析

  首先，若 $n+m$ 为偶数，那么走过的格子数量是奇数，显然是不存在求和为 $0$ 的路径的。
  我们观察一下若路径中一个结点改变会带来怎样的影响，显然，所在路径求和后的值的变化为 $-2,0,+2$。这意味着对于偶数长度的路径，它们的变化是连续的，且没有突变。也就是说，如果我们能够确定上下界，就能知道上下界中的所有值都可以得到。因此，我们只需统计所有路径的最小值和最大值，看看 $0$ 是否在它们之间就可以了。

Code

#include <bits/stdc++.h>
using namespace std;
 
const int maxn = 1e3 + 7;
int dp[maxn][maxn][2];
 
 
int main() {
   int t, n, m, x;
   cin >> t;
   while(t--) {
       cin >> n >> m;
       for(int i=1; i<=n; ++i)
           for(int j=1; j<=m; ++j) {
               cin >> x;
               if(i == 1 && j == 1) dp[i][j][0] = dp[i][j][1] = x; else
               if(i > 1 && j == 1) dp[i][j][0] = dp[i][j][1] = dp[i-1][j][1] + x; else
               if(j > 1 && i == 1) dp[i][j][0] = dp[i][j][1] = dp[i][j-1][1] + x; else
                   dp[i][j][0] = max(dp[i-1][j][0], dp[i][j-1][0]) + x,
                   dp[i][j][1] = min(dp[i-1][j][1], dp[i][j-1][1]) + x;
           }
       if (!((n + m) & 1)) cout << "NO" << endl; else
       if(dp[n][m][0] >= 0 && dp[n][m][1] <= 0) cout << "YES" << endl;
       else cout << "NO" << endl;
   }
   return 0;
}