【题解】洛谷 CF1695C Zero Path 题解

更好的阅读体验 | Problem Link

Explanation

给定一个 \(n \times m\) 的格点图，每个格子的值为 \(-1\) 或 \(1\)。问题要求判断是否存在一条从起点 \((1, 1)\) 到终点 \((n, m)\) 的路径，使得路径上经过的格点值的和为 \(0\)。路径只能向右或向下移动。

Solution

先上结论。设权值和最大的路径权值为 \(f_{max}\)，最小权值为 \(f_{min}\)，则如果满足 \(n+m-1\) 是偶数且 \(f_{min}\leq 0 \leq f_{max}\)，那么问题有解。

简单观察样例会发现路径的长度只能是 \(n+m-1\) ，又因为权值只能是 \(1\) 或 \(-1\)，则如果最终有解，\(1\) 和 \(-1\) 的数量应当相等。所以如果路径长度是奇数，必然要输出 NO。

接下来要思考的是路径是怎么从 \(f_{min}\) 变化到 \(f_{max}\) 的。我们会发现可以通过改变路径转向处的访问位置来变化权值和，一次变化将可能会使权值和改变 \(+2,-2,0\)。

以样例为例，第一次转向时选择 \((1,1)\to (2,1)\) 与 \((1,1)\to (1,2)\) 不会对结果造成影响。而第二次转向时，选择 \((1,2)\to (2,2)\) 会比 \((1,2)\to (1,3)\) 的权值和多 \(2\)。

又因为路径的长度限制了为偶数，也就是说 \(1\) 和 \(-1\) 的数量要么都是偶数，要么都是奇数。这两种情况都会使得权值和为偶数，也就是 \(f_{min}\) 和 \(f_{max}\) 都是偶数。

那么就可以看看权值和是怎么从最小值变化为最大值的了。因为我们限定了奇偶性和变化规律，所以其变化序列必将是：

\[f_{min}, f_{min}+2, \dots,0 , \dots, f_{max}-2, f_{max} \]

一定会在变化过程中经过权值和为 \(0\) 的情况，所以结论得证。

Core Code

T=read();
while(T--)
{
	n=read();m=read();
	for(int i=0;i<=n;i++) minn[i][0]=INF,maxn[i][0]=-INF;
	for(int i=0;i<=m;i++) minn[0][i]=INF,maxn[0][i]=-INF;
	for(int i=1;i<=n;i++)
	{
		for(int j=1;j<=m;j++)
		{
			a[i][j]=read();
		}
	}
	if((n+m-1)%2==1)
	{
		printf("NO\n");
		continue;
	}
	minn[1][1]=maxn[1][1]=a[1][1];
	for(int i=1;i<=n;i++)
	{
		for(int j=1;j<=m;j++)
		{
			if(i!=1 || j!=1)
			{
				maxn[i][j]=max(maxn[i-1][j],maxn[i][j-1])+a[i][j];
				minn[i][j]=min(minn[i-1][j],minn[i][j-1])+a[i][j];
			}
		}
	}
	if(maxn[n][m]>=0 && minn[n][m]<=0) printf("YES\n");
	else printf("NO\n");
}