10.28T7 位运算+记忆化+DLZ常数剪枝

5170 -- 【11.05题目】密室

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

Hint

 

 

 

 

 

直接记忆化每个点在某个状态的值可以强力剪枝，如果直接爆搜直接爆栈，最后加上DLZ的5000000运算次数以上就剪掉就过了。。。

code：

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#define N 100000
using namespace std;
int tot;
struct node {
    long long u,v,w;
} e[N];
long long first[N],nxt[N],cnt,room[N];
void add(long long u,long long v,long long w) {
    e[++cnt].u=u;
    e[cnt].v=v;
    e[cnt].w=w;
    nxt[cnt]=first[u];
    first[u]=cnt;
}
long long n,m,k;
long long min0=20020731;
int f[5001][2000];
void dfs(long long x,long long now,long long step) {
    tot++;
    if(tot>=5000000)return;
    if(step>=min0)return;
    if(f[x][now]<=step)return;
    f[x][now]=step;
    if(x==n) {
        min0=min(min0,step);
        return;
    }
    for(long long i=first[x];i;i=nxt[i]){
        long long v=e[i].v;
        if((now&e[i].w)!=e[i].w)continue;
        long long temp=now|room[v];
        dfs(v,temp,step+1);
        if(tot>=5000000)return;
    }
}
long long read(){
    long long x=0,f=1;
    char c=getchar();
    while(!isdigit(c)){
        if(c=='-')f=-1;
        c=getchar();
    }
    while(isdigit(c)){
        x=(x<<3)+(x<<1)+c-'0';
        c=getchar();
    }
    return x*f;
}
int main() {
    int siz=80<<20;
    __asm__ ("movq %0,%%rsp
"::"r"((char*)malloc(siz)+siz));
    n=read(),m=read(),k=read();
    for(long long i=1; i<=n; i++) {
        for(long long j=1; j<=k; j++) {
            long long x;
            x=read();
            room[i]=room[i]*2+x;
        }
    }
    for(long long i=1; i<=m; i++) {
        long long now=0;
        long long a,b;
        a=read(),b=read();
        for(long long j=1; j<=k; j++) {
            long long x;
            x=read();
            now=now*2+x;
        }
        add(a,b,now);
    }
    memset(f,0x3f3f3f3f,sizeof f);
    dfs(1,room[1],0);
    if(min0==20020731){
        cout<<"No Solution";
    }
    else{
        cout<<min0;
    }
    exit(0);
    return 0;
}

over