博主的 BiBi 时间
博主现在在高铁上辽,不过这次的座位玄学变成了卧铺
Q
w
Q
\mathtt{QwQ}
QwQ。(幸好对面的漂酿小姐姐提醒有充电头,不然只有和黑屏的电脑相对无言,,,岂不美哉?)
Solution
具体肯定是状压某行,一眼望去发现 n , m ≤ 40 n,m \leq 40 n,m≤40 觉得搞不动,但是仔细想想发现 n , m n,m n,m 交换对解题没有影响,又有 n ∗ m ≤ 40 n * m\leq 40 n∗m≤40,可以得出 min ( n , m ) ≤ 6 \min(n,m)\leq 6 min(n,m)≤6,这就可以开下了。
我们考虑如何能保证一个格子为空:使其上下左右至少有一个蜘蛛。这就是 check
的条件。
令 f [ i ] [ j ] [ k ] f[i][j][k] f[i][j][k] 为遍历到第 i i i 行,第 i i i 行状态为 j j j, i + 1 i + 1 i+1 行状态为 k k k。
那么枚举 j , k , u j,k,u j,k,u 状态(其中 u u u 为 i − 1 i-1 i−1 行状态),就有:
f [ i ] [ j ] [ k ] = max ( f [ i ] [ j ] [ k ] , f [ i − 1 ] [ u ] [ j ] + j 状 态 空 格 的 个 数 ) f[i][j][k]=\max(f[i][j][k],f[i-1][u][j]+j状态空格的个数) f[i][j][k]=max(f[i][j][k],f[i−1][u][j]+j状态空格的个数)
注意初始第 0 0 0 行的状态只能为全零。
Code
#include <cstdio>
#include <iostream>
using namespace std;
int n, m, lim, f[42][1 << 8][1 << 8];
int read() {
int x = 0, f = 1; char s;
while((s = getchar()) > '9' || s < '0') if(s == '-') f = -1;
while(s >= '0' && s <= '9') x = (x << 1) + (x << 3) + (s ^ 48), s = getchar();
return x * f;
}
int get(int x) {
int r = 0;
for(int i = 1; i <= n; ++ i) {
r += ((x & 1) == 0);
x >>= 1;
}
return r;
}
bool ok(int x, int y, int z) {
int a, b, c, d, e;
for(int i = 0; i < n; ++ i) {
a = (1 << i & x);
b = (1 << i & y);
c = (1 << i & z);
if(i) d = (1 << i - 1 & y);
else d = 0;
if(i < n - 1) e = (1 << i + 1 & y);
else e = 0;
if(a + b + c + d + e == 0) return 0;
}
return 1;
}
int main() {
n = read(), m = read();
if(n > m) swap(n, m);
lim = (1 << n);
for(int j = 1; j < lim; ++ j)
for(int k = 0; k < lim; ++ k)
f[0][j][k] = -0x3f3f3f3f;
for(int d = 1; d <= m; ++ d)
for(int i = 0; i < lim; ++ i)
for(int j = 0; j < lim; ++ j)
for(int k = 0; k < lim; ++ k)
if(ok(i, j, k))
f[d][j][k] = max(f[d][j][k], f[d - 1][i][j] + get(j));
int ans = 0;
for(int i = 0; i < lim; ++ i) ans = max(ans, f[m][i][0]);
printf("%d\n", ans);
return 0;
}