bzoj5248 [2018多省省队联测]一双木棋（状压dp+hash表）

不难发现一个合法的状态可以用每一列有多少个棋子来表示。
状压一下就是11^10,可以用Hash表来存。可以注意到其实合法状态没有多少，可以先都搞出来存在队列里再倒着做。f[S]表示S状态的局面先手可以再得多少分，考虑转移，先手取最大，后手取最小。

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <queue>
using namespace std;
#define ll long long
#define inf 0x3f3f3f3f
#define N 10000010
inline char gc(){
    static char buf[1<<16],*S,*T;
    if(S==T){T=(S=buf)+fread(buf,1,1<<16,stdin);if(T==S) return EOF;}
    return *S++;
}
inline int read(){
    int x=0,f=1;char ch=gc();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=gc();}
    while(ch>='0'&&ch<='9') x=x*10+ch-'0',ch=gc();
    return x*f;
}
int n,m,a[11][11],b[11][11],c[11],h[N],num=0,qh=1,qt=0;ll bin[11],q[N];
struct Hash_table{
    int next,val;ll key;
}data[N];
inline bool ins(ll key,int val){
    int x=key%N;
    for(int i=h[x];i;i=data[i].next){
        if(data[i].key==key){data[i].val=val;return 0;}
    }data[++num].next=h[x];h[x]=num;data[num].key=key;data[num].val=val;return 1;
}
inline int hs(ll key){
    int x=key%N;
    for(int i=h[x];i;i=data[i].next){
        if(data[i].key==key) return data[i].val;
    }
}
int main(){
//  freopen("chess.in","r",stdin);
//  freopen("chess.out","w",stdout);
    n=read();m=read();bin[0]=1;
    for(int i=1;i<=m;++i) bin[i]=bin[i-1]*(n+1);
    for(int i=1;i<=n;++i)
        for(int j=1;j<=m;++j) a[i][j]=read();
    for(int i=1;i<=n;++i)
        for(int j=1;j<=m;++j) b[i][j]=read();
    q[++qt]=1;ins(1,0);
    while(qh<=qt){
        ll S=q[qh++],SS=S;
        for(int i=1;i<=m;++i) c[i]=SS%(n+1),SS/=(n+1);
        for(int i=1;i<=m;++i){
            if(c[i]+1<=n&&(i==1||c[i]+1<=c[i-1])){
                ll S1=S+bin[i-1];
                if(ins(S1,0)) q[++qt]=S1;
            }
        }
    }for(int j=qt-1;j>=1;--j){
        ll S=q[j],SS=S;int tot=0,x;
        for(int i=1;i<=m;++i) c[i]=SS%(n+1),SS/=(n+1),tot+=c[i];
        if(tot&1) x=inf;else x=-inf;
        for(int i=1;i<=m;++i){
            if(c[i]+1<=n&&(i==1||c[i]+1<=c[i-1])){
                ll S1=S+bin[i-1];
                if(tot&1){
                    x=min(x,-b[c[i]+1][i]+hs(S1));
                }else{
                    x=max(x,a[c[i]+1][i]+hs(S1));
                }
            }
        }ins(S,x);
    }printf("%d\n",a[1][1]+hs(1));
    return 0;
}