BZOJ.2339.[HNOI2011]卡农(思路 DP 组合 容斥)
\(Description\)
有\(n\)个数,用其中的某些数构成集合,求构造出\(m\)个互不相同且非空的集合(\(m\)个集合无序),并满足每个数总共出现的次数为偶数的方案数。
\(Solution\)
为简化问题,将无序转为有序,只需在最后除以\(m!\)即可。
设\(f[i]\)表示构造前\(i\)个集合并满足条件的方案数。
每个数出现次数为偶数,所以如果前\(i-1\)个集合确定,第\(i\)个集合也可以确定。这样对于\(i\)有\(A_{2^n-1}^{i-1}\)种方案,即从所有非空集合中确定\(i-1\)个集合。
但是会有非法情况,比如这样得到的第\(i\)个集合为空,那么说明前\(i-1\)个集合已经满足条件,这样的方案数是\(f[i-1]\),减掉。
也有可能得到的第\(i\)个集合与之前某个集合\(j\)重复,那么去掉\(i,j\)后得到的会是合法方案,即\(f[i-2]\),而第\(i/j\)个集合的选取有\(2^n-1-(i-2)\)种可能,\(j\)集合的位置有\(i-1\)种可能,所以减去\(f[i-2]*(i-1)*[2^n-1-(i-2)]\)。
这样所有限制都处理完了。
递推式:\(f[i]=A_{2^n-1}^{i-1}-f[i-1]-f[i-2]*(i-1)*[2^n-1-(i-2)]\)
为什么不能用组合做而要化成排列呢。。
我觉得是后面枚举的集合情况与前面不一定无序吧。。
求解答。。
//4728kb 404ms
#include <cstdio>
#include <algorithm>
#define P (100000007)
#define Mul(a,b) (1ll*(a)*(b)%P)
#define Sub(a,b) (a<b ? (a)-(b)+P : (a)-(b))//()!
const int N=1e6+5;
int n,m,f[N];
inline int FP(int x,int k)
{
int t=1;
for(; k; k>>=1, x=Mul(x,x))
if(k&1) t=Mul(t,x);
return t;
}
int main()
{
scanf("%d%d",&n,&m);
int pw2=FP(2,n)-1;//if(!pw2) pw2=P-1; else --pw2;
f[0]=1, f[1]=0;
for(int i=2,Alas=pw2; i<=m; ++i)
{
f[i]=(Alas-f[i-1]+P-1ll*f[i-2]*(i-1)%P*Sub(pw2,i-2)%P+P)%P;
Alas=Mul(Alas, Sub(pw2+1,i));//别去用数组存A[]了。。
}
int inv=1;
for(int i=2; i<=m; ++i) inv=Mul(inv,i);
inv=FP(inv,P-2);
printf("%lld",Mul(f[m],inv));
return 0;
}
BZOJ.2339.[HNOI2011]卡农(思路 DP 组合 容斥)的更多相关文章
- bzoj 2339: [HNOI2011]卡农
Description Solution 比较难想.... 我们先考虑去掉无序的这个条件,改为有序,最后除 \(m!\) 即可 设 \(f[i]\) 表示前\(i\)个合法集合的方案数 明确一点: 如 ...
- bzoj3622已经没有什么好害怕的了 dp+组合+容斥(?)
3622: 已经没有什么好害怕的了 Time Limit: 10 Sec Memory Limit: 256 MBSubmit: 1033 Solved: 480[Submit][Status][ ...
- 2339: [HNOI2011]卡农
Description 首先去除顺序不同算一种的麻烦,就是最后答案除以总片段数\(2^m-1\) 设\(f_i\)表示安排\(i\)个片段的合法种类 那么对于任何一个包含\(i-1\)个片段的序列(除 ...
- bzoj3294[Cqoi2011]放棋子 dp+组合+容斥
3294: [Cqoi2011]放棋子 Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 755 Solved: 294[Submit][Status] ...
- bzoj2339[HNOI2011]卡农 dp+容斥
2339: [HNOI2011]卡农 Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 842 Solved: 510[Submit][Status][ ...
- [HNOI2011]卡农 (数论计数,DP)
题面 原题面 众所周知卡农是一种复调音乐的写作技法,小余在听卡农音乐时灵感大发,发明了一种新的音乐谱写规则. 他将声音分成 n n n 个音阶,并将音乐分成若干个片段.音乐的每个片段都是由 1 1 1 ...
- P3214 [HNOI2011]卡农
题目 P3214 [HNOI2011]卡农 在被一题容斥\(dp\)完虐之后,打算做一做集合容斥这类的题了 第一次深感HNOI的毒瘤(题做得太少了!!) 做法 求\([1,n]\)组成的集合中选\(m ...
- 【BZOJ2339】[HNOI2011]卡农 组合数+容斥
[BZOJ2339][HNOI2011]卡农 题解:虽然集合具有无序性,但是为了方便,我们先考虑有序的情况,最后将答案除以m!即可. 考虑DP.如果我们已经知道了前m-1个集合,那么第m个集合已经是确 ...
- [BZOJ2339][HNOI2011]卡农
[BZOJ2339][HNOI2011]卡农 试题描述 输入 见"试题描述" 输出 见"试题描述" 输入示例 见"试题描述" 输出示例 见& ...
随机推荐
- unity 优秀开源项目
ihaiu.GUIDRef (查看项目资源使用情况) http://blog.ihaiu.com/unity-GUIDRef Ihaiu.PoolManager (对象池) http://github ...
- Flask:abort()函数
Windows 10家庭中文版,Python 3.6.4,Flask 1.0.2 abort()函数用于提前退出(Google翻译abort)一个请求,并用指定的错误码返回. 函数原型如下: flas ...
- scala可变长度参数(转)
可变长度参数 Scala 允许你指明函数的最后一个参数可以是重复的.这可以允许客户向函数传入可变长度参数列表.想要标注一个重复参数,在参数的类型之后放一个星号.例如: scala> def ec ...
- C# byte[] 转换16进制字符串
1.byte[] 转换16进制字符串 1.1 BitConverter方式 var str = DateTime.Now.ToString(); var encode = Encoding.UTF8; ...
- github后端开发面试题大集合(二)
作者:小海胆链接:https://www.nowcoder.com/discuss/3615?type=0&order=0&pos=8&page=0来源:牛客网 7.非关系型数 ...
- Java 容器的打印
Java容器类库中的两种主要类型,它们的区别在于容器中每个"槽"保存的元素个数 Clollection容器只能在保存一个元素,此类容器包括: List,它以特定顺序保存一组元素 S ...
- JAVA复习笔记:内存结构和类加载
Part1:JVM内存结构 JVM定义了若干个程序执行期间使用的数据区域.这个区域里的一些数据在JVM启动的时候创建,在JVM退出的时候销毁.而其他的数据依赖于每一个线程,在线程创建时创建,在线程退出 ...
- HttpService与WebService的差异
httpservice通过post和get得到你想要的东西webservice就是使用soap协议得到你想要的东西,相比httpservice能处理些更加复杂的数据类型 当你要调用一个你本服务的内容的 ...
- 为django平台生成模拟用户,建立用户组,并将用户加入组
书接上篇BLOG. 当我们可以用manage.py自定义命令来生成模拟数据时, 我们面对的就是如何操作ORM的问题了. 这两天,我为我们的内部系统的所有数据表,都生成了模拟数据. 有几个心得,记录于此 ...
- 《精通Python设计模式》学习结构型之享元模式
这个我日常当中也没有用到过, 真的是游戏行业用得多些? 学习一下, 有个印象. import random from enum import Enum TreeType = Enum('TreeTye ...