A002487-OEIS公司

A002487号

斯特恩双原子级数（或斯特恩-布罗科特序列）：a（0）=0，a（1）=1；当n>0时：a（2*n）=a（n），a（2xn+1）=a（n）+a（n+1）。
（原名M0141 N0056）

380

0, 1, 1, 2, 1, 3, 2, 3, 1, 4, 3, 5, 2, 5, 3, 4, 1, 5, 4, 7, 3, 8, 5, 7, 2, 7, 5, 8, 3, 7, 4, 5, 1, 6, 5, 9, 4, 11, 7, 10, 3, 11, 8, 13, 5, 12, 7, 9, 2, 9, 7, 12, 5, 13, 8, 11, 3, 10, 7, 11, 4, 9, 5, 6, 1, 7, 6, 11, 5, 14, 9, 13, 4, 15, 11, 18, 7, 17, 10, 13, 3, 14, 11, 19, 8, 21, 13, 18, 5, 17, 12, 19

(列表;图表;参考;听;历史;文本;内部格式)

抵消

0,4

也称为fusc（n）[Dijkstra]。

a（n）/a（n+1）只运行了一次所有的约化非负有理数[Stern；Calkin和Wilf]。

如果将术语写入数组：

列0 1 2 3 4 5 6 7 8 9。..

第0行：0

第1行：1

第2行：1,2

第3行：1,3,2,3

第4行：1,4,3,5,2,5,3,4

第5行：1,5,4,7,3,8,5,7,2,7,5,8,3,7,4,5

第6行：1,6,5,9,4,11,7,10,3,11,8,13,5,12,7,9,9,7,12,5,13,8,11,10，。..

...

然后（忽略第0行），第k行的和是3^（k-1），每列是一个算术级数，步骤只是原始序列。-Takashi Tokita（丁eko（AT）fa2.so net.ne.jp），2003年3月8日

发件人N.J.A.斯隆2017年10月15日：（开始）

上述观察可以更加精确。设A（n，k），n>=0，0<=k<=2^（n-1）-1表示k>0，表示上面左对齐数组第n行和第k列中的条目。

列0,1,2,3,4的方程式，。..连续（忽略第0行）：

1（n>=1），

n（n>=2），

n-1（n>=3），

2n-3（n>=3），

n-2（n>=4），

3n-7（n>=4），

...

通常，列k>0由下式给出

A（n，k）=A（k）*n-A156140型（k）对于n>=上限（log2（k+1））+1，否则为0。

（结束）

a（n）是奇数斯特林数S_2（n+1，2r+1）[Carlitz]的个数。

Moshe Newman证明了分数a（n+1）/a（n+2）可以由前面的分数a（n）/a（n+1）=x乘以1/（2*floor（x）+1-x）生成。也可以使用后继函数f（x）=1/（floor（x）+1-frac（x））。

a（n+1）＝在n[Finch]中的交替比特集的数量。

如果f（x）=1/（1+楼层（x）-压裂（x）），则f（a（n-1）/a（n））=a（n）/a（n+1），对于n>=1。如果T（x）=-1/x和f（x）=y，则f（T（y））=T（x。 -迈克尔·索莫斯2006年9月3日

a（n+1）是将n写成2的幂和的方法数，每个幂最多使用两次（n的双曲表示数）[Carlitz；Lind]。

a（n+1）是可表示为不同的偶数订阅斐波那契数之和的第n个整数的分区数(=A054204号（n）），转化为不同斐波那契数的和[Bicknell-Johnson，定理2.1]。

a（n+1）是奇数二项式（n-k，k）的个数，0<=2*k<=n。[Carlitz]修正为亚历山德罗·德卢卡2014年6月11日

a（2^k）=1。a（3*2^k）=a（2^（k+1）+2^k）=2。a（2^k）=1和a（2qu（k+1））=1之间的项序列是长度为2^k-1的回文，中间是a（2q+2^（k-1））=2。a（2^（k-1）+1）=a（2q-1）=k+1，对于k>1。 -亚历山大·阿达姆楚克2006年10月10日

这个序列的g.f.的逆的系数形成A073469号和与二进制分区相关A000123号. -菲利普·弗拉乔莱2008年9月6日

这个序列的项似乎是45度斜率的帕斯卡三角形对角线中奇数项的数目。-哈维尔·托雷斯（adaycalledzero（AT）hotmail.com），2009年8月6日

设M是一个无限下三角矩阵，每列中有（1，1，1、0、0、…）向下移位两次：

1, 0;

1, 1, 0;

0, 1, 0, 0;

0, 1, 1, 0, 0;

0, 0, 1, 0, 0, 0;

0, 0, 1, 1, 0, 0, 0;

...

然后这个序列A002487号（没有首字母0）是lim_{n->oo}M^n的第一列。A026741号.) -加里·亚当森，2009年12月11日[编辑：M.F.哈斯勒2017年2月12日]

形式a（n）=a（2*n）的无限序列族的成员；a（2*n+1）=r*a（n）+a（n+1），r=1A002487号=数组中的第1行A178239号. -加里·亚当森2010年5月23日

等于中显示的无限数组中的第1行A178568号，形式的序列

