检验过的
经核准的
提出
编辑
1*a_1 + 2*a_2 + ... + n*a_n=n和最大值{a_i}=m，m（a）=n/（a_1！*…*a_n！），
1;
1, 2;
1, 6, 6;
1, 24, 24, 24;
1, 80, 180, 120, 120;
1, 330, 1200, 1080, 720, 720;
...
的分区乘积触头_产品_{j=0..n-1} （k+1）*j-1）和n！在k=-2时，最大部分相等的部分（Stirling_2型）以及触头_产品_{j=0..n-2} （k-n+j+2）和n！k=-2（Stirling_1型）。
T（n，k）是索引为k的[n]上对称逆半群（部分双射）中的幂零元数。 等价地，T（n，k）是n个标记节点上的有向无环图的数量，每个节点最多有一个不同度和不同度，并且最长路径正好包含k个节点-杰弗里·克雷策2021年11月21日
T（n，0）=[n=0]（艾弗森记数法），对于n>0和1<=m<=n.
T（n，m）=和{a}m（a）|f^a|其中a=a_1，。。,.,a_n这样
f^a=（f_1/1！）^a_1**（f_n/n！）^a_n和f_n=产品_产品_{j=0..n-1} （-j-1）
或f_n=产品_产品_{j=0..n-2} （j-n），因为两者的绝对值n！相同！。
T（n，k）是索引为k的[n]上对称逆半群（部分双射）中的幂零元数。 等效, 吨(n个,k个) 是 这个 数 属于 定向的 无环的 图 在 n个 标记 节点 具有 每一个 节点 有 谱系 和 超出程度 在 最 一 和 这个 最长的 路径 包含 确切地 k个 节点. -杰弗里·克雷策2021年11月21日
T（n，k）是索引为k的[n]上对称逆半群（部分双射）中的幂零元数-杰弗里·克雷策2021年11月21日
