XOR三角形T(m)是一个倒0-1三角形,它是通过选择m的二进制格式b(m)的顶行而形成的,并且后续行中的每个条目都是上面两个值的XOR,即:。,A038554号(n) 递归地应用,直到我们达到一个位。我们可以将T(m)绘制为等边三角形,因为每次迭代都会减少输出的二进制整数长度L,直到L=1。
这里使用的XOR函数需要两个输入;如果输入一致,则输出为0,否则为1。
旋转对称异或三角形(RST)是指旋转120度时其外观相同的三角形。
当我们在前面的迭代中运行(k+1)1s时,会出现边长为k的零三角形。
此序列包含m,该m产生T(m),其记录设置边长为其最大的零三角形。对于1<n<3,T(a(n))只有偏心零三角形。T(a(4))在中心有一个单零,因此k=1的中心零三角形(CZT)。对于n>4,所有T(a(n))都有CZT。
号码543=A281482型(4); 我们观察到A281482型(2^i)产生RST,只有当0≤i≤2时,我们才有比任何可能的CZT都大的偏心零三角形。对于A281482型(2^3)=131583,证明其偏心零三角形的边长远小于可能的最大CZT。
由于该序列希望最大化最大三角形的边长k,因此我们可以看到可能的最大三角形是CZT。设j为“帧宽度”或在CZT中生成第一次运行0所需的迭代次数。我们注意到j>=2,因为j=1需要运行由至少1个零分隔的(k+1)个;这样的宽度意味着这些零出现在b(m)的开始和结束处。然而,不允许以前导零开始二进制表示法。因此,如果可能的话,我们将看到j>1的T(m)。
产生记录设置m的数字是m的二进制倒数中较小的数字,因此二进制权重倾向于最低有效数字。因此,我们在“前缀”a中看到一个1后面跟着一些零,该前缀和后缀C必须具有相同的位数。
对于带有CZT的RST,我们只有一种方法可以产生(k+1)个实运行的零,即通过抖动位,这需要配对0和1,因此,对于n>4,我们甚至有k。
n>4的A(n)的游程长度公式为12.i(11)。。3,这意味着我们有1个1,2个0,任意数量的i个成对的1-0位,以及3个1。除了此模式的反转,即在最重要的3位中放置更大的二进制权重外,没有其他方法可以构造帧大小j=2的更小(或任何)CZT。
这相当于从{23919559}开始的线性递归内核(5,-4)(尽管39是相同轨迹的一部分)。