【BZOJ5299】【CQOI2018】解锁屏幕(动态规划,状态压缩)

题面

BZOJ

洛谷

Description

使用过Android手机的同学一定对手势解锁屏幕不陌生。Android的解锁屏幕由3x3个点组成,手指在屏幕上画一条

线将其中一些点连接起来,即可构成一个解锁图案。如下面三个例子所示:

画线时还需要遵循一些规则

1.连接的点数不能少于4个。也就是说只连接两个点或者三个点会提示错误。

2.两个点之间的连线不能弯曲。

3.每个点只能"使用"一次,不可重复。这里的"使用"是指手指划过一个点,该点变绿。

4.两个点之间的连线不能"跨过"另一个点,除非那个点之前已经被"使用"过了。

对于最后一条规则,参见下图的解释。左边两幅图违反了该规则:而右边两幅图(分别为2→4→1→3→6和→5→4→1→9→2)

则没有违反规则,因为在"跨过"点时,点已经被"使用"过了。

现在工程师希望改进解锁屏幕,增减点的数目,并移动点的位置,不再是一个九宫格形状,但保持上述画线的规则不变。

请计算新的解锁屏幕上,一共有多少满足规则的画线方案。

Input

输入文件第一行,为一个整数n,表示点的数目。

接下来n行,每行两个空格分开的整数xi和yi,表示每个点的坐标。

-1000≤xi,Yi≤l000,1≤n<20。各点坐标不相同

Output

输出文件共一行,为题目所求方案数除以100000007的余数。

Sample Input

4

0 0

1 1

2 2

3 3

Sample Output

8

解释:设4个点编号为1到4,方案有1→2→3→4,2→1→3→4,3→2→1→4,2→3→1→4,

及其镜像4→3→2→1,3→4→2→1,2→3→4→1,3→2→4→1.

题解

状压\(dp\),坑的死

首先好好观察一下模数,它TM不是\(10^9+7\)

。。。

然后考虑状压

设\(f[i][j]\)表示当前状态是\(i\),当前位置结尾的点是\(j\)的方案数

暴力枚举一下个连接谁,检查它们中间的点是否都已经被选择

如果每次都\(check\)一下,复杂度就会变成\(O(2^nn^3)\)

提前预处理出任意两个点之间的集合,这一步的复杂度是\(O(n^3)\)

计算是否贡献的时候,不要计算出斜率再计算,这样会掉精度

把斜率乘到两边就行了。

然后做\(dp\)的时候就可以\(O(1)\)检查了

这样复杂度就是\(O(n^3+2^nn^2)\),并且不满。

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cmath>
#include<algorithm>
#include<set>
#include<map>
#include<vector>
#include<queue>
using namespace std;
#define ll long long
#define RG register
#define MOD 100000007
inline int read()
{
RG int x=0,t=1;RG char ch=getchar();
while((ch<'0'||ch>'9')&&ch!='-')ch=getchar();
if(ch=='-')t=-1,ch=getchar();
while(ch<='9'&&ch>='0')x=x*10+ch-48,ch=getchar();
return x*t;
}
int n,X[20],Y[20];
int g[20][20];
int f[20][1<<20];
void update(int &x,int y){x+=y;if(x>=MOD)x-=MOD;}
int main()
{
n=read();
for(int i=0;i<n;++i)X[i]=read(),Y[i]=read();
for(RG int i=0;i<n;++i)
for(RG int j=0;j<n;++j)
{
if(i==j)continue;
for(RG int k=0;k<n;++k)
{
if(k==i||k==j)continue;
if(X[k]<X[i]&&X[k]<X[j])continue;
if(X[k]>X[i]&&X[k]>X[j])continue;
if(Y[k]<Y[i]&&Y[k]<Y[j])continue;
if(Y[k]>Y[i]&&Y[k]>Y[j])continue;
if(Y[i]==Y[k])
{
if(Y[j]==Y[k])g[i][j]|=(1<<k);
continue;
}
if(Y[j]==Y[k])continue;
if((X[i]-X[k])*(Y[j]-Y[k])==(X[j]-X[k])*(Y[i]-Y[k]))g[i][j]|=(1<<k);
}
}
for(RG int i=0;i<n;++i)f[i][1<<i]=1;
for(RG int t=0;t<(1<<n);++t)
for(RG int i=0;i<n;++i)
{
if(!(t&(1<<i)))continue;
if(!f[i][t])continue;
for(RG int j=0;j<n;++j)
{
if(t&(1<<j))continue;
if((g[i][j]&t)!=g[i][j])continue;
update(f[j][t|(1<<j)],f[i][t]);
}
}
int ans=0;
for(RG int t=0;t<(1<<n);++t)
{
int tot=0;
for(RG int i=t;i;i-=i&(-i))++tot;
if(tot<4)continue;
for(RG int i=0;i<n;++i)
if(t&(1<<i))update(ans,f[i][t]);
}
printf("%d\n",ans);
return 0;
}

