P3214-[HNOI2011]卡农【dp】

正题

题目链接:https://www.luogu.com.cn/problem/P3214


题目大意

一个由1∼n1\sim n1n的所有整数构成的集合SSS,求出它的mmm个不同非空子集满足每个元素都出现了偶数次。


解题思路

集合的话不用考虑顺序,可以输出有序的答案除以m!m!m!就好了。

iii个的话,考虑偶数次的条件,无论前面i−1i-1i1个集合如何选取,最后一个都能根据情况调整过来,所以不考虑重复的话方案就是P2ni−1P_{2^n}^{i-1}P2ni1
fif_ifi表示选出iii个集合的答案,因为上面那种方案可能会导致最后一个集合出现重复等问题,我们要减去不合法的。

首先有可能是空集,那么表示前面i−1i-1i1个集合都是合法的,所以方案是fi−1f_{i-1}fi1。然后是重复,考虑和它重复的集合jjj,那么剩下i−2i-2i2个就是合法的,然后这两个重复的集合有2n−(i−2)−12^n-(i-2)-12n(i2)1种取值(减去空集和前面出现过的),方案就是fi−2×(i−1)×(2n−i+1)f_{i-2}\times (i-1)\times(2^n-i+1)fi2×(i1)×(2ni+1)

所以方程就是fi=P2ni−1−fn−1−fn−2×(i−1)×(2n−i+1)f_i=P_{2^n}^{i-1}-f_{n-1}-f_{n-2}\times(i-1)\times(2^n-i+1)fi=P2ni1fn1fn2×(i1)×(2ni+1)

O(n)O(n)O(n)转移即可。


code

