登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 

标志
提示
(来自的问候整数序列在线百科全书!)
A327913型 反对偶读取的数组:T(n,m)是n X m个二进制矩阵的不同无序行和列总和的数目。
1, 1, 1, 1, 2, 1, 1, 3, 3, 1, 1, 4, 7, 4, 1, 1, 5, 13, 13, 5, 1, 1, 6, 22, 34, 22, 6, 1, 1, 7, 34, 76, 76, 34, 7, 1, 1, 8, 50, 152, 221, 152, 50, 8, 1, 1, 9, 70, 280, 557, 557, 280, 70, 9, 1, 1, 10, 95, 482, 1264, 1736, 1264, 482, 95, 10, 1, 1, 11, 125, 787, 2630, 4766, 4766, 2630, 787, 125, 11, 1 (列表;桌子;图表;参考;;历史;文本;内部格式)
抵消
0.5
评论
只需要考虑行和列总和弱增加的矩阵。如果还考虑了订单,则可能性的数量由下式给出A328887型(n,m)。
链接
安德鲁·霍罗伊德,n=0..1325时的n,a(n)表
曼弗雷德·克劳斯,Gale-Ryser定理的一个简单证明《美国数学月刊》,1996年。
维基百科,Gale-Ryser定理
例子
数组开始:
=============================================
n\m |0 1 2 3 4 5 6 7
----+----------------------------------------
0 | 1 1 1 1 1 1 1 1 ...
1 | 1 2 3 4 5 6 7 8 ...
2 | 1 3 7 13 22 34 50 70 ...
3 | 1 4 13 34 76 152 280 482 ...
4 | 1 5 22 76 221 557 1264 2630 ...
5 | 1 6 34 152 557 1736 4766 11812 ...
6 | 1 7 50 280 1264 4766 15584 45356 ...
7 | 1 8 70 482 2630 11812 45356 153228 ...
...
T(2,2)=7。以下7个矩阵各有不同的行/列总和。
[0 0] [0 0] [0 1] [0 0] [0 1] [0 1] [1 1]
[0 0] [0 1] [1 0] [1 1] [0 1] [1 1] [1 1]
黄体脂酮素
(PARI)
T(n,m)={本地(缓存=Map());
my(F(b,c,t,w)=my(hk=Vecsmall([b,c,t,w]),z);
如果(!mapisdefined(缓存、hk和z),
z=如果(w&&c,总和(i=0,b,总和(j=ceil((t+i)/w),最小值(t+i,c),self()(i,j,t+i-j,w-1))!t) ;
mapput(缓存,hk,z));z) ;
F(n,n,0,m)
}
(Python)#PARI实现后。
从functools导入缓存
@高速缓存
定义F(b,c,t,w):
如果w==0:
如果t==0,则返回1,否则为0
收益总额(
总和(
F(i,j,t+i-j,w-1)
对于范围内的j((t+i-1)//w,最小值(t+i,c)+1)
)
对于范围(b+1)中的i
)
327913英镑=λn,m:F(n,n,0,m)
对于范围(10)中的n:
打印([327913英镑(n,m)对于范围(0,8)中的m)#彼得·卢什尼2021年4月9日
交叉参考
主对角线为A029894号.
囊性纤维变性。A028657号(非等价二进制n X m矩阵)。
囊性纤维变性。A318396型,A328887型.
关键词
非n,
作者
安德鲁·霍罗伊德2019年10月30日
状态
已批准

查找|欢迎|维基|注册|音乐|地块2|Demos公司|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年4月16日08:27。包含371698个序列。(在oeis4上运行。)