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

 

标志
提示
(来自的问候整数序列在线百科全书!)
搜索: 编号:a237593
显示1-1个结果(共1个)。 第页1
    排序:关联|参考文献||修改的|创建     格式:长的|短的|数据
A237593型 按行读取的三角形,其中第n行列出A237591型然后是同一行但顺序相反的元素。 +0
500
1, 1, 2, 2, 2, 1, 1, 2, 3, 1, 1, 3, 3, 2, 2, 3, 4, 1, 1, 1, 1, 4, 4, 2, 1, 1, 2, 4, 5, 2, 1, 1, 2, 5, 5, 2, 2, 2, 2, 5, 6, 2, 1, 1, 1, 1, 2, 6, 6, 3, 1, 1, 1, 1, 3, 6, 7, 2, 2, 1, 1, 2, 2, 7, 7, 3, 2, 1, 1, 2, 3, 7, 8, 3, 1, 2, 2, 1, 3, 8, 8, 3, 2, 1, 1, 1, 1, 2, 3, 8 (列表;图表;参考;;历史;文本;内部格式)
抵消
1,3
评论
第n行是2*n的回文组合。
T(n,k)也是正方形网格第一象限上Dyck路径中第k个线段的长度,连接x轴和y轴,从(n,0)到(0,n),从垂直方向的线段开始,参见示例。
猜想1:第n条Dyck路径下的面积等于A024916号(n) ,所有正整数<=n的所有除数之和。
如果猜想为真,则第n条Dyck路径表示第n行元素交替和之后的边界段A236104型
猜想2:两条相邻的Dyck路径从不相交(用手检查,直到n=128),因此第n条Dyck道路和(n-1)-st Dyck路之间的总面积等于sigma(n)=A000203号(n) n的除数之和。
之间的联系A196020型A237271号如下所示:A196020型-->A236104型-->A235791型-->A237591型-->此序列-->A239660型-->A237270型-->A237271号
编写了PARI脚本区域(n)和chkcross(n)来检查这两个属性,并已运行到n=10000-米歇尔·马库斯2014年3月27日
来自的评论富兰克林·T·亚当斯-沃特斯关于与sigma对称表示有关的序列A235791型和相关序列,2014年3月31日:(开始)
开始的地方是A235791型,这很简单。然后转到A237591型,也很简单,并且A237593型,仍然非常简单。
然后需要解释A237593型作为Dyck路径。这种解释是根据行程长度进行的,因此2,1,1,2表示向上两次、向下一次、向上一次和向下两次。因为A237593型对称且长度均匀,此路径将始终对称。
现在令人惊讶的事实是,n的Dyck路径所包围的区域(位于其侧面)总是包括n-1的包围区域;加上的平方数是sigma(n)。
最后,看看由n而非n-1封闭的连接区域;这些区域的大小是sigma的对称表示。(结束)
已经编写了Mathematica函数,通过n=30000验证了这两个属性-哈特穆特·F·W·霍夫特2014年4月7日
对于第n组,位于第一对角线上的单元数似乎等于A067742号(n) ,n的中间除数-米歇尔·马库斯2014年6月21日
选中的米歇尔·马库斯的猜想,其中两个Mathematica函数的最大值为n=100000,有关详细信息,请参见A240542型. -哈特穆特·F·W·霍夫特2014年7月17日
A003056号(n) 也是与第n行三角形相关的Dyck路径的峰值数-奥马尔·波尔2015年11月3日
与行关联的Dyck路径的峰值数A000396号(n) 这个三角形的第n个梅森素数A000668号(n) ,因此梅森素数在以下描述的金字塔中以两种方式可见A245092型. -奥马尔·波尔2016年12月19日
当n接近无穷大时的极限(三角形第n行中描述的Dyck路径下的面积除以n^2)等于Pi^2/12=zeta(2)/2。(参见。A072691号.) -奥马尔·波尔2021年12月18日
等腰三角形和阶梯金字塔之间的联系是因为这个物体也可以被解释为弹出卡-奥马尔·波尔2022年11月9日
链接
罗伯特·普莱斯,n=1..15008时的n,a(n)表(行n=1..412,扁平)
奥马尔·波尔,无限阶梯金字塔
配方奶粉
设j(n)=楼层((sqrt(8n+1)-1)/2),然后T(n,k)=A237591型(n,k),如果k≤j(n);否则T(n,k)=A237591型(n,2*j(n)+1-k)-哈特穆特·F·W·霍夫特,2014年4月7日(修正人奥马尔·波尔2015年5月31日)
例子
三角形开始:
n个
1 | 1, 1;
2 | 2, 2;
3 | 2, 1, 1, 2;
4 | 3, 1, 1, 3;
5|3,2,2,3;
6 | 4, 1, 1, 1, 1, 4;
7 | 4, 2, 1, 1, 2, 4;
8 | 5, 2, 1, 1, 2, 5;
9 | 5, 2, 2, 2, 2, 5;
10 | 6, 2, 1, 1, 1, 1, 2, 6;
11 | 6, 3, 1, 1, 1, 1, 3, 6;
12 | 7, 2, 2, 1, 1, 2, 2, 7;
13 | 7, 3, 2, 1, 1, 2, 3, 7;
14 | 8, 3, 1, 2, 2, 1, 3, 8;
15 | 8, 3, 2, 1, 1, 1, 1, 2, 3, 8;
16 | 9, 3, 2, 1, 1, 1, 1, 2, 3, 9;
17 | 9, 4, 2, 1, 1, 1, 1, 2, 4, 9;
18 | 10, 3, 2, 2, 1, 1, 2, 2, 3, 10;
19 | 10, 4, 2, 2, 1, 1, 2, 2, 4, 10;
20 | 11, 4, 2, 1, 2, 2, 1, 2, 4, 11;
21 | 11, 4, 3, 1, 1, 1, 1, 1, 1, 3, 4, 11;
22 | 12, 4, 2, 2, 1, 1, 1, 1, 2, 2, 4, 12;
23 | 12, 5, 2, 2, 1, 1, 1, 1, 2, 2, 5, 12;
24 | 13, 4, 3, 2, 1, 1, 1, 1, 2, 3, 4, 13;
...
第8行和第9行在第一象限中被解释为Dyck路径的图示,以及sigma(9)=5+3+5=13的对称表示的图示,如下所示:
是的,是的
. .
. ._ _ _ _ _ _ _ _ _ _ 5
.____.||_____|
.|.|_|__
. |_ . | |_ |
. |_ _ . |_ _ |_|_ _ 5
. | . | | |
.面积=56|。面积=69|||
. | . | | |
. | . | | |
. . . . . . . . | . x…………|。x个|_|
图1图2图3
图1。对于n=8,三角形的第八行是[5,2,1,1,2,5],对称Dyck路径下的面积等于A024916号(8) =56。
图2。对于n=9,三角形的第9行是[5,2,2,2,5],对称Dyck路径下的面积等于A024916号(9) = 69.
图3。sigma(9)的对称表示:在两条对称Dyck路径之间有三个大小为[5,3,5]的区域(或部分)。
9的除数之和是1+3+9=A000203号(9) = 13. 另一方面,Dyck路径下的面积之差等于sigma(9)=69-56=5+3+5=13的对称表示部分之和,等于9的除数之和。
第一象限中Dyck路径的初始项图解:
(第n行=1..28)
. _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
|_ _ _ _ _ _ _ _ _ _ _ _ _ _ |
|_ _ _ _ _ _ _ _ _ _ _ _ _ _| |
|_ _ _ _ _ _ _ _ _ _ _ _ _ | |
|_ _ _ _ _ _ _ _ _ _ _ _ _| | |
|_ _ _ _ _ _ _ _ _ _ _ _ | | |_ _ _
|_ _ _ _ _ _ _ _ _ _ _ _| | |_ _ _ |
|_ _ _ _ _ _ _ _ _ _ _ | | |_ _ | |_
|_ _ _ _ _ _ _ _ _ _ _| | |_ _ _| |_ |_
|_ _ _ _ _ _ _ _ _ _ | | |_ _| |_
|_ _ _ _ _ _ _ _ _ _| | |_ _ |_ |_ _ |_ _
|_ _ _ _ _ _ _ _ _ | |_ _ _| |_ | |_ _ |
|_ _ _ _ _ _ _ _ _| | |_ _ |_ |_|_ _ | |
|_ _ _ _ _ _ _ _ | |_ _ |_ _|_ | | | |_ _ _ _ _
|_ _ _ _ _ _ _ _| | | | |_ _ | |_|_ _ _ _ _ |
|_____|||
|_____|||
|_ _ _ _ _ _ | |_ |_ |_ | |_|_ _ _ _ | | | | | | |
|_ _ _ _ _ _| |_ _| |_ | |_ _ _ _ | | | | | | | | |
|_ _ _ _ _ | |_ _ | |_ _ _ _ | | | | | | | | | | |
|_ _ _ _ _| |_ | |_|_ _ _ | | | | | | | | | | | | |
|_ _ _ _ |_ _|_ |_ _ _ | | | | | | | | | | | | | | |
|_ _ _ _| |_ | |_ _ _ | | | | | | | | | | | | | | | | |
|_ _ _ |_ |_|_ _ | | | | | | | | | | | | | | | | | | |
|_ _ _| |_ _ | | | | | | | | | | | | | | | | | | | | |
|_ _ |_ _ | | | | | | | | | | | | | | | | | | | | | | |
|_ _|_ | | | | | | | | | | | | | | | | | | | | | | | | |
|_ | | | | | | | | | | | | | | | | | | | | | | | | | | |
|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|
n: 1 2 3 4 5 6 7 8 9 10..12..14..16..18..20..22..24..26..28
图中第一组n个对称区域的总面积(以及单元总数)似乎等于A024916号(n) ,所有正整数<=n的所有除数之和。
图中第n组对称区域的总面积(以及细胞总数)似乎等于σ(n)=A000203号(n) (手动检查n=128)。
发件人奥马尔·波尔2015年8月18日:(开始)
上图也是中描述的阶梯金字塔的俯视图A245092型这也是所述楼梯的俯视图A244580型,在这两种情况下,该图均表示结构的前28层。请注意,该图包含(并源自)一个隐藏模式,如下所示。
将初始术语表示为等腰三角形:
第_行_
1 _|1|1|_
2 _|2 _|_ 2|_
3 _|2 |1|1| 2|_
4 _|3 _|1|1|_ 3|_
5 _|3 |2 _|_ 2| 3|_
6 _|4 _|1|1|1|1|_ 4|_
7 _|4 |2 |1|1| 2| 4|_
8 _|5 _|2 _|1|1|_ 2|_ 5|_
9 _|5 |2 |2 _|_ 2| 2| 5|_
10 _|6 _|2 |1|1|1|1| 2|_ 6|_
11 _|6 |3 _|1|1|1|1|_ 3| 6|_
12 _|7 _|2 |2 |1|1| 2| 2|_ 7|_
13_|7|3|2_|1|_2|3|7|_
14 _ | 8 _ | 3 _ | 1 | 2 _ | 2 | 1 | 3 | 8|_
15 _|8 |3 |2 |1|1|1|1| 2| 3| 8|_
16 |9 |3 |2 |1|1|1|1| 2| 3| 9|
...
此图是序列的简单表示。
图每侧第n级水平线段的数量等于A001227号(n) ,n的奇数除数。
图表左侧的水平线段数量加上右侧的水平线段的数量等于A054844号(n) ●●●●。
图中第n层垂直线段的总数等于A131507号(n) ●●●●。
请注意,这种对称图案也出现在所述阶梯金字塔的前视图中A245092型,这与西格玛有关A000203号、divisors函数和其他相关序列。该图表示金字塔的前16层。(结束)
数学
行[n_]:=楼层[(Sqrt[8n+1]-1)/2]
s[n_,k_]:=天花板[(n+1)/k-(k+1)/2]-天花板[(n+1)/(k+1)-(k+2)/2]
f[n_,k_]:=如果[k<=行[n],s[n,k],s[n,2行[n]+1-k]]
表格形式[表格[f[n,k],{n,1,50},{k,1,2行[n]}](*哈特穆特·F·W·霍夫特2014年4月8日*)
黄体脂酮素
(PARI)行(n)={my(orow=row237591(n));向量(2*#orow,i,如果(i<=#orow、orow[i]、orow[2*#orow-i+1]));}
面积(n)={my(rown=row(n));冲浪=0;h=n;奇数=1;对于(i=1,#row,if(奇数,冲浪+=h*rown[i],h-=rown[i;);奇数=!奇数;);冲浪;}
高度(v,n)={vh=向量(n);ivh=1;h=n;奇数=1;对于(i=1,#v,if(奇数,对于(j=1,v[i],vh[ivh]=h;ivh++),h-=v[i';);奇数=!奇数;);vh;}
isabove(hb,ha)={对于(i=1,#hb,如果(hb[i]<ha[i],返回(0)););返回(1);}
chkcross(nn)={hga=concat(高度(行(1),1),0);对于(n=2,nn,hgb=高度(行,n),n);如果(!isabove(hgb,hga),打印(“pb cross at n=”,n));hga=concat(hgb,0));}\\米歇尔·马库斯2014年3月27日
(Python)
从sympy导入sqrt
导入数学
定义行(n):返回int(math.floor((sqrt(8*n+1)-1)/2)
定义s(n,k):返回int(math.ceil((n+1)/k-(k+1)/2))-int
def T(n,k):如果k<=行(n)其他s(n,2*row(n)+1-k),则返回s(n、k)
对于范围(1,11)中的n:打印[T(n,k)对于范围(1,2*行(n)+1)中的k]#因德拉尼尔·戈什2017年4月21日
交叉参考
第n行长度为2*A003056号(n) ●●●●。
行总和给出A005843号,n>=1。
第k列从第行开始A008805号(k-1)。
第1列=右边框=A008619号,n>=1。
平分法在A259176型,A259177型
有关更多信息,请参阅A262626型
关键词
非n,标签,
作者
奥马尔·波尔2014年2月22日
状态
经核准的
第页1

搜索在0.007秒内完成

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

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

上次修改时间:2024年4月26日12:27 EDT。包含371997个序列。(在oeis4上运行。)