[BZOJ5010][FJOI2017]矩阵填数(状压DP)
5010: [Fjoi2017]矩阵填数
Time Limit: 10 Sec Memory Limit: 128 MB
Submit: 90 Solved: 45
[Submit][Status][Discuss]Description
给定一个 h*w 的矩阵,矩阵的行编号从上到下依次为 1..h,列编号从左到右依次1..w。在这个矩阵中你需要在每个格子中填入 1..m 中的某个数。给这个矩阵填数的时候有一些限制,给定 n 个该矩阵的子矩阵,以及该子矩阵的最大值 v,要求你所填的方案满足该子矩阵的最大值为 v。现在,你的任务是求出有多少种填数的方案满足 n 个限制。两种方案是不一样的当且仅当两个方案至少存在一个格子上有不同的数。由于答案可能很大,你只需要输出答案 对 1,000,000,007 的取模即可。Input
输入数据的第一行为一个数 T,表示数据组数。对于每组数据,第一行为四个数 h,w,m,n。接下来 n 行,每一行描述一个子矩阵的最大值 v。每行为五个整数 x1,y1,x2,y2,v,表示一个左上角为(x1,y1),右下角为(x2,y2)的子矩阵的最大值为 v ( 1≤x1≤x2≤h, 1≤y1≤y2≤w)T≤5,1≤h,w,m≤10000,1≤v≤m,1≤n≤10Output
对于每组数据输出一行,表示填数方案 mod 1,000,000,007 后的值。Sample Input
2
3 3 2 2
1 1 2 2 2
2 2 3 3 1
4 4 4 4
1 1 2 3 3
2 3 4 4 2
2 1 4 3 2
1 2 3 4 4Sample Output
28
76475HINT
Source
By 佚名上传
容斥原理
先离散化,对于每一块,可以通过限制得出这一块最大值是多少。
答案=每个条件的子矩形最大值都小于等于这个条件的v - 有一个条件的子矩形最大值小于这个条件的v + 有两个条件的子矩形最大值小于这个条件的v - ...
我们可以O(2^n)枚举每个限制条件是否满足,然后可以根据表示这个状态的二进制数中1的个数确定这个状态的方案数贡献是正是负。
还有一个就是离散化的问题,用左闭右开。
代码用时:1h
1 #include<cstdio> 2 #include<cstring> 3 #include<algorithm> 4 #define rep(i,l,r) for (int i=l; i<=r; i++) 5 using namespace std; 6 7 const int N=25,md=1000000007; 8 int h,w,m,n,T,xx[N],yy[N],vv[N],mp[N][N],re[N][N],cnt[N],lx,ly,lv; 9 struct mat{ int x1,x2,y1,y2,v; }a[N]; 10 int ksm(int a,int b){ 11 int res; 12 for (res=1; b; a=(1ll*a*a)%md,b>>=1) 13 if (b & 1) res=(1ll*res*a)%md; 14 return res; 15 } 16 17 int main(){ 18 freopen("bzoj5010.in","r",stdin); 19 freopen("bzoj5010.out","w",stdout); 20 for (scanf("%d",&T); T--; ){ 21 scanf("%d%d%d%d",&h,&w,&m,&n); 22 xx[1]=0; xx[lx=2]=h; yy[1]=0; yy[ly=2]=w; vv[lv=1]=m; 23 rep(i,1,n){ 24 scanf("%d%d%d%d%d",&a[i].x1,&a[i].y1,&a[i].x2,&a[i].y2,&a[i].v); 25 a[i].x1--; a[i].y1--; 26 xx[++lx]=a[i].x1; xx[++lx]=a[i].x2; 27 yy[++ly]=a[i].y1; yy[++ly]=a[i].y2; 28 vv[++lv]=a[i].v; vv[++lv]=a[i].v-1; 29 } 30 sort(xx+1,xx+lx+1); sort(yy+1,yy+ly+1); sort(vv+1,vv+lv+1); 31 lx=unique(xx+1,xx+lx+1)-xx-1; ly=unique(yy+1,yy+ly+1)-yy-1; lv=unique(vv+1,vv+lv+1)-vv-1; 32 rep(i,1,lx) rep(j,1,ly) re[i][j]=(xx[i]-xx[i-1])*(yy[j]-yy[j-1]); 33 rep(i,1,n){ 34 a[i].x1=lower_bound(xx+1,xx+lx+1,a[i].x1)-xx; 35 a[i].x2=lower_bound(xx+1,xx+lx+1,a[i].x2)-xx; 36 a[i].y1=lower_bound(yy+1,yy+ly+1,a[i].y1)-yy; 37 a[i].y2=lower_bound(yy+1,yy+ly+1,a[i].y2)-yy; 38 a[i].v=lower_bound(vv+1,vv+lv+1,a[i].v)-vv; 39 } 40 int ans=0; 41 for (int s=0; s<(1<<n); s++){ 42 rep(j,1,lx) rep(k,1,ly) mp[j][k]=lv; 43 int now=1; 44 rep(i,1,n){ 45 int v=a[i].v; 46 if ((s>>(i-1))&1) now=-now,v--; 47 rep(j,a[i].x1+1,a[i].x2) rep(k,a[i].y1+1,a[i].y2) mp[j][k]=min(mp[j][k],v); 48 } 49 memset(cnt,0,sizeof(cnt)); 50 rep(i,1,lx) rep(j,1,ly) cnt[mp[i][j]]+=re[i][j]; 51 rep(i,1,lv) if (cnt[i]) now=1ll*now*ksm(vv[i],cnt[i])%md; 52 ans=(ans+now)%md; 53 } 54 printf("%d\n",(ans+md)%md); 55 } 56 return 0; 57 }
转载于:https://www.cnblogs.com/HocRiser/p/8412928.html
[BZOJ5010][FJOI2017]矩阵填数(状压DP)相关推荐
- BZOJ 2734 [HNOI2012]集合选数 (状压DP、时间复杂度分析)
题目链接 https://www.lydsy.com/JudgeOnline/problem.php?id=2734 题解 嗯早就想写的题,昨天因为某些不可告人的原因(大雾)把这题写了,今天再来写题解 ...
- BZOJ 5010: [Fjoi2017]矩阵填数
离散化 状压DP,一不小心就T了....... #include<cstdio> #include<cstring> #include<algorithm> usi ...
- nyoj1273 河南省第九届省赛_宣传墙、状压DP+矩阵幂加速
宣传墙 时间限制:1000 ms | 内存限制:65535 KB 难度:4 描述 ALPHA 小镇风景美丽,道路整齐,干净,到此旅游的游客特别多.CBA 镇长准备在一条道路南 面 4*N 的墙上做 ...
- 第九届河南省赛 宣传墙 //状压dp+矩阵快速幂+dfs
http://nyoj.top/problem/1273 状压dp+矩阵快速幂+dfs 1273-宣传墙 内存限制:64MB 时间限制:1000ms 特判: No 通过数:19 提交数:64 难度:4 ...
- BZOJ 4000: [TJOI2015]棋盘( 状压dp + 矩阵快速幂 )
状压dp, 然后转移都是一样的, 矩阵乘法+快速幂就行啦. O(logN*2^(3m)) ------------------------------------------------------- ...
- BZOJ 2004 公交线路(状压DP+矩阵快速幂)
注意到每个路线相邻车站的距离不超过K,也就是说我们可以对连续K个车站的状态进行状压. 然后状压DP一下,用矩阵快速幂加速运算即可. #include <stdio.h> #include ...
- 2018.09.28 hdu5434 Peace small elephant(状压dp+矩阵快速幂)
传送门 看到n的范围的时候吓了一跳,然后发现可以矩阵快速幂优化. 我们用类似于状压dp的方法构造(1(1(1<<m)∗(1m)*(1m)∗(1<<m)m)m)大小的矩阵. 然后 ...
- [转]状态压缩dp(状压dp)
状态压缩动态规划(简称状压dp)是另一类非常典型的动态规划,通常使用在NP问题的小规模求解中,虽然是指数级别的复杂度,但速度比搜索快,其思想非常值得借鉴. 为了更好的理解状压dp,首先介绍位运算相关的 ...
- our happy ending(状压dp)
题意:给定一个n,k,l. 问有多少长度为n的序列满足选出一些数使得他们相加为k,数列中每个数都在1-l以内. Solution 正解还是很妙的. 状压dp,设dp[i][j]表示长度为i的序列,能表 ...
最新文章
- 使用admodify工具修改用户主目录时的注意事项
- 华为电话面试题java_华为java面试题(含电话面试)
- VTK:隐式函数之ImplicitSphere1
- Windows安装梯度提升开发库LightGBM
- 操作系统:166个Linux实用命令,太全了!
- mysql的indata文件_【数据分析】MySQL之不能导入本地文件“Loading local data is disable;”...
- mysql shell 回车换行_【shell mysql 导出数据到csv脚本,完美解决乱码转义符等问题】-费元星...
- Hive-分区分桶概述
- java+tableseg,多种功能集成,带Refresh刷新的tableV,Seg分段控件
- arm 跑马灯 linux,ARM开发板(S3C2440)上LED灯驱动及跑马灯的实现
- GitLab访问403问题
- 编程细节 —— 按值传递、按引用传递(final、const)
- python 列表有没有顺序_python的list有顺序吗
- oracle awr报告生成_[ORACLE],SQL性能报告(AWR)导出,扶你走上调优大神之路
- c++自动抢购_小黄人汽车手机支架多功能出风口高档可充电全自动导航卡通支架2元优惠券券后价22.9元...
- Linux开发板通过U盘拷贝文件
- 读取txt文件(字符串内容),分割数组,存入Map
- Java定义一个名为Square继承Shape抽象类,覆盖Shape类中的抽象方法getPerimeter()和getArea
- angular 部署的项目自定义访问路径,不使用root根目录的配置
- vue3 中使用antd UI组件
热门文章
- 【python笔记】python基础(注释,缩进,变量,表达式,运算符)
- 我的开源项目:FLV封装格式分析器
- MSU 出品的 H.264 编码器比较 (2011.5)
- html ts 播放,vue文件拆分为html + ts + css
- mysql百万级数据测试_百万级数据mysql测试环境介绍
- java视频教程enet网络,流媒体技术原理及播放方式(浅显易懂)
- jdbc增删改查有哪些步骤_JDBC打造通用增删改方法
- oracle异机复制,oracle冷备份恢复和oracle异机恢复使用方法
- ajax load html页面,jQuery – AJAX load() 方法 | 菜鸟教程
- 语言中根号打法_知识的诅咒,数学老师在教学中不得不防的陷阱