洛谷4011 孤岛营救 图的拆点，键边与状态dp

孤岛营救

P4011 孤岛营救问题 - 洛谷 | 计算机科学教育新生态 (luogu.com.cn)

一共有两种操作 当前是否存在钥匙 以及向周围扩展

通读本题发现 每次移动的代价都是 1或0，所以我们可以考虑 01BFS；又因为 P 的范围很小，可以对 P 进行状压，记 𝑐𝑜𝑠𝑡(𝑖,𝑗,𝑘)表示到 (𝑖,𝑗)拥有的钥匙集合为 𝑘k 的最小花费，维护 i,j,k 进行 01BFS，一旦有解直接返回，需要判断无解情况

# include <bits/stdc++.h>
using namespace std;
const int N=11,M=N*N,E=400,P=1<<10;
typedef pair<int,int>PII;
int n,m,p,k;
int g[N][N];
int d[M][P];
bool st[M][P];
int idx,e[E],h[E],ne[E],w[E];
int key[M];
set<PII>edges; 
deque<PII>q;
void  add(int a,int b,int c)
{
	e[idx]=b;
	ne[idx]=h[a];
	w[idx]=c;
	h[a]=idx++;
}
void build()
{
	int dx[]={0,0,-1,1},dy[]={1,-1,0,0};
	for(int i=1;i<=n;i++)
	{
		for(int j=1;j<=m;j++)
		{
		for(int u=0;u<4;u++)
		{
		int x=i+dx[u],y=j+dy[u];
		if(x&&x<=n&&y&&y<=m)
		{
		int a=g[i][j],b=g[x][y];
		if(edges.count({a,b})==0)
		{
		add(a,b,0);
		add(b,a,0);
		}
		}
		}
	    }
	}
}

int bfs()
{
	memset(d,0x3f,sizeof d);
	d[1][0]=0;
	q.push_back({1,0});
	while(q.size())
	{
	auto t=q.front();
	q.pop_front();
	int t1=t.first,t2=t.second;
	if(t1==n*m)
	return d[t1][t2];
	if(st[t1][t2])
	continue;
	st[t1][t2]=1;
	if(key[t1])
	{
	int state=key[t1]|t2;
	if(d[t1][state]>d[t1][t2])
	{
	d[t1][state]=d[t1][t2];
	q.push_front({t1,state});
    }
	}
	for(int i=h[t1];i!=-1;i=ne[i])
	{
	int j=e[i];
	if(w[i]&&!(t2>>w[i]-1&1))
	continue;
	if(d[j][t2]>d[t1][t2]+1)
	{
	d[j][t2]=d[t1][t2]+1;
	q.push_back({j,t2});
	}
	}
	
	}
	
	
	return -1;
}
int main()
{
	cin>>n>>m>>p>>k;
	memset(h,-1,sizeof h);
	for(int i=1,t=1;i<=n;i++)
	{
		for(int j=1;j<=m;j++)
		{
			g[i][j]=t++;
		}
	}
	while(k--)
	{
	int x1,x2,y1,y2,c;
	cin>>x1>>y1>>x2>>y2>>c;
	int a=g[x1][y1],b=g[x2][y2];
	edges.insert({a,b});
	edges.insert({b,a});
	if(c)
	add(a,b,c),add(b,a,c);
	}
	build();
	int s;
	cin>>s;
	for(int i=1;i<=s;i++)
	{
	int x,y,z;
	cin>>x>>y>>z;
	key[g[x][y]]|=1<<z-1;
	}
	int t=bfs();
	cout<<t;
	return 0;
	 
 }