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

 


搜索: a079436-编号:a079439
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
以10为基数写入的2n个二进制数字的完全平衡序列列表。每个项的二进制展开包含n个0和n个1,并且从左到右读取(从最高有效位到最低有效位),0的数量永远不会超过1的数量。
+10
374
0, 2, 10, 12, 42, 44, 50, 52, 56, 170, 172, 178, 180, 184, 202, 204, 210, 212, 216, 226, 228, 232, 240, 682, 684, 690, 692, 696, 714, 716, 722, 724, 728, 738, 740, 744, 752, 810, 812, 818, 820, 824, 842, 844, 850, 852, 856, 866, 868, 872, 880, 906, 908, 914
抵消
0,2
评论
二进制Dyck-语言(A063171号)十进制表示。
这些编码宽度为2n的山脉、n+1个顶点和n个边的有根平面树、n个节点的平面种植树、n+1片叶子的有根的平面二叉树(2n个边、2n+1个点、n个内部节点、包含根)、Dyck单词、二元括号、括号、,加泰罗尼亚语系中的非交叉握手和分隔以及许多其他组合结构,列举如下A000108号.
和{k=1..n}a(k)/n^(5/2)有界吗-贝诺伊特·克洛伊特2002年8月18日
此列表是A061854美元A031443号. -杰森·金伯利2013年1月18日
序列确实从n=0开始,因为在Dyck语言的二进制解释中(例如,括号中“1”代表“(”,“0”代表“)”),如果(0)=0,那么它将代表“0”和“1”平衡的空字符串(因此括号是平衡的)-丹尼尔·福格斯2013年2月17日
对于n>=1,似乎可以通过将第n行长度为A000108号(n) 由B(n,0)递归定义=A020988号(n) 且B(n,k)=B(n、k-1)+D(n、k-1),其中D(x,y)=(2^(2*(A089309年(B(x,y))-1)-1)*(2/3)+2^A007814号(B(x,y))-劳尔·马里奥·托雷斯·席尔瓦米歇尔·马库斯2020年5月1日
这种编码与标准有序树编号的排序有关,因为(1)标准有序树的二进制编码由以下公式给出A358505型,而(2)按二进制编码排序的树的标准排名由下式给出A358523型. -古斯·怀斯曼2022年11月21日
参考文献
Donald E.Knuth,《计算机编程的艺术》,第4A卷:组合算法,第1部分,Addison-Wesley,2011年,第7.2.1.6节,第443页(算法P)。
链接
保罗·沙萨(Paolo Xausa),n=0..23713的n,a(n)表(Franklin T.Adams-Waters的术语0..2500)。
杰森·贝尔、托马斯·芬恩·利德贝特和杰弗里·沙利特,正则语言逼近的加法数理论,arXiv:1804.07996[cs.FL],2018年。
N.G.De Bruijn和B.J.M.Morselt,关于梧桐树的一点注记,J.组合理论2(1967),27-34。
Gennady Eremin,平衡括号、字典序列和Dyck多项式的动力学,arXiv:1909.07675[math.CO],2019年。
R.K.盖伊,第二强大数定律,数学。Mag,63(1990),第1期,3-20。
安蒂·卡图恩,加泰罗尼亚排名和取消排名功能,OEIS Wiki。
Dana G.Korssjoen、Biyao Li、Stefan Steinerberger、Raghavendra Tripathi和Ruimin Zhang,用图论寻找实数序列的结构:一个问题列表,arXiv:2012.04625[math.CO],2020-2021。
D.L.Kreher和D.R.Stinson,组合算法、生成、枚举和搜索,CRC出版社,1998年。
托马斯·芬恩·利德贝特,计数、加法和正则语言,加拿大安大略省滑铁卢大学硕士论文,2018年。
R.J.Mathar,平面上不相交圆的拓扑可区别集,arXiv:1603.00077[math.CO],2016年。
R.P.斯坦利,希帕克斯、普鲁塔克、施罗德和霍夫,美国数学。《月刊》,第104卷,第4期,第344页,1997年。
保罗·沙萨(Paolo Xausa),Knuth算法P和U的Mathematica实现.
平面根树编码的索引项(该序列的各种子集)。
加泰罗尼亚自同构诱导的信号突变索引条目(作用于这些结构的各种双射运算引起的自然数排列)
Lisp的列表函数诱导的序列的索引项(这些代码或相应结构上的各种其他操作所产生的序列)。
例子
a(19)=226_10=11100010_2=A063171号(19) 作为括号表达式:(()))(),作为二叉树,从左到右以深度第一的方式进行,二进制展开中的1代表内部(分支)节点,0代表叶:
0 0
\ /
1 0 0 (0)
\ / \ /
1 1
\ /
1
注意,在这个编码方案中,二叉树的最后一片叶子(在括号中)是隐式的。如果我们将其内部节点(1)解释为cons单元,每个向左分支是“car”,向右分支是对的“cdr”部分,终端节点(0)是()的(NIL),则该树也可以转换为Lisp、Scheme和Prolog等语言中的特定S表达式。这样我们就有了(cons(cons)(())()(cons,)())='((()。() ) . () ) . ( () . ())=(((())()),即与上面相同的括号表达式,但被额外的括号包围。此映射由Scheme函数执行A014486号->括号如下。
发件人古斯·怀斯曼2022年11月21日:(开始)
术语和相应的有序根树开始于:
0:o(零)
2:(o)
10:(oo)
12:(o)
42:(ooo)
44:(o(o))
50:(o)o)
52:((oo))
56:((o))
170:(oooo)
172:(oo(o))
178:(o(o)o)
180:(o(oo))
184:(o(o))
(结束)
MAPLE公司
#Maple程序CatalanUnrank改编自CAGES书籍的算法3.24和Ruskey论文中的Scheme函数CatalanOnrank。有关相应的c程序,请参见a089408.c程序。
CatalanSequences:=proc(upto_n)local n,a,r;a:=[];对于n从0到upto_n do,对于r从0到(二项式(2*n,n)/(n+1))-1 doa:=[op(a),CatalanUnrank(n,r)];od;od;返回a;结束;
CatalanUnrank:=proc(n,rr)local r,x,y,lo,m,a;r:=(二项式(2*n,n)/(n+1))-(rr+1);y:=0;lo:=0;a:=0;对于x从1到2*n做m:=Mn(n,x,y+1);如果(r<=lo+m-1),则y:=y+1;a:=2*a+1;否则lo:=lo+m;y:=y-1;a:=2*a;fi;od;返回a;结束;
Mn:=(n,x,y)->二项式(2*n-x,n-((x+y)/2))-二项式;
#备选方案:
bin:=n->ListTools:-反转(转换(n,base,2)):
isA014486:=进程(n):本地B,s,B;s:=0;
如果n>0,则
对于bin(n)do中的b
s:=s+ifelse(b=1,1,-1);
如果0>s,则返回假fi;
od fi;
s=0结束:
选择(isA014486,[seq(0..240)])#彼得·卢什尼2024年3月13日
数学
猫[n]:=(2 n)/不/(n+1)!;b2d[li_List]:=折叠[2#1+#2&,0,li]
d2b[n-Integer]:=整数位数[n,2]
树[n_]:=联接[表[1,{i,1,n}],表[0,{i,1,n}]]
nexttree[t_]:=展平[Reverse[t]/。{a___,0,0,1,b__}:>反转[{排序[{a,0}]//反转,1,0,b}]]
wood[n_/;n<8]:=嵌套列表[nexttree,tree[n],cat[n]-1]
表[反面[b2d/@wood[j]],{j,0,6}]//压扁
tbQ[n_]:=模块[{idn2=整数位数[n,2]},计数[idn2,1]==长度[idn2]/2和最小值[Accumulate[idn2/.{0->-1}]>=0];加入[{0},选择[Range[900],tbQ]](*哈维·P·戴尔2013年7月4日*)
balancedQ[0]=真;balancedQ[n_]:=模[{s=0},Do[s+=如果[b==1,1,-1];如果[s<0,返回[False]],{b,IntegerDigits[n,2]}];返回[s==0]];A014486号=FromDigits/@IntegerDigits[Select[Range[0,1000],balancedQ]](*Jean-François Alcover公司2016年3月5日*)
A014486Q[0]=正确;A014486Q[n_]:=Catch[Fold[If[#<0,Throw[False],If[#2==0,#-1,#+1]]&,0,整数位数[n,2]]==0];选择[范围[0,880],A014486Q](*郑焕敏2016年12月11日*)
(*使用Knuth的TAOCP第7.2.1.6节中的算法P-参见参考和链接。*)
alist[n_]:=块[{a=扁平[表[{1,0},n]],m=2*n-1,j,k},
FromDigits[#,2]和/@Reap[
虽然[正确,
母猪[a];a[[m]]=0;
如果[a[[m-1]]==0,
a[[--m]]=1,j=m-1;k=2*n-1;
当[j>1&&a[j]]==1时,a[[j-]]=0;a[[k]]=1;k=2];
如果[j==1,则中断[]];
a[[j]]=1;m=2*n-1]
]][[2, 1]]];
加入〔{{0},{2}},数组〔alist,4,2〕〕(*保罗·沙萨2024年3月16日*)
黄体脂酮素
(MIT/GNU方案)(定义(A014486号n) (让(w/2(A072643号n) )(加泰罗尼亚Unrank w/2(如果(零?n)0(-n(A014137号(-1+w/2)))
;;; 这是上的行A009766号“y”是的第“m”行上的位置A009766号,两者均>=0。生成的完全平衡二进制字符串被计算为变量“a”:
(定义(CatalanUnrank大小等级)(让循环((a 0)(m(-1+大小)))(y大小)(等级等级)(c(A009766号(-1+尺寸))(如果(负?m)a(如果(>=等级c)(回路(1+(*2a))m(-1+y)(-等级c)(A009766号m(-1+y))(回路(*2a)(-1+m)y秩(A009766号(-1+m)年))
;;; 这会将完全平衡的二进制字符串“n”转换为相应的S表达式:
(定义(A014486号->括号n)(let loop((n n)(stack(list(list))))(cond((zero?n)(car stack))((zero-(module n 2))(loop(floor->exact(/n 2))
(定义(cons2top!堆栈)(let((ex-cdr(cdr-stack)))(set-cdr!堆栈(car-ex-cdr)))
(PARI)是A014486(n)=my(v=二进制(n),t=0);对于(i=1,#v,t+=if(v[i],1,-1);如果(t<0,返回(0));t==0\\查尔斯·格里特豪斯四世,2011年6月10日
(PARI)a_rows(N)=我的(a=Vec([[0]],N));对于(r=1,N-1,my(b=a[r],c=List());foreach(b,t,my(v=if(t,估值(t,2),0));对于(i=0,v,listput(~c,(t<<2)+(2<<i)));a[r+1]=Vec(c));a\\路德·H·G·范托尔,2024年5月16日
(SageMath)
定义为_A014486号(n) :
B=箱(n)[2::],如果n!=0其他0
s=0
对于b中的b:
如果b=='1'else-1,则s+=1
如果0>s:返回False
返回0==s
定义A014486号_列表(n):如果是,则返回[k代表(1..n)中的k_A014486号(k) ]
A014486号_列表(888)#彼得·卢什尼2012年8月10日
(Python)
从itertools导入计数,islice
从sympy.utilities.iterables导入multiset_permutations
定义A014486号_gen():#术语生成器
产量0
对于计数(1)中的l:
对于multiset_permutations('0'*l+'1'*(l-1))中的s:
c、 m=0,(l<<1)-1
对于范围(m)内的i:
如果s[i]==“1”:
c+=2
如果c<i:
打破
其他:
产量(1<<m)+int(''.join(s),2)
A014486号_list=列表(岛屿(A014486号_发电机(),30))#柴华武2023年11月28日
交叉参考
特性功能:A080116号.逆函数:A080300型.
二进制宽度2n的项由以下公式计算A000108号(n) ●●●●。的子集A036990号.每座山的山峰数(有根平面普通树的叶子数):A057514号。二进制扩展中的尾随零数:A080237号第一个区别:A085192号.
囊性纤维变性。A020988号,A089309号,A007814号.
有序树的分支按A057515号.
有序树的边缘按A072643号.
有序树的Matula-Goebel数为A127301号.
有序树的标准排名为A358523型.
有序树的深度为A358550型.
有序树的节点按A358551型.
关键词
非n,美好的,容易的,基础
扩展
来自的其他评论安蒂·卡图恩2000年8月11日和2004年5月25日
添加了a(0)=0(已于2011年6月删除),乔格·阿恩特2013年2月27日
状态
经核准的
限制增长字符串列表_{k-1}一个_{k-2}。。。一个_{2} 一个_{1} 当k=2和a1在{0,1}或k>2时,a{k-1}=1和a{j+1}>=1+aj,对于k-1>j>0。
+10
14
0, 1, 10, 11, 12, 100, 101, 110, 111, 112, 120, 121, 122, 123, 1000, 1001, 1010, 1011, 1012, 1100, 1101, 1110, 1111, 1112, 1120, 1121, 1122, 1123, 1200, 1201, 1210, 1211, 1212, 1220, 1221, 1222, 1223, 1230, 1231, 1232, 1233, 1234, 10000, 10001, 10010, 10011
抵消
0,3
评论
我们将非负整数写成限制增长字符串(J.Arndt在他的书fxtbook.pdf第325页中这样称呼),这样加泰罗尼亚数字(参见。A000108号)表示为:1=1,10=2,100=5,1000=14等,10…0(带k个零)=第k个加泰罗尼亚数字。一旦限制增长字符串的条目增长到9以上,就需要逗号或括号来分隔这些条目。精确定义见Dejter(2017)。
在“中层记数系统”一文中,限制增长字符串(RGS)被定义为以0或1开头的序列,右边的每个连续数至少为零,最多比它的最左边的相邻数大一个。此外,除了情况a(0)外,RGS是限制增长的有限整数序列,它总是以1作为第一个元素b_1在位置1开始,从那时起,序列中的每个连续元素b_{i+1}被限制在[0,(b_i)+1]范围内。
该序列以大小和字典顺序给出所有此类有限序列,通过连接此类有限序列的整数表示为十进制数(例如,从[1,2,0,1]我们得到1201)。58784这样的序列是[1,2,3,4,5,6,7,8,9,9],因此a(58784)=1234567899,然后是第一个RGS,[1,2,3,4,5,6,7,8,9,10],其中存在大于9的元素,这意味着这里使用的十进制只有在n=58784之前是明确的。请注意,58785=A000108号(11)-1.
此外,如果考虑斯坦利对加泰罗尼亚数字的解释(u),“a_1,a_2,…,a_n的整数序列,使得a_1=0和0<=a_{i+1}<=a{i}+1”(例如,对于C_3,000,001,010,011,012),并丢弃它们的初始零,那么我们与长度较短的Dejter的RGS具有双向对应,它们又与该序列的第一个C_n项(通过丢弃任何前导零)从a(0)到a(C_n-1)进行双向对应。由此得出第k个加泰罗尼亚数字,A000108号(k) (k>0),在这个系统中表示为1后面跟着k-1个零:a(1)=1,a(2)=10,a(5)=100,a(14)=1000,等等,并且还存在精确的A000245型(k) 长度k的RGS。
请注意,这与使用加泰罗尼亚数字的其他数字表示法有何不同,A014418号A244159号因为后者是基本系统,其中一个简单的加权和{k}数字(k)*C(k)恢复自然数n(该系统的第n个数字表示),而这里它是加泰罗尼亚三角中适当项的总和(A009766号,A030237号)通过解开某一组合结构的唯一实例(加泰罗尼亚语的解释之一)获得,它给出了与唯一自然数的对应关系。(另请参阅A014486号.)
此序列不同于“半贪婪加泰罗尼亚表示法”,A244159号,第一次n=10,其中a(10)=120,而A244159号(10) = 121. 这也是第一个位置A244158号(a(n))<>n。
请参阅Dejter的预印本,以获得更正式的数学定义,以及如何将这个数字系统应用于哈维尔关于中间层图中哈密顿圈存在性的猜想。
a(n)由第n+23714行的项的级联(去掉前导零)给出A370222型. -保罗·沙萨2024年2月17日
参考文献
D.E.Knuth,《计算机编程的艺术》,第2卷:半数值算法,第三版,Addison-Wesley,1977年,第192页。
R.P.Stanley,《枚举组合数学》,剑桥,第2卷,1999年,练习19,解释(u)。
链接
安蒂·卡图恩,n=0..16796的n,a(n)表
Joerg Arndt,《计算问题:思想、算法、源代码》,施普林格出版社,2011年;可在此处免费下载:Fxtbook(传真簿).
乔治·坎托,U-ber die einfachen Zahlens系统《Zeitschrift fur Mathematik und Physik》,第14卷(1869年),第121-128页。
伊塔洛·J·德杰特,中等水平的计算系统,arXiv:1012.0995[math.CO],(2014)。
伊塔洛·J·德杰特,限制生长弦在布尔晶格B_(2k+1)两个中间能级中的作用波多黎各大学,2018年。
伊塔洛·J·德杰特,通过有序根树的自然枚举重新解释Mütze定理,arXiv:1911.02100[math.CO],(2019)。
伊塔洛·J·德杰特,一种用于中级图的数字系统,Elec.J.图论与应用(2021),第9卷,第1期,137-156。见第138页。
伊塔洛·J·德杰特,奇数图、一致2-因子和Hamilton圈的边补弧因子分解,arXiv:2203.05326[math.CO],2022。
伊塔洛·J·德杰特,Dyck-path单次更改的整数序列,arXiv:2209.11122[math.CO],2022年。
伊塔洛·J·德杰特,控制所有奇数图的Dyck-word树,arXiv:2306.14249[math.CO],2023年。
Aviezri S.Fraenkel,数词系统的使用和用途,信息计算。,81(1), (1989), 46-61.
Aviezri S.Fraenkel,记数系统,IEEE计算机算术研讨会,(1983年),37-42。
Aviezri S.Fraenkel,记数系统《美国数学月刊》,第92卷,第2期(1985年2月),第105-114页。
安蒂·卡图恩,加泰罗尼亚排名和取消排名功能,OEIS Wiki。
R.P.斯坦利,加泰罗尼亚语和相关数字练习,加泰罗尼亚数字解释(u),第224页(2000年11月1日PDF文件第4/27页)。
配方奶粉
要找到与自然数n对应的RGS,首先要找到最大行索引k,使得加泰罗尼亚三角中的T(k,k-1)<=n(A009766号)如示例部分所示。注意,三角形的最后两列由加泰罗尼亚数字组成(即T(k,k-1)=T(k、k)=A000108号(k) ),这意味着从n中减去的第一个数字是A081290元(n) 作为行的倒数第二个元素出现A081288号(n) -1,在列中A081288号(n) -2。然后,取消排序算法沿对角线向下进行,保持列索引不变,并增加行索引,只要遇到的项的总和小于或等于n。
如果该对角线上遇到的项的总和超过n,则算法跳回到三角形的倒数第二列,但从上次开始的位置再高出一行,只要总和小于等于n,算法就会再次开始对项进行求和。
当算法最终到达零行或小于零列时,结果将是一个数字列表,每个元素都是从每个对角线求和的项数,因此第一个遍历的对角线显示为第一个1(因为第一个对角线永远不会允许多个项),并且从最后遍历的对角线求和的项数出现在列表中的最后一个数。然后将这些数字列表连接为十进制数字。
这些步骤也可以向后播放,以便从这样的数字列表中恢复相应的十进制整数n,从而给出与此“取消排序函数”相反的“排序函数”。
对于n=1..16794(其中16794=A000108号(10) -2),a(n)=A235049型(A071159号(A081291号(n) )-安蒂·卡图恩2014年4月14日
另一种更简单的算法描述安蒂·卡图恩2014年4月21日:(开始)
考虑下面的方形数组,它是加泰罗尼亚三角形A009766号没有其最右边的“重复”列,适当地转置(参见表A030237号,A033184号A054445号):
行|该行上的术语
---+--------------------------
1 | 1 1 1 1 1 ...
2 | 2 3 4 5 6 ...
3 | 5 9 14 20 27 ...
4 | 14 28 48 75 110 ...
5 | 42 90 165 275 429 ...
6 | 132 297 572 1001 1638 ...
要计算第n个RGS,首先搜索最大的加泰罗尼亚语数C_k,它<=n(这是A081290号(n) ,作为行的第一项A081288号(n) -1)。然后,通过贪婪算法,从每一连续行中(向表格顶部移动)选择该行开头仍适合n的尽可能多的项,然后从n中减去它们。从每行开头选择的术语数给出了第n个RGS的每个元素,因此从最上面一行(全部为1)选择的术语数量显示为其最后一个元素。
(结束)
例子
加泰罗尼亚三角T(行,列)=A009766号以第n=0行和第0<=col<=n行开头,如下所示:
第0行:1
第1行:1,1
第2行:1、2、2
第3行:1、3、5、5
第4行:1、4、9、14、14
第5行:1、5、14、28、42、42
第6行:1、6、20、48、90、132、132
(1s最左边的对角线是“列0”)。
...
例如,对于n=38,我们发现A081290号(38)=14,发生在第行A081288号(n) -1=4,列中A081288号(n) -1和A081288号(n) -2,即T(4,4)和T(4,1)。因此,我们减去38-14得到24,我们看到在同一对角线上向下的下一项28太大,无法容纳到相同的和中,所以我们从T(3,2)=5开始向上走一条对角线。这很合适,所以我们现在有24-5=19,同样对角线上的下一项T(4,2)=9也很合适,因此我们现在有19-9=10。同一对角线上的下一个项T(5,2)=14不再适合,所以我们把自己倒回倒数第二列,但从我们开始的对角线开始,又向前走了一步,所以T(2,1)=2,它适合,10-2=8,还有下一个T(3,1)=3,8-3=5,下一个是T(4,1)=4,5-4=1,然后是T(5,1)=5>1,因此,我们跳转到T(1,0)=1,1-1=0,并且T(2,0)=1将不再适合,因此下一次该行将为零,并且算法已经准备好,收集了1(14)、2(5+9)、3(2+3+4)和1(1)个项,它们的总和为14+5+9+2+3+4+1=38,因此a(38)=1231。
对于n=20,相同的算法会得到1(14)、1(5)、0(甚至第1列中的第一个暂定项T(2,1)=2都不适合,因此跳过了),从更高的一行中我们得到了所需的1(1),因此这些总和是14+5+0+1=20,因此a(20)=1101。
数学
A239903full=带[{r=2*Range[2,11]-1},反转[Map[FromDigits[r-#]&,Rest[Select[Subsets[Range[2,11],{10},125477],Min[r-#]>=0&]]]];
A239903全[[;;100]](*保罗·沙萨2024年2月17日*)
黄体脂酮素
(马克西玛)
定义(t(j,k),(阶乘(k+j)*(k-j+1))/(阶乘(j)*阶乘(k+1));
i: 0;
x: 19岁;
z: 0;y: 0;s: 0;
当x>=t(i,i+1)do(i:i+1)时;
y: t(i-1,i);a: 零矩阵(1,i);a[1,1]:1;k: 2个;z: x-y;m: 1;
而(z>0)则(
w: 0,秒:0,p=0,
而(w<=z)do(
p: w、,
w: w+t(i-1-m,i-m+s),
s: 秒+1
),
m: m+1,
a[1,k]:s-1,k:k+1,
z: z-p型
);
打印(a);
(MATLAB)
函数[c]=catrep(z)
i=0;x=0;y=0;s=0;
而z>=(阶乘(2*i+1)*(2))/(阶乘(i)*阶乘(i+2))
i=i+1;
结束
y=(阶乘(2*i-1)*(2))/(阶乘(i-1)*阶乘(i+1));
a=零(1,i);a(1,1)=1;k=2;x=z-y;m=1;
当x>0时
w=0;s=0;p=0;
而w<=x
p=w;
w=w+(阶乘(2*i-2*m+s-1)*(s+2))/(阶乘,i-1-m)*阶乘(i-m+s+1));
s=s+1;
结束
m=m+1;a(1,k)=s-1;k=k+1;x=x-p;
结束
结束
(方案)
(定义(2009年2月_仅_upto_16794 n)(如果(零?n)n(235049英镑(A071159号(A081291号n) );;给出的正确结果最多只能达到16794。
;; 以下给出了n=58784的正确结果。
(定义(A239903型n) (基准最小值(A239903原始n))
(定义(A239903原始n)(如果(零?n)(列表)(让循环((n n)(行(A244160型n) )(列(-(A244160型n) 1))(低(-(A244160型n) 1))(catstring(列表0)))(cond((or(zero?row)(negative?col))(reverse!(cdr catstring))((>(A009766tr row col)n)(loop n srow(-col 1)(-srow 1)(cons 0 catstring
(定义(基线列表为特殊列表)(基线列表->n 10列表))
(定义(基线->n基本边界)(let loop((bex-bex)(n 0))(cond((null?bex)n))(else(loop(cdr-bex))(+(*n基本)(car-bex))))
;; 发件人安蒂·卡图恩2014年4月14日至19日
(茱莉亚)
函数CatalanNumerals(z)
z==0&&返回0
f(n)=阶乘(n)
t(j,k)=div(f(k+j)*(k-j+1),f(j)*f(k+1))
k、 i=2,0
而z>=t(i,i+1)i+=1结束
dig=填土(0,i);挖[1]=1
x=z-t(i-1,i)
m=i-1
当x>0时
w、 s,p=0,0,0
而w<=x
p=w
w+=t(m-1,m+s)
s+=1
结束
挖[k]=s-1
m-=1;k+=1;x=p
结束
s=“”;对于挖掘中的d,s*=字符串(d)结束
解析(Int,s)
结束
[CatalanNumerals(n)for n in 0:42]|>打印ln#彼得·卢什尼2019年11月10日
(PARI)\\适用于n<58786(=A000108号(11)).
nxt(w)=如果(w[1]==#w,向量(#w+1,i,i>#w),my(k=1);而(w[k]>w[k+1),w[k]=0;k++);w[k]++;w)
seq(n)={my(a=向量(n),w=[1]);a[1]=0;对于(i=2,#v,a[i]=来自数字(Vecrev(w));w=nxt(w);a}\\安德鲁·霍罗伊德2023年1月24日
交叉参考
囊性纤维变性。A000108号(加泰罗尼亚数字),A000245型(他们的第一个区别),A009766号(加泰罗尼亚三角),A236855型(第k个RGS中元素的总和),A236859号(对于n>=1,给出初始上升的长度123……用a(n)项表示),A244159号(不同种类的加泰罗尼亚数字系统)。
以整数序列表示的其他加泰罗尼亚组合结构:A014486号/A063171号:Dyck单词、括号等。,A071156号/A071158号:借助编码的类似受限单词A007623号(以阶乘基数写入的整数),A071153号/A079436号(ukasiewicz单词)。
关键词
非n,基础,完成
作者
N.J.A.斯隆2014年4月6日
扩展
由编辑/重写的说明、公式和示例伊塔洛·J·德杰特2014年4月13日安蒂·卡图恩2014年4月18日
状态
经核准的
Łukasiewicz单词用于每个根平面树(斯坦利练习19中的解释e),由编码A014486号(或A063171号),最后一个叶是隐式的,也就是说,除了编码为0的空树之外,这些单词都没有最后一个尾随的零。
+10
13
0, 1, 20, 11, 300, 201, 210, 120, 111, 4000, 3001, 3010, 2020, 2011, 3100, 2101, 2200, 1300, 1201, 2110, 1210, 1120, 1111, 50000, 40001, 40010, 30020, 30011, 40100, 30101, 30200, 20300, 20201, 30110, 20210, 20120, 20111, 41000, 31001, 31010
抵消
0,3
评论
注意:这种有限的十进制表示法只适用于6917项,因为第6918个这样的单词已经是(10,0,0,0,0,0,1,0,0)。序列A071154号显示了排序后该序列的初始部分。
链接
A.卡图恩,在平面树和括号中的亚纯性和其他偏移(包括计算该序列的完整Scheme程序)
R.P.斯坦利,希帕克斯、普鲁塔克、施罗德和霍夫,美国数学。《月刊》,第104卷,第4期,第344页,1997年。
OEIS Wiki,Łukasiewicz单词
例子
第十一届A063171号是10110010,对应于括号()(())(),因此它的Łukasiewicz单词是3010。第十八届A063171号是11011000,对应于括号(()(())),因此其Łukasiewicz单词是1201。也就是说,在后一个例子中,顶层有一个列表,它又包含两个子列表,其中第一个是零元素长,第二个是包含一个空子列表的子列表(最后一个零被省略)。
交叉参考
对于n>=1,项a(n)中的零数由下式给出A057514号(n) -1。
每个术语的第一个数字由A057515号.
对应的阶乘行走编码:A071155号(A071157号,A071159号).
a(n)=A079436号(n) /10。
关键词
非n,完成
作者
安蒂·卡图恩2002年5月14日
状态
经核准的
Łukasiewicz表示根平面二叉树的单词(在Stanley的练习19中解释),最后一片叶子是隐含的,也就是说,这些单词没有最后一个尾随零,除了编码为0的空树。
+10
0, 20, 2020, 2200, 202020, 202200, 220020, 220200, 222000, 20202020, 20202200, 20220020, 20220200, 20222000, 22002020, 22002200, 22020020, 22020200, 22022000, 22200020, 22200200, 22202000, 22220000, 2020202020, 2020202200
抵消
0,2
链接
保罗·沙萨(Paolo Xausa),n=0..23713的n,a(n)表
因德拉尼尔·戈什,用于计算此序列的Python程序
安蒂·卡图恩,Internet档案中此序列和类似序列的源代码集合(请特别查看前三个模块gatomain.scm、gatorank.scm和gatoaltr.scm。稍后将用独立代码替换。)
R.P.斯坦利,希帕克斯、普鲁塔克、施罗德和霍夫,美国数学。《月刊》,第104卷,第4期,第344页,1997年。
OEIS Wiki,Łukasiewicz单词
配方奶粉
a(n)=2*A063171号(n) ●●●●。
数学
balancedQ[0]=真;balancedQ[n_]:=(s=0;Do[s+=如果[b==1,1,-1];如果[s<0,返回[False]],{b,整数位数[n,2]}];返回[s==0]);2*FromDigits/@IntegerDigits[Select[Range[0,684],balancedQ],2]从数字中选择(*Jean-François Alcover公司2013年7月24日*)
数组[Map[FromDigits[#/.-1->0]*20&,选择[Permutations[Join[Table[-1,#-1],Table[1,#]]],Min[Accumulate[#]]>=0&]]&,6,0](*保罗·沙萨2024年3月12日*)
黄体脂酮素
(Python)
从itertools导入计数,islice
从sympy.utilities.iterables导入multiset_permutations
定义A071152号_gen():#术语生成器
产量0
对于计数(1)中的l:
对于multiset_permutations('0'*l+'1'*(l-1))中的s:
c、 m=0,(l<<1)-1
对于范围(m)内的i:
如果s[i]==“1”:
c+=2
如果c<i:
打破
其他:
产生10**m+int(''.join(s))<<1
A071152号_list=列表(岛屿(A071152号_发电机(),30))#柴华武2023年11月28日
交叉参考
a(n)=2*A063171号(n)=A071153号(A057123号(n) )。
关键词
非n
作者
安蒂·卡图恩2002年5月14日
状态
经核准的
用于Łukasiewicz字的Prime-factorization编码分区码A129593号.
+10
1, 3, 25, 25, 343, 35, 35, 343, 35, 14641, 847, 847, 847, 55, 847, 55, 847, 14641, 847, 55, 847, 847, 55, 371293, 24167, 24167, 1573, 1183, 24167, 1183, 1573, 24167, 1183, 1183, 1183, 1183, 65, 24167, 1183, 1183, 1183, 65, 1573, 1183, 24167
抵消
0,2
评论
除了签名置换满足更严格条件的所有自同构之外A127301号(SP(n))=A127301号(n) 对于所有n,也有一般的树旋转自同构,如*A057501号, *A057502号, *A069771号和*A069772号也满足条件A129599号(SP(n))=A129599号(n) 所有n。然而,与A129593号这在自同构下不是不变的*A072797号.A000041号(n) 每个范围内出现不同的值[A014137号(n) 。。A014138号(n) ]。
配方奶粉
构造:对由编码的一般平面树的Łukasiewicz字的每个数字加一A014486号(n) (即。A079436号(n) )除第一个数字外,将数字按升序排序,并将其解释为自然数的分区,按照中所述的方式进行编码A129595号.
例子
条款A079436号(5),A079436号(6) 和A079436号(8) 2010年、2100年和1110年。除第一个数字外,每个数字加一后,我们得到2121、2211和1221,每个数字产生分区1+1+2+2。将其转换为素数指数,如中所述A129595号,我们得到2^0*3^0*5^1*7^1=35,因此a(5)=a(6)=a(8)=35。
交叉参考
变体:129593年.
关键词
非n
作者
安蒂·卡图恩,2007年5月1日
状态
经核准的

搜索在0.013秒内完成

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

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

上次修改时间:2024年9月21日22:57 EDT。包含376090个序列。(在oeis4上运行。)