OFFSET
9,1
LINKS
Mattias Svanstrom, A lower bound for ternary constant weight codes, IEEE Trans. on Information Theory, Vol. 43 (Sep. 1997), pp. 1630-1632.
FORMULA
a(n) = ceiling(binomial(n, w) * 2^w / (2*n + 1)) with w = 9.
MATHEMATICA
a[n_] := Ceiling[Binomial[n, 9] * 2^9 / (2*n + 1)]; Array[a, 40, 9] (* Amiram Eldar, Oct 31 2025 *)
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
Mattias Svanstrom (mattias(AT)isy.liu.se)
STATUS
approved
