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

第二类斯特林数

定义

第二类斯特林数记作 \(\begin{Bmatrix}n\\ k\end{Bmatrix}\) 或者 \(S(n,k)\),其意义是将 \(n\) 个互不相同的元素划分为 \(k\) 个相同的非空集合的方案数。

朴素求解

\[\begin{Bmatrix}n\\ k\end{Bmatrix} =\begin{Bmatrix}n-1\\ k-1\end{Bmatrix}+k\times\begin{Bmatrix}n-1\\ k\end{Bmatrix} \]

如果前 \(n-1\) 个元素只使用了 \([1,k)\) 的盒子,那么第 \(n\) 个一定要放到第 \(k\) 个盒子里。

如果前 \(n-1\) 个元素用完了 \([1,k]\) 的盒子,那么第 \(n\) 个元素就可以随便放。

显然将两种方案加起来就是最终的方案。

容易理解上式的边界条件为 \(\begin{Bmatrix}0\\ 0\end{Bmatrix}=1\)

通项公式

\(G_i\) 表示将 \(n\) 个不同元素放入 \(i\) 个不同盒子允许为空的方案数,\(F_i\) 表示将 \(n\) 个不同的元素放入 \(i\) 个不同盒子不允许为空的方式。

那么显然:

\[G_i=i^n \]

同时还有:

\[G_i=\sum\limits_{j=0}^i {i\choose j} F_j \]

发现上面的式子和二项式反演一样,所以得到:

\[F_i=\sum\limits_{j=0}^i (-1)^{i-j}\times {i\choose j}\times G_i \]

\(G\) 带入并化简得到:

\[F_i=\sum\limits_{j=0}^i\dfrac{(-1)^{i-j}\times i!\times i^n}{j!\times (i-j)!} \]

因为斯特林数的盒子不一样,所以 \(F_k\) 就是就是 \(\begin{Bmatrix}n\\ k\end{Bmatrix}\)\(k!\) 倍,所以得到:

\[\begin{Bmatrix}n\\ k\end{Bmatrix}=\dfrac{F_k}{k!}=\sum\limits_{i=0}^k\dfrac{(-1)^{k-i}\times i^n}{i!\times (k-i)!} \]

因为 \(f(x)=x^n\) 是积性函数,所以可以 \(O(n)\) 预处理,\(O(1)\) 求解。

应用

当题目里出现 \(i^n\) 是可以用第二类斯特林数展开。

得到:

\[i^n=\sum\limits_{j=0}^n j!\times {i\choose j}\times \begin{Bmatrix} n\\j\end{Bmatrix} \]

把组合数展开然后约分得到:

\[i^n=\sum\limits_{j=0}^n \dfrac{i!}{(i-j)!}\times \begin{Bmatrix} n\\j\end{Bmatrix} \]

http://www.hskmm.com/?act=detail&tid=18017

相关文章:

  • 群论
  • 扫码签到赢大奖小程序:助力多场景获客的智能营销工具
  • docker 镜像/容器
  • jmeter命令行参数详细解释
  • RK3399:性能与能效的嵌入式先锋,解锁多场景应用潜力
  • 【C++STL详解】带头双向循环结构 + 双向迭代器,核心接口 + 排序效率 + 避坑指南 - 教程
  • TorchV知识库安全解决方案:基于智能环境感知的动态权限控制
  • VBA ETH功能应用 | “0”代码构建SOME/IP节点
  • ISUP协议视频平台EasyCVR在智慧灯杆综合管理中的应用
  • 视觉智能赋能产业数智化升级:JBoltAI多模态技术落地实践
  • 神秘考试题
  • 华三交换机升级版本步骤
  • Solon v3.4.6, v3.5.4, v3.6.0-M1 发布。正式开始 LTS 计划
  • 串口通信、阻塞与非阻塞、qt
  • 破解 Java 系统 AI 化难题:JBoltAI 框架自带 RAG、Function Calling 核心功能
  • 算法第一章作业
  • CF1706E Qpwoeirut and Vertices
  • 聚焦 Java AI 开发:JBoltAI 框架支持多模型适配,打造智能应用
  • 企业级 AI 应用开发首选!JBoltAI 框架适配 Java 技术栈,稳定可靠
  • 别等碳超支才慌!EMS 像 “碳导航”,提前预警能耗 “堵点”,双碳路上不绕路
  • OTA测试实战指南:测试流程、用例设计与自动化实现
  • Halcon图像——相机图像采集模式
  • How to use SQL Server Management Studio track one store procedure performance - 详解
  • 【2025-09-25】连岳摘抄
  • 完整教程:探索 Event 框架实战指南:微服务系统中的事件驱动通信:
  • Gitee:本土化DevOps平台如何助力企业实现研发效能跃迁
  • 全新升级~山海鲸4.5.12版本更新内容速递
  • pod启动后一直containerCreating状态解决
  • activiti部署流程后act_re_procdef表中无流程定义信息
  • 手写代码使用Fls模块的方法