a（2*n）=r*a（n），a（2xn+1）=a（n，n）+a（n+1）；r=1。 -加里·亚当森2010年5月29日

的行总和A125184号斯特恩多项式。等价地，B（n，1），在x=1时计算的第n个Stern多项式。 -T.D.诺伊2011年2月28日

Kn1y和Kn2y三角形和，请参见A180662号对于其定义A047999号引出上述序列，例如Kn11（n）=A002487号（n+1）-A000004号（n），Kn12（n）=A002487号（n+3）-A000012号（n），Kn13（n）=A002487号（n+5）-A000034号（n+1）和Kn14（n）=A002487号（n+7）-A157810型（n+1）。关于骑士三角和的一般情况，请参见斯特恩·西尔宾斯基三角A191372号这个三角形不仅导致了斯特恩的双原子序列，而且还导致了这个序列的片段，令人惊讶的是，它们的相反。 -约翰内斯·梅耶尔，2011年6月5日

a（2^k）=1和a（2#（k+1））=1之间的最大项是斐波那契数F（k+2）。 -列奥尼德·贝德拉图克2012年7月4日

可能是每个对角线的不同条目数A223541型。这意味着正好有一个（n+1）数字可以表示为nim-product 2^x*2^y，其中x+y=n-蒂尔曼·彼得斯克2013年3月27日

设f（m，n）是整数n在区间[a（2^（m-1）），a（2*m-1）]中的频率。设phi（n）为Euler的totiten函数(A000010号).猜想：对于所有整数m，n n<=m f（m，n）=phi（n）。 -尤拉门迪2014年9月8日

早在1995年5月，事实证明A000360型是该序列的模3映射，（+1，-1，+0）/2A002487号（没有首字母0）。 -M.Jeremie Lafitte（莱维塔斯）2017年4月24日

在字母表{-，+}:chf（1）='-'上定义Christoffel单词的序列chf（n）；chf（2*n+0）=否定（chf（n））；chf（2*n+1）=否定（串联（chf（n），chf（n+1）））。那么chf（n）单词的长度为fusc（n）=a（n）；chf（n）单词中“-”符号的数量是c-fusc（n）=A287729号（n）；chf（n）单词中“+”符号的数量是s-fusc（n）=A287730型（n） ●●●●。请参阅以下示例。 -I.V.塞洛夫2017年6月1日

对于Z中的所有n，序列可以扩展为a（n）=a（-n），a（2*n）=a（n），a-迈克尔·索莫斯2019年6月25日

以德国数学家莫里茨·亚伯拉罕·斯特恩（Moritz Abraham Stern，1807-1894）命名，有时也以法国钟表匠兼业余数学家阿奇尔·布罗科（Achille Broco，1817-1878）命名。 -阿米拉姆·埃尔达尔，2021年6月6日

似乎a（n）等于A007305号（n+1）模块A007306号（n+1）。例如，a（12）是2A007305号（13）模块A007306号（13），其中A007305号（13）为4并且A007306号（13）为7。 -加里·亚当森2023年12月18日

参考文献

M.Aigner和G.M.Ziegler，《从书中证明》，第三版，柏林，海德堡，纽约：斯普林格-Verlag，2004年，第97页。

Elwyn R.Berlekamp、John H.Conway和Richard K.Guy，《胜利之道》，纽约学术出版社，第2卷。1982年，见第114页。

Krishna Dasaratha、Laure Flapan、Chansoo Lee、Cornelia Mihaila、Nicholas Neumann-Chun、Sarah Peluse和Matthew Stroegeny，多维连分式Stern序列家族，Abtracts Amer。数学。Soc.，第33卷（2012年第1期），编号1077-05-2543。

Edsger W.Dijkstra，《计算机文选》，施普林格出版社，1982年，第232页（序列称为fusc）。

F.G.M.Eisenstein、Eine neue Gattung zahlentheoretischer Funktitionen、welche von zwei Elementen abhaengen und durch gewisse lineare Funktional-Gleichungen definitirt werden、Verhandlungen der Koenigl。普劳斯。阿卡德米·德·维斯（Akademie der Wiss）。柏林（1850），第36-42页，1850年2月18日。Werke，II，第705-711页。

Graham Everest、Alf van der Poorten、Igor Shparlinski和Thomas Ward，《复发序列》，美国。数学。Soc.，2003年；特别见第255页。

史蒂文·芬奇，《数学常数》，剑桥，2003年，第2.16.3节；第148-149页。

罗纳德·格雷厄姆（Ronald L.Graham）、唐纳德·科努特（Donald E.Knuth）和奥伦·帕塔什尼克（Oren Patashnik），《具体数学》（Concrete Mathematics）。Addison-Wesley，马萨诸塞州雷丁，1990年，第117页。

托马斯·科西，斐波纳契和卢卡斯数字及其应用，威利，2001年，第98页。

N.J.A.Sloane，《整数序列手册》，学术出版社，1973年（包括该序列）。

N.J.A.Sloane和Simon Plouffe，《整数序列百科全书》，学术出版社，1995年（包括该序列）。

链接

T.D.Noe，n=0..10000时的n，a（n）表

