P3214 [HNOI2011] 卡农 题解
感觉不是很麻烦,可能就组合排列转化绕一点。。。
抽象化题意
给定 \(n\) 个元素,从中选出 \(m\) 个集合,要求:
集合不为空,集合里不能有相同的元素
\(m\) 个集合都互不相同
所有元素被选出的次数为偶数
求方案数,并对 \(100000007\) 取模
凭感觉是DP+组合数
设 \(dp[i][0/1]\) 表示当前选了 \(i\) 个集合合法还是不合法的方案数,但是转移不好转移,因为我们并不知道哪些集合非法,所以我们不能将非法当成状态,只能把他放到转移里,怎么转移?考虑容斥。
若先满足第三个条件,那么就是 \(A^{i-1}_{2^n-1}\) ,因为取决奇偶的只会是最后一个,所以前面 \(i-1\) 任取。
还有两个条件,第一个条件怎么搞?“不能有相同元素”我们已经在第三个条件考虑过了,那我们先强制集合为空,所贡献的就是 \(dp[i-1]\) 种方案,所以减掉 \(dp[i-1]\) 。
最后一个,第二个条件怎么处理?容斥,当前考虑第 \(i\) 个集合,需要和前 \(i-1\) 个集合任意一个相同,且当前 \(i\) 集合的取法有 \(2^n-1-(i-2)\) 种,剩余 \(i-2\) 个集合是合法的,就是 \((i-1)(2^n-i+1)dp[i-2]\) 种
转移方程就是 \(dp[i]=A^{i-1}_{2^n-1}-dp[i-1]-(i-1)(2^n-i+1)dp[i-2]\) ,因为我们算得是排列,所以最后要除以 \(m!\) ,当然转移的时候也可以转成组合,就不需要除以 \(m!\) 了
#include<bits/stdc++.h>
#define int long long
#define maxn 2000005
const int mod=1e8+7;
using namespace std;
template<class T>
inline T read(){
T r=0,f=0;
char c;
while(!isdigit(c=getchar()))f|=(r=='-');
while(isdigit(c))r=(r*10)+(c^48),c=getchar();
return f?-r:r;
}
int n,m;
int dp[maxn],pow2,A[maxn];
inline int mypow(int a,int b){
int ret=1;
while(b){
if(b&1)ret=(ret*a)%mod;
a=(a*a)%mod,b>>=1;
}
return ret;
}
signed main(){
n=read<int>();
m=read<int>();
if(n==1&&m==1){puts("1");return 0;}
pow2=mypow(2,n);
A[1]=pow2-1;
int tmp=pow2-1,facm=1;
for(int i=2;i<=m;i++)
A[i]=A[i-1]*(--tmp)%mod,facm=facm*i%mod;
dp[1]=0,dp[0]=1;
for(int i=2;i<=m;i++){
dp[i]=((A[i-1]-dp[i-1]+mod)%mod-(i-1)*(pow2-i+1)%mod*dp[i-2]%mod+mod)%mod; //pow2[n]-1-(i-2)
}
// for(int i=1;i<=m;i++)cout<<dp[i]<<endl;
printf("%lld\n",dp[m]*mypow(facm,mod-2)%mod);
return 0;
}
P3214 [HNOI2011] 卡农 题解的更多相关文章
- P3214 [HNOI2011]卡农
题目 P3214 [HNOI2011]卡农 在被一题容斥\(dp\)完虐之后,打算做一做集合容斥这类的题了 第一次深感HNOI的毒瘤(题做得太少了!!) 做法 求\([1,n]\)组成的集合中选\(m ...
- [HNOI2011]卡农 题解
题目描述 众所周知卡农是一种复调音乐的写作技法,小余在听卡农音乐时灵感大发,发明了一种新的音乐谱写规则.他将声音分成 n 个音阶,并将音乐分成若干个片段.音乐的每个片段都是由 1 到 n 个音阶构成的 ...
- 洛谷 P3214 - [HNOI2011]卡农(线性 dp)
洛谷题面传送门 又是一道我不会的代码超短的题( 一开始想着用生成函数搞,结果怎么都搞不粗来/ll 首先不妨假设音阶之间存在顺序关系,最终答案除以 \(m!\) 即可. 本题个人认为一个比较亮的地方在于 ...
- 【BZOJ2339】[HNOI2011]卡农 组合数+容斥
[BZOJ2339][HNOI2011]卡农 题解:虽然集合具有无序性,但是为了方便,我们先考虑有序的情况,最后将答案除以m!即可. 考虑DP.如果我们已经知道了前m-1个集合,那么第m个集合已经是确 ...
- [BZOJ2339][HNOI2011]卡农
[BZOJ2339][HNOI2011]卡农 试题描述 输入 见"试题描述" 输出 见"试题描述" 输入示例 见"试题描述" 输出示例 见& ...
- bzoj2339[HNOI2011]卡农 dp+容斥
2339: [HNOI2011]卡农 Time Limit: 10 Sec Memory Limit: 128 MBSubmit: 842 Solved: 510[Submit][Status][ ...
- BZOJ2339[HNOI2011]卡农——递推+组合数
题目链接: [HNOI2011]卡农 题目要求从$S=\{1,2,3……n\}$中选出$m$个子集满足以下三个条件: 1.不能选空集 2.不能选相同的两个子集 3.每种元素出现次数必须为偶数次 我们考 ...
- [HNOI2011]卡农 (数论计数,DP)
题面 原题面 众所周知卡农是一种复调音乐的写作技法,小余在听卡农音乐时灵感大发,发明了一种新的音乐谱写规则. 他将声音分成 n n n 个音阶,并将音乐分成若干个片段.音乐的每个片段都是由 1 1 1 ...
- [HNOI2011]卡农
题目描述 众所周知卡农是一种复调音乐的写作技法,小余在听卡农音乐时灵感大发,发明了一种新的音乐谱写规则.他将声音分成 n 个音阶,并将音乐分成若干个片段.音乐的每个片段都是由 1 到 n 个音阶构成的 ...
- 【bzoj2339】[HNOI2011]卡农 dp+容斥原理
题目描述 题解 dp+容斥原理 先考虑有序数列的个数,然后除以$m!$即为集合的个数. 设$f[i]$表示选出$i$个集合作为满足条件的有序数列的方案数. 直接求$f[i]$较为困难,考虑容斥,满足条 ...
随机推荐
- 【websocket】小白快速上手flask-socketio
大家好,我是一个初级的Python开发工程师.本文是结合官方教程和代码案例,简单说下我对flask-socketio的使用理解. 一.websocket简介 websocket 说白一点就是,建立客户 ...
- 基于java+springboot的视频点播网站-在线视频点播系统
该系统是基于java+springboot开发的视频点播系统.是给师妹开发的毕业设计. 演示地址 前台地址: http://video.gitapp.cn 后台地址: http://video.git ...
- vue报错解决Duplicate keys detected: ‘[object Object]’
最近在做vue项目时遇到了报错 Duplicate keys detected: '[object Object]'. This may cause an update error. 由于这个 ...
- C语言基础--逻辑判断和循环
目录 一.储存标识符 1.auto 2.register 3.static 4.const 二.运算符 1.逻辑运算符 2.位运算符 3.运算符 4.三元运算符 三.选择结构 1.if判断 1.1 i ...
- HashMap源码的阅读笔记
注释部分 Hash table based implementation of the <tt>Map</tt> interface. This * implementatio ...
- 探索Java通信面试的奥秘:揭秘IO模型、选择器和网络协议,了解面试中的必备知识点!
了解常见的TCP/UDP TCP(Transmission Control Protocol)是一种面向连接的可靠的传输协议.类似于打电话,它通过建立一个连接和保证数据的可靠传输来提高通信的可靠性.然 ...
- .Net Core控制台程序读取Json配置文件
1 添加依赖(可以直接通过nuget包安装 Microsoft.Extensions.Configuration.Json 这个会依赖其他两个会自动安装依赖的) Microsoft.Extension ...
- Trackbar调色板
我们将会建立一个简单的应用,显示我们指定的颜色.将会建立一个窗口,显示三个trackbar指定RGB三个颜色通道值.可以滑动trackbar来改变相应的颜色.默认情况下,初始颜色为黑色. cv2.ge ...
- Django:django.core.exceptions.ImproperlyConfigured: Specifying a namespace in include() without providing an app_name is not supported.
from django.contrib import admin from django.urls import path, include urlpatterns = [ path('admin/' ...
- 形象谈JVM-第一章-认识JVM
对jvm的历史不做过多介绍,感兴趣的同学可以去自行搜索. 我们直接以HotSpot VM(Virtual Machine)举例. why 为什么要有虚拟机? 举一个形象的例子:手机现在几乎是人手一台 ...