登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A296167型 行读取的三角形:T(n,k)是长度为k的n的圆形组成数,因此相邻的两部分不相等(1<=k<=n)。 0
1, 1, 0, 1, 1, 0, 1, 1, 0, 0, 1, 2, 0, 0, 0, 1, 2, 2, 1, 0, 0, 1, 3, 2, 1, 0, 0, 0, 1, 3, 4, 3, 0, 0, 0, 0, 1, 4, 6, 4, 2, 1, 0, 0, 0, 1, 4, 8, 11, 4, 1, 0, 0, 0, 0, 1, 5, 10, 13, 10, 3, 0, 0, 0, 0, 0, 1, 5, 14, 22, 18, 10, 2, 1, 0, 0, 0, 0, 1, 6, 16, 29, 32, 20, 6, 1, 0, 0, 0, 0, 0, 1, 6, 20, 44, 50, 40, 18, 4, 0, 0, 0, 0, 0, 0 (列表桌子图表参考历史文本内部格式)
抵消
1,12
评论
这里所说的“循环合成”是指在一个圆上具有部分的合成的等价类,如果一个合成是另一个合成的循环移位,那么两个合成是等价的。我们可以称之为“圆形卡利茨作品”。
下面T(n,k)的公式涉及条件的指示函数,因为不幸的是,大多数作者都认为长度为1的圆形成分是Carlitz(尽管严格来说,它们不是这样的,因为如果我们绕着圆走,这样的成分中的单个数字是“紧挨着它自己”的)。
为了证明下面的两个g.f.彼此相等,使用几何级数公式,在必要的地方改变求和的顺序,并使用结果Sum_{n>=1}(phi(n)/n)*log(1+x^n)=Sum_{n>=1}(phi(n)/n)*log(1-x^(2*n))-Sum_{n>=1}(phi(n)/n)*log(1-x^n)=-x^2/(1-x^2)+x/(1-x)=x/(1-x^ 2)。
链接
P.Hadjicostas,正整数的循环、二面体和对称Carlitz组成《整数序列杂志》,20(2017),第17.8.5条。
配方奶粉
T(n,k)=[k=1]+(1/k)*和{d|gcd(n,k)}φ(d)*A293595型(n/d,k/d)*[k/d<>1],其中[]是艾弗森支架。
G.f.:求和{n,k>=1}T(n,k)*x^n*y^k=x*y/(1-x)-求和{s>=1}(phi(s)/s)*f(x^s,y^s),其中f(x,y)=log(1-求和{n>=1}x^n*y/(1+x^n**y))+Sum{n>=1}log(1+x ^n*y)。
通用公式:-求和{s>=1}(x*y)^(2*s+1)/(1-x^(2%s+1))。
例子
三角形T(n,k)(行n>=1,列k=1..n)开始于:
1;
1,0;
1, 1, 0;
1, 1, 0, 0;
1, 2, 0, 0, 0;
1, 2, 2, 1, 0, 0;
1、3、2、1、0、0、0;
1, 3, 4, 3, 0, 0, 0, 0;
1, 4, 6, 4, 2, 1, 0, 0, 0;
1, 4, 8, 11, 4, 1, 0, 0, 0, 0;
...
情况n=6:
包含的圆形成分包括:
k=1:6;=>T(6.1)=1
k=2:15,24;=>T(6.2)=2
k=3:123321;=>T(6.3)=2
k=4:1212;=>T(6.4)=1
k=5:无;=>T(6.5)=0
k=6:无;=>T(6,6)=0
数学
nmax=14;gf(第个,共个A293595型*)=总和[x^(2j)y^2/;
A293595型[n_,k_]:=级数系数[gf,{x,0,n},{y,0,k}];
T[n_,k_]:=布尔[k==1]+(1/k)和[EulerPhi[d]A293595型[n/d,k/d]*Boole[k/d!=1],{d,除数[GCD[n,k]]}];
表[T[n,k],{n,1,nmax},{k,1,n}]//压扁(*Jean-François Alcover公司2020年7月26日*)
交叉参考
行总和以A106369号.
关键词
非n,
作者
Petros Hadjicostas公司2017年12月7日
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年4月19日08:20。包含371782个序列。(在oeis4上运行。)