[TC_SRM_466]DrawingBlackCrosses

试题描述

\(n \times m\)(\(n, m \le 20\))的棋盘

其中至多有 \(8\) 个格子为黑色,其他格子为白色

每次可以选一个白格子把它所在的行、列包括它本身变成黑色

求把棋盘全变成黑色的操作方案数

输入

传给你一个 string[] 类型的参数

输出

返回一个整数表示答案

输入示例

{"B..B", "B.B.", "...B", "BB.B", "...."}

输出示例

Returns: 324

数据规模及约定

见“试题描述

题解

由于黑格子不超过 \(8\) 个,并且每次操作都是整行整列变黑,所以可以任意交换行列,不会影响最终结果。

于是我们可以把它交换成左上角最多 \(8 \times 8\) 区域内有黑格子,剩下一个反 \(L\) 型的全白区域。

对于全白区域,我们只需要关心它有几行几列就行了;而对于有黑格子的地方就需要用状压。

于是令 \(f(s_x, s_y, i, j)\) 表示对于有黑格子的区域行覆盖的集合是 \(s_x\),列覆盖集合为 \(s_y\),全白区域覆盖了 \(i\) 行 \(j\) 列,然后转移显然。

最后累计答案时需要开个数组模拟一下确定哪些状态是最终状态。(好像也可以看哪些状态没有后继状态吧,这样快一点,但是我不管了。这题搞了我一个上午,弄得我生活不能自理)

#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <cctype>
#include <algorithm>
#include <vector>
using namespace std;
#define rep(i, s, t) for(int i = (s); i <= (t); i++)
#define dwn(i, s, t) for(int i = (s); i >= (t); i--) const int maxspace = 12010101, maxn = 21, MOD = 1000000007;
#define LL long long int n, m, bn, bm, sn, sm, _x[maxn*maxn], _y[maxn*maxn], cb, xnum[maxn*maxn], ynum[maxn*maxn];
char Map[maxn][maxn];
bool g[maxn][maxn], tg[maxn][maxn]; int F[maxspace];
#define f(si, sj, i, j) F[(si)*(sm+1)*(n-bn+1)*(m-bm+1)+(sj)*(n-bn+1)*(m-bm+1)+(i)*(m-bm+1)+(j)]
class DrawingBlackCrosses {
public:
int count(vector <string> field) {
n = field.size(); m = field[0].length();
rep(i, 0, n - 1) strcpy(Map[i], field[i].c_str()); rep(i, 0, n - 1) rep(j, 0, m - 1) if(Map[i][j] == 'B') {
_x[cb] = i; _y[cb++] = j;
xnum[bn++] = i; ynum[bm++] = j;
}
sort(xnum, xnum + bn); sort(ynum, ynum + bm);
bn = unique(xnum, xnum + bn) - xnum; bm = unique(ynum, ynum + bm) - ynum;
sn = (1 << bn) - 1; sm = (1 << bm) - 1;
rep(i, 0, cb - 1) {
_x[i] = lower_bound(xnum, xnum + bn, _x[i]) - xnum;
_y[i] = lower_bound(ynum, ynum + bm, _y[i]) - ynum;
g[_x[i]][_y[i]] = 1;
}
int sx = 0, sy = 0, fullx = 0, fully = 0; // all_black
rep(i, 0, n - 1) {
bool ab = 1;
rep(j, 0, m - 1) if(!g[i][j]){ ab = 0; break; }
if(ab && i < bn) sx |= 1 << i;
ab = 1;
rep(j, 0, bm - 1) if(!g[i][j]){ ab = 0; break; }
if(i < bn) fullx |= (int)ab << i;
}
rep(j, 0, m - 1) {
bool ab = 1;
rep(i, 0, n - 1) if(!g[i][j]){ ab = 0; break; }
if(ab && j < bm) sy |= 1 << j;
ab = 1;
rep(i, 0, bn - 1) if(!g[i][j]){ ab = 0; break; }
if(j < bm) fully |= (int)ab << j;
}
f(sx, sy, n - bn, m - bm) = 1;
rep(si, 0, sn) rep(sj, 0, sm) dwn(i, n - bn, 0) dwn(j, m - bm, 0) if(f(si, sj, i, j)) {
int now = f(si, sj, i, j), tsi, tsj, ti, tj;
rep(ini, 0, bn) rep(inj, 0, bm) {
if(ini < bn) tsi = si | (1 << ini), ti = i;
else tsi = si, ti = i - 1;
if(inj < bm) tsj = sj | (1 << inj), tj = j;
else tsj = sj, tj = j - 1;
if(ini < bn && inj < bm && !g[ini][inj] && !(si >> ini & 1) && !(sj >> inj & 1)) (f(tsi, tsj, ti, tj) += now) %= MOD;
if(ini < bn && inj == bm && !(si >> ini & 1) && j > 0) (f(tsi, tsj, ti, tj) += (LL)now * j % MOD) %= MOD;
if(ini == bn && inj < bm && i > 0 && !(sj >> inj & 1)) (f(tsi, tsj, ti, tj) += (LL)now * i % MOD) %= MOD;
if(ini == bn && inj == bm && i > 0 && j > 0) (f(tsi, tsj, ti, tj) += (LL)now * i % MOD * j % MOD) %= MOD;
}
} int ans = 0;
rep(si, 0, sn) rep(sj, 0, sm) rep(i, 0, n - bn) rep(j, 0, m - bm) if(f(si, sj, i, j)) {
memcpy(tg, g, sizeof(g));
rep(x, 0, bn - 1) if(si >> x & 1)
rep(y, 0, m - 1) tg[x][y] = 1;
rep(y, 0, bm - 1) if(sj >> y & 1)
rep(x, 0, n - 1) tg[x][y] = 1;
dwn(x, n - 1, n - (n - bn - i)) rep(y, 0, m - 1) tg[x][y] = 1;
dwn(y, m - 1, m - (m - bm - j)) rep(x, 0, n - 1) tg[x][y] = 1;
bool all1 = 1;
rep(x, 0, n - 1) rep(y, 0, m - 1) if(!tg[x][y]){ all1 = 0; break; }
if(all1) (ans += f(si, sj, i, j)) %= MOD;
} return ans;
}
};

