bzoj2064分裂(dp)
题目大意:
给定一个初始集合和目标集合,有两种操作:1.合并集合中的两个元素,新元素为两个元素之和 2.分裂集合中的一个元素,得到的两个新元素之和等于原先的元素。要求用最小步数使初始集合变为目标集合,求最小步数。
其中初始集合和目标集合的元素个数都不超过10个
这是一道非常值得纪念的好题
首先一看到这个数据范围,第一反应就是状压dp了
我们首先这么考虑
如果说直接暴力的合并和分裂的话,最多需要的次数是\(n+m-2\)次,那么我们是不是可以在这个基础上进行优化呢。举个例子来看\(1,5,7,2\)-->\(2,4,3,6\)那么我们完全可以把\(1,5\)单独处理,不用将他们再跟\(2,7\)合并了,也不用额外的删除,那么这样其实就是相当于分组了。
那我们对于整体的集合,分成几个小集合,每个小集合内部又可以做同样的优化,这不就是dp的最优子结构吗
假设初始和目标都可以分成k组,那么答案应该就是\(n-m-2\times k\)了这里应该没有问题吧。
我们令\(f[i][j]\)表示初始集合中选择的元素集合是\(i\),目标集合是\(j\)的分成的组数的最大值
对于\(f[i][j]\)我们先令他等于能转移到\(f[i][j]\)的状态中的最大值,如果当前的\(sa[i]==sb[j]\)那么就说明他可以自己单独成一组,就可以++
但这里其实有一个问题就是,当\(i\)和\(j\)的\(sum\)不相同的时候,其实也有可能会++但是我们不考虑,这里有一种理解方式,是的,实际上就是因为这中间存在很多状态的合成,我们把无用的合成的状态忽略,却不会忽略用来合成它的状态,所以最后答案不会遗漏最优情况,换句话说,可以理解为就是每个不相等的情况 一定可以被不相等到相等再到不相等。其实本质是一样的
直接看代码吧
感觉这个题还是不太好理解呀
#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
#include<queue>
using namespace std;
inline int read()
{
int x=0,f=1;char ch=getchar();
while (!isdigit(ch)) {if (ch=='-') f=-1;ch=getchar();}
while (isdigit(ch)) {x=(x<<1)+(x<<3)+ch-'0';ch=getchar();}
return x*f;
}
const int maxn = 11;
int n,m;
int sa[1 << maxn],sb[1 << maxn];
int f[1 << maxn][1 << maxn];
int a[maxn],b[maxn];
int counta(int x)
{
int cnt=0;
for (int i=1;i<=n;i++)
if (x & (1 << (i-1))) cnt+=a[i];
return cnt;
}
int countb(int x)
{
int cnt=0;
for (int i=1;i<=m;i++)
if (x & (1 << (i-1))) cnt+=b[i];
return cnt;
}
int main()
{
scanf("%d",&n);
for (int i=1;i<=n;i++) scanf("%d",&a[i]);
m=read();
for (int i=1;i<=m;i++) b[i]=read();
for (int i=1;i<(1 << n);i++) sa[i]=counta(i);
for (int i=1;i<(1 << m);i++) sb[i]=countb(i);
for (int i=1;i<(1 << n);i++)
for (int j=1;j<(1 << m);j++)
{
for (int k =1;k<=n;k++)
{
int p = 1 << (k-1);
if (p&i) f[i][j]=max(f[i][j],f[i-p][j]);
}
for (int k=1;k<=m;k++)
{
int p = 1 << (k-1);
if (p&j) f[i][j]=max(f[i][j],f[i][j-p]);
}
if (sa[i]==sb[j]) f[i][j]++;
}
printf("%d",n+m-2*f[(1<<n)-1][(1<<m)-1]);
return 0;
}
bzoj2064分裂(dp)的更多相关文章
- 【状压dp】Bzoj2064 分裂
Description 背景: 和久必分,分久必和... 题目描述: 中国历史上上分分和和次数非常多..通读中国历史的WJMZBMR表示毫无压力. 同时经常搞OI的他把这个变成了一个数学模型. 假设中 ...
- bzoj2064: 分裂(状压dp)
Description 背景: 和久必分,分久必和... 题目描述: 中国历史上上分分和和次数非常多..通读中国历史的WJMZBMR表示毫无压力. 同时经常搞OI的他把这个变成了一个数学模型. 假设中 ...
- 2018.10.24 bzoj2064: 分裂(状压dp)
传送门 状压dp好题. 考虑对于两个给出的集合. 如果没有两个元素和相等的子集,那么只能全部拼起来之后再拆开,一共需要n1+n2−2n1+n2-2n1+n2−2. 如果有呢? 那么对于没有的就是子问题 ...
- bzoj2064: 分裂(集合DP)
......咸鱼了将近一个月,因为沉迷ingress作业越来越多一直没时间搞OI呜呜呜 题目大意:有一个初始集合(n个元素)和一个目标集合(m个元素)(1<=n,m<=10),两个操作 ...
- [BZOJ2064]分裂 状压dp
2064: 分裂 Time Limit: 10 Sec Memory Limit: 64 MBSubmit: 656 Solved: 404[Submit][Status][Discuss] De ...
- BZOJ2064: 分裂
2064: 分裂 Time Limit: 10 Sec Memory Limit: 64 MBSubmit: 360 Solved: 220[Submit][Status][Discuss] De ...
- BZOJ 2064: 分裂 [DP 状压 转化]
传送门 题意:一开始$n$块面积最后$m$块面积,面积和相等每次可以分裂或者合并,问最少几次 昨天忘发了... 不会.... 考虑最差情况,$n+m-2$所有先合并再分裂 发现只有当前后两个子集相等时 ...
- 【BZOJ2064】分裂 状压DP
[BZOJ2064]分裂 Description 背景:和久必分,分久必和...题目描述:中国历史上上分分和和次数非常多..通读中国历史的WJMZBMR表示毫无压力.同时经常搞OI的他把这个变成了一个 ...
- 分裂 BZOJ2064 状压DP
分析: 这个题很好啊,比起什么裸的状压DP高多了! 我们可以考虑,什么时候答案最大:全合并,之后再分裂 这样,我们必定可以得到答案,也就是说答案必定小于n+m 那么我们可以考虑,什么时候能够使答案更小 ...
随机推荐
- 使用HttpRunner3+Allure+Jenkins实现Web接口自动化测试
陆续给不同项目做了Web接口自动化测试,在尝试不同方法的同时会有新的体会.最近用到了HttpRunner3,本文将记录使用HttpRunner3+Allure+Jenkins在项目中快速实现Web接口 ...
- 【SpringMVC】HttpMessageConverter报文信息转换器
HttpMessageConverter HttpMessageConverter,报文信息转换器,将请求报文转换为Java对象,或将Java对象转换为响应报文 HttpMessageConverte ...
- JMeter中使用交替控制器设置循环次数后都执行一次?
JMeter在线程组设置循环3次,执行后只执行了一次就停止执行了 排查原因:线程组下添加了一些请求信息(HTTP Cache Manager.HTTP Cookie Manager.HTTP Requ ...
- 生产环境部署高可用Rancher
环境准备: IP hostname role 192.168.200.150 nginx LB 192.168.200.151 master01-151 docker-ce/rke/helm/kube ...
- mysql中通过sql语句查询指定数据表的字段信息
mysql数据库在安装完成时,自动创建了information_schema.mysql.test这三个数据库.其中,information_schema记录了创建的所有数据库的相关信息,因此可以 ...
- 加入Erlang社区-指引
国内暂且没有发现较活跃.人气较高的论坛或者社区,偶然发现Erlang官网的Community页面描述了一个Slack交流平台,里面有众多异国他乡的大佬,感兴趣的.有技术疑问的都可以加入看看. 加入教程 ...
- zt:我使用过的Linux命令之ar - 创建静态库.a文件
我使用过的Linux命令之ar - 创建静态库.a文件 本文链接:http://codingstandards.iteye.com/blog/1142358 (转载请注明出处) 用途说明 创建静 ...
- pytest+allure基础知识
介绍 pytest是基于unittest开发的另一款更高级更好用的单元测试框架 支持参数化 执行测试过程中可以将某些测试跳过(skip),或者对某些预期失败的case标记成失败 支持运行由 nose, ...
- 论文解读《Momentum Contrast for Unsupervised Visual Representation Learning》俗称 MoCo
论文题目:<Momentum Contrast for Unsupervised Visual Representation Learning> 论文作者: Kaiming He.Haoq ...
- 字符串出现的topK问题
/** * return topK string * @param strings string字符串一维数组 strings * @param k int整型 the k * @return str ...