登录
A008275号
由第一类斯特林数行读取的三角形,s(n,k),n>=1,1<=k<=n。
265
1, -1, 1, 2, -3, 1, -6, 11, -6, 1, 24, -50, 35, -10, 1, -120, 274, -225, 85, -15, 1, 720, -1764, 1624, -735, 175, -21, 1, -5040, 13068, -13132, 6769, -1960, 322, -28, 1, 40320, -109584, 118124, -67284, 22449, -4536, 546, -36, 1, -362880, 1026576, -1172700, 723680, -269325, 63273, -9450, 870, -45, 1
抵消
1,4
评论
无符号数也称为斯特林循环数:|s(n,k)|=正好有k个循环的n个对象的排列数。
无符号数字(从右到左读取)也给出了复杂度为k的1..n的置换数,其中置换的复杂度定义为周期长度减去周期数之和。换句话说,复杂性等于所有周期的(周期长度)-1之和。对于n=5,复杂度为0、1、2、3、4的排列数为1、10、35、50、24。 -N.J.A.斯隆2019年2月8日
无符号数字也是1..n从左到右最大k的排列数(参见Khovanova和Lewis,Smith)。
其中P(n)=n的整数分区数,T(i,n)=n的第i个分区的部分数,D(i,n)=n第i个划分的不同部分数,P(j,i,n=从i=1到i=p(n)的和,但只考虑T(i,n)=k部分的分区,Product_{j=1..T(i、n)}=从j=1到j=T(i),Product__{j=1..D(i,n)}=从j=1到j=D(i)的积,其中S1(n,k)=sum_[T(i p(j,i,n))*(1/Product_{j=1..D(i,n!).例如,S1(6,3)=225,因为n=6具有以下k=3部分的分区:(114)、(123)、(222)。他们的肤色是:(114):(6!/1*1*4)*(1/2!*1!)=90,(123):。络合物之和为90+120+15=225=S1(6,3)。 -托马斯·维德2005年8月4日
行总和等于0。 -乔恩·佩里2005年11月14日
|s(n,k)|枚举由k个递增的非平面(无序)树组成的无序n顶点森林。从第一列和f.Bergeron等参考文献的示例f中,尤其是表1最后一行(非平面“递归”)的证明,见A049029号. -Wolfdieter Lang公司2007年10月12日
|s(n,k)|枚举由k个一元树(从{0,1}出阶r)组成的无序递增n顶点k森林,其深度(距根的距离)j>=0的顶点以j+1种颜色出现(对于k个根,j=0)。 -Wolfdieter Lang公司2007年10月12日,2008年2月22日
无符号数组的细化为A036039号有关“自然生长”的非平面树根森林、旗杆上旗帜的布置以及完整图K_n顶点的颜色,请参见A130534型. -汤姆·科普兰2014年3月30日和4月5日
第一类Stirling数与下降阶乘和1924年Norlund通过求和{k=1..n+1}T(n+1,k)*x^(k-1)=(x-1)卷积或广义Bernoulli数B_n有关!/(x-1-n)!=(x+B.(0))^n=B_n(x),用(B.(0。 -汤姆·科普兰2015年9月29日
使用x=e^z、D_x=D/dx、D_z=D/dz和p_n(x)该条目的行多项式,x^n(D_x)^n=p_n!/(D_z-n)!=(xD_x)!/(xD_x-n)!. -汤姆·科普兰2015年11月27日
从算子关系z+Psi(1)+sum_{n>0}(-1)^n(-1/n)二项式(D,n)=z+Psi(1+D),其中D=D/dz,Psi是digamma函数,Zeta(n+1)=sum_{k>n-1}(1/k)|S(k,n)|/k!对于n>0且Zeta为Riemann-Zeta函数。 -汤姆·科普兰2016年8月12日
设X_1,。..,X_n是平均值为1的指数分布的i.i.d.随机变量。设Y=最大值{X_1,…,X_n}。那么(-1)^n*n!/(Sum_{k=1..n+1}a(n+1,k)t^(k-1))是Y的矩母函数。Y的期望值是n次谐波数。 -杰弗里·克雷策2018年12月25日
在描述无限等位基因模型下大小为n的样本中等位基因类大小的多元概率分布的Ewens抽样理论中,|s(n,k)|给出了n个等位基因样本恰好具有k个不同类型的概率公式中的系数。 -诺亚·A·罗森博格2019年2月10日
尼尔森(1906)以苏格兰数学家詹姆斯·斯特林(1692-1770)的名字命名。 -阿米拉姆·埃尔达尔2021年6月11日和2023年10月2日
牛顿于1664或1665年写的手稿(Turnbull第169页)中发现了前几行多项式和递归公式,给出了有理幂二项式定理的几何表示。 -汤姆·科普兰,2022年12月10日
参考文献
M.Abramowitz和I.A.Stegun编辑,《数学函数手册》,国家标准应用数学局。1964年第55辑(以及各种重印本),第833页。
Arthur T.Benjamin和Jennifer Quinn,《真正重要的证据:组合证明的艺术》,M.A.A.2003,第93页及其后。
鲍里斯·邦达连科(Boris A.Bondarenko),《广义帕斯卡三角和金字塔》(俄语),FAN,塔什干,1990年,ISBN 5-648-00738-8。
乔治·布尔,《有限差异》,第五版,纽约:切尔西,1970年。
Louis Comtet,《高级组合数学》,Reidel,1974年;第五章,第310页。
约翰·康韦和理查德·盖伊,《数字之书》,哥白尼出版社,纽约,1996年,第93页。
佛罗伦斯·南丁格尔·大卫、莫里斯·乔治·肯德尔和大卫·埃利奥特·巴顿,《对称函数和联合表》,剑桥,1966年,第226页。
Saber N.Elaydi,《差分方程导论》,第三版,Springer,2005年。
Herman H.Goldstine,《数值分析史》,Springer-Verlag出版社,1977年;第2.7条。
罗纳德·格雷厄姆(Ronald L.Graham)、唐纳德·科努特(Donald E.Knuth)和奥伦·帕塔什尼克(Oren Patashnik),《具体数学》(Concrete Mathematics)。Addison-Wesley,马萨诸塞州雷丁,1990年,第245页。第二版见第6章,尤其是第259页。
M.Miyata和J.W.Son,《关于置换的复杂性和双射的度量空间》,Tensor,60(1998),第1期,109-116(MR1768839)。
Isaac Newton,《一种求这些线的面积平方的方法》,特恩布尔出版社,168-171页。
约翰·赖尔登,《组合分析导论》,第48页。
Robert Sedgewick和Phillip Flajolet,算法分析导论,Addison-Wesley,Reading,MA,1996年。
H.Turnbull(编辑),《艾萨克·牛顿通讯》第二卷1676-1687,剑桥大学出版社,1960年。
链接
M.Abramowitz和I.A.Stegun编辑。,数学函数手册,国家标准局,应用数学。第55辑,第十次印刷,1972年[备选扫描件]。
尼基塔·阿列克谢夫和彼得·佐格拉夫,Hultman数、多边形粘合和矩阵积分,arXiv:11111.3061[math.PR],2011年。
Joerg Arndt,计算事项(Fxtbook)第277页。
J.Fernando Barbero G.、Jesüs Salas和Eduardo J.s.Villaseñor,一类线性递归的二元生成函数。一、总体结构,arXiv:1307.2010[math.CO],2013年。
Elena Barcucci、Alberto Del Lungo和Renzo Pinzani,“装饰”多义词、排列和随机生成《理论计算机科学》,第159卷(1996年),第29-42页。
尼古拉斯·贝尔(Nicolas Behr)、文森特·达诺斯(Vincent Danos)和伊利亚斯·加尼尔(Ilias Garnier),随机重写系统的组合变换和矩互模拟,arXiv:1904.07313[cs.LO],2019年。
Hacene Belbachir和Mourad Rahmani,二项式系数倒数的交替和,《整数序列杂志》,第15卷(2012年),第12.2.8条。
爱德华·本德,渐近枚举的中心极限定理和局部极限定理组合理论杂志,A辑,第15卷,第1期(1973年),第91-111页。参见示例5.1。
Boris A.Bondarenko,广义Pascal三角形和金字塔,由加利福尼亚州圣克拉拉圣克拉拉大学斐波纳契协会出版的英文译本,1993年;见第32页。
费德里科·卡斯蒂略(Federico Castillo)、达米安·德拉·富恩特(Damian de la Fuente)、尼古拉斯·利宾斯基(Nicolas Libedinsky)和大卫广场(David Plaza),关于Bruhat区间的大小,arXiv:2309.08539[math.CO],2023年。
何塞·路易斯·塞雷塞达,,整数幂超和的广义Akiyama-Tanigawa算法,J.国际顺序。,第16卷(2013年),第13.3.2条。
何塞·路易斯·塞雷塞达,整数幂超和的迭代过程《整数序列杂志》,第17卷(2014年),第14.5.3条。
Ricky X.F.Chen,关于第一类斯特林数生成函数的注记《整数序列杂志》,第18卷(2015年),第15.3.8条。
哈里·克莱恩,普遍存在的Ewens抽样公式《统计科学》,第31卷(2016年),第1-19页。
蒂埃里·达纳·皮卡德(Thierry Dana-Picard)和大卫·泽顿(David G.Zeitoun),定积分序列、无穷级数和斯特林数《国际科学与技术数学教育杂志》,第43卷,第2期(2012年),第219-230页。
Sajal K.Das、Joydep Ghosh和Narsingh Deo,斯特林网络:多处理器系统的通用组合拓扑《离散应用数学》,第37卷(1992年),第119-146页。
Robert M.Dickau,第一类斯特林数.
阿斯卡·朱马迪尔·达耶夫和达米尔·叶利乌西佐夫,走道、隔板和正常排序《组合数学电子杂志》,第22卷,第4期(2015年),第4.10页。
B.S.El-Desouky、Nenad P.Cakić和Toufik Mansour,基于微分算子的广义Stirling数的改进方法,申请。数学。莱特。,第23卷,第1期(2010年),第115-120页。
丹尼尔·格伦伯格,关于渐近、Stirling数、伽马函数和多项式《数学成绩》,第49卷,第1期(2006年),第89-125页;arXiv预印本,arXiv:math/0607514[math.CO],2006年。
杰罗姆·海因斯,S-Stirling数的推广,数学。Mag.,第29卷,第4期(1956年),第200-203页。
稻中义行,整数幂的超数和Akiyama-Tanigawa矩阵《整数序列杂志》,8(2005),第05.2.7条。
Charles Knessl和Joseph B.Keller,基于射线法的递归方程的Stirling数渐近性,螺柱应用。数学。第84卷第1期(1991年),第43-56页。
Tanya Khovanova和Joel Brewster Lewis,摩天大楼.
Donald E.Knuth,卷积多项式,arXiv:math/9207221[math.CA],1993年;《数学杂志》,2(1992),67-78。
沃尔夫迪特·朗,关于Stirling数三角形的推广,J.整数序列。,第3卷(2000),第00.2.4条。
Elliott H.Lieb,Stirling数的凹性和生成函数《组合理论杂志》,第5卷,第2期(1968年),第203-206页。
丹尼尔·勒布,斯特林数的推广,arXiv:math/9502217[math.CO],1995年。
Mahid M.Mangontarum和Jacob Katriel,关于q-Boson算子和r-Whitney数和r-Dowling数的q-类比,J.国际顺序。,第18卷(2015),第15.9.8条。
Toufik Mansour、Augustine Munagi和Mark Shattuck,递归关系与二维集划分,J.国际顺序。,第14卷(2011年),第11.4.1条。
Toufik Mansour、Matthias Schork和Mark Shattuck,广义Stirling数和Bell数的再认识《整数序列杂志》,第15卷(2012年),第12.8.3条。
B.H.Margolius,时间非齐次拟生灭过程的瞬态和周期解《排队系统》,第56卷,编号3-4/2007年8月。[来自N.J.A.斯隆2009年7月9日]
Dragoslav S.Mitrinović,当前相对伯努利名义的Surune relationship de récurrence relative aux nombres de Bernoulli《巴黎科学院学报》,第250卷(1960年),第4266-4267页。
Dragoslav S.Mitrinović和Ruíica S.Mitrinović,Stirling和Bernoulli d’ordre supérieur贝尔格莱德大学。出版物。埃利克特罗恩。法克。序列号。材料Fiz。第43期(1960年),第1-63页。
Dragoslav S.Mitrinović和Ruíica S.Mitrinović,Stirling标准目录——附录:Stirling标准目录贝尔格莱德大学。出版物。埃利克特罗恩。法克。序列号。材料Fiz。第60期(1961年),第1-15和17-62页。
Dragoslav S.Mitrinović和Ruíica S.Mitrinović,斯特林名录贝尔格莱德大学。出版物。埃利克特罗恩。法克。序列号。材料Fiz。,第77号(1962年),第1-77页。
Dragoslav S.Mitrinović和Ruíica S.Mitrinović,斯特林名录贝尔格莱德大学。出版物。埃利克特罗恩。假的。序列号。材料Fiz。,第77号(1962年),第1-77页【jstor稳定版】。
伊曼纽尔·穆纳里尼,涉及Sheffer矩阵中心系数的组合恒等式《应用分析与离散数学》,第13卷(2019年),第495-517页。
尼尔斯·尼尔森,Handbuch der theorie der gammafunkation(冈马联邦理论)Leipzig,Teubner,1906年,见第67页。
尼尔斯·诺伦德,Vorlesungenüber Differenzenrechnung公司1924年,柏林施普林格。
尼尔斯·诺伦德,Vorlesungenüber Differenzenrechnung公司,切尔西酒吧。Co.,纽约,1954年。[存档组织]
K.A.Penson、P.Blasiak、A.Horzela、G.H.E.Duchamp和A.I.Solomon,拉盖尔型导数:Dobinski关系和组合恒等式,J.数学。物理学。第50卷(2009),083512。
Grzegorz Rządkowski,连续导数的两个公式及其应用,J.国际顺序。,第12卷(2009),第09.8.2条。
马克西·施密特,广义j因子函数、多项式及应用,J.国际顺序。,第13卷(2010年),第10.6.7条。
本杰明·施雷耶,套马数及其模周期,arXiv:2409.03799[math.CO],2024。见第12页。
雷蒙德·斯卡尔和格洛丽亚·奥利夫,重新访问斯特林数,离散数学。第189卷,第1-3期(1998年),第209-219页。MR1637761(99d:11019)。
马克·沙塔克,基于对合的第一类Stirling数的卷积恒等式,INTEGERS,第12卷(2012年),#A59。-来自N.J.A.斯隆2013年2月4日
马克·沙塔克,一些斯特林数卷积公式的组合证明,J.国际顺序。,第25卷(2022年),第22.2.2条。
沃伦·D·史密斯,难题:统计新记录.
迈克尔·斯皮维,贝尔数的广义递推,JIS,第11卷(2008),第08.2.5条。
迈克尔·斯皮维,关于一般组合递归的解,J.国际顺序。,第14卷(2011年),第11.9.7条。
理查德·斯坦利,Minkowski空间中的事件排序,arXiv:math/0501256[math.CO],2005年。
詹姆斯·斯特林,微分法伦敦,1749年;见第10页。
Nico M.Temme,Stirling数的渐近估计《应用数学研究》,第89卷,第3期(1993年),第233-243页;Helmut Prodinger总结.
A.N.Timashev,关于第一类和第二类Stirling数的渐近展开,(俄罗斯)Diskret。材料10(3)(1998),148-159;离散数学翻译。申请。第8卷第5期(1998年),第533-544页。
埃里克·魏斯坦的数学世界,置换循环.
埃里克·魏斯坦的数学世界,第一类斯特林数.
托马斯·维德,对A008275的评论.
OEIS Wiki,阶乘多项式.
配方奶粉
s(n,k)=s(n-1,k-1)-(n-1)*s(n-l,k),n,k>=1;s(n,0)=s(0,k)=0;s(0,0)=1。
无符号数a(n,k)=|s(n,k)|满足a(n,k)=a(n-1,k-1)+(n-1)*a(n-1,k),n,k>=1;a(n,0)=a(0,k)=0;a(0,0)=1。
例如:对于第m列(无符号):((-log(1-x))^m)/m!。
s(n,k)=T(n-1,k-1),n>1和k>1,其中T(n,k)是三角形[1,-1,-2,-2,-3,-3,-4,-4,-5,-6,-6,…]DELTA[1,0,1A084938号无符号数也是|s(n,k)|=T(n-1,k-1),对于n>0和k>0,其中T(n,k)=[1,1,2,2,3,3,4,4,5,5,…]Δ[1,0,1,0,1,0,1,0,0,…]。
求和{i=0..n}(-1)^(n-i)*斯特林S1(n,i)*二项式(i,k)=(-1)*(n-k)*斯特林S1(n+1,k+1)。-卡罗·伍德(Carlo(AT)alinoe.com),2007年2月13日
第n行的G.f:Product_{j=1..n}(x-j)(例如,(x-1)*(x-2)*(x-3)=x^3-6*x^2+11*x-6)。 -乔恩·佩里2005年11月14日
s(n,k)=A048994号(n,k),对于k=1..n-莱因哈德·祖姆凯勒,2013年3月18日(修订人N.J.A.斯隆,2025年5月7日,根据曼弗雷德·博尔根斯2025年5月7日)
作为下三角矩阵A008277号*A008275号=I,单位矩阵-汤姆·科普兰2014年4月25日
a(n,k)=s(n,k)=lim_{y->0}和{j=0..k}(-1)^j*二项式(k,j)*((-j*y)!/(-j*y-n)!)*y^(-k)/k!=和{j=0..k}(-1)^(n-j)*二项式(k,j)*((j*y-1+n)!/(j*y-1)!)*y^(-k)/k!. -汤姆·科普兰2015年8月28日
发件人丹尼尔·福格斯2016年1月16日:(开始)
设x_(0):=1(空积),且对于n>=1:
x_(n):=Product_{k=0..n-1}(x-k),称为阶乘项(Boole,1970)或阶乘多项式(Elaydi,2005:p.60),以及x_(-n):=1/[Product_{k=0..n-1{(x+k)]。
然后,对于n>=1:x_(n)=Sum_{k=1..n}T(n,k)*x^k,1/[x_(-n)]=Sum_{k=1A008277号(n,k)*x(k),其中A008277号(n,k)是第二类斯特林数。
行和(有符号值或绝对值)是和{k=1..n}T(n,k)=0^(n-1),和{k=1..n}|T(n、k)|=T(n+1)=n!.(结束)
s(n,m)=((-1)^(n-m)/n)*和{i=0..m-1}C(2*n-m-i,m-i-1)*2008年5月17日(n-m+1,n-m-i+1)。 -弗拉基米尔·克鲁奇宁2018年2月14日
正交关系:和{i=0..n}i^p*和{j=k.n}(-1)^(i+j)*二项式(j,i)*斯特林1(j,k)/j!=δ(p,k),i,k,p<=n,n>=1。 -Leonid Bedratyuk公司2020年7月27日
发件人紫郑芳2020年12月28日:(开始)
求和{k=1..n}(-1)^k*k*T(n,k)=-T(n+1,2)。
求和{k=1..n}k*T(n,k)=(-1)^n*(n-2)!当n>=2时,=T(n-1,1)。(结束)
第n行多项式=n!*求和{k=0..2*n}(-1)^(n+k)*二项式(x,k)*二项式(x-1,2*n-k)=n!*求和{k=0..2*n+1}(-1)^(n+k+1)*二项式(x,k)*二项式(x-1,2*n+1-k)。 -彼得·巴拉2024年3月29日
例子
|s(3,2)|=3,对于三个无序2-森林,有三个顶点和两个增加(非平面)树:(1),(2,3)),(2),(1,3))(3),(1,2))。
三角形开始:
1
-1, 1
2, -3, 1
-6, 11, -6, 1
24, -50, 35, -10, 1
-120, 274, -225, 85, -15, 1
720, -1764, 1624, -735, 175, -21, 1
-5040, 13068, -13132, 6769, -1960, 322, -28, 1
40320, -109584, 118124, -67284, 22449, -4536, 546, -36, 1
同一三角形的另一个版本,来自乔格·阿恩特,2009年10月5日:(开始)
s(n,k):=恰好具有k个循环的n个元素的置换数(“斯特林循环数”)
n |总m=1 2 3 4 5 6 7 8 9
-+-----------------------------------------------------
1| 1 1
2| 2 1 1
3| 6 2 3 1
4| 24 6 11 6 1
5| 120 24 50 35 10 1
6| 720 120 274 225 85 15 1
7| 5040 720 1764 1624 735 175 21 1
8| 40320 5040 13068 13132 6769 1960 322 28 1
9| 362880 40320 109584 118124 67284 22449 4536 546 36 1
(结束)
|s(4,2)|=11是由(1),(23)(24)),(2),(13)(14),(3),(12)(14; ((1),(2,3,4)),((2),(1,2,3)), ((3), (1,2,4)), ((4),(1,2,3)); ((1,2),(3,4)), ((1,3),(2,4)), ((1,4),(2,3)). -Wolfdieter Lang公司,2008年2月22日
MAPLE公司
与(组合):seq(seq(stirling1(n,k),k=1..n),n=1..10); #零入侵拉霍斯2007年6月3日
对于从0到9的i,执行seq(stirling1(i,j),j=1。.i)od; #零入侵拉霍斯2007年11月29日
数学
压扁[表[StirlingS1[n,k],{n,1,10},{k,1,n}]](*Jean-François Alcover公司2011年5月18日*)
扁平@桌子[系数[积[x-k,{k,0,n-1}],x,范围[n]],{n,范围[10]}](*奥利弗·塞佩尔2024年6月11日*)
a[n,n]:=1;a[n,0]:=0;a[0,k_]:=0;
a[n,k]:=a[n、k]=a[n-1,k-1]+(n-1)a[n-1,k];
扁平@桌子[(-1)^(n-k)a[n,k],{n,1,10},{k,1,n}](*奥利弗·塞佩尔2024年6月11日*)
黄体脂酮素
(PARI)T(n,k)=如果(n<1,0,n!*polcoeff(二项式(x,n),k))
(PARI)T(n,k)=如果(n<1,0,n!*polceoff(polceof((1+x+x*O(x^n))^y,n),k))
(PARI)vecstirling(n)=Vec(factorback(vector(n-1,i,1-i*'x)))/*(将所有s(n,k)作为向量返回的函数)*/\\Bill Allombert(Bill.Allombert-(AT)math.u-bordeaux1.fr),2009年3月16日
(最大值)create_list(stirling1(n+1,k+1),n,0,30,k,0,n); /*伊曼纽尔·穆纳里尼2012年6月1日*/
(哈斯克尔)
a008275 n k=a008275_tabl!!(n-1)!!(k-1)
a008275_row n=a008275-tabl!!(n-1)
a008275_tabl=映射尾部$tail a048994_tabl
--莱因哈德·祖姆凯勒2013年3月18日
交叉参考
囊性纤维变性。A048994号,A008277号(第二类斯特林数),A039814号,A039815号,A039816号,A039817号,A048993号,A087748号.
囊性纤维变性。A084938号,A094216号,A008276号(行反转),A008277号,A008278号,A094262号,A121632号,A130534型(未签名版本),A087755号(三角形模块2),A000142号(绝对值的行和)。
关键词
签名,,美好的,核心
作者
状态
经核准的