[TC_SRM_466]DrawingBlackCrosses的更多相关文章

随机推荐

  1. 操作系统(6)_虚拟存储管理_李善平ppt

    image含各种段. 有些不需要的页可能永远不需要装入内存,可能只有百分之70-80是异常情况采用的,这种代码就可以放入硬盘. 抖动实际就是进程数太多导致内存不够用造成的. 页面换入换出在内存和磁盘之 ...

  2. 设计模式基础--Java接口和抽象类

    最近在看设计模式,感觉需要先好好区分下抽象类和接口. 一.抽象类 <Java编程思想>中这样定义:包含抽象方法的类叫做抽象类. 解释: 1.包含,说明抽象类中可以有其他的具体方法. 2.因 ...

  3. maven引入dubbo包后启动报错

    启动后报错内容为: Caused by: org.springframework.beans.factory.BeanDefinitionStoreException: Unexpected exce ...

  4. 精读《Epitath 源码 - renderProps 新用法》

    1 引言 很高兴这一期的话题是由 epitath 的作者 grsabreu 提供的. 前端发展了 20 多年,随着发展中国家越来越多的互联网从业者涌入,现在前端知识玲琅满足,概念.库也越来越多.虽然内 ...

  5. BootStrap下拉框搜索功能

    <!DOCTYPE html> <html> <head> <title>jQuery bootstrap-select可搜索多选下拉列表插件-www. ...

  6. spark和MR比较

    MapReduce: 分布式的计算框架 缺点:执行速度慢 IO瓶颈 ==> 磁盘IO 网络IO shuffle机制:数据需要输出到磁盘,而且每次shuffle都需要进行排序操作 框架的机制: 只 ...

  7. 【转载】MQTT的学习之Mosquitto集群搭建

    本文出自:http://www.cnblogs.com/yinyi521/p/6087215.html 文章钢要: 1.进行双服务器搭建 2.进行多服务器搭建 一.Mosquitto的分布式集群部署 ...

  8. 动态规划:HDU1224-Free DIY Tour

       Free DIY Tour Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others) ...

  9. CF 497 div 2 B

    B. Turn the Rectangles time limit per test 2 seconds memory limit per test 256 megabytes input stand ...

  10. Harbor HA部署-使用Ceph RADOS后端

    1. 前言 Harbor 1.4.0版本开始提供了HA部署方式,和非HA的主要区别就是把有状态的服务分离出来,使用外部集群,而不是运行在本地的容器上.而无状态的服务则可以部署在多个节点上,通过配置上层 ...