【BZOJ 2669】局部极小值

局部极小值题目链接
蓄水池题目链接
(双倍经验)

题目描述

有一个n行m列的整数矩阵，其中1到nm之间的每个整数恰好出现一次。如果一个格子比所有相邻格子（相邻是指有公共边或公共顶点）都小，我们说这个格子是局部极小值。给出所有局部极小值的位置，你的任务是判断有多少个可能的矩阵。

Sol

诈一看不可做…
回归问题本质
假设啥要求都没有,我们知道答案就是$(n\ast m)!$ ,这是因为一开始的数有$n\ast m$种选择,然后之后的方案数依次递减1

换言之,假设我们一个个放数,我们只要知道了每一次放数的可能的方案数,那么我们就能求出总方案了

发现一个性质:
由于局部极小值的要求是周围的数都比它大,所以假设我们从小往大放数(倒着也类似),那么如果局部极小值处还没有填上数 , 那么它周围的一切格子都不能填上数 , 也就是说我们一次次放数的时候 , 假设我们知道了局部极小值处的填数状况 , 那么我们很容易就能算出这一步的填数方案数

考虑到$4\ast 7$的大小最多只会有$8$个可能的局部极小值 , 一个显然的状压dp就出来了

我们设$dp[i][j]$表示填到了数 $i$ , 局部极小值处填数状态为 $j$ 的方案数
答案就是 $dp[n\ast m][11...11]$

对于每一个状态,我们先把它还能填数的不是局部极小值的位置数算出来(下面记为$ret[j]$),之后就可以转移了
转移分两种情况:

1. 不放在局部极小值处
   这时状态$j$不变,假设有$k$个蓄水池已经填了数,方案数为 r e t [ j ] − ( i − 1 ) + k ret[j]-(i-1)+k