鲍里斯·阿达姆切夫斯基，与Stern双原子序列相关的非转换连分式《算术学报》。 142 (1) (2010) 67-78.

Jean-Paul Allouche和Michel Mendès France，缺元形式幂级数与Stern-Brocot序列，arXiv预印本arXiv:1202.0211[math.NT]，2012-2013。 -N.J.A.斯隆2012年5月10日

Jean-Paul Allouche，关于Stern序列及其扭曲版本，arXiv预打印arXiv:1202.4171[math.NT]，2012。

Jean-Paul Allouche、Michel Mendès France、Anna Lubiw、Alfred J.van der Poorten和Jeffrey Shallit，折叠连分式的收敛.

Jean-Paul Allouche和Jeffrey Shallit，k-正则序列的环，理论计算机科学。, 98 (1992), 163-197. [预打印.]

Jean-Paul Allouche和Jeffrey Shallit，k-正则序列的环，理论。计算机科学。, 307 (2003), 3-29. [预打印.]

迈克尔·巴克和迈克尔·库恩斯，由斯特恩双原子序列导出的自然概率测度，arXiv:1706.00187[math.NT]，2017年。

罗兰·巴赫，扭转船尾序列，arXiv:1005.5627[math.CO]，2010年。

布鲁斯·贝茨、马丁·邦德和基斯·托内蒂，连接Calkin Wilf和Stern Brocot树《欧洲法学杂志》。第31卷，第7期（2010年），第1637-1661页。

布鲁斯·贝茨和图菲克·曼苏尔，q-Calkin-Wilf树《组合理论杂志》A辑，第118卷，第3期（2011年），第1143-1151页。

马乔里·比克内尔·约翰逊，斯特恩双原子阵列在斐波那契表示中的应用《斐波纳契季刊》，第41卷（2003年），第169-180页。

阿里·博斯，连接p/q和r/s的图，其中|q*r-p*s|=1和p=a（n），q=a（n+1），r=a（m），s=a（m+1）和0<=p/q，r/s<=1.

理查德·布伦特（Richard P.Brent）、迈克尔·库恩斯（Michael Coons）和瓦迪姆·祖迪林（Wadim Zudilin），一类Mahler函数的渐近性，2014年12月8日在墨尔本举行的奥斯曼/新西兰国家统计局2014年会议上的演讲幻灯片。

Neil Calkin和Herbert S.Wilf，重新计算理性阿默尔。数学。《月刊》，第107卷，第4期（2000年），第360-363页。

L.Carlitz，与斯特林数有关的分区问题，公牛。阿默尔。数学。Soc.，第70卷，第2期（1964年），第275-278页。 [摘要.]

L.Carlitz等人，与斯特林数有关的分区问题，里夫。帕尔马马特大学，（2）5（1964），61-75。

迈克尔·库恩斯，斯特恩双原子序列相关级数的超越性，《国际数论杂志》6.01（2010）：211-217。

迈克尔·库恩斯，关于Stern序列及其扭曲的一些猜想，整数11.6（2011）：775-789。

迈克尔·库恩斯，斯特恩序列的一个相关恒等式，整数12.3（2012）：459-464。

迈克尔·库恩斯和杰弗里·沙利特，斯特恩序列的模式序列方法，离散数学。第311卷（2011年），第2630-2633页。

迈克尔·库恩斯和杰森·泰勒，Stern双原子序列的最大阶，arXiv:1307.1521[math.NT]，2013-2014年。

Kevin M.Courtright和James A.Sellers，超元划分的算法性质，INTEGERS，第4卷（2004），第A6条。

Valerio De Angelis，基于广义切比雪夫多项式的Stern双原子序列，《美国数学月刊》124.5（2017）：451-455。请参见也，arXiv:1511.02422[math.NT]，2015年。

菲利普·德卡斯特罗等人。，计算可被素数幂整除的二项式系数阿默尔。数学。《月刊》，第125卷，第6期（2018年），第531-540页。见第534页的表。

科林·德芬特，Stern双原子序列及其相关序列的上界《组合数学电子杂志》，第23卷，第4期（2016年），第4.8页。

乔治·德拉姆，Un peu de mathematiquesápropos d'une courbe飞机《数学基础》。第2卷（1947年），第73-76和89-97页。

Marc Deléglise、Paul Erdõs和Jean-Louis Nicolas，Sur les ensemples代表了整个分区[由整数n的分区表示的集合]保罗·埃尔德的纪念藏品。离散数学。第200卷，第1-3期（1999年），第27-48页。MR1692277（2000e:05012）。见表1。N.J.A.斯隆2012年3月18日

Edsger W.Dijkstra，R.M.Burstall博士的练习.

Edsger W.Dijkstra，关于函数“fusc”的更多信息.

卡尔·迪尔彻和拉里·埃里克森，超二进制展开式与Stern多项式，Elec.J.Combin，第22卷（2015年），#P2.24。

卡尔·迪尔彻和拉里·埃里克森，广义Stern多项式的因子和不可约性《整数》，第15卷（2015年），#A50。

