CodeForces - 111C Petya and Spiders

博主的 BiBi 时间

博主现在在高铁上辽，不过这次的座位玄学变成了卧铺 $\mathtt{Q}\mathtt{w}\mathtt{Q}$。（幸好对面的漂酿小姐姐提醒有充电头，不然只有和黑屏的电脑相对无言，，，岂不美哉？）

Solution

具体肯定是状压某行，一眼望去发现 $n,m\le 40$ 觉得搞不动，但是仔细想想发现 $n,m$ 交换对解题没有影响，又有 $n\ast m\le 40$，可以得出 $\min (n,m)\le 6$，这就可以开下了。

我们考虑如何能保证一个格子为空：使其上下左右至少有一个蜘蛛。这就是 check 的条件。

令 $f[i][j][k]$ 为遍历到第 $i$ 行，第 $i$ 行状态为 $j$，$i+1$ 行状态为 $k$。

那么枚举 $j,k,u$ 状态（其中 $u$ 为 $i-1$ 行状态），就有：

$$f[i][j][k]=\max (f[i][j][k],f[i-1][u][j]+j状态空格的个数)$$

注意初始第 $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;
}