具体数学斯特林数-----致敬Kunth
注意这里讲的是斯特林数而非斯特林公式。
斯特林数分两类:第一类斯特林数 和 第二类斯特林数。 分别记为
。
首先描述第二类斯特林数
。
描述为:将一个有n件物品的集合划分成k个非空子集的方法数。
比如集合{1,2,3,4}有以下划分:
{1,2,3}U{4} {1,2,4}U{3} {1,3,4}U{2} {2,3,4}U{1} {1,2}U{3,4} {1,3}U{2,4} {1,4}U{2,3}.
7个这样的划分。
记为
。
那么有一下第二类斯特林数交给你计算。

根据定义,易得答案分别为:0,1,n,0.
之后考虑一个这样的式子

把一个集合划分为两个子集。
思路:
把最后一个元素拿出来。
这时有两种可能。1:最后一个元素自成一个集合。2:最后一个元素和前面的集合中一个子集为一个元素。
。
这种思想不只是用在k = 2的时候。扩展到全部的k上。

原理不讲。一方面是为了自己将来看的时候能够自己思考。另一外方面其实和
推导的方法差不多。
List:

表格数据确实重要。有时候Stiring Number 说不定是藏在题目中 你发现不了的。而你可以通过打表大胆猜测。
1 7 6 1
1 15 25 10 1
1 31 90 65 15 1
值得记住。
再是描述第一类斯特林数
意义:轮换。即n个元素能够分成k个轮换。
轮换:即新的轮换不能通过旧的轮换进行数组移位得到。
[A,B,C,D] = [B,C,D,A] = [C,D,A,B] = [D,A,B,C].
上述都是表示同一个轮换。
而[A,B,C] 和 [A,C,B] 是两个不同的轮换。
比如n = 4. k=2时。
有11个轮换:
[1,2,3][4] [1,2,4][3] [1,3,4][2] [2,3,4][1]
[1,3,2][4] [1,4,2][3] [1,4,3][2] [2,4,3][1]
[1,2][3,4] [1,3][2,4] [1,4][2,3]
记为
另外对于n>0

这个式子易得。 n个元素全排列。对于一种排列有另外n-1种可以通过数组移位得到。所以归为1种。
即n!/n = (n-1)!.
另外还有以下性质。

注意是两类斯特林数的关系。
同样地,第一类斯特林数也有递推式。

重点是那个(n-1)的理解。
举个例子。
[1,2,3] 中添加 4 构成[1,2,3,4]
[2,3,1] 中添加 4 构成[2,3,1,4]
[3,1,2] 中添加 4 构成[3,1,2,4]
而前面的轮换都是属于一个轮换。而构成了3个不同的轮换。所以一定不像第二类斯特林数一样是k.
而这种情况可以发现。前面集合中的每个数都出现一次在集合的第一个位置。所以是n-1个。
List:

2 3 1
6 11 6 1
24 50 35 10 1
值得记在脑中。
另外对于轮换。我们可以和排列对应起来。
1 2 3 4 5 6 7 8 9
3 8 4 7 2 9 1 5 6
1->3 3->4 4->7 7->1 为一个轮换 [1,3,4,7]
2->8 8->5 5->2 为一个轮换 [2,8,5]
6->9 9->6 为一个轮换 [6,9]
对于任意一个排列总是有一个轮换是对应的。由此我们可以列出。

另外在具体数学的后面有一个这样联系第一类和第二类斯特林数的式子

