登录
A267241型
行和不变、列按字典顺序不变的nX4二进制数组的数量。
1
5, 22, 105, 567, 3351, 20676, 129129, 804817, 4982759, 30629206, 187121865, 1137631979, 6891047527, 41628865000, 250987078681, 1511105743781, 9088662549303, 54625229882746, 328144877989145, 1970524978549951
抵消
1,1
评论
第4列,共列A267245型.
链接
罗伯特·伊斯雷尔,经验复发的Maple辅助证明
常系数线性递归的索引项,签名(24,-246,1420,-5121,12084,-18944,19536,-12720,4736,-768)。
配方奶粉
经验公式:a(n)=24*a(n-1)-246*a(n-2)+1420*a(n-3)-5121*a(-n4)+12084*a(n5)-18944*a。
验证了经验公式(参见链接)。 -罗伯特·伊斯雷尔2019年9月8日
例子
n=4的一些解
..0..0..0..0....0..0..0..0....0..0..1..1....0..0..1..1....0..0..0..1
..0..0..0..0....0..0..0..1....0..0..1..1....0..1..0..1....0..1..1..0
..0..1..1..1....0..1..1..0....0..1..1..1....1..0..1..0....0..1..1..1
..1..0..1..1....0..1..1..0....1..0..1..1....1..0..1..0....0..1..1..1
MAPLE公司
状态:=选择(proc(x)(x[1]=x[2]或x[5]=1)和(x[2]=x[3]或x[6]=1)和(x[3]=x[4]或x[7]=1)结束proc,[seq(seq(seq(seq(seq(seq(seq([a,b,c,d,e,f,g],g=0..1),f=0..1),e=0..1),d=0..1),c=0..1),b=0..1),a=0..1)]):
T: =矩阵(54,54,proc(i,j)局部k;
如果add(states[j,k]-states[i,k],k=1..4)>0,则返回0fi;
如果状态[j,5]>状态[i,5]或状态[j、6]>状态[i,6]或状态[j,7]>状态[1,7],则返回0 fi;
如果状态[i,1]>=状态[i,2]和状态[j,5]<>状态[i,5],则返回0fi;
如果状态[i,2]>=状态[i、3]和状态[j,6]<>状态[i和6],则返回0 fi;
如果状态[i,3]>=状态[i、4]和状态[j,7]<>状态[i和7],则返回0 fi;
1
结束进程):
U: =矢量(54,1):
E[0]:=向量(54):E[0][1]:=1:
对于从1到25的k,做E[k]:=T。E[k-1]od(E[k-1]od):
seq(U^%T.E[j],j=1..25); #罗伯特·伊斯雷尔2019年9月8日
数学
线性递归[{24,-246,1420,-5121,12084,-18944,19536,-12720,4736,-768},{5,22,105,567,3351,20676,129129,804817,4982759,30629206,187121865},25](*Jean-François Alcover公司2022年10月25日之后罗伯特·伊斯雷尔*)
关键词
非n
作者
R.H.哈丁2016年1月12日
状态
经核准的