bzoj 4031: [HEOI2015]小Z的房间 轮廓线dp
4031: [HEOI2015]小Z的房间
Time Limit: 10 Sec Memory Limit: 256 MB
Submit: 98 Solved: 29
[Submit][Status][Discuss]
Description
你突然有了一个大房子，房子里面有一些房间。事实上，你的房子可以看做是一个包含n*m个格子的格状矩形，每个格子是一个房间或者是一个柱子。在一开始的时候，相邻的格子之间都有墙隔着。
Input
第一行两个数分别表示n和m。
Output
一行一个整数，表示合法的方案数 Mod 10^9
Sample Input
...
...
.*.
Sample Output
HINT
对于前100%的数据，n,m<=9
一看就是连通性插头dp，但是这道题所记录的并不是插头的连通性，而是轮廓线上的每一块之间的连通性，由于连通块不存在类似于ABAB，而且可以最小表示，所以连通性总数只有5000左右。很多细节上的问题，只有编的时候慢慢调了。
本以为障碍物在本题中是一个非常难处理的东西，但是实现对障碍物得处理对调试非常方便。（是不是以后没有障碍物的插头DP也可以自己实现一下来加速调试呢？）
*话说用模意义下行列式大概可以更轻松A掉这道题吧
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
#define MAXN 12
#define MAXL 20000
#define MOD 1000000000
typedef long long qword;
inline void deal(qword &x,qword y)
{
x=(x+y)%MOD;
}
int n,m;
int rec[MAXN];
int stack[MAXN],tops=-;
int vis[MAXN];
int cnt=;
int lst[MAXL],totl=;
int lstp[MAXL][MAXN];
int lstt[MAXL];
pair<int,int> slst[MAXL];
int tmp[MAXN];
void dfs(int now,int mx)
{
if (now==m)
{
memset(vis,,sizeof(vis));
tops=-;
//for (int i=0;i<=m;i++)printf("%d ",rec[i]);
for (int i=;i<m;i++)
{
if (vis[rec[i]]==)
{
vis[rec[i]]=;
stack[++tops]=rec[i];
}else if (vis[rec[i]]==)
{
while (stack[tops]!=rec[i])
vis[stack[tops--]]=;
}else if (vis[rec[i]]==)
{
// printf("Failed!\n");
return ;
}
}
cnt++;
memcpy(lstp[totl],rec,sizeof(rec));
for (int i=;i<m;i++)
lst[totl]=lst[totl]*+rec[i];
lstt[totl++]=mx;
//printf("Success!\n");
return ;
}
for (int i=;i<=mx+;i++)
{
rec[now]=i;
dfs(now+,max(mx,i));
}
}
qword dp[MAXN][MAXN][MAXL];
int mi10[MAXN];
int trans(int tmp[])
{
static int a[MAXN];
memset(a,-,sizeof(a));
int tota=;
for (int i=;i<m;i++)
if (a[tmp[i]]==-)
a[tmp[i]]=tota++;
int v=;
for (int i=;i<m;i++)
v=v*+a[tmp[i]];
return (int)(lower_bound(lst,lst+totl,v)-lst);
}
bool mp[MAXN][MAXN];
int main()
{
freopen("input.txt","r",stdin);
scanf("%d%d\n",&n,&m);
char ch;
for (int i=;i<n;i++)
{
for (int j=;j<m;j++)
{
scanf("%c",&ch);
if (ch=='.')
mp[i][j]=true;
else
mp[i][j]=false;
}
scanf("\n");
}
int v,z;
v=;
while (v<n)
{
bool flag=false;
for (int j=;j<m;j++)
{
if (mp[v][j])
{
flag=true;
break;
}
}
if (flag)break;
v++;
}
for (int i=;i<n-v;i++)
memcpy(mp[i],mp[i+v],sizeof(mp[i]));
n-=v;
while (n)
{
bool flag=false;
for (int j=;j<m;j++)
if (mp[n-][j])
{
flag=true;
break;
}
if (flag)break;
n--;
}
dfs(,-);
mi10[]=;
for (int i=;i<MAXN;i++)mi10[i]=mi10[i-]*;
dp[][][totl-]=;
for (int i=;i<n;i++)
{
for (int j=;j<m;j++)
{
for (int k=;k<totl;k++)
{
if (!dp[i][j][k])continue;
/* printf("Position:(%d,%d)\n",i,j);
printf("Status:");
for (int k2=0;k2<m;k2++)printf("%d ",lstp[k][k2]);
printf("\n");
printf("Value:%lld\n",dp[i][j][k]);*/
if (!mp[i][j])
{
//-------------simple copy------------
memcpy(tmp,lstp[k],sizeof(tmp));
v=;
for (int k2=;k2<m;k2++)
if (tmp[k2]==tmp[j])v++;
if (v> || (i==) || (i && !mp[i-][j]))
{
tmp[j]=lstt[k]+;
z=trans(tmp);
deal(dp[i][j+][z],dp[i][j][k]);
}
continue;
}
if (j==)
{
//--------------up--------------
if (i!= && mp[i-][j])
deal(dp[i][j+][k],dp[i][j][k]);
//--------------none------------
memcpy(tmp,lstp[k],sizeof(tmp));
v=;
for (int k2=;k2<m;k2++)
if (tmp[k2]==tmp[j])v++;
if (v> || i== || (i && !mp[i-][j]))
{
tmp[j]=lstt[k]+;
z=trans(tmp);
deal(dp[i][j+][z],dp[i][j][k]);
}
}else
{
int p=lstp[k][j-];
int q=lstp[k][j];
if (p==q)
{
//-------------up-------------
if (i!= && mp[i-][j])
deal(dp[i][j+][k],dp[i][j][k]);
//-------------left-----------
if (mp[i][j-])
deal(dp[i][j+][k],dp[i][j][k]);
memcpy(tmp,lstp[k],sizeof(tmp));
tmp[j]=lstt[k]+;
z=trans(tmp);
deal(dp[i][j+][z],dp[i][j][k]);
}else
{
//-------------up-------------
if (i!= && mp[i-][j])
deal(dp[i][j+][k],dp[i][j][k]);
//-------------none-----------
memcpy(tmp,lstp[k],sizeof(tmp));
v=;
for (int k2=;k2<m;k2++)
if (tmp[k2]==tmp[j])v++;
if (v> || i== || (i && !mp[i-][j]))
{
tmp[j]=lstt[k]+;
z=trans(tmp);
deal(dp[i][j+][z],dp[i][j][k]);
}
//-------------left-----------
memcpy(tmp,lstp[k],sizeof(tmp));
v=;
for (int k2=;k2<m;k2++)
if (tmp[k2]==tmp[j])v++;
if ((v> || i== || (i && !mp[i-][j])) && mp[i][j-])
{
tmp[j]=tmp[j-];
z=trans(tmp);
deal(dp[i][j+][z],dp[i][j][k]);
}
//----------up && left---------
memcpy(tmp,lstp[k],sizeof(tmp));
if (mp[i][j-] && i!= && mp[i-][j])
{
v=tmp[j];
tmp[j]=tmp[j-];
for (int k2=;k2<m;k2++)
if (tmp[k2]==v)tmp[k2]=tmp[j];
z=trans(tmp);
deal(dp[i][j+][z],dp[i][j][k]);
}
}
}
}
}
for (int k=;k<totl;k++)
dp[i+][][k]=dp[i][m][k];
}
for (int k2=;k2<m;k2++)
if (mp[n-][k2])
tmp[k2]=;
else
tmp[k2]=v++;
z=trans(tmp);
qword ans=dp[n][][z]%MOD;
printf("%lld\n",ans);
}
bzoj 4031: [HEOI2015]小Z的房间 轮廓线dp的更多相关文章
- BZOJ 4031: [HEOI2015]小Z的房间 高斯消元 MartixTree定理 辗转相除法
4031: [HEOI2015]小Z的房间 题目连接: http://www.lydsy.com/JudgeOnline/problem.php?id=4031 Description 你突然有了一个 ...
- 【刷题】BZOJ 4031 [HEOI2015]小Z的房间
Description 你突然有了一个大房子,房子里面有一些房间.事实上,你的房子可以看做是一个包含n*m个格子的格状矩形,每个格子是一个房间或者是一个柱子.在一开始的时候,相邻的格子之间都有墙隔着. ...
- BZOJ:4031: [HEOI2015]小Z的房间
Time Limit: 10 Sec Memory Limit: 256 MBSubmit: 1103 Solved: 536[Submit][Status][Discuss] Descripti ...
- BZOJ 4031 [HEOI2015]小Z的房间（Matrix-Tree定理）
[题目链接] http://www.lydsy.com/JudgeOnline/problem.php?id=4031 [题目大意] 你突然有了一个大房子,房子里面有一些房间. 事实上,你的房子可以看 ...
- BZOJ 4031 HEOI2015 小Z的房间 基尔霍夫矩阵+行列式+高斯消元 （附带行列式小结）
原题链接:http://www.lydsy.com/JudgeOnline/problem.php?id=4031 Description 你突然有了一个大房子,房子里面有一些房间.事实上,你的房子可 ...
- BZOJ 4031: [HEOI2015]小Z的房间 Matrix-Tree定理
题目链接: http://www.lydsy.com/JudgeOnline/problem.php?id=4031 题解: Matrix-tree定理解决生成树计数问题,其中用到高斯消元法求上三角矩 ...
- BZOJ 4031: [HEOI2015]小Z的房间 [矩阵树定理 行列式取模]
http://www.lydsy.com/JudgeOnline/problem.php?id=4031 裸题........ 问题在于模数是$10^9$ 我们发现消元的目的是让一个地方为0 辗转相除 ...
- BZOJ.4031.[HEOI2015]小Z的房间(Matrix Tree定理 辗转相除)
题目链接 辗转相除解行列式的具体实现? 行列式的基本性质. //864kb 64ms //裸的Matrix Tree定理.练习一下用辗转相除解行列式.(因为模数不是质数,所以不能直接乘逆元来高斯消元. ...
- bzoj 4031: [HEOI2015]小Z的房间【矩阵树定理】
是板子题,因为mod不是质数所以需要辗转相除然而并不知道为啥 高斯消元部分还不知道原理呢--先无脑背过的 #include<iostream> #include<cstdio> ...
随机推荐
- 制作一个类似苹果VFL的格式化语言来描述UIStackView
在项目中总是希望页面上各处的文字,颜色,字体大小甚至各个视图控件布局都能够在发版之后能够修改以弥补一些前期考虑不周,或者根据统计数据能够随时进行调整,当然是各个版本都能够统一变化.看到这样的要求后,第 ...
- 正确的使用枚举（Enum）
状态与选项的区别(states and options) 在用enum之前,我个人觉得,区分一下状态和选项的概念还是很必要的. 状态,同时只能有一种,如“OK”,“Error”,不可能同时是OK和Er ...
- [置顶] gridview中嵌套gridview（并实现子gridview的数据绑定），页面传值，加密，数据绑定
先来张效果图 gridview 中嵌套gridview的原理是这样的,在父gridview中建一个摸板列,然后再模版列当中在放入子gridview,然后再父gridview的OnRowDataBoun ...
- ModelAndView使用方法
配置支持ModelAndView 在application.xml中配置支持ModelAndView,配置方式有两种. 配置一 <bean id="ViewResolver" ...
- Java并发——线程池Executor框架
线程池 无限制的创建线程 若采用"为每个任务分配一个线程"的方式会存在一些缺陷,尤其是当需要创建大量线程时: 线程生命周期的开销非常高 资源消耗 稳定性 引入线程池 任务是一组逻辑 ...
- CentOs6.8安装Git并安装oh my zsh
(一)git安装 1.下载git2.4.9或其他版本 Index of /pub/software/scm/git git各个版本下载链接: https://www.kernel.org/pub/so ...
- Python入门学习教程：数据库操作，连接MySql数据库
各位志同道合的同仁可以点击上方关注↑↑↑↑↑↑ 本教程致力于程序员快速掌握Python语言编程. 本文章内容是基于上次课程Python教程:Python教程:连接数据库,对数据进行增删改查操作 和py ...
- 读取group by 之外的字段
序号 姓名 性别 身高 1 张三 男 185 2 李四 女 161 3 王五 女 166 4 赵六 男 178 1.获取男生女生人数 select count(性别) , 性别 from 表名 ...
- Come and join us at English corner
2012.12.26 Hi all, How are you doing? Merry post-Christmas and happy upcoming New year!! I wish you ...
- linux字符过滤
1 案例一:取eth0的IP地址 方法一:通过cut方法过滤 [root@baiguin ~]# ifconfig eth0|grep "inet addr:"|cut -d & ...