OFFSET
1,2
COMMENTS
Since (n+1)/2 is the mean of {1..n}, this sequence counts a type of "transitive" set partitions.
EXAMPLE
The a(1) = 1 through a(5) = 12 set partitions:
{{1}} {{12}} {{123}} {{1234}} {{12345}}
{{1}{2}} {{13}{2}} {{12}{34}} {{1245}{3}}
{{1}{2}{3}} {{13}{24}} {{135}{24}}
{{14}{23}} {{15}{234}}
{{1}{23}{4}} {{1}{234}{5}}
{{14}{2}{3}} {{12}{3}{45}}
{{1}{2}{3}{4}} {{135}{2}{4}}
{{14}{25}{3}}
{{15}{24}{3}}
{{1}{24}{3}{5}}
{{15}{2}{3}{4}}
{{1}{2}{3}{4}{5}}
The set partition {{1,3},{2,4}} has means {2,3}, with mean 5/2, so is counted under a(4).
The set partition {{1,3,5},{2,4}} has means {3,3}, with mean 3, so is counted under a(5).
MATHEMATICA
sps[{}]:={{}}; sps[set:{i_, ___}]:=Join@@Function[s, Prepend[#, s]& /@ sps[Complement[set, s]]] /@ Cases[Subsets[set], {i, ___}];
Table[Length[Select[sps[Range[n]], Mean[Join@@#]==Mean[Mean/@#]&]], {n, 8}]
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Gus Wiseman, Apr 14 2023
STATUS
approved