AT4119-[ARC096C]Everything on It【斯特林数,容斥】

正题

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


题目大意

一个集合S={k∈[1,n]∪N}S=\{k\in[1,n]\cup N\}S={k[1,n]N},它的所有子集作为元素组成的集合中要求满足每一个数字的出现之和不小于222,求方案数对PPP取模。

1≤n≤3000,P∈[108,109+9]∪Pri1\leq n\leq 3000,P\in[10^8,10^{9}+9]\cup Pri1n3000,P[108,109+9]Pri


解题思路

考虑至少iii个数选择次数不超过111,那么这个方案的容斥系数就是(−1)i(-1)^i(1)i

考虑怎么求这个方案,我们可以先不要被限制了的数,然后再将这些被限制了的数丢进被选出了的集合中。设有jjj个集合包含被限制了的数,那么丢进这些集合的方案就是{i+1j+1}\begin{Bmatrix} i+1\\j+1 \end{Bmatrix}{i+1j+1}(一个数字可以选择不丢所以开一个新的集合表示这个集合内的数不使用),然后剩下的数随意的选入这些集合中就是(2n−i)j(2^{n-i})^j(2ni)j
那么答案出来了
∑i=0n(−1)i22n−i(ni)∑j=0i{i+1j+1}(2n−i)j\sum_{i=0}^n(-1)^i2^{2^{n-i}}\binom{n}{i}\sum_{j=0}^i\begin{Bmatrix}i+1\\ j+1\end{Bmatrix}(2^{n-i})^ji=0n(1)i22ni(in)j=0i{i+1j+1}(2ni)j

直接预处理斯特林数计算就好了,时间复杂度O(n2)O(n^2)O(n2)


code

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

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

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

相关文章

【交互】【随机】Lost Root(CF1061F)

正题 luogu CF1061F 题目大意 给出n和k&#xff0c;现在有一颗n个点的满k叉树&#xff0c;每次查询可以问一个点是否在另外两个点的路径上&#xff0c;让你在 60n60\times n60n 次询问内得到根节点 解题思路 因为是满k叉数&#xff0c;可以先得到深度dep 每次随机找两个点&…

take

take 题解参考 题目描述 Kanade has n boxes , the i-th box has p[i] probability to have an diamond of d[i] size. At the beginning , Kanade has a diamond of 0 size. She will open the boxes from 1-st to n-th. When she open a box,if there is a diamond in it an…

将传统 ASP.NET 应用迁移到 .NET Core

点击蓝字关注我现在越来越多的人在谈论. NET Core。诚然&#xff0c;.NET Core 是未来, 但是.NET Framework 仍在支持, 因为大量的应用程序无法在短时间内迁移。.NET Core 和 .NET Framework 就像电动汽车和汽油动力汽车。汽油车是成熟的&#xff0c;你可以毫无任何问题驾驶它&…

CF932G-Palindrome Partition【PAM】

正题 题目链接:https://www.luogu.com.cn/problem/CF932G 题目大意 给出一个长度为nnn的字符串&#xff0c;将其分为kkk段&#xff08;kkk为任意偶数&#xff09;&#xff0c;记为ppp。要求满足对于任意iii都有pipk−i1p_ip_{k-i1}pi​pk−i1​。求方案数。 1≤n≤1061\leq n…

2018 ACM ICPC Asia Regional - Seoul B.Cosmetic Survey

参考大佬代码 题目大意 nnn个顾客&#xff0c;mmm种画妆品&#xff0c;每一个顾客会给mmm种化妆品一个值&#xff0c;这个值代表这个化妆品在他心中的排名&#xff0c;排名越小越喜欢&#xff0c;如果这个值为0说明最不喜欢这一种化妆品&#xff08;值为0理解为无穷大&#xf…

The table(CF226D)

正题 CF226D 题目大意 给一个n*m的矩阵&#xff0c;每次操作可以使一行或一列全部变号&#xff08;变-&#xff0c;-变&#xff09;&#xff0c;问如何操作可以使所有行列之和都是正数 解题思路 考虑每次暴力找小于0的一行或一列&#xff0c;然后反转 因为每次反转肯定会使…

[翻译] 初看 ASP.NET Core 3.0 即将到来的变化

原文: A first look at changes coming in ASP.NET Core 3.0在我们努力完成下一个 minor 版本的 ASP.NET Core 的同时&#xff0c;我们也在对下一个 major 版本进行更新&#xff0c;其中包括如何使用框架组合项目、更紧密的 .NET Core 集成以及第三方开源集成&#xff0c;所有这…

数字串

来源&#xff1a;牛客网&#xff1a; 题目描述 一个只含数字的字符串&#xff0c;q次操作&#xff0c;每次操作将第i位数字改为x&#xff0c;每次操作后&#xff0c;统计长度在[l, r]之间且首数字大于尾数字的子串的个数。 输入描述: 第一行一个只含数字的字符串&#xff1b…

