[九省联考2018]一双木棋

• 先分析状态。画几张图你发现，一个合法的状态，它从第一行到第$n$行，每一行上棋子的数量一定是单调不增的，并且棋子一定是从左到右紧密排列。
• 写个$dfs$爆搜一下合法状态，最多也就$18$万左右。因此可以状压爆搜。
• 两人都想最优，这种情况一般维护一个差值。即我们维护一个$max$菲菲$-$$max$牛牛。
• 为了两人在求解最值的过程中能互相限制，保证双方都是最优情况，我们要倒着推。即初始状态为$f(t)$，答案为$f(s)$。
• 可以$dfs$跑出所有合法状态，建边$dp$。但是显然写记忆化搜索更好。

#include<bits/stdc++.h>
#include<tr1/unordered_map>
#define ll long long
using namespace std;
const int p=13;
int n,m,a[20][20],b[20][20],num[20],ans;
std::tr1::unordered_map<ll,int>mp;
ll cal(){
	ll res=0;
	for(int i=1;i<=n;++i) res=1LL*res*p+1LL*num[i];
	return res;
}
void ucal(ll res){
	for(int i=n;i>0;--i) num[i]=res%p,res/=p;
}
int dfs(ll x,bool now){
	if(mp.count(x)) return mp[x];
	ucal(x);int temp=0;
	if(now==1) temp=-1e9;
	else temp=1e9;
	for(int i=1;i<=n;++i){
		if(num[i]<num[i-1]){
			num[i]++;
			if(now==1) temp=max(temp,dfs(cal(),0)+a[i][num[i]]);
			else temp=min(temp,dfs(cal(),1)-b[i][num[i]]);
			num[i]--;
		}
	}
	mp[x]=temp;
	return temp;
}
int main(){
	//freopen("chess.in","r",stdin);
	//freopen("chess.out","w",stdout);
	scanf("%d%d",&n,&m);
	for(int i=1;i<=n;++i) for(int j=1;j<=m;++j) scanf("%d",&a[i][j]);
	for(int i=1;i<=n;++i) for(int j=1;j<=m;++j) scanf("%d",&b[i][j]);
	for(int i=0;i<=n;++i) num[i]=m;
	mp[cal()]=0;
	for(int i=1;i<=n;++i) num[i]=0;
	ans=dfs(0,1);
	printf("%d\n",ans);
	return 0;
}