%I#214 2024年2月7日01:18:12

%S 0,2,8,26,802427282186656019682590481771465314401594322，

%电话：4782968143489064304672012914016238742048811622614663486784400，

%电话：104603532023131881059608941431788262824295364808472886094422541865828328762559748622876792456960

%N a（N）=3^N-1。

%C攻击皇后问题在n维立方格中沿直线的不同方向和超对角的个数（n=2中的A036464，n=3中的P068940和n=4中的A068941）。n维方向向量具有a（n）+1笛卡尔坐标（i，j，k，l，…），其中i，j、k、l，…=-1、0或+1，不包括零矢量i=j=k=l==0.对应的超线计数为A003462。-_R.J.Mathar_，2006年5月1日

%C长度为m＝1，。。。，n具有满足条件Sum_{k=1..m}|n_k|<=n的非零整数元素。参见k.A.Meissner链接第6页（输入错误：它应该是3^（[2a]-1）-1）_Wolfdieter Lang，2008年1月21日

%C设P（A）是n元集A的幂集，R是P（A_Ross La Haye_，2009年3月19日

%C摩尔邻域中n维邻居的数量_Dmitry Zaitsev，2015年11月30日

%C具有n个变量的布尔表达式的连接正规形式中的项数。例如，a（2）=8:[~x，~y，x，y，~x|~y，~x|y，x|~y，x|y].-_季宇春2023年5月12日

%C B_n型Coxeter排列的射线数。相当于n维B型置换面体的面数_Jose Bastidas，2023年9月12日

%D Mordechai Ben-Ari，《计算机科学的数学逻辑》，第三版，173-203。

%H Vincenzo Librandi，n的表，n=0..200的a（n）</a>

%H Omran Ahmadi和Robert Granger，<a href=“https://doi.org/10.1090/S0025-5718-2013-02705-6“>Kloosterman和零的有效确定性检验，《计算数学》，第83卷，第285期（2014年），第347-363页；<a href=”https://arxiv.org/abs/104.3882“>arXiv预印本</a>，arXiv:1104.3882[math.NT]，2011-2012。见第9页表2第1列。

%H Feryal Alayont和Evan Henning，<a href=“https://cs.uwaterloo.ca/journals/JIS/VOL26/Alayont/ala4.html“>毛毛虫的边缘覆盖、带悬挂器的循环和蜘蛛图</a>，《国际期刊》（2023）第26卷，第23.9.4条。

%H Michael Baake、Franz Gähler和Uwe Grimm，<a href=“https://cs.uwaterloo.ca/journals/JIS/VOL16/Baake/bake3.html“>替换系统及其因子示例，整数序列杂志，第16卷（2013年），#13.2.14。

%H R.Samuel Buss，<a href=“http://math.ucsd.edu/~sbuss/ResearchWeb/herbrandethegorithm/paper.pdf“>Herbrand定理</a>，加利福尼亚大学，逻辑与计算复杂性，第195-209页，计算机科学讲义，第960卷。斯普林格。

%H Jan Draisma、Tyrrell B.McAllister和Benjamin Nill，<a href=“https://doi.org/10.1137/120877635“>格宽方向和Minkowski的3^d定理，SIAM J.离散数学，第26卷，第3期（2012），第1104-1107页；<a href=”http://arxiv.org/abs/0901.1375“>arXiv-print</a>，arXiv:0901.1375[math.CO]，2009年1月10日。-Jonathan Vos Post，2009年1月13日

%H Alessandro Farinelli，<a href=“http://profs.sci.univr.it网站/~farinelli/courses/ar/slides/herbrand.pdf“>herbrand Universe和herbrand-Base</a>。

%H Ross La Haye，<a href=“https://cs.uwaterloo.ca/journals/JIS/VOL12/LaHaye/lahaye5.html“>n元素集幂集上的二元关系</a>，《整数序列杂志》，第12卷（2009年），第09.2.6条。

%H Krzysztof A.迈斯纳，<A href=“https://doi.org/10.1088/0264-9381/21/22/015“>环圈量子引力中的黑洞熵，经典和量子引力，第21卷，第22期（2004），第5245-5251页；<a href=”https://arxiv.org/abs/gr-qc/0407052“>arXiv-print</a>，arXiv:gr-qc/04070522004。

%H Amir Sapir，<a href=“https://doi.org/10.1093/comjnl/47.1.20“>The Tower of Hanoi with Forbidden Moves</a>，The Computer J.47（1）（2004）20，连续三个案例，序列b（n）。

