OFFSET
1,2
COMMENTS
a(n) is also the number of non-isomorphic monotonic boolean functions with one minimal model.
LINKS
Sascha Kurz and Dani Samaniego, Simple games with minimum, arXiv:2501.18966 [math.CO], 2025.
MATHEMATICA
sgnvnn[0, 0] = 1; sgnvnn[_, 0] = 0;
sgnvnn[n_, t_] := sgnvnn[n, t] = (1/t) Sum[If[Mod[k, l]==0, (k/l-1)sgnvnn[n-k, t-l], 0], {l, t}, {k, n}];
sg[n_, 1] := sgnvnn[n, 1] + 1;
sg[n_, 2] := sgnvnn[n, 2] + 2 Sum[sgnvnn[n-i, 1], {i, n-2}] + n - 1;
sg[n_, t_] := sgnvnn[n, t] + 2 Sum[sgnvnn[n-i, t-1], {i, n-2}] + Sum[(i-1) sgnvnn[n-i, t-2], {i, 2, n-2}];
a[n_] := Sum[sg[n, t], {t, Quotient[n, 2]+1}];
Table[a[n], {n, 50}] (* Andrei Zabolotskii, Jul 24 2025 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Dani Samaniego Vidal, Jun 16 2025
EXTENSIONS
Edited and extended by Andrei Zabolotskii, Jul 24 2025
STATUS
approved