卡尔·迪尔彻和拉里·埃里克森，连分式和斯特恩多项式《拉马努扬杂志》，第45卷（2017年），第659-681页。

卡尔·迪尔彻和拉里·埃里克森，表征超元表示的多项式，J.国际顺序。，第21卷（2018），第18.4.3条。

卡尔·迪尔彻和拉里·埃里克森，限制b-元配分函数的多项式模拟，J.国际顺序。，第22卷（2019年），第19.3.2条。

汤姆·埃德加，关于超元划分的个数《整数》，第18卷（2018年），第A47条。

冯德军（De Jun Feng）、皮埃尔·利亚代特（Pierre Liardet）和阿兰·托马斯（Alain Thomas），均匀分布理论中多重数有界计数系统中的配分函数，第9卷，第1期（2014年）。

史蒂文·芬奇（Steven R.Finch）、P.Sebah和Z.-Q.Bai，帕斯卡三角中的奇数项，arXiv:0802.2654[math.NT]，2008年。

Aviezri S.Fraenkel，拉特维特，2011年12月28日。

托马斯·加里蒂，Stern双原子序列的多维连分式推广，arXiv:1206.6685[math.CO]，2012-2013年。

托马斯·加里蒂，Stern双原子序列的多维连分式推广《整数序列杂志》，第16卷（2013年），#13.7.7。

迈克尔·吉兰德，一些自相似整数序列.

何塞·格林，布尔贝吉数学元素在考克中的实现：第二部分，从自然数到实数《形式化推理杂志》，第9卷，第2期（2016年），第1-52页；见第38页。

布莱恩·海耶斯，论车轮的轮齿《美国科学家》，第88卷，第4期（2000年7月至8月），第296-300页（5页）。

Andreas M.Hinz、Sandi Klavíar、UrošMilutinović和Ciril Petr，，河内塔-神话与数学，Birkhäuser 2013。参见第115页。图书网站

Andreas M.Hinz、Sandi Klavíar、UrošMilutinović、Daniele Parisse和Ciril Petr，汉诺塔图和斯特恩双原子序列的度量性质《欧洲联合杂志》，第26卷，第5期（2005年），第693-708页。

约翰内斯·开普勒，《和谐世界》第三卷（1619）第27页.

Donald E.Knuth、C.P.Rupert、Alex Smith和Richard Stong，重新计算原理，续：10906《美国数学月刊》，第110卷，第7期（2003年），第642-643页。

詹妮弗·兰辛，二项式系数和Stern序列的值分布《整数序列杂志》，第16卷（2013年），第13.3.7条。

詹妮弗·兰辛，船尾序列的最大值《整数序列杂志》，第17卷（2014年），第14.7.5条。

D.H.Lehmer，关于斯特恩双原子级数阿默尔。数学。《月刊》，第36卷，第1期（1929年），第59-67页。 [带注释和更正的扫描副本.]

朱利安·勒罗伊（Julien Leroy）、米歇尔·里戈（Michel Rigo）和马诺·斯蒂普兰蒂（Manon Stipulanti），广义Pascal三角形行中非零系数的计数《离散数学》，第340卷（2017年），第862-881页。也可在里昂大学.

彼得·卢什尼，有理树和二进制分区.

艾伦·J·麦克法兰，线性可逆二阶细胞自动机及其一阶矩阵等价，《物理学报A：数学与一般》37.45（2004）：10791。见图2。

劳拉·门罗，二元有符号数字整数、Stern双原子序列和Stern多项式，arXiv:2103.05810[math.NT]，2021。

萨姆·诺斯希尔德，斯特恩双原子序列0，1，1，2，1，3，2，3，1，4。..阿默尔。数学。《月刊》，第117卷，第7期（2010年），第581-598页。

萨姆·诺斯希尔德，Z[sqrt（2）]的Stern序列的一个类比《整数序列杂志》，第18卷（2015年），第15.11.6条。

萨姆·诺斯希尔德，重新计算原理，arXiv:1905.10369[math.NT]，2019年。

Euler项目，问题169-探索用2的幂和表示数字的不同方法.

布鲁斯·雷兹尼克，一些二进制配分函数，《解析数论》（Conf.in authority P.T.Bateman，Allerton Park，IL，1989），Progr。数学。第85页，Birkhäuser Boston，马萨诸塞州波士顿，1990年，第451-477页。

布鲁斯·雷兹尼克，基本原理Stern枚举的正则性《整数序列杂志》，第11卷（2008）第08.4.1条。

Jürgen W.Sander、Jörn Steuding和Rasa Steuding，Calkin-Wilf迭代的丢番图方面，El.数学。，第66卷，第2期（2011），第45-55页。doi:10.4171/EM/170。

安东·沙科夫，Z[x]中除数由SL_2（N_0）枚举的多项式，arXiv:2405.03552[math.NT]，2024。见第27页。

雷米·西格里斯特，与斯特恩双原子系列相关的非周期瓷砖，基于F_p元素装饰的瓷砖，arXiv:2301.06039[math.CO]，2023。

N.J.A.斯隆，Stern-Brocot或Farey Tree.

N.J.A.Sloane和Brady Haran，神奇图形III，数字视频（2019）。

