洛谷 P1002 过河卒

一道dp题 (一开始当成搜索做了半天)
这道题可以根据样例模拟一下 , 就可以求出状态转移方程了
步骤大概是这样的
A 是 A 点 , B 是 B 点, M 是马的位置, X 是被马拦着不能走的点
(别告诉我你们连马走"日"字都不知道)

 A 0 0 0 0 0 0
 0 0 X 0 X 0 0
 0 X 0 0 0 X 0
 0 0 0 M 0 0 0
 0 X 0 0 0 X 0
 0 0 X 0 X 0 0
 0 0 0 0 0 0 B

其中每个点的值代表的是当前这个点会有几条路径用过这个点（路径指的是从A到B的路径）

1 1 1 1 1 1 1
1 2 X 1 X 1 2
1 X 0 1 1 X 2
1 1 1 M 1 1 3
1 X 1 1 0 X 3
1 1 X 1 X 0 3
1 2 2 3 3 3 6

这样很容易能看出来
关于 f[ i ][ j ] 这个点 , 从 (0,0) 位置到 B 点 , 会经过他这个点的路线有

f[1][1]=1
f[i][j]=f[i−1][j]+f[i][j−1]

但是这个方程是推不出结果的 , 因为这样 A 点会在一开始的时候被覆盖成 0
所以修改以后的方程就是

f[1][1]=1
f[i][j]=max(f[i−1][j]+f[i][j−1],f[i][j])

f[1][1] 这个点通过从 f[1][0]f[1][0]f[1][0] 这个点直接转移过来
因为转移方程的时候需要 i−1 和 j−1 所以如果不从 1 开始就会因数组越界而 WA 一个点
从 1 开始就是把每个点的坐标都加了 1 而已
另外题目说明写着

结果可能很大！

但是 unsigned long long 就能过
代码 :

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#define ull unsigned long long
using namespace std;
const int fx[]={0,-2,-1,1,2,2,1,-1,-2};
const int fy[]={0,1,2,2,1,-1,-2,-2,-1};
//马可以走到的位置
int bx,by,mx,my;
ull f[30][30];//f[i][j]代表从A点到(i,j)会经过的线路数
bool s[30][30];//判断这个点有没有马盯着
int main(){
    scanf("%d%d%d%d",&bx,&by,&mx,&my);
    ++bx; ++by; ++mx; ++my;
    //坐标+1以防越界
    f[1][1]=1;//初始化
    s[mx][my]=1;//标记马的位置
    for(int i=1;i<=8;i++)
        s[ mx + fx[i] ][ my + fy[i] ]=1;
    for(int i=1;i<=bx;i++){
        for(int j=1;j<=by;j++){
            if(s[i][j])continue;
            f[i][j]=max( f[i][j] , f[i-1][j] + f[i][j-1] ); 
            //状态转移方程
        }
    }
    printf("%llu\n",f[bx][by]);
    return 0;
} 

---

更新：
既然做出来那让我们想想怎么压缩空间吧
当然是用滚动数组啦 qwq
观察这个转移方程 :
f[i][j]=f[i−1][j]+f[i][j−1]
好像每一次转移只需要提供 f[i−1][j],f[i][j−1]
即当前位置上面的一个数与他左边的一个数
那么新的转移方程就变成了f[0][1]=1
f[i&1][j]=f[(i−1)&1][j]+f[i&1][j−1]
& : 位运算 按位与 , 都知道吧
f[(i−1)&1][j] 就是当前元素上面的那个元素f[i&1][j−1] 就是当前元素左边的那个元素这样 , 数组第一维是不是就可以压成 2 了呐？另外 , 因为是滚动数组 , 所以如果当前位置被马拦住了无法通行一定要记住清零

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#define ull unsigned long long
using namespace std;

const int fx[]={0,-2,-1,1,2,2,1,-1,-2};
const int fy[]={0,1,2,2,1,-1,-2,-2,-1};
int bx,by,mx,my;
ull f[2][30];//第一维大小为 2 就好
bool s[30][30];

int main(){
    scanf("%d%d%d%d",&bx,&by,&mx,&my);
    ++bx; ++by; ++mx; ++my;
    f[0][1]=1;//初始化
    s[mx][my]=1;
    for(int i=1;i<=8;i++)
        s[ mx + fx[i] ][ my + fy[i] ]=1;
    for(int i=1;i<=bx;i++){
        for(int j=1;j<=by;j++){
            if(s[i][j]){
                f[i&1][j]=0;//被马拦住了记住清零
                continue;
            }
            f[i&1][j]=f[(i-1)&1][j] + f[i&1][j-1]; 
            //新的状态转移方程
        }
    }
    printf("%llu\n",f[bx&1][by]);
    //输出的时候第一维也要 按位与 一下,即 bx&1
    return 0;
} 

好的那继续来看看能不能再压
二维数组第一维为什么要开成 2 呐？ 能不能使之变成一位数组呐？
因为状态转移的时候需要一个 f[i−1][j] 来提供数 , 所以必须要多开一维
那岂不是把这个条件优化掉就不需要开成二维数组了呐
观察我们能发现 , 这个 f[i−1][j] 与当前位置的 f[i][j] 的第二维一样 , 都是 j , 而第一维只是差了 1
那么来看这个状态转移方程 :

f[i]=f[i]+f[i−1]

是不是就奇技淫巧的把数组变成一维了呢 ???
f[i]+f[i−1] 里面
f[i−1] 就是前面方程里的 f[i][j−1]
至于 f[i] , 因为还没有被更新过 , 所以数据仍然保存的是当前位置上一个位置的元素 , 即 f[i−1][j]
这样 , 就把二维数组成功变成了一维数组
代码 :

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#define debug 1
#define inf 100010
#define ll long long
#define INF 0x7fffffff
#define INF_T 9223372036854775807
#define ull unsigned long long
using namespace std;

const int fx[]={0,-2,-1,1,2,2,1,-1,-2};
const int fy[]={0,1,2,2,1,-1,-2,-2,-1};

inline int read(){//快速读入
    char c=getchar();int num=0;bool b=0;
    for(;c<'0'||c>'9';b=(c=='-'?1:0),c=getchar());
    for(;c>='0'&&c<='9';num=(num<<3)+(num<<1)+(c^'0'),c=getchar());
    return b?-num:num;
}

int bx,by,mx,my;
ull f[30];//这次只需要一维数组啦!qwq
bool s[30][30];

int main(){
    bx=read();
    by=read();
    mx=read();
    my=read();
    ++bx; ++by; ++mx; ++my;
    f[1]=1;//初始化呐
    s[mx][my]=1;
    for(int i=1;i<=8;i++)
        s[ mx + fx[i] ][ my + fy[i] ]=1;
    for(int i=1;i<=bx;i++){
        for(int j=1;j<=by;j++){
            if(s[i][j]){
                f[j]=0;//还是别忘了清零哦
                continue;
            }
            f[j]+=f[j-1];
            //全新的简洁的状态转移方程
        }
    }
    printf("%llu\n",f[by]);
    return 0;
}