记忆化搜索也是递归剪枝的一种，他记录计算过的状态节点如果遇到就爆栈不再深入，防止了重复计算，同时最优性剪枝也有相同的意味

DAG的最长路和最短路问题

//动态规划重要的是d数组，每个内存空间保存一个状态（小标i表示层数，j表示子节点，状态i，j，d[i][j]），状态转移通过决策过程实现，从倒数第二层递推并遍历每层的各状态进行决策；

Uva城市里的间谍

//动态规划须知：初始化最后的状态（即d[][]最后一层的节点，d[T][i]=INF,d[T][n]=0---》初始化阶段），递推每一层遍历每一个状态节点（第i时刻在第j个站的最少等候时间--》二重循环递推阶段），状态转移的决策（三个，一是等候一分钟，d[i][j]加一，一是如果有就坐向右开的车，一是如果有就坐想做开的车--》决策阶段）

#include <iostream>
#include <cstdio>
#include <cstring>

using namespace std;

int INF=0x3f3f3f3f;
int kase=0;
//动态规划处理顺序问题：时间顺序,城市里的间谍；有向顺序，数字三角形，DAG的最长路和最短路
int main()
{
    int n;
    while(scanf("%d",&n)&&n!=0)//站点数
    {
        int T,M1,M2,time[n+1];
        scanf("%d",&T);//给定的时间
        int dp[T+1][n+1];

        int has_train[T+100][n+1][2];

        memset(has_train,0,sizeof(has_train));
        memset(time,0,sizeof(time));
        memset(dp,0,sizeof(dp));

        for(int i=1; i<n; i++)//每两个站点的时间
            scanf("%d",&time[i]);

        scanf("%d",&M1);//从左往右走的车数
        for(int i=0; i<M1; i++)//发车时刻
        {
            int a;
            scanf("%d",&a);
            int k=a;
            for(int j=1; j<=n; j++)
            {
                has_train[k][j][0]=1;//k时刻在j站里往右走的火车
                k+=time[j];
            }

        }

        scanf("%d",&M2);//从右往左走的车数
        for(int i=0; i<M2; i++)//发车时刻
        {
            int a;
            scanf("%d",&a);
            int k=a;
            for(int j=n; j>=1; j--)
            {
                has_train[k][j][1]=1;
                k+=time[j-1];
            }

        }
        //has_train 表示第j个站的火车时刻
        //初始化最后一层，dp[T][i]=INF,dp[T][n]=0，d表示等候时间
        for(int i=1; i<=n-1; i++) dp[T][i]=INF;
        dp[T][n]=0;

        for(int i=T-1; i>=0; i--)//遍历每一层
            for(int j=1; j<=n; j++)//递推每一层的n个站点
            {
                //对于状态i，j的转移有三种决策
                dp[i][j]=dp[i+1][j]+1;//决策一，等一分钟
                if(j<n&&has_train[i][j][0]&&i+time[j]<=T)//决策二，搭乘向右开的车，如果有
                    dp[i][j]=min(dp[i][j],dp[i+time[j]][j+1]);
                if(j>1&&has_train[i][j][1]&&i+time[j-1]<=T)//决策三，搭乘向左开的车
                    dp[i][j]=min(dp[i][j],dp[i+time[j-1]][j-1]);

            }

        cout<<"Case Number "<<++kase<<": ";
        if(dp[0][1]>=INF) cout<<"impossible\n";
        else cout<<dp[0][1]<<"\n";
    }
    return 0;
}