理查德·斯坦利（Richard P.Stanley）和赫伯特·威尔夫（Herbert S.Wilf），尾部双原子序列的精炼，未发布。

理查德·斯坦利（Richard P.Stanley）和赫伯特·威尔夫（Herbert S.Wilf），尾部双原子序列的精炼[缓存副本，具有权限]

Jörn Steuding、Stefanie Hofmann和Gertraud Schuster，欧几里得、卡尔金和威尔夫-玩理性游戏《数学要素》，第63卷，第3期（2008年），第109-117页。

拉尔夫·斯蒂芬，分而治之的生成函数。一、基本序列，arXiv:math/0307027[math.CO]，2003年。

M.A.斯特恩，尤伯·埃内·扎赫伦特·托雷斯（U-ber eine zahlentheoretische Funktion）J.Reine Angew著。数学。第55卷（1858），第193-220页。

马西耶·乌拉斯，斯特恩多项式次数序列的算术性质及相关结果，arXiv:1102.5111[math.CO]，2011年。

马西耶·乌拉斯和奥利维亚·乌拉斯，关于Stern多项式的某些算术性质，arXiv:1102.5109[math.CO]，2011年。

伊戈尔·乌尔比哈，De Rham、Carlitz和Dijkstra研究的函数的一些性质及其与（Eisenstein-）Stern双原子序列的关系，数学。Commun公司。第6卷（2002年），第181-198页。

埃里克·魏斯坦的数学世界，Calkin-Wolf树和斯特恩硅藻系列.

山田康久，Stern双原子序列的一个函数及其性质，arXiv:2004.00278[math.NT]，2020年。

配方奶粉

a（n+1）=（2*k+1）*a（n）-a（n-1），其中k=楼层（a（n-1）/a（n））。 -大卫·S·纽曼2001年3月4日

设e（n）=A007814号（n） =2除以n的最高幂的指数。然后a（n+1）=（2k+1）*a（n）-a（n-1），n>0，其中k=e（n）。此外，地板（a（n-1）/a（n））=e（n），符合D.Newman公式。-Dragutin Svertan（dsvrtan（AT）math.hr）和Igor Urbiha（Urbiha（AT）数学.hr），2002年1月10日

Calkin和Wilf得出0.9588<=limsup a（n）/n^（log（phi）/log（2））<=1.1709，其中phi是黄金平均值。这个上确界是1吗？ -贝诺伊特·克洛伊特2004年1月18日。库恩斯和泰勒表明极限是A246765型= 0.9588... -凯文·莱德2021年1月9日

a（n）=和{k=0..floor（（n-1）/2）}（二项式（n-k-1，k）mod 2）。 -保罗·巴里2004年9月13日

a（n）=和{k=0..n-1}（二项式（k，n-k-1）mod 2）。 -保罗·巴里2005年3月26日

G.f.A（x）满足0=f（A（x，A（x^2），A（x ^4）），其中f（u，v，w）=v^3+2*u*v*w-u^2*w-迈克尔·索莫斯2005年5月2日

G.f.A（x）满足0=f（A（x，x），A（x^2），A。 -迈克尔·索莫斯2005年5月2日

G.f.：x*产品{k>=0}（1+x^（2^k）+x^（2^（k+1）））[卡利茨]。

a（n）=a（n-2）+a（n-1）-2*。 -迈克留下来2006年11月6日

A079978号（n） =（1+e^（i*Pi*A002487号（n））/2，i=sqrt（-1）。 -保罗·巴里2005年1月14日

a（n）=和{k=1..n}k（k，n-k）*a（n-k），其中k（n，k）=1，如果0<=k AND k<=n AND n-k<=2 AND k（n、k）=0 else。（当使用这样的K系数时，K的几个不同参数或K的多个不同定义可能会导致相同的整数序列。例如，如果我们在上述定义中去掉条件K<=n，则我们得出A002083号=Narayana-Zidek-Capell数字。) -托马斯·维德2008年1月13日

a（k+1）*a（2^n-k）-a（k）*a；a（2^n-k）+a（k）=a（2~（n+1）+k）。这两个公式都适用于0≤k≤2^n-1。通用公式：G（z）=a（1）+a（2）*z+a（3）*z^2+。..+a（k+1）*z^k+。..定义f（z）=（1+z+z^2），然后G（z）=lim f（z。..*f（z^（2^n））*。..=（1+z+z^2）*G（z^2。-Arie Werksma（Werksma（AT）tiscali.nl），2008年4月11日

a（k+1）*a（2^n-k）-a（k）*a。-Arie Werksma（Werksma（AT）tiscali.nl），2008年4月18日

a（2^n+k）=a（2*n-k）+a（k）（0<=k<=2^n）。-Arie Werksma（Werksma（AT）tiscali.nl），2008年4月18日

设g（z）=a（1）+a（2）*z+a（3）*z^2+。..+a（k+1）*z^k+。..，f（z）=1+z+z^2。那么g（z）=lim_{n->infinity}f（z）*f（z^2）*f。..*f（z^（2^n）），g（z）=f（z）*g（z^2）。-Arie Werksma（Werksma（AT）tiscali.nl），2008年4月18日