当然中间在具体数学里还有很多精彩美妙绝伦的证明以及推导。还有公式。具体就不列出来了。
just an introduction.
具体数学斯特林数-----致敬Kunth的更多相关文章
- 具体数学数论章-----致敬Kunth
整除性(divisible): 引入了代表整除性. m\n (m|n) 表示m整除n.注意这里的整除.表示的是n = km(k为整数). 在整除性这里.m必须是个正数.也许你可以描述n 是 m 的k倍 ...
- 数学杂烩总结(多项式/形式幂级数+FWT+特征多项式+生成函数+斯特林数+二次剩余+单位根反演+置换群)
数学杂烩总结(多项式/形式幂级数+FWT+特征多项式+生成函数+斯特林数+二次剩余+单位根反演+置换群) 因为不会做目录所以请善用ctrl+F 本来想的是笔记之类的,写着写着就变成了资源整理 一些有的 ...
- [BJOI2019]勘破神机(斯特林数+二项式定理+数学)
题意:f[i],g[i]分别表示用1*2的骨牌铺2*n和3*n网格的方案数,求ΣC(f(i),k)和ΣC(g(i),k),对998244353取模,其中l<=i<=r,1<=l< ...
- [题解] LOJ 3300 洛谷 P6620 [省选联考 2020 A 卷] 组合数问题 数学,第二类斯特林数,下降幂
题目 题目里要求的是: \[\sum_{k=0}^n f(k) \times X^k \times \binom nk \] 这里面出现了给定的多项式,还有组合数,这种题目的套路就是先把给定的普通多项 ...
- bzoj5093图的价值:多项式,斯特林数(二项式反演)
Description “简单无向图”是指无重边.无自环的无向图(不一定连通). 一个带标号的图的价值定义为每个点度数的k次方的和. 给定n和k,请计算所有n个点的带标号的简单无向图的价值之和. 因为 ...
- hdu 4045 2011北京赛区网络赛F 组合数+斯特林数 ***
插板法基础知识 斯特林数见百科 #include<iostream> #include<cmath> #include<cstdio> #include<cs ...
- HDU 4045 Machine scheduling (组合数学-斯特林数,组合数学-排列组合)
Machine scheduling Time Limit: 5000/2000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Other ...
- 【HDU 4372】 Count the Buildings (第一类斯特林数)
Count the Buildings Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 65536/65536 K (Java/Othe ...
- dp 斯特林数 HDU2512一卡通大冒险
这道题其实就是斯特林数,找不同的集合,一共有多少中组法,递推式就是dp[n][k] = dp[n - 1][k - 1] + k * dp[n - 1][k]; 这个式子可以这么解释,dp[n][k] ...
随机推荐
- [NOIp2018]货币系统 背包
LG传送门 完全背包板子题 显然就是判断有多少种面值的货币可以被其他面值的货币表示,完全背包搞一搞就好了. 考场代码(一看这两格缩进就知道是考场代码): #include<cstdio> ...
- hive 空值、NULL判断
hive中空值判断基本分两种 (1)NULL 与 \N hive在底层数据中如何保存和标识NULL,是由 alter table name SET SERDEPROPERTIES('serializa ...
- CentOS-6.4 minimal - 安装VMware Tools(linux)
本文参考自:http://www.cnblogs.com/xyq/p/4068018.html 1.挂载光驱 2./mnt下面默认显示以下文件 3.卸载/mnt 4.点击安装VMware Tools ...
- C# 合并多个结构相同的DataTable
public DataTable GetAllDataTable(DataSet ds) { DataTable newDataTable = ds.Tables[0].Clone(); //创建新表 ...
- TensorFlow深度学习实战---循环神经网络
循环神经网络(recurrent neural network,RNN)-------------------------重要结构(长短时记忆网络( long short-term memory,LS ...
- 添加jQuery方法解析url查询部分
Web前端不同页面间传值可以使用 cookies.localStorage 和 sessionStorage 等本地存储. 但是,今天我们尝试使用 url 查询,假设我们要传递字符串 str 到 mo ...
- mac安装pkg 一直“正在验证” 卡着
今天换了新mac, 但是之前wireshark(抓包工具) 不能用了 ,要安装Xquartz. 下载之后一直卡着, 网上找了半天没有解决方法. 最后我重启一下就好了... 重启一下. 2. 15款ma ...
- 【数据结构系列】线段树(Segment Tree)
一.线段树的定义 线段树,又名区间树,是一种二叉搜索树. 那么问题来了,啥是二叉搜索树呢? 对于一棵二叉树,若满足: ①它的左子树不空,则左子树上所有结点的值均小于它的根结点的值 ②若它的右子树不空, ...
- spring-boot-mybatis搭建
写在开始 mybatis是一个持久化框架,支持手动sql.存储过程.高级映射.mybatis支持XML方式或注解方式将POJO与数据库表间建立映射. maven依赖 spring-boot.mysql ...
- Appstate的几种状态及在android 和ios触发
AppState能告诉你当前应用是在前台还是在后台,或者处于切换应用的状态,并且能在状态变化的时候通知你. AppState 通常在处理推送通知的时候用来决定内容和对应的行为 一: App State ...