当前位置: 首页 > news >正文

251105B. 换来换去/card

251105B. 换来换去/card

计数将 \(n\) 个区分的物品划入任意个大小 \(\ge 2\) 的不区分集合的方案数。

\[n\le 10^7 \]


首先,这个问题看起来很像贝尔数:

计数将 \(n\) 个区分的物品划入任意个不区分集合的方案数。

这个描述中实际上隐含了集合大小 \(\ge 1\) 的条件。

考虑贝尔数的 EGF\(\exp(\exp(x)-1)\),这里内层的 \(-1\) 减去了集合为空的情况。

类似地,考虑回原问题,由于集合大小 \(\ge 2\)。我们减去集合大小为 \(0\)\(1\) 的情况。

所以答案的 EGF 应为 \(\exp(\exp(x)-x-1)\)

展开:

\[\begin{align*}&e^{e^x-x-1} \\=&e^{-x}e^{e^x-1} \\=&e^{-x}\sum_k\frac 1{k!}(e^x-1)^k \\=&e^{-x}\sum_k\frac 1{k!}\sum_{j=0}^k\binom kje^{jx}(-1)^{k-j} \\=&e^{-x}\sum_k\frac 1{k!}\sum_{j=0}^k\frac{k!}{i!j!}e^{jx}(-1)^i \\=&\sum_{i+j\le n}\frac 1{i!j!}e^{(j-1)x}(-1)^i\end{align*} \]

提出第 \(n\) 项系数:

\[\begin{align*}&[{x^n}/{n!}]e^{e^x-x-1} \\=&\sum_{i+j\le n}\frac 1{i!j!}([{x^n}/{n!}]e^{(j-1)x})(-1)^i \\=&\sum_{i+j\le n}\frac 1{i!j!}(j-1)^n(-1)^i \\=&\sum_{j=0}^n\frac {(j-1)^n}{j!}\sum_{i=0}^{n-j}\frac{(-1)^i}{i!}\end{align*} \]

后半部分是一个与 \(j\) 无关的前缀和。前半部分可以通过线性筛线性求。分别预处理即可。


同样的,我们也可以线性求单项贝尔数,按照类似的方法有:

\[ \begin{align*}&[x^n/n!]e^{e^x-1} \\=&\sum_{i+j\le n}\frac 1{i!j!}[x^n/n!]e^{jx}(-1)^i \\=&\sum_{j=0}^n\frac {j^n}{j!}\sum_{i=0}^{n-j}\frac{(-1)^i}{i!} \end{align*} \]


code
#include <iostream>
#include <algorithm>
#include <bitset>const int N = 1e7 + 7;
typedef long long i64;namespace # {
int n, MOD;i64 fpow(i64 x, i64 k) {i64 res = 1;for(; k; k >>= 1, x = x * x %MOD)if(k & 1) res = res * x %MOD;return res;
}
#define inv(x) fpow((x), MOD-2)std::bitset<N> ip;
std::basic_string<int> pr;
int pown[N];
void prime() {pr.clear();for(int i = 2; i <= n; ++i) {if(!ip[i]) pr += i, pown[i] = fpow(i, n);else ip[i] = 0;for(int& p: pr) {if(i * p > n) break;ip[i * p] = 1;pown[i * p] = 1ll * pown[i] * pown[p] %MOD;if(i % p == 0) break;}}
}inline int getpow(int x) { return x == -1 ? n & 1 ? -1 : 1 : x <= 1 ? x : pown[x]; }
inline int gmod(i64 x) { return x - (x >= MOD) * MOD; }int frac[N], ifac[N], pre[N];
inline void main() {std::cin >> n >> MOD;ifac[0] = frac[0] = 1;for(int i = 1; i <= n; ++i) {frac[i] = 1ll * frac[i-1] * i %MOD;}ifac[n] = inv(frac[n]);for(int i = n; i >= 1; --i) {ifac[i-1] = 1ll * ifac[i] * i %MOD;}pre[0] = 1;for(int i = 1; i <= n; ++i) {if(i & 1) pre[i] = gmod(pre[i-1] + MOD - ifac[i]);else pre[i] = gmod(pre[i-1] + ifac[i]);}prime();int ans = 0;for(int k = 0; k <= n; ++k) {int res = 1ll * ifac[k] * getpow(k-1) %MOD * pre[n-k] %MOD;ans = gmod(ans + res);}std::cout << ans << "\n";
}};int main() {freopen("card.in", "r", stdin), freopen("card.out", "w", stdout);std::ios::sync_with_stdio(0), std::cin.tie(0), std::cout.tie(0);int t; std::cin >> t;while(t--) #::main();
}
http://www.gsyq.cn/news/40944.html

