JZOJ 5459. 【NOIP2017提高A组冲刺11.7】密室

Description

小X 正困在一个密室里，他希望尽快逃出密室。
密室中有N 个房间，初始时，小X 在1 号房间，而出口在N 号房间。
密室的每一个房间中可能有着一些钥匙和一些传送门，一个传送门会单向地创造一条从房间X 到房间Y 的通道。另外，想要通过某个传送门，就必须具备一些种类的钥匙（每种钥匙都要有才能通过）。幸运的是，钥匙在打开传送门的封印后，并不会消失。
然而，通过密室的传送门需要耗费大量的时间，因此，小X 希望通过尽可能少的传送门到达出口，你能告诉小X 这个数值吗？
另外，小X 有可能不能逃出这个密室，如果是这样，请输出”No Solution”。

Input

第一行三个整数N,M,K，分别表示房间的数量、传送门的数量以及钥匙的种类数。
接下来N 行，每行K 个0 或1，若第i 个数为1，则表示该房间内有第i 种钥匙，若第i 个数为0，则表示该房间内没有第i 种钥匙。
接下来M 行，每行先读入两个整数X,Y，表示该传送门是建立在X 号房间，通向Y 号房间的，再读入K 个0 或1，若第i 个数为1，则表示通过该传送门需要i 种钥匙，若第i 个数为0，则表示通过该传送门不需要第i 种钥匙。

Output

输出一行一个“No Solution”，或一个整数，表示最少通过的传送门数。

Sample Input

3 3 2
1 0
0 1
0 0
1 3 1 1
1 2 1 0
2 3 1 1

Sample Output

2

Data Constraint

Solution

• 看到 $k\leq10$ ，就想到状压DP——二进制状态！

• 于是考虑从起点开始做一遍SPFA，用一个二维状态存即可（位置和状态）。

• 但由于边权为 1 ，没有松弛操作，所以只需 BFS 一遍，输出终点答案即可。

Code

#include<cstdio>
#include<cstring>
using namespace std;
const int N=6001;
struct data
{
    int x,y;
}q[N*1000];
int tot,ans=1e9;
int first[N],next[N],en[N],w[N];
int a[N],dis[N][1025];
inline int read()
{
    int X=0,w=1; char ch=0;
    while(ch<'0' || ch>'9') {if(ch=='-') w=-1;ch=getchar();}
    while(ch>='0' && ch<='9') X=(X<<3)+(X<<1)+ch-'0',ch=getchar();
    return X*w;
}
inline int min(int x,int y)
{
    return x<y?x:y;
}
inline void insert(int x,int y,int z)
{
    next[++tot]=first[x];
    first[x]=tot;
    en[tot]=y;
    w[tot]=z;
}
int main()
{
    int n=read(),m=read(),k=read();
    for(int i=1;i<=n;i++)
        for(int j=0;j<k;j++) a[i]+=read()<<j;
    for(int i=1;i<=m;i++)
    {
        int x=read(),y=read(),z=0;
        for(int j=0;j<k;j++) z+=read()<<j;
        insert(x,y,z);
    }
    memset(dis,60,sizeof(dis));
    int l=dis[1][a[1]]=0,r=1;
    q[1].x=1,q[1].y=a[1];
    while(l<r)
    {
        data now=q[++l],t;
        for(int i=first[now.x];i;i=next[i])
            if((now.y&w[i])==w[i] && dis[now.x][now.y]+1<dis[en[i]][now.y|a[en[i]]])
            {
                dis[en[i]][now.y|a[en[i]]]=dis[now.x][now.y]+1;
                if(en[i]==n) ans=min(ans,dis[en[i]][now.y|a[en[i]]]);
                t.x=en[i],t.y=now.y|a[en[i]];
                q[++r]=t;
            }
    }
    if(ans==1e9) puts("No Solution"); else printf("%d",ans);
    return 0;
}