对于0<=k<=2^n-1，写k=b（0）+2*b（1）+4*b（2）+。..+2^（n-1）*b（n-1，其中b（0）、b（1）等为0或1。用条目X（1,1）=X（2,2）=1，X（1,2）=1-b（m），X（2,1）=b（m。设P（n）=X（0）*X（1）*。.*X（n-1）。矩阵P的项是序列的成员：P（1,1）=a（k+1），P（1,2）=a。-Arie Werksma（Werksma（AT）tiscali.nl），2008年4月20日

设f（x）=A030101型（x）；如果2^n+1<=x<=2^（n+1）且y=2^（n+1）-f（x-1），则a（x）=a（y）。-阿里·维尔克斯马（Arie Werksma），2008年7月11日

a（n）=A126606号（n+1）/2。 -莱库·库隆2008年10月5日

等于曝气[1,1,1,0,0,0，0,0]的无限卷积A000079号-1倍，即[1,1,1,0,0,0-0,0,1,0]*[1,0,10,1,0，0,00,0]*[1,0,0，0，0,1]。 -Mats Granvik公司和加里·亚当森2009年10月2日；已由更正Mats Granvik公司，2009年10月10日

a（2^（p+2）*n+2^（p+1）-1）-a（2^（p+1）*n=2^p-1）=A007306号（n+1），p>=0和n>=0。 -约翰内斯·梅耶尔2013年2月7日

a（2*n-1）=A007306号（n），n>0。 -尤拉门迪2014年6月23日

a（n*2^m）=a（n），m>0，n>0。 -尤拉门迪2014年7月3日

a（k+1）*a（2^m+k）-a（k）*a-尤拉门迪2014年11月7日

（2^（m+1）+（k+1））*a（2^m+k）-a（2^m+1）+k）*a-尤拉门迪2014年11月7日

a（5*2^k）=3。a（7*2^k）=3。a（9*2^k）=4。a（11*2^k）=5。a（13*2^k）=5。a（15*2^k）=4。一般情况下：a（（2j-1）*2^k）=A007306号（j），j>0，k>=0（参见Adamchuk的评论）。 -尤拉门迪2016年3月5日

a（2^m+2^m'+k'）=a（2*m'+k'）*（m-m'+1）-a（k'），m>=0，m'<=m-1，0<=k'<2^m'。 -尤拉门迪2016年7月13日

发件人尤拉门迪2016年7月13日：（开始）

设n是一个自然数，并且[b_m b_（m-1）…b_1 b_0]是其在b_m＝1时的二元展开式。

设L=Sum_{i=0..m}b_i是等于1（L>=1）的二进制位数。

设{m_j:j=1..L}是这样的子指数集，即b_m_j=1，j=1..L和0<=m_1<=m_2<=。..<=m_L=米。

如果L=1，则c_1=1，否则设{c_j:j=1..（L-1）}为系数集，使得c_（j）=m_（j+1）-m_j+1，1<=j<=L-1。

设f是定义在{1..L+1}上的函数，使得f（1）=0，f（2）=1，f（j）=c_（j-2）*f（j-1）-f（j-2，3<=j<=L+1。

那么a（n）=f（L+1）（参见示例）。（结束）

