C. Zero Path

题目：C. Zero Path

考点：DP

题意：在一个 $n\times m$ 的矩阵中，找出一条从 $(1,1)$ 到 $(n,m)$ 总和为 $0$ 的路径，其中每次移动只能向下或向右，如果存在总和为 $0$ 的路径，输出 $YES$ ，否则输出 $NO$ 。

官方题解：如果 $n+m$ 为偶数，那么从左上角到右下角的如何路径都将为奇数，因此一定是非零的。这种情况是不存在和为零的路径。

对于网格中的每个位置 $(i,j)$，我们定义 $ma{x}_{i,j}$ 为从左上角开始到 $(i,j)$ 结束的路径的最大可能和。同样，$mi{n}_{i,j}$ 被定义为从左上角开始到 $(i,j)$ 结束的最小可能和。这些值可以用 $DP$ 来计算，其中
$$\begin{gathered} ma{x}_{i,j}=a_{i,j}+max(ma{x}_{(i-1),j},ma{x}_{i,(j-1)}) \\ mi{n}_{i,j}=a_{i,j}+min(mi{n}_{(i-1),j},mi{n}_{i,(j-1)}) \end{gathered}$$
如果 $0<mi{n}_{n,m}$ 或 $ma{x}_{n,m}<0$ ，则没有路径加起来为 $0$。否则，$0$ 位于 $[mi{n}_{n,m},ma{x}_{n,m}]$ 范围内，我们可以证明有一个有效的解决路径。

证明。设 $p_1$ 是一条从 $(1,1)$ 到 $(n,m)$ 的路径，加起来为 $mi{n}_{n,m}$，$p_2$ 是另一条这样的路径，加起来为 $ma{x}_{n,m}$。这些路径中的每一条都由 $n-1$ 个下移和 $m-1$ 个右移组成，所以它可以表示为长度为 $n+m-2$ 的 "$R$ "和 "$D$ "的字符串。我们可以通过一连串的操作将 $p_1$ 移动到 $p_2$，其中交换两个相邻（且不同）的字符。从视觉上看，我们所做的是将路径上的一个方块替换成斜向相邻的一个方块。下图显示了路径上的一个可能的操作。

请注意，在每一步中，路径上的数值之和都会发生变化，是 $-2,0,2$ 。因此，在进行了这一连串的操作后，从 $p_1$ 到 $p_2$，我们已经将总和为 $mi{n}_{n,m}$ 的路径移到了总和为 $ma{x}_{n,m}$ 的路径上，每一步的总和都改变了 $-2,0,2$ 。因此，由于 $mi{n}_{n,m}$ 和 $ma{x}_{n,m}$ 都是偶数，而且 $mi{n}_{n,m}\le 0\le ma{x}_{n,m}$，在这一操作序列的某个点上，路径的和一定是零。

#include<stdio.h>
#include<algorithm>

using namespace std;
const int N = 1e3 + 10,INF = 0x3f3f3f3f;
int a[N][N];
int maxv[N][N],minv[N][N];

int main(){
	int t;
	scanf("%d",&t);
	while(t --) {
		int n,m;
		scanf("%d %d",&n,&m);
		for(int i=1;i<=n;i++) {
			for(int j=1;j<=m;j++) {
				scanf("%d",&a[i][j]);
				maxv[i][j] = -INF;
				minv[i][j] = INF;
			}
		}
		maxv[1][1] = minv[1][1] = a[1][1];
		for(int i=1;i<=n;i++) {
			for(int j=1;j<=m;j++) {
				if(i != 1) maxv[i][j] = max(maxv[i][j],a[i][j]+maxv[i-1][j]);
				if(j != 1) maxv[i][j] = max(maxv[i][j],a[i][j]+maxv[i][j-1]);
				
				if(i != 1) minv[i][j] = min(minv[i][j],a[i][j]+minv[i-1][j]);
				if(j != 1) minv[i][j] = min(minv[i][j],a[i][j]+minv[i][j-1]);
				
			}
		}
		
		
		if((n - 1 + m) % 2 == 1) printf("NO\n");
		else {
			if(maxv[n][m] >=0 && minv[n][m] <=0) printf("YES\n");
			else printf("NO\n");
		}
	}
	return 0;
}
/*
1
3 4
-1 -1 1 1
-1 -1 -1 -1
-1 -1 -1 -1
*/