蓝桥杯国赛训练营:迷宫逃生（状压 + BFS）

刷完状压dp特此发一篇博客纪念一下…
这题没什么特别的，与dp无关。总结一下状压的理解:首先状压并没有压缩时间复杂度和空间复杂度，而只是利用计算机二级制的特性和位运算，将本应该多维表示的状态用一维表示出来。回忆二进制法求子集:对于一个有n位整数，每一个二进制位为0表示选，为1表示不选。状压也是利用了这一点。
对于某些dp我们必须枚举一个状态的子集的时候，就可以用二进制法来表示状态，例如n个物品，状态是选了哪些物品，状态总共有2^n个，学习状压前，对于n比较小的情况，我们可能开一个n维数组，学习状压后，我们可以直接用一维数组来表示这个状态。

而所谓状压dp，就是在状态压缩的基础上进行dp，dp当然还是普通的dp，满足dp的三条性质，经常是背包dp或线性dp类的简单dp。所以说状压dp并不是什么很难学习的姿势，但确实是一个新的东西，需要用到各种位运算来处理状态和状态转移，学习后对于一些需要枚举子集作为状态的dp可以很好的处理。

接下来讲一下这道题，一看题意其实就是BFS，只不过多了一个状态:有些格子需要有钥匙才能过去，我们需要记录我们有哪些钥匙，然后判断能不能过这个格子。怎么记我们有哪些钥匙？可以对每个格子开一个容器，存走到这个容器已有的钥匙，但是注意每个格子的访问状态，每个格子的访问状态很多，不是走过就访问了，还要看我们走的时候有哪些钥匙，举个简单的例子，带着2把钥匙踩过这个点和带着3把钥匙踩过这个点是两种状态，不难想到我们的vis 数组至少要开到3维了，第三维就用来表示我们走到这个格子的时候有几把钥匙。这个时候可以用到状压，因为钥匙最多只有10把，状态大小为 (1 << 10)。

剩下的就是简单的BFS；

#include<bits/stdc++.h>
using namespace std;
#define pii pair<int,int>
bool is(char a){
 	return (a >= 'A' && a <= 'Z') || (a >= 'a' && a <= 'z');
}
int change(char a){
 	if(a >='A' && a <='Z')
  		return a -'A' + 1;
 	else return a - 'a' + 1;
}
char mat[30][30];
int vis[30][30][1 << 11];
int d[30][30];
int state[30][30];
int mox[4] = {0,1,0,-1};
int moy[4] = {1,0,-1,0};
int n,m,t;
int bfs(pii s,pii t){
 	queue<pii> pq;
 	pq.push(s);
 	vis[s.first][s.second][state[s.first][s.second]] = 1;
 	memset(d,0x3f,sizeof(d));
 	d[s.first][s.second] = 0;
 	while(!pq.empty()){
  		pii top = pq.front();
  		int fir = top.first,sec = top.second;
  		pq.pop();
  		if(top == t) break;
  		for(int i = 0; i < 4; i++){
	   		int x = fir + mox[i];
	   		int y = sec + moy[i];
		   	int p = state[x][y] | state[fir][sec];
		   	if(x < 1 || x > n || y < 1 || y > m) continue;
		   	if(vis[x][y][p] || mat[x][y] == '#') continue;
		   	if(mat[x][y] >= 'A' && mat[x][y] <= 'Z' && (state[x][y] & state[fir][sec]) != state[x][y])
		    		continue;
			   pq.push(pii(x,y));
		   	state[x][y] |= state[fir][sec];
		   	vis[x][y][state[x][y]] = 1;
		   	d[x][y] = d[fir][sec] + 1;
		 }
 	}
 	return d[t.first][t.second];
}
int main(){
 	cin >> n >> m >> t;
 	pii si,ti;
 	for(int i = 1; i <= n; i++)
  		scanf("%s",mat[i] + 1);
 	for(int i = 1; i <= n; i++)
  		for(int j = 1; j <= m; j++){
   			if(mat[i][j] == '@') si = pii(i,j);
   			if(mat[i][j] == '$') ti = pii(i,j);
   			if(is(mat[i][j])) state[i][j] |= 1 << (change(mat[i][j]) - 1);
  		}
 	int res = bfs(si,ti);
 	if(res < t) cout << res << endl;
 	else cout << -1 << endl;
}