【BZOJ5299】【CQOI2018】解锁屏幕(动态规划,状态压缩)的更多相关文章

  1. bzoj5299: [Cqoi2018]解锁屏幕

    题目链接 bzoj 5299: [Cqoi2018]解锁屏幕 题解 很水的装压dp,相信没人需要看题解.... dp[i][j]表示状态为i最后一个到的点为j,然后转移就很好写了 不过 我读入优化没读 ...

  2. BZOJ5299:[CQOI2018]解锁屏幕(状压DP)

    Description 使用过Android手机的同学一定对手势解锁屏幕不陌生.Android的解锁屏幕由3x3个点组成,手指在屏幕上画一条 线将其中一些点连接起来,即可构成一个解锁图案.如下面三个例 ...

  3. BZOJ5299 [Cqoi2018]解锁屏幕 【状压dp】

    题目链接 BZOJ5299 题解 就一个毒瘤卡常题..写了那么久 设\(f[i][s]\)表示选了集合\(s\)中的点,最后一个是\(i\),进行转移 要先预处理出两点间的点,然后卡卡常就可以过了 # ...

  4. [Luogu] P4460 [CQOI2018]解锁屏幕

    题目背景 使用过Android 手机的同学一定对手势解锁屏幕不陌生.Android 的解锁屏幕由3X3 个点组成,手指在屏幕上画一条线,将其中一些点连接起来,即可构成一个解锁图案.如下面三个例子所示: ...

  5. P4460 [CQOI2018]解锁屏幕

    算是我比较擅长的类型,自己想想就会了.普通小状压,状态傻子都能想出来.一开始裸的枚举T了,30.后来与处理之后跑的飞起,就是不对,还是30分.后来看讨论版...mod竟然是1e8+7!!!这不有毒吗. ...

  6. [动态规划]状态压缩DP小结

     1.小技巧 枚举集合S的子集:for(int i = S; i > 0; i=(i-1)&S) 枚举包含S的集合:for(int i = S; i < (1<<n); ...

  7. [POJ 2923] Relocation (动态规划 状态压缩)

    题目链接:http://poj.org/problem?id=2923 题目的大概意思是,有两辆车a和b,a车的最大承重为A,b车的最大承重为B.有n个家具需要从一个地方搬运到另一个地方,两辆车同时开 ...

  8. POJ 1185 炮兵阵地(动态规划+状态压缩)

    炮兵阵地 Description 司令部的将军们打算在N*M的网格地图上部署他们的炮兵部队.一个N*M的地图由N行M列组成,地图的每一格可能是山地(用"H" 表示),也可能是平原( ...

  9. ACM学习历程—HDU1584 蜘蛛牌(动态规划 && 状态压缩 || 区间DP)

    Description 蜘蛛牌是windows xp操作系统自带的一款纸牌游戏,游戏规则是这样的:只能将牌拖到比她大一的牌上面(A最小,K最大),如果拖动的牌上有按顺序排好的牌时,那么这些牌也跟着一起 ...

  10. HDOJ-1074(动态规划+状态压缩)

    Doing Homework HDOJ-1074 1.本题主要用的是状态压缩的方法,将每种状态用二进制压缩表示 2.状态转移方程:dp[i|(1<<j)]=min(dp[i|(1<& ...

随机推荐

  1. java中的泛型1

    1.泛型概述 泛型,即“参数化类型”.一提到参数,最熟悉的就是定义方法时有形参,然后调用此方法时传递实参.那么参数化类型怎么理解呢?顾名思义,就是将类型由原来的具体的类型参数化,类似于方法中的变量参数 ...

  2. Oracle中序列的操作以及使用前对序列的初始化

    Oracle中序列的操作以及使用前对序列的初始化   一 创建序列 create sequence myseq start with 1 increment by 1 nomaxvalue minva ...

  3. CRUD是什么?数据结构、增查删改

    http://blog.csdn.net/penginpha/article/details/6920444 CRUD是指在做计算处理时的增加(Create).查询(Retrieve)(重新得到数据) ...

  4. CAShapeLayer使用

    UIView *showView = [[UIView alloc] initWithFrame:CGRectMake(100, 100, 100, 100)]; [self.view addSubv ...

  5. springMVC框架下返回json格式的对象,list,map

    原文地址:http://liuzidong.iteye.com/blog/1069343 注意这个例子要使用jQuery,但是jquery文件属于静态的资源文件,所以要在springMVC中设置静态资 ...

  6. PHP-------文件上传的实例

    文件上传的实例 一.上传头像 在注册时,要求用户上传头像,登陆主页面,显示用户信息时,头像也要显示出来. 例子: 注册页面: 图片存数据库时是text类型. <title>无标题文档< ...

  7. php 处理微信账单

    最近要做支付对账,即检查第三方支付与数据库中账单是否一一对应,涉及到微信对账单的处理,微信账单接口返回为一个字符串类似如下结果: 交易时间,公众账号ID,商户号,子商户号,设备号,微信订单号,商户订单 ...

  8. 学习openGL-windows环境配置

    windows对openGL的支持直到1.1,而如今openGL版本已经更新到4.5,为了使用高版本的API,需要安装拓展库(glew). openGL只是个渲染系统,但是它不能产生窗口,需要依赖其它 ...

  9. ORA-04044: 此处不允许过程, 函数, 程序包或类型和

    用Orale代码建表时,出现 SQL> comment on column SCORE.cno 2 is '学号(外键)';comment on column SCORE.cno is '学号( ...

  10. DIAView组态软件笔记

    1.为了节省成本,我们往往会在PLC将多个开关量整合到同一个word中,这样关联的变量可以从原有的16个变成现在的一个.这样做带来的麻烦就是需要我们在脚本中自己来解析出数据,通过对2求余(mod 2) ...