非递归状压DP-不同路径

首先附题目描述(leetcode题目)：

附代码(这里附dev可运行代码)：

#include<iostream>
using namespace std;
int dp[20][1<<20]={0};
int main(){
	int c[4]={0,0,-1,1};
	int d[4]={1,-1,0,0};
	int tu[20][20];
	int i,j,k,row,col,sx,sy,tx,ty,target=0;
	cin>>row>>col;
	for(i=0;i<row;i++){
		for(j=0;j<col;j++){
			cin>>tu[i][j];
			if(tu[i][j]!=-1){
			   target+=1<<(i*col+j);
			   if(tu[i][j]==1){sx=i;sy=j;}
			   if(tu[i][j]==2){tx=i;ty=j;}//记录起始点、终点
			}			
		}
	}
	int n=sx*col+sy;
	dp[n][1<<n]=1;//动规初始化，起始点的走法数为1
	for(i=1;i<(1<<(row*col));i++){
		for(j=0;j<row*col;j++){
			if(((i>>j) & 1)==0|| dp[j][i]==0)continue;//当前集合不包括这个点，不合法，或者该点为0
			for(k=0;k<4;k++){
				int xx=j/col;
				int yy=j%col;
				xx+=c[k];
				yy+=d[k];
				if(xx<0 || yy<0 || xx>=row || yy>=col)continue;//越界
				if(tu[xx][yy]==-1)continue;//不可走 
				int num=xx*col+yy;	
				if(((i>>num)&1)==1)continue;//该点已走过			 
				dp[num][i|(1<<num)]+=dp[j][i]; 
			}
		}
	}
	n=tx*col+ty;
	cout<<dp[n][target];
}

一、思路：

1、首先明确动规方法，dp[i][j]表示：当前处于i位置，且已经走过的集合（包括当前位置i）为j，该状态下的走法数。

2、将二维坐标线性化。

3、用二进制表示已经走过的点的集合，走过为1，未走过为0。

4、明确动规方向

（1）i表示位置，我们无法保证其在动态规划中按升序或降序进行二维数组的填充。
（2）j表示集合，任一集合必然由其子集得来。
（3）由此填充二维数组时可以从左向右以列为单位填充（i为行，j为列）。

5、状态转移：dp[num][i|(1<<num)]+=dp[j][i]； dp[j][i]为我们当前考虑的状态S0，dp[num][i|(1<<num)]为S0可以到达的一个状态S1。需要把S0的路径数加到S1上。

二、补充说明：

1、dp[num][i|(1<<num)] 中的 i|(1<<num) 用于把序号为num的节点加入到集合i中。

2、代码第24行的 dp[j][i]==0 非常重要。因为二维数组中很多节点实际上是无效的，永远为0。如果不筛除它们，会增大非常多的运算量。