登录
OEIS由
OEIS基金会的许多慷慨捐赠者
.
提示
(来自的问候
整数序列在线百科全书
!)
A003095号
a(n)=a(n-1)^2+1表示n>=1,a(0)=0。
(原名M1544)
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.芬奇,《数学常数》,剑桥,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.V.Aho和N.J.A.Sloane,
一些双指数序列
《斐波纳契季刊》,第11卷,第4期(1973年),第429-437页(F.Q.忘记包括的原始参考文献-见最后一页!)
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。
Claudio Gentile、Fabio Vitale和Anand Rajagopalan,
通过主动学习扁平化层次聚类
,arXiv:1906.09458[cs.LG],2019年。
斯宾塞·汉布伦(Spencer Hamblen)、拉夫·琼斯(Rafe Jones)和卡利亚尼·马杜(Kalyani Madhu),
z^d+c轨道上素数的密度
,arXiv:1303.6513[math.NT],2013;
出现,国际数学。
Res.不。
,约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年。
R.P.斯坦利,
致N.J.A.Sloane的信,约1991年
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+1)=a(n)^2+序列的索引项。
..
可除序列索引
与Benford定律相关的序列索引项
配方奶粉
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号
).
-
贝诺伊特·克洛伊特
,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)=和{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)选项记忆;
“if”(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日
交叉参考
囊性纤维变性。
A001699号
,
A004019号
,
A038044型
,
A056207号
,
A076949号
,
A077496号
,
A091980型
,
A143848号
.
囊性纤维变性。
A143849号
,
A213437号
,
A247981型
,
A248218型
,
A248219号
,
A318135型
,
A318136型
,
A318137型
.
囊性纤维变性。
A318138型
,
A318139型
,
A318140型
,
A355108型
.
囊性纤维变性。
A137560型
,它枚举高度小于n的二叉树和精确的j个叶节点。
-
罗伯特·穆纳福
2009年11月3日
上下文中的序列:
322705美元
A167007型
A064006号
*
A023362号
A138613号
A299104型
相邻序列:
A003092号
A003093号
A003094号
*
A003096号
A003097号
A003098号
关键词
非n
,
容易的
,
美好的
作者
N.J.A.斯隆
和
施瑞德
扩展
来自的其他评论
西里尔·班德利尔
2000年6月5日
次要编辑人
瓦茨拉夫·科特索维奇
2014年10月4日
初始条款澄清人
克拉克·金伯利
2019年11月13日
状态
经核准的