a（n）=A001222号(A260443型（n））=A000120号(A277020型（n））。也是a（n）=A000120号(A101624号（n-1）），对于n>=1。 -安蒂·卡图恩2016年11月5日

（a（n-1）+a（n+1））/a（n）=A037227号（n）对于n>=1。 -彼得·巴拉2017年2月7日

a（0）=0；a（3n）=2*A000360型（3n-1）；a（3n+1）=2*A000360型（3n）-1；a（3n+2）=2*A000360型（3n+1）+1。 -M.Jeremie Lafitte（莱维塔斯）2017年4月24日

发件人I.V.塞洛夫2017年6月14日：（开始）

a（n）=287896英镑（n-1）-1*A288002型（n-1）对于n>1；

a（n）=A007306号（n-1）-2*A288002型（n-1）对于n>1。（结束）

发件人尤拉门迪2018年2月14日：（开始）

a（2^（m+2）+2^（m+1）+k）-a（2^（m+1）+2^m+k）=2*a（k），m>=0，0<=k<2^m。

a（2^（m+2）+2^（m+1）+k）-a（2^（m+1）+k）=a（2*m+k），m>=0，0<=k<2*m。

a（2^m+k）=a（k）*（m-楼层（log_2（k））-1）+a（2#楼层（log_2[k））+1）+k），m>=0，0<k<2^m，a（2*m）=1，a（0）=0。（结束）

发件人尤拉门迪2018年5月8日：（开始）

a（2^m）=1，m>=0。

a（2^r*（2*k+1））=a

当被视为不规则表（n>=1）时，Trow（n）=[对于j=2^（n-1）-1..2^n-2]，卡（{k XOR（j-k）：k=0..j}）。 -彼得·卢什尼2024年9月29日

a（n）=A000120号(A168081号（n））。 -卡尔·海因茨·霍夫曼2025年6月16日

例子

Stern的双原子数组开始：

1,1,

1,2,1,

1,3,2,3,1,

1,4,3,5,2,5,3,4,1,

1,5,4,7,3,8,5,7,2,7,5,8,3,7,4,5,1,

1,6,5,9,4,11,7,10,3,11,8,13,5,12,7,9,2,9,7,12,5,13,8,11,3,10,7,11,4,9,...

...

a（91）=19，因为91_10=1011011_2；b6=b4=b3=b1=b0=1，b5=b2=0；L=5；m1=0，m2=1，m3=3，m4=4，m5=6；c_1=2，c_2=3，c_3=2，c_4=3；f（1）=1，f（2）=2，f（3）=5，f（4）=8，f（5）=19。 -尤拉门迪2016年7月13日

发件人I.V.塞洛夫，2017年6月1日：（开始）

a（n）是Christoffel单词chf（n）的长度：

n chf（n）A070939号（n） a（n）

1 '-' 1 1

2 '+' 2 1

3 '+-' 2 2

4 '-' 3 1

5 '--+' 3 3

6 '-+' 3 2

…（结束）

G.f.=x+x ^2+2*x ^3+x ^4+3*x ^5+2*x ^6+3*x ^7+x ^8+。.. -迈克尔·索莫斯2019年6月25日

MAPLE公司

A002487号：=proc（n）选项记住；如果n<=1，则n elif n mod 2=0，则procname（n/2）；其他进程名（n-1）/2）+进程名（n+1）/2）；fi；结束：seq(A002487号（n），n=0..91）；

A002487号：=proc（m）局部a，b，n；a:=1；b:=0；n：=米；当n>0时，如果类型（n，奇数）为do，则b:=a+b，否则a:=a+b结束if；n:=地板（n/2）；结束do；b；结束过程：seq(A002487号（n），n=0..91）；#程序改编自E.Dijkstra，《计算文选》，施普林格出版社，1982年，第232页。-Igor Urbiha（Urbiha（AT）math.hr），2002年10月28日。自A007306号（n） =a（2*n+1），此程序可适用于A007306号将b:=0替换为b:=1。

A002487号：=proc（n:：integer）局部k；选项记忆；如果n=0，则0 elif n=1，然后1加上（K（K，n-1-K）*进程名（n-K），K=1。.n）如果结束进程则结束：

K:=proc（n:：integer，K:：integer）本地KC；如果0<=k，k<=n，n-k<=2，则KC:=1；否则KC:=0；结束条件：；结束进程：seq(A002487号（n），n=0..91）； #托马斯·维德2008年1月13日

#下一个Maple计划：

a： =proc（n）选项记忆；`if`（n<2，n，

（q->a（q）+（n-2*q）*a（n-q））（iquo（n，2））

结束时间：

seq（a（n），n=0..100）； #阿洛伊斯·海因茨2021年2月11日

fusc:=proc（n）局部a，b，c；a:=1；b:=0；

对于convert（n，base，2）do中的c

如果c=0，则a:=a+b，否则b:=a+bfiod；

b端：

seq（fusc（n），n=0..91）； #彼得·卢什尼2022年11月9日

船尾：=proc（n，u）局部k，j，b；

b:=j->nops（{seq（位：-X或（k，j-k），k=0..j）}）：

如果其他（n=0，1-u，seq（b（j），j=2^（n-1）-1..2^n-1-u））结束：

seq（print（[n]，Stern（n，1）），n=0..5）；#如注释所示。

seq（print（[n]，Stern（n，0）），n=0..5）；#如示例所示。 #彼得·卢什尼2024年9月29日

数学

a[0]=0；a[1]=1；a[n_]：=如果[EvenQ[n]，a[n/2]，a[（n-1）/2]+a[（n+1）/2]]；表[a[n]，{n，0，100}]（*程序结束*）

Onemore[l_]：=换位[｛l，l+旋转左[l]｝]//压扁；

NestList[Onemore，{1}，5]//Flatten（*给出[a（1），…]*）（*Takashi Tokita，2003年3月9日*）

ToBi[l_]：=表[2^（n-1），{n，长度[l]}]。反向[l]；地图[长度，

拆分[Sort[Map[ToBi，Table[IntegerDigits[n-1，3]，{n，500}]]]（*give[a（1），…]*）（*Takashi Tokita，2003年3月10日*）

A002487号[m_]：=模[{a=1，b=0，n=m}，而[n>0，如果[OddQ[n]，b=a+b，a=a+b]；n=地板[n/2]]；【b】；表[A002487号[n] ，{n，0，100}](*Jean-François Alcover公司2013年9月6日，翻译自第二届枫叶计划*）

a[0]＝0；a[1]=1；

压扁[表[{a[2*n]=a[n]，a[2*n+1]=a[n]+a[n+1]}，{n，0，50}]](*霍斯特·H·曼宁格2021年6月9日*）

nmax=100；系数列表[系列[x*乘积[（1+x^（2^k）+x^（2^（k+1））），{k，0，Floor[Log[2，nmax]]+1}]，{x，0，nmax}]，x](*瓦茨拉夫·科特索维奇2022年10月8日*）

黄体脂酮素

（PARI）{a（n）=n=abs（n）；如果（n<2，n>0，a（n\2）+if（n%2，a（n\2+1））}；

（PARI）fusc（n）=局部（a=1，b=0）；当（n>0时，如果（位和（n，1），b+=a，a+=b）；n>>=1）；b条\\查尔斯·格里特豪斯四世2008年10月5日

（PARI）A002487号（n，a=1，b=0）=对于（i=0，logint（n，2），如果（位测试（n，i），b+=a，a+=b））；b条\\M.F.哈斯勒，2017年2月12日，2019年2月14日更新

（哈斯克尔）

a002487 n=a002487_列表！！n个

a002487_list=0:1:船尾[1]，其中

stern fuscs=fuscs“++stern fuscos”，其中

fuscs'=交错fuscs$zipWith（+）fuscs$（尾部fuscs）++[1]

交错[]ys=ys

交错（x:xs）ys=x:interleave ys-xs

--莱因哈德·祖姆凯勒2011年8月23日

（右）

N<-50#任意

a<-1

for（n in 1:n）

{

a[2*n]=a[n]

a[2*n+1]=a[n]+a[n+1]

一

}

一

#尤拉门迪2014年10月4日

（方案）

；；可以在中找到memoization-macro definec的实现，例如：http://oeis.org/wiki/Memoization网站

（定义(A002487号n）（cond（（<=n 1）n）（偶数？n）(A002487号（/n 2））（其他（+(A002487号（/（-n 1）2））(A002487号（/（+n 1）2）））

;;安蒂·卡图恩2016年11月5日

（Python）

从functools导入lru_cache

@lru_cache（最大大小=无）

定义a（n）：如果n<2，则返回n；如果n%2==0，则返回a（（n-1）//2）+a（（n+1）//2#印地瑞尼Ghosh2017年6月8日；已由更正雷扎·K·加齐2021年12月27日

（Python）

定义a（n）：

a、 b=1,0

当n>0时：

如果n&1：

b+=a

其他：

a+=b

n>>=1

返回b

#雷扎·K·加齐2021年12月29日

（鼠尾草）

定义A002487号（n）：

M=[1,0]

对于n位中的b（）：

M[b]=M[0]+M[1]

返回M[1]

打印([A002487号（n）（0..91）中的n）

#对于双视图，请参见A174980型.彼得·卢什尼2017年11月28日

（朱莉娅）

使用Nemo

函数A002487List（len）

a、 a=QQ（0），[0，1]

对于1:len中的n

a=next_calkin_wilf（a）

推！（A，分母（A））

结束

A结束

A002487列表（91）|>打印#彼得·卢什尼2018年3月13日

（R） #给定n，通过考虑n的二进制表示来计算a（n）

a<-函数（n）{

b<-作为数字（intToBits（n））

l<-总和（b）

m<-其中（b==1）-1

d<-1

如果（l>1）对于（j in 1：（l-1））d[j]<-m[j+1]-m[j]+1

f<-c（0，1）

如果（3中的j：（l+1））f[j]<-d[j-2]*f[j-1]-f[j-2]的（l>1）

返回（f[l+1）

} #尤拉门迪，2016年12月13日

（R） #将序列计算为向量a，而不是如上所述的函数a（）。

A<-c（1，1）

maxlevel<-5#（可选）

for（m in 1:maxlevel）{

A[2^（m+1）]<-1

for（k in 1:（2^m-1））{

r<-m-楼层（log2（k））-1

A[2^r*（2*k+1）]<-A[2^r*2*k）]+A[2^r（2*k+2）]

}}

A类#尤拉门迪2018年5月8日

（岩浆）[&+[（二项式（k，n-k-1）mod 2）：k in[0..n]]：n in[0..100]]； //文森佐·利班迪2019年6月18日

（Python）

定义A002487号（n）：对于范围（n）中的k，返回和（int（not（n-k-1）&~k））#柴华武2022年6月19日

交叉参考

记录值在A212289型.

如果将1替换为成对的1，我们将获得A049456号.

反向：A020946号.

参考a(A001045号（n））=A000045号（n） ●●●●。一个(A062092号（n））=A000032号（n+1）。

囊性纤维变性。A064881美元-A064886号（Stern-Brocot子树）。

一列A072170号.

囊性纤维变性。A049455号用于斯特恩双原子数组的0,1版本。

囊性纤维变性。A000119号,A262097型对于其他碱基中的类似序列A277189号,A277315型,A277328号对于具有相似图的相关序列。

囊性纤维变性。A086592号以及其中提及的与开普勒分数树相关的其他序列。

上下文中的序列：A281392号 A287051型 A368147型*A318509型 A357980型 A347205

相邻序列：A002484号 A002485型 A002486号*A002488号 A002489号 A002490号

关键词

非n,容易的,美好的,核心,看

作者

N.J.A.斯隆

扩展

其他参考和评论伦·斯迈利,约书亚·祖克,里克·L·谢泼德和赫伯特·S·威尔夫

定义中的拼写错误由更正莱因哈德·祖姆凯勒2011年8月23日

删除了不正确的公式，编辑了文本约翰内斯·梅耶尔2013年2月7日

状态

经核准的