相关文章:

  • AI开发实践:如何通过案例学习快速上手项目开发
  • CentOS 7 安装条码识别工具 zbar
  • 2025深圳艺考生文化课辅导推荐榜:全日制艺考生文化课培训机构,精准提分机构精选
  • 2025年方形橡胶减震器工厂权威推荐榜单:JGF型减震器/JGF型橡胶减震器/ZA型橡胶减震器源头厂家精选
  • 2025/11/6
  • 2025 年最新推荐立体画厂家权威榜单:涵盖 3D 光栅立体画 / 立体光栅卡 / 3D 装饰立体画 / 三维立体画,专业测评助力精准选择
  • 2025年哈尔滨装修公司推荐:哈尔滨千墨装饰等5家靠谱企业实力揭秘
  • 2025年钢制拍门工厂权威推荐榜单:玻璃钢拍门/防倒灌拍门/浮箱拍门源头厂家精选
  • 2025 年养老院机构排行榜最新推荐:医养康护一体化服务品牌精选,权威测评机构详情揭晓自理老人住/失能老人住/陪伴式/失智失能照护养老院公司推荐
  • 2025 成都全屋定制厂家最新推荐:直营厂家榜单,透明服务与环保性能权威测评解析
  • 2025年全自动编织袋撕碎机定制厂家权威推荐榜单:废布条撕碎机/编织袋撕碎机/薄膜料撕碎机源头厂家精选
  • 软考中级系统集成项目管理计算题(五)
  • 2025年鲁冠高透光农膜企业权威推荐榜单:持久高透光抗老化农膜/95%以上高透光率农膜/黄瓜大棚高透光膜源头厂家精选
  • 2025年tpep防腐钢管制造企业权威推荐榜单:防腐螺旋钢管/防腐无缝钢管/聚乙烯防腐钢管源头厂家精选
  • 11-5 降压电路
  • MySQL用户管理 - 实践
  • LLM 时代,DataAgent WhaleTunnel 如何将数据库变更瞬时 “转译” 为洞察?
  • 2025年靠谱的连锁泡菜加盟公司排名,泡菜加盟正规公司推荐
  • 深入解析:多模态医疗大模型Python编程合规前置化与智能体持续学习研究(中)
  • 前端图片压缩三方库browser-image-compression的使用实践
  • 如何处理旧 iPhone:安全地回收或重新利用 - 实践
  • 【Android】一种应用霸屏方式:设置固定应用
  • 2025年密闭冷却塔品牌排名推荐:密闭冷却塔加工厂价格哪家合理
  • Apache SeaTunnel 支持 Metalake 开发了!避免任务配置敏感信息暴露
  • HR内耗终结者:Moka People实现招聘、人事、薪酬全流程数据一体化,提效200%
  • 告别“功能堆砌陷阱”,2026年企业HR系统选型应聚焦价值而非价格
  • 线程和 Parallel.ForEach 的核心区别
  • 2025年五大文物展柜制造企业推荐,文物展柜来样定制企业全解析
  • 现今西南碳晶板制造厂技术评测与选择指南
  • keycloak~登录时将请求头里某个属性放入UserSessionModel