|
|
A290134
|
|
Number of unique X-rays of n X n binary matrices with exactly floor(n^2/2) ones.
|
|
3
|
|
|
1, 1, 2, 5, 14, 42, 130, 415, 1368, 4603, 15788, 54863, 193112, 686049, 2459942, 8881931, 32292148, 118038070, 433790834, 1601042055, 5934546466, 22074679425, 82399006636, 308471888767, 1158175006638, 4359154749776, 16447468190380, 62188658733901
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,3
|
|
COMMENTS
|
The X-ray of a matrix is defined as the sequence of antidiagonal sums.
A unique X-ray allows reconstruction of the binary matrix.
The number of unique X-rays of all n X n binary matrices is A081294(n).
The number of all X-rays of n X n binary matrices is A010790(n).
|
|
LINKS
|
|
|
FORMULA
|
a(n) ~ sqrt(3) * 2^(2*n-1) / (sqrt(Pi) * n^(3/2)). - Vaclav Kotesovec, Jul 22 2017
|
|
EXAMPLE
|
a(3) = 5: 00301, 02020, 10021, 10300, 12001.
a(4) = 14: 0004301, 0030320, 0034001, 0200321, 0204020, 0230021, 0230300, 1004021, 1004300, 1030301, 1034000, 1200320, 1204001, 1230020.
|
|
MAPLE
|
b:= proc(n, i, t) option remember; (m-> `if`(n>m, 0, `if`(n=m, 1,
b(n, i-t, 1-t)+`if`(i>n, 0, b(n-i, i-t, 1-t)))))(i*(i+1-t))
end:
a:= n-> b(iquo(n^2, 2), n, 1):
seq(a(n), n=0..40);
|
|
MATHEMATICA
|
b[n_, i_, t_] := b[n, i, t] = Function[m, If[n > m, 0, If[n == m, 1, b[n, i-t, 1-t] + If[i > n, 0, b[n - i, i - t, 1 - t]]]]][i*(i + 1 - t)];
a[n_] := b[Quotient[n^2, 2], n, 1];
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
STATUS
|
approved
|
|
|
|