【随机】Kuroni and the Punishment(CF1305F)

正题 luogu CF1305F 题目大意 给你n个数&#xff0c;每次操作可以使一个数1或-1&#xff0c;让你用最小的操作数使所有数的gcd>1 解题思路 显然把所有数都修改为偶数可以得到 2|gcd&#xff0c;且步数 ≤n\leq n≤n 对于其它方案&#xff0c;至少有一半的数修改次数小于…

hdu5909-Tree Cutting【FWT】

正题 题目链接:http://acm.hdu.edu.cn/showproblem.php?pid5909 题目大意 给出nnn和mmm&#xff08;m2km2^km2k&#xff09;。再给出一个大小为nnn的树&#xff0c;每个点有点权&#xff0c;对于每个i∈[1,m)i\in[1,m)i∈[1,m)求有多少个联通子图的点权异或和为iii 1≤T≤10…

codeforces1455 D. Sequence and Swaps

昨天晚上巨困&#xff0c;就没有打&#xff0c;今天课间的时候就看了一下D题&#xff0c;发现好像可以瞎搞&#xff0c;于是吃完饭就写了一下&#xff0c;调过样例一次就A了qaq。 D. Sequence and Swaps 枚举贪心 由于数据范围n≤500n\leq500n≤500&#xff0c;由此我们可以在…

珂朵莉的数列

来源&#xff1a;牛客网&#xff1a; 题目描述 珂朵莉给了你一个序列&#xff0c;有n(n1)/2 ​ 个子区间&#xff0c;求出她们各自的逆序对个数&#xff0c;然后加起来输出 输入描述: 第一行一个数 n 表示这个序列 a 的长度 之后一行 n 个数&#xff0c;第i个数表示ai 输出…

aspnet core 2.1中使用jwt从原理到精通二

在aspnet core中&#xff0c;自定义jwt管道验证有了上一节的内容作为基础&#xff0c;那这点也是非常容易的&#xff0c;关键点在中间件&#xff0c;只是把上一级在测试类中的自定义验证放到中间件中来即可&#xff0c;不过需要注意&#xff1a;中间件 的位置很重要&#xff0c…

【线段树】Traffic Jams in the Land(CF498D)

正题 luogu CF498D 题目大意 给n个1-6的数&#xff0c;让你进行以下操作&#xff1a; 修改其中一个数从第x个数走到第y个数&#xff08;x≤yx\leq yx≤y&#xff09;&#xff0c;到达一个点时&#xff0c;如果当前时间能被该数整除&#xff0c;那么时间2&#xff0c;否则1&a…

P4201-[NOI2008]设计路线【结论,树形dp】

正题 题目链接:https://www.luogu.com.cn/problem/P4201 题目大意 给出nnn个点的一棵树开始所有边都是白色&#xff0c;选出若干条没有公共点的路径将上面所有边变为黑色。 要求所有点到111号点的路径上经过的白色边的数量的最大值最小。 求最小值和方案数 解题思路 直接记…

codeforces1453 D. Checkpoints

以为又要掉分了&#xff08;结果没掉说明太菜了&#xff09;&#xff0c;写完ABC还有45分钟&#xff0c;推式子一直没啥结果&#xff0c;最后10分钟想到D题的一个性质&#xff0c;可惜没时间了~ D. Checkpoints Heltion大佬题解 性质&#xff1a;把形如100…01 \ 0 \ 0 \dots…

CentOS开发ASP.NET Core入门教程

因为之前一直没怎么玩过CentOS&#xff0c;大多数时间都是使用Win10进行开发&#xff0c;然后程序都部署在Window Server2008或者Window Server2012上&#xff01;因此想尝试下Linux系统。最后经过选型选了比较流行的CentOS系统。正好&#xff0c;今晚要加班&#xff0c;所以在…

Java的学习与java大数运算

之前就学过一点java&#xff0c;但太久没用知识点早就还给书本&#xff0c;之前在实验室搞到一本java的书&#xff0c;今天来重新温习一下 java的语法大部分和c语言是一样的&#xff0c;入门非常快&#xff0c;所以在这里基础语句的用法就省略了 输出&#xff1a; System.out.…

【DP】【容斥】Nice to Meet You(AT3634)

正题 luogu AT3634 题目大意 给你一个图&#xff0c;让你给图上的边定方向&#xff0c;问1,2两个点可以到同一个点的方案数 解题思路 直接求可以到同一个点不好求&#xff0c;可以用总方案数减去不合法方案数&#xff0c;即到不了同一个点的方案数 那么就是有若干点把1,2分…

codeforces1453 E. Dog Snacks

E. Dog Snacks Heltion大佬题解 fuf_ufu​表示节点uuu到最近叶子节点的距离。 首先不难发现&#xff0c;考虑一棵子树根节点为uuu&#xff0c;一定每次都把一整棵子树上的食物吃完&#xff0c;然后再去别的子树。 由于每次狗总是先去离他最近的节点&#xff0c;如果我们把一…