%H Steven Schlicker、Roman Vasquez和Rachel Wofford，<a href=“https://cs.uwaterloo.ca/journals/JIS/VOL26/Wowfford/wofford4.html“>通过二部图的边覆盖从Hausdorff度量几何中配置的整数序列，J.Int.Seq.（2023）第26卷，第23.6.6条。

%H Amelia Carolina Sparavigna，<a href=“https://doi.org/10.5281/zenodo.3471358“>Mersenne、Fermat、Cullen、Woodall和其他数字的群胚及其通过整数序列的表示</a>，Politecnico di Torino，Italy（2019），[math.NT]。

%H Amelia Carolina Sparavigna，<a href=“https://doi.org/10.18483/ijSci.2188“>一些群胚及其整数序列表示</a>，《国际科学杂志》（2019）第8卷，第10期。

%H维基百科，<a href=“https://en.wikipedia.org/wiki/Herbrand_structure网站“>Herbrand结构。

%H Damiano Zanardini，<a href=“https://costa.fdi.ucm.es网址/~damiano/teaching/emcl/cl_09_10/slides/04interpretation.pdf“>计算逻辑，幻灯片，马德里计算机科学技术大学UPM欧洲计算逻辑硕士（emcl），2009-2010年。

%H<a href=“/index/Rec#order_02”>带常数的线性重复出现的索引条目，签名（4，-3）。

%F a（n）=A000244（n）-1。

%F a（n）=2*A003462（n）.-_R.J.Mathar，2006年5月1日

%F A128760（a（n））>0.-_Reinhard Zumkeller_，2007年3月25日

%F.G.F.：2*x/（（-1+x）*（-1+3*x））=1/（-1+x）-1/（-1+3**x）.-_R.J.Mathar，2007年11月19日

%F a（n）=和{k=1..n}和{m=1..k}二项式（k-1，m-1）*2^m，n>=1。a（0）=0。从上面提到的序列组合中。3的部分幂和的两倍。

%例如：E^（3*x）-E^x.-Mohammad K.Azarian_，2009年1月14日

%F a（n）=A024101（n）/A034472（n）_Reinhard Zumkeller，2009年2月14日

%F a（n）=3*a（n-1）+2（a（0）=0）_文森佐·利班迪（Vincenzo Librandi），2010年11月19日

%F例如：-E（0），其中E（k）=1-3^k/（1-x/（x-3^k*（k+1）/E（k+1；（连分数）。-_谢尔盖·格拉德科夫斯基（Sergei N.Gladkovskii），2012年12月6日

%F a（n）=A227048（n，A020914（n））。-_Reinhard Zumkeller_，2013年6月30日

%F和{n>=1}1/a（n）=A214369.-_Amiram Eldar，2020年11月11日

%e摘自2007年1月14日的《Zerinvary Lajos》：（开始）

%e三元。。。。。。十进制的：

%e 0…………0

%e 2…………………2

%e 22…………..8

%e 222…………26

%e 2222…………..80

%e 22222………242

%e 222222……….728

%e 2222222……2186

%e 22222222…..6560

%e 22222222…19682

%电子222222222..59048

%e等…………等。

%e（结束）

%e序列组合：n=3：长度m=1:[1]，[2]，[3]各有2个符号，m=2:[1,1]，[1,2]，[2,1]，每个2^2=4倍于选择符号；m=3:[1,1,1]有2^3个签名版本：3*2+3*4+1*8=26=a（3）。顺序很重要，因此M_0多项式A048996作为因子输入。

%e A027902给出了a（24）的384个除数_Reinhard Zumkeller_，2010年3月11日

%t3^范围[0,30]-1（*Paolo Xausa_，2023年7月15日*）

%o（岩浆）[0..35]]中的[3^n-1:n；//_文森佐·利班迪（Vincenzo Librandi），2011年4月30日

%o（哈斯克尔）

%o a024023=减去1。a000244---Reinhard Zumkeller_，2013年6月30日

%o（PARI）a（n）=3^n-1\\_查尔斯·格里特豪斯IV，2015年9月24日

%o（PARI）向量（50，n，和（k=0，n，2^k*二项式（n-1，k））-1）\\阿尔图格·阿尔坎，2015年10月4日

%o（PARI）我的（x='x+o（'x^100））；concat（[0]，Vec（2*x/（-1+x）/（-1+3*x）））\\阿尔图·阿尔坎，2015年10月16日

%Y参考三角形A013609。

%Y参见A003462、A007051、A034472、A214369。

%Y参考A145901第二列。

%K nonn，简单

%0、2

%A _N.J.A.斯隆_