[洛谷]P1373 小a和uim之大逃离 (#线性dp)

题目背景

小a和uim来到雨林中探险。突然一阵北风吹来，一片乌云从北部天边急涌过来，还伴着一道道闪电，一阵阵雷声。刹那间，狂风大作，乌云布满了天空，紧接着豆大的雨点从天空中打落下来，只见前方出现了一个披头散发、青面獠牙的怪物，低沉着声音说：“呵呵，既然你们来到这，只能活下来一个！”。小a和他的小伙伴都惊呆了！

题目描述

瞬间，地面上出现了一个n*m的巨幅矩阵，矩阵的每个格子上有一坨0~k不等量的魔液。怪物各给了小a和uim一个魔瓶，说道，你们可以从矩阵的任一个格子开始，每次向右或向下走一步，从任一个格子结束。开始时小a用魔瓶吸收地面上的魔液，下一步由uim吸收，如此交替下去，并且要求最后一步必须由uim吸收。魔瓶只有k的容量，也就是说，如果装了k+1那么魔瓶会被清空成零，如果装了k+2就只剩下1，依次类推。怪物还说道，最后谁的魔瓶装的魔液多，谁就能活下来。小a和uim感情深厚，情同手足，怎能忍心让小伙伴离自己而去呢？沉默片刻，小a灵机一动，如果他俩的魔瓶中魔液一样多，不就都能活下来了吗？小a和他的小伙伴都笑呆了！

现在他想知道他们都能活下来有多少种方法。

输入格式

第一行，三个空格隔开的整数n，m，k

接下来n行，m列，表示矩阵每一个的魔液量。同一行的数字用空格隔开。

输出格式

一个整数，表示方法数。由于可能很大，输出对1 000 000 007取余后的结果。

输入输出样例

输入 #1复制

2 2 3
1 1
1 1

输出 #1复制

4

说明/提示

【题目来源】

lzn改编

【样例解释】

样例解释：四种方案是：(1,1)->(1,2),(1,1)->(2,1),(1,2)->(2,2),(2,1)->(2,2)。

【数据范围】

对于20%的数据，n,m<=10,k<=2

对于50%的数据，n,m<=100,k<=5

对于100%的数据，n,m<=800,1<=k<=15

---

思路

一开始想写搜索的，发现会爆，记搜都不行。

令dp[i][j][l][p]为他们在点(i,j)上，且两个人收集的魔夜差为l的方案数。当p=0时代表最后由小A取；当p=1时代表最后由uim取。题目中指出魔瓶容量为k，也就是说每次dp要对k+1取模。不妨预处理k=k+1。

我们令小A先去去魔液，所以uim去取魔液的时候要减去他拿的魔液，而小A去取要加上他拿的魔液。

则：

1.uim去取时，点(i,j)可以从(i-1,j)转移过来，也可以从(i,j-1)转移过来。其中要减去拿的魔液（因为我们定义第3维是差值，小A先去拿魔液），下一步是小A去拿，则：

dp[i][j][l][1]=dp[i][j][l][1]+dp[i-1][j][(l-a[i][j])%k][0]

dp[i][j][l][1]=dp[i][j][l][1]+dp[i][j-1][(l-a[i][j])%k][0]

2.当小A去取时，点(i,j)可以从(i-1,j)转移过来，也可以从(i,j-1)转移过来。其中要加上拿的魔液（因为我们定义第3维是差值，小A先去拿魔液），下一步是uim去拿，则：

dp[i][j][l][0]=dp[i][j][l][0]+dp[i-1][j][(l+a[i][j])%k][1]

dp[i][j][l][0]=dp[i][j][l][0]+dp[i][j-1][(l+a[i][j])%k][1]

通过我们上面的定义，拿初始值也就很简单了：

dp[i][j][a[i][j]%k][0]=1

即小A可以从任何一个点开始收集魔夜。

答案是s+=dp[i][j][0][1]。即点(i,j)上差值为0且最后由uim拿魔夜的方案数。

#include <stdio.h>
#include <iostream>
#define mod 1000000007
using namespace std;
int dp[801][801][21][2],n,m,k,s,a[801][801];
signed main()
{
	ios::sync_with_stdio(false);
	cin.tie(0);
	cout.tie(0);
	register int i,j,l;
	cin>>n>>m>>k;
	k=k+1;
	for(i=1;i<=n;i++)
	{
		for(j=1;j<=m;j++)
		{
			cin>>a[i][j];
			dp[i][j][a[i][j]%k][0]=1;
		}
	}
	for(i=1;i<=n;i++)
	{
		for(j=1;j<=m;j++)
		{
			for(l=0;l<=k;l++)
			{
				dp[i][j][l][0]=(dp[i][j][l][0]+dp[i-1][j][(l-a[i][j]+k)%k][1])%mod;
				dp[i][j][l][0]=(dp[i][j][l][0]+dp[i][j-1][(l-a[i][j]+k)%k][1])%mod;
				dp[i][j][l][1]=(dp[i][j][l][1]+dp[i-1][j][(l+a[i][j]+k)%k][0])%mod;
				dp[i][j][l][1]=(dp[i][j][l][1]+dp[i][j-1][(l+a[i][j]+k)%k][0])%mod;
			}
		}
	}
	for(i=1;i<=n;i++)
	{
		for(j=1;j<=m;j++)
		{
			s=(s+dp[i][j][0][1])%mod;
		}
	}
	cout<<s<<endl;
	return 0;
}