浅谈记忆化搜索

引子

你某天在洛谷里刷题，梦想着有一天AK IOI（@DXR），这时，你看到了一个橙题，但是AC率仅仅只有分析之后，我们发现当 \(a,b,c\) 中任意一个值大于 \(20\) 时，返回值都是一样的，我们只需要加个判断即可

#include<cstdio>
#include<iostream>
using namespace std;
long long m[25][25][25];
inline long long w(long long a,long long b,long long c)
{
	if(a<=0||b<=0||c<=0) return 1;
	else if(m[a][b][c]!=0) return m[a][b][c];
	else if(a>20||b>20||c>20) m[a][b][c]=w(20,20,20);
	else if(a<b&&b<c) m[a][b][c]=w(a,b,c-1)+w(a,b-1,c-1)-w(a,b-1,c);
	else m[a][b][c]=w(a-1,b,c)+w(a-1,b-1,c)+w(a-1,b,c-1)-w(a-1,b-1,c-1);
	return m[a][b][c];
}
int main()
{
	long long a,b,c;
	for(register int i=1; ;i++)
	{

		scanf("%lld%lld%lld",&a,&b,&c);
		if(a==-1&&b==-1&&c==-1) break;
		printf("w(%lld, %lld, %lld) = ",a,b,c);
		if(a>20) a=21;
        if(b>20) b=21;
        if(c>20) c=21;
        printf("%lld\n",w(a,b,c));
	}
	return 0;
}

讲解

看到这里，我相信大家对记忆化搜索已经有一个基本了解了，它就是一个换装玩角色扮演的DFS，伪装成高级的样子和DP混在一起（这点我后面会讲解）

我们结合另一道题理解

P1434 滑雪

看完题目，你会想到一个个枚举每一个点，进行大爆搜，如果你是这么想的，请重新回到文章篇头再看一遍记忆化搜索的思路是什么，因为这题实际是记忆化搜索

对于每一个点，我们进行一次搜索，找出它滑雪距离的最大值，存储下来，方便下一次使用

#include<iostream>
#include<cstdio>
#include<cmath>
using namespace std;
int dx[4]={0,0,1,-1};
int dy[4]={1,-1,0,0};
int n,m,a[201][201],s[201][201],ans;
int dfs(int x,int y){
    if(s[x][y])return s[x][y];//记忆化搜索
    s[x][y]=1;//题目中答案是有包含这个点的
    for(int i=0;i<4;i++)
    {  int xx=dx[i]+x;
       int yy=dy[i]+y;//四个方向
       if(xx>0&&yy>0&&xx<=n&&yy<=m&&a[x][y]>a[xx][yy]){
       	  dfs(xx,yy);
          s[x][y]=max(s[x][y],s[xx][yy]+1);
       }
    }
    return s[x][y];
}
int main()
{
   scanf("%d%d",&n,&m);//同题目的R,C
   for(int i=1;i<=n;i++)
     for(int j=1;j<=m;j++)
       scanf("%d",&a[i][j]);
    for(int i=1;i<=n;i++)//找从每个出发的最长距离
      for(int j=1;j<=m;j++)
        ans=max(ans,dfs(i,j));//取最大值
    printf("%d",ans);
    return 0;
}

然后，我们发现一个神奇的地方......

s[x][y]=max(s[x][y],s[xx][yy]+1)

这行代码，是不是特别熟悉？

没错，这就是一个状态转移方程，所以我说记忆化搜索就是玩角色扮演的DFS，装作DP的亚子，所以实际上这题也可以用DP来解，和上面的代码也差不太多

总结

再仔细观察一下咱的代码，发现记忆化搜索中的DFS函数几乎不需要外部变量( 自力更生），这也是记忆化搜索的特点之一

所以我们得出记忆化搜索的总结

不依赖任何外部变量
答案以返回值的形式存在，而不能以参数的形式存在（就是不能将 dfs 定义成 \(dfs( pos , tleft , nowans )\)，这里面的 \(nowans\) 不符合要求）。
对于相同一组参数，dfs 返回值总是相同的

例题

既然说记忆化搜索就是玩角色扮演的DFS，装作DP，那么几乎所有的DP，都可以用记忆化求解（好耶）

采药

DP Code

#include<stdio.h>
int max(int a,int b)
{
    if (a>b) return a;
    else return b;
    }
int main()
{
    int f[1000]={0},c[1000],w[1000];
    int n,v,i,j;
    scanf("%d%d",&v,&n);
    for(i=1;i<=n;i++)scanf("%d%d",&c[i],&w[i]);
    for(i=1;i<=n;i++)
    for(j=v;j>=c[i];j--)
    {
        f[j]=max(f[j],f[j-c[i]]+w[i]);
        }
    printf("%d ",f[v]);
    return 0;
    }

记忆化 Code

int n,t;
int tcost[103],mget[103];
int mem[103][1003];
int dfs(int pos,int tleft){
	if( mem[pos][tleft] != -1 ) return mem[pos][tleft];
    if(pos == n+1)
        return mem[pos][tleft] = 0;
    int dfs1,dfs2 = -INF;
    dfs1 = dfs(pos+1,tleft);
	if( tleft >= tcost[pos] )
    	dfs2 = dfs(pos+1,tleft-tcost[pos]) + mget[pos];
    return mem[pos][tleft] = max(dfs1,dfs2);
}
int main(){
	memset(mem,-1,sizeof(mem));
    cin >> t >> n;
    for(int i = 1;i <= n;i++)
        cin >> tcost[i] >> mget[i];
    cout << dfs(1,t) << endl;
    return 0;
}

Edolon

浅谈记忆化搜索

引子

讲解

总结

例题