#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
const ll N=1e6+10,P=1e8+7;
ll n,m,A[N],f[N];
ll power(ll x,ll b){ll ans=1;while(b){if(b&1)ans=ans*x%P;x=x*x%P;b>>=1;}return ans;
}
signed main()
{scanf("%lld%lld",&m,&n);ll p=1;for(ll i=1;i<=m;i++)p=p*2ll%P;ll fac=1;A[0]=1;for(ll i=1;i<=n;i++)A[i]=A[i-1]*(p-i)%P,fac=fac*i%P;f[0]=1;for(ll i=2;i<=n;i++)f[i]=(A[i-1]-f[i-1]-f[i-2]*(i-1)%P*(p-i+1)%P)%P;f[n]=f[n]*power(fac,P-2)%P;printf("%lld\n",(f[n]+P)%P);return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/319437.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Graph Coloring I

来源&#xff1a;牛客网&#xff1a; 题目描述 修修在黑板上画了一些无向连通图&#xff0c;他发现他可以将这些图的结点用两种颜色染色&#xff0c;满足相邻点不同色。 澜澜不服气&#xff0c;在黑板上画了一个三个点的完全图。修修跟澜澜说&#xff0c;这个图我能找到一个简…

Visual Studio 2017 15.9预览版3支持ARM64 for UWP

微软针对Visual Studio 2017 15.9的更新工作还在继续。在15.9的第三个预览版中&#xff0c;微软宣布支持ARM64平台上的UWP应用程序&#xff0c;并扩展了TypeScript开发人员可以使用的功能。和通常的情况一样&#xff0c;该版本还包含了大量的修复程序。UWP应用现在可以把ARM64平…

【树形DP】路径计数机(nowcoder 1103-B)

正题 nowcoder 1103-B 题目大意 给你一棵树&#xff0c;让你找两条不交的链&#xff0c;长度分别为a,b&#xff0c;问有多少中方案 解题思路 设fx,0∼3,yf_{x,0\sim 3,y}fx,0∼3,y​为在x的子树中&#xff0c;第1/2条链连了y条边&#xff0c;另一条链连完了/没连 然后对于每…

[ZJOI2007]矩阵游戏

来源&#xff1a;牛客网&#xff1a; 题目描述 小Q是一个非常聪明的孩子&#xff0c;除了国际象棋&#xff0c;他还很喜欢玩一个电脑益智游戏——矩阵游戏。矩阵游戏在一个N *N黑白方阵进行&#xff08;如同国际象棋一般&#xff0c;只是颜色是随意的&#xff09;。 每次可以对…

HHKB Programming Contest 2020 总结

A - Keyboard 签到题1 #define IO ios::sync_with_stdio(false);cin.tie();cout.tie(0) #pragma GCC optimize(2) #include<set> #include<map> #include<cmath> #include<queue> #include<string> #include<vector> #include<cstdio…

AT4996-[AGC034F]RNG and XOR【FWT,生成函数】

正题 题目链接:https://www.luogu.com.cn/problem/AT4996 题目大意 给出一个0∼2n−10\sim 2^n-10∼2n−1下标的数组ppp&#xff0c;pip_ipi​表示有pip_ipi​的权重概率选择iii。 开始有一个x0x0x0&#xff0c;每次选择一个数字yyy让xxxoryxx\ xor\ yxx xor y 对于每个iii…

如何通过本地化事件正确实现微服务内部强一致性,事件总线跨微服务间最终一致性...

目录设计重点流程图伪代码2.1. PublishEvent2.2. SubscribeEvent2.3. Publisher2.4. Subscriber微服务 强一致性3.1 Publisher3.2 Subscriber事件总线 - 跨服务 最终一致性4.1 Publisher & Subscriber 都开启了本地事务&#xff0c;保证了强一致性4.2 问题场景一&#xff1…

【状压DP】十二桥问题(nowcoder 1104-B)

正题 nowcoder 1104-B 题目大意 给你一个无向图&#xff0c;问你从1开始经过若干必要边&#xff0c;然后回到1的最短路径 解题思路 因为关键边较少&#xff0c;先从每个关键点跑一遍dij&#xff0c;得出最短距离 设fs,if_{s,i}fs,i​表示必要边的状态为s&#xff0c;当前在…

干货!请码住——点此领取免费开源框架

何谓框架框架&#xff08;Framework&#xff09;是整个或部分系统的可重用设计&#xff0c;表现为一组抽象构件及构件实例间交互的方法; 框架是可被应用开发者定制的应用骨架。拥有一套企业级开发框架有哪些好处&#xff1f;对于一个软件公司或者互联网公司来说&#xff0c;开发…

YbtOJ#493-最大分数【斜率优化dp,分治】

正题 题目链接:http://172.17.55.160/contest/117/problem/1 题目大意 nnn个数的一个序列&#xff0c;给其中的一些数打上标记。 一个标记方案的贡献为s1s_1s1​表示有多少对L,RL,RL,R满足区间[L,R][L,R][L,R]都被打上了标记&#xff0c;s2s_2s2​表示标记的数字和。贡献为s1−…

大鱼吃小鱼

题目大意 给你若干数&#xff0c;让你分成若干组&#xff0c;每组两个&#xff0c;如果一组数中大的数大于等于小的数的两倍&#xff0c;那么有一点贡献&#xff0c;问贡献最大是多少 解题思路 先排序&#xff0c;然后分为大小两组&#xff0c;双指针看可以合多少组 code #i…

2018CCPC吉林赛区(重现赛)补题部分——F线段树待补

A - The Fool 数论分块暴力求和 #define IO ios::sync_with_stdio(false);cin.tie();cout.tie(0) #pragma GCC optimize(2) #include<set> #include<map> #include<cmath> #include<queue> #include<string> #include<vector> #include&…

【dfs】年会小游戏

题目大意 给出n&#xff0c;问小于n的数中&#xff0c;因数最多的数 解题思路 要满足因数最多&#xff0c;则小的质因数个数要大于等于打的质因数个数 那么直接按这个需求dfs枚举每个质因数的指数 code #include<cstdio> #include<cstring> #include<iostre…

在 ASP.NET Core 中集成 Skywalking APM

前言大家好&#xff0c;今天给大家介绍一下如何在 ASP.NET Core 项目中集成 Skywalking&#xff0c;Skywalking 是 Apache 基金会下面的一个开源 APM 项目&#xff0c;有些同学可能会 APM 是干什么用的还不是太了解&#xff0c;那么下面我就简单的来说一下。APM 全称是 &#x…

YbtOJ-大收藏家【分层图,最大流】

正题 题目链接:https://www.ybtoj.com.cn/contest/117/problem/2 题目大意 nnn个人&#xff0c;每人有aia_iai​个属于自己的物品。mmm次交换依次进行&#xff0c;每次xi,yix_i,y_ixi​,yi​两个人可以决定拿不拿自己的一个物品进行交换。 求111号人最后能拿到最多多少种物品…

2019中国大学生程序设计竞赛(CCPC) - 网络选拔赛 Fishing Master

文章目录题意&#xff1a;题解&#xff1a;代码&#xff1a;题意&#xff1a; 你在钓鱼&#xff0c;每次钓鱼固定时间为k&#xff08;必定钓上一条鱼&#xff09;&#xff0c;池塘一共n条鱼&#xff0c;钓上鱼后要煮&#xff0c;每条鱼煮的时间不相同&#xff0c;可以在煮鱼的…

NWERC 2018——B.Brexit Negotiations

Brexit Negotiations 有向无环图&#xff0c;很容易想到拓扑排序&#xff0c;很明显我们需要把权值大的点放在最前面&#xff0c;然后就想到搞个优先队列&#xff0c;每次拓扑排序的时候出权值大的点&#xff0c;但是发现答案是不对的。 正向建图拓扑排序能够保证小的点一定最后…

.NET运行时中的监测和可观测性

今年5月份的时候研究分布式追踪的问题知道了的拦截方式比较零散&#xff0c; 刚好8月份的时候看到这篇文章&#xff0c;这个文章总结的比较完整。存档了很久&#xff0c;趁今天有空翻译给大家。原文地址&#xff0c;校验&#xff1a;张蘅水.NET是一个托管运行时&#xff0c;这意…

YbtOJ#532-往事之树【广义SAM,线段树合并】

正题 题目链接:https://www.ybtoj.com.cn/problem/532 题目大意 给出nnn个点的一个TrieTrieTrie树&#xff0c;定义SxS_xSx​表示节点xxx代表的字符串 求max{∣LCP(Sx,Sy)∣∣LCS(Sx,Sy)∣}(x≠y)max\{|LCP(S_x,S_y)||LCS(S_x,S_y)|\}(x\neq y)max{∣LCP(Sx​,Sy​)∣∣LCS(S…

【并查集】公司搬迁

题目大意 给出n,a,b和n个数&#xff0c;有两个集合A,B&#xff0c;如果x放在A中则a-x必须存在且在A中&#xff0c;B同理&#xff0c;问你是否有合法方案 解题思路 不难发现&#xff0c;如果a-x或b-x存在&#xff0c;那么和x必须在同一个集合&#xff08;若x放A中b-x放B中则不…