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

 

标志
提示
(来自的问候整数序列在线百科全书!)
搜索: 编号:a003095
显示1-1个结果(共1个)。 第页1
    排序:关联|参考文献||被改进的|创建     格式:长的|短的|数据
A003095号 a(n)=a(n-1)^2+1表示n>=1,a(0)=0。
(原名M1544)
+0
62
0, 1, 2, 5, 26, 677, 458330, 210066388901, 44127887745906175987802, 1947270476915296449559703445493848930452791205, 3791862310265926082868235028027893277370233152247388584761734150717768254410341175325352026 (列表图表参考历史文本内部格式)
抵消
0,3
评论
高度小于或等于n的二叉树的数量奥森·R·L·彼得斯2020年1月3日]
最右边的数字循环(0,1,2,5,6,7,0,1,2,5,6,1,7,…)-乔纳森·沃斯邮报2005年7月21日
除了最初的期限A008318号. -莱因哈德·祖姆凯勒2008年1月17日
的部分总和A001699号. -乔纳森·沃斯邮报2010年2月17日
对应于的第二条和第二条最后对角线A119687号. -约翰·M·坎贝尔2011年7月25日
这是一个可分性序列-迈克尔·索莫斯2013年1月1日
和{n>=1}1/a(n)=1.7399408251747946210636285335916041018367182486941-瓦茨拉夫·科特索维奇,2015年1月30日
发件人弗拉基米尔·维西奇2015年10月3日:(开始)
形成Herbrand的公式域:(x)(y)(z)(k)(P(x)∨Q(y)∧R(k))
其中:x->a
k->f(y,z)
我们得到:
H0={a}
H1={a,f(a,a)}
H2={a,f(a,a),f(a,f(a,a)),f
...
每个域中的元素数遵循此顺序。
(结束)
这个序列是否满足Benford定律是一个悬而未决的问题[Berger-Hill,2017]-N.J.A.斯隆2017年2月7日
这是一个强可分序列;看见A329429型. -克拉克·金伯利2019年11月13日
发件人彼得·巴拉,2022年10月31日:(开始)
设k是一个正整数。显然,通过减少a(n)模k得到的序列最终是周期的。推测:
1) 通过减少a(n)模2^k得到的序列最终具有周期2。
2) 通过减少a(n)模10^k得到的序列最终是周期性的,周期为6(上面提到了k=1的情况)。
3) 将a(n)模减小为20^k得到的序列最终具有周期6。
4) 对于n>=floor(k/2)和1<=i<=6,a(6*n+i)mod 10^k的值是一个独立于n的常数。当从右向左读取时,这6个常数整数的数字是10进制数的前k位A318135型(i=1),A318136型(i=2),A318137型(i=3),A318138型(i=4),A318139型(i=5)和A318140型(i=6)。下面给出了一个示例。(结束)
参考文献
Mordechai Ben-Ari,《计算机科学的数学逻辑》,第三版,173-203。
S.R.Finch,《数学常数》,剑桥,2003年,第443-448页。
R.K.Guy,《如何计算数字》,Proc。马尼托巴省第五届数学数学大会。,国会。编号16(1975),49-89。
R.Penrose,《皇帝的新思想》,牛津,1989年,第122页。
N.J.A.Sloane和Simon Plouffe,《整数序列百科全书》,学术出版社,1995年(包括该序列)。
链接
阿洛伊斯·海因茨,n=0..13时的n,a(n)表
A.V.Aho和N.J.A.Sloane,一些双指数序列《斐波纳契季刊》,第11卷,第4期(1973年),第429-437页,备用链路.
A.Berger和T.P.Hill,什么是本福德定律?、通知、Amer。数学。《社会》,64:2(2017),132-134。
Neil J.Calkin、Eunice Y.S.Chan和Robert M.Corless,关于Mandelbrot多项式的一些事实和猜想,Maple Transactions(2021)第1卷第1期第1条。
P.Flajolet和A.M.Odlyzko,极限分布多项式迭代系数及其在组合计数中的应用,数学。程序。外倾角。Phil.Soc.,96(1984),237-253。
克劳迪奥·真蒂莱、法比奥·维塔莱和阿南德·拉贾戈帕兰,通过主动学习扁平化层次聚类,arXiv:1906.09458[cs.LG],2019年。
斯宾塞·汉布伦(Spencer Hamblen)、拉夫·琼斯(Rafe Jones)和卡利亚尼·马杜(Kalyani Madhu),z^d+c轨道上素数的密度,arXiv:1303.6513[math.NT],2013;出现,国际数学。Res.Not.,不适用。,2015年左右。
迪米图尔·克鲁斯特夫,二叉树测试和判定等价性的简单程序, 2016.
罗宾·拉马克-佩林,链路流有损压缩的信息论框架,arXiv:1807.06874[cs.DS],2018年。
R.Lamarche-Perrin、Y.Demazeau和J.-M.Vincent,求解特殊类型集合划分问题的通用算法框架《预印本105》,莱比锡自然科学研究院Max-Planck-Institut fur Mathematik,2014年。
C.勒诺曼,Arbres et置换II见第6页。
萨阿德·姆奈姆,河内塔上的简单变化以指导归纳法的递归和证明研究2019年,纽约市立大学亨特学院计算机科学系。
迈克尔·佩恩,时尚的证明。。。,YouTube视频,2021年。
M.泰尼特,停止变量问题的代数方法:表示理论和应用,J.组合理论9 1970 148-161。
P.Tarau,Lambda术语、组合词、类型和基于树的算术计算的逻辑编程游戏场,arXiv预印本arXiv:1507.06944[cs.LO],2015。
Stephan Wagner和Volker Ziegler,与多项式递归相关的增长常数的非理性,arXiv:2004.09353[math.NT],2020年。
维基百科,赫布兰德构造
达米亚诺·扎纳尔迪尼,计算逻辑,马德里大学计算机科学技术学院计算逻辑(EMCL)欧洲硕士。
配方奶粉
a(n)=B_{n-1}(1)其中B_n(x)=1+x*B_{n-1}(x)^2是高度<=n的树的生成函数。
a(n)是c^(2^n)的渐近形式,其中c=1.2259024435287485386279474959130085213…(参见A076949号). -Benoit Cloitre公司2002年11月27日
c=b^(1/4),其中b是Bottomley公式中的常数A004019号.a(n)似乎对c^(2^n)-Sum_{k>=1}非常渐近A088674号(k) /(2*c^(2^n))^(2*k-1)-杰拉尔德·麦卡维2007年11月17日
a(n)=Sum_{i=1..n}A001699号(i) ●●●●-乔纳森·沃斯邮报2010年2月17日
a(2n)mod 2=0;a(2n+1)mod 2=1-阿尔图·阿尔坎2015年10月4日
a(n)+a(n-1)=A213437号(n) -彼得·巴拉,2017年2月3日
0=a(n)^2*(+a(n+1)+a(n+2))+a-迈克尔·索莫斯2017年2月10日
a(n)=A091980型(2^(n-1)),对于n>0-阿洛伊斯·海因茨2019年7月11日
例子
G.f.=x+2*x^2+5*x^3+26*x^4+677*x^5+458330*x^6+210066388901*x^7+。。。
发件人彼得·巴拉,2022年10月31日:(开始)
n a(6*n+1)mod 10^11
1 10066388901
2 72084948901
3 67988948901
4 61588948901
5 01588948901
6 01588948901
7 01588948901
... ...
A318135型开始于1、0、9、8、4、9、八、八、五、一、0、2。。。。(结束)
MAPLE公司
a: =proc(n)选项记忆`如果`(n=0,0,a(n-1)^2+1)结束:
seq(a(n),n=0..10)#阿洛伊斯·海因茨2019年7月11日
数学
嵌套列表[#^2+1&,0,10](*哈维·P·戴尔2010年12月17日*)
黄体脂酮素
(PARI){a(n)=如果(n<1,0,1+a(n-1)^2)}/*迈克尔·索莫斯2013年1月1日*/
(岩浆)
功能A003095号(n)
如果n等于0,则返回0;
否则返回1+A003095号(n-1)^2;
结束条件:;返回A003095号
端函数;
[A003095号(n) :[0..12]]中的n//G.C.格鲁贝尔2022年11月29日
(SageMath)
定义A003095号(n) :如果(n==0)else为1,则返回0+A003095号(n-1)^2
[A003095号(n) 对于范围(13)中的n#G.C.格鲁贝尔2022年11月29日
交叉参考
囊性纤维变性。A137560型,它枚举高度小于n的二叉树和精确的j个叶节点-罗伯特·穆纳福2009年11月3日
关键词
非n,容易的,美好的
作者
扩展
来自的其他评论西里尔手环2000年6月5日
次要编辑人瓦茨拉夫·科特索维奇2014年10月4日
初始条款澄清人克拉克·金伯利2019年11月13日
状态
经核准的
第页1

搜索在0.007秒内完成

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

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

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