A134954 -id:A134954 - cp's OEIS frontend

A321255 Number of connected multiset partitions with multiset density -1, of strongly normal multisets of size n, with no singletons.

0, 0, 2, 3, 8, 19, 60, 183, 643, 2355, 9393

Offset: 0

Gus Wiseman, Nov 01 2018

The multiset density of a multiset partition is the sum of the numbers of distinct vertices in each part minus the number of parts minus the number of vertices.

A multiset is normal if it spans an initial interval of positive integers, and strongly normal if in addition its multiplicities are weakly decreasing.

			The a(2) = 2 through a(5) = 19 multiset partitions:
  {{1,1}}  {{1,1,1}}  {{1,1,1,1}}    {{1,1,1,1,1}}
  {{1,2}}  {{1,1,2}}  {{1,1,1,2}}    {{1,1,1,1,2}}
           {{1,2,3}}  {{1,1,2,2}}    {{1,1,1,2,2}}
                      {{1,1,2,3}}    {{1,1,1,2,3}}
                      {{1,2,3,4}}    {{1,1,2,2,3}}
                      {{1,1},{1,1}}  {{1,1,2,3,4}}
                      {{1,1},{1,2}}  {{1,2,3,4,5}}
                      {{1,2},{1,3}}  {{1,1},{1,1,1}}
                                     {{1,1},{1,1,2}}
                                     {{1,1},{1,2,2}}
                                     {{1,1},{1,2,3}}
                                     {{1,2},{1,1,1}}
                                     {{1,2},{1,1,3}}
                                     {{1,2},{1,3,4}}
                                     {{1,3},{1,1,2}}
                                     {{1,3},{1,2,2}}
                                     {{1,3},{1,2,4}}
                                     {{1,4},{1,2,3}}
                                     {{2,3},{1,1,2}}

Cf. A000272, A030019, A052888, A134954, A304867, A317672, A321228, A321229, A321253.

A304939 Number of labeled nonempty hypertrees (connected antichains with no cycles) spanning some subset of {1,...,n} without singleton edges.

Original entry on oeis.org

1, 0, 1, 7, 51, 506, 6843, 118581, 2504855, 62370529, 1788082153, 57997339632, 2099638691439, 83922479506503, 3670657248913385, 174387350448735877, 8942472292255441103, 492294103555090048458, 28958704109012732921523

Offset: 0

Gus Wiseman, May 21 2018

nonn

			The a(3) = 7 hypertrees are the following:
  {{1,2}}
  {{1,3}}
  {{2,3}}
  {{1,2,3}}
  {{1,2},{1,3}}
  {{1,2},{2,3}}
  {{1,3},{2,3}}

Andrew Howroyd, Table of n, a(n) for n = 0..200

Cf. A030019, A035053, A048143, A134954, A134955, A134956, A134957, A134959, A144959, A303838, A304867, A304911, A304912, A304918, A305004.

\\ here b(n) is A030019 with b(1)=0.
b(n)=if(n<2, n==0, sum(i=0, n, stirling(n-1, i, 2)*n^(i-1)));
a(n)=if(n<1, n==0, sum(k=1, n, binomial(n, k)*b(k))); \\ Andrew Howroyd, Aug 27 2018

a(n) = A305004(n) - 1 for n > 0. - Andrew Howroyd, Aug 27 2018

A305194 Number of z-forests summing to n. Number of strict integer partitions of n with pairwise indivisible parts and all connected components having clutter density -1.

Original entry on oeis.org

1, 1, 1, 1, 2, 1, 3, 2, 3, 4, 5, 4, 6, 7, 7, 9, 11, 12, 13, 15, 17, 20, 23, 25, 27, 32, 35, 40, 45, 49, 54, 58, 67, 78, 82, 95, 99, 111, 123, 135, 150, 164, 177, 194, 214, 236, 260, 282, 309, 330

Offset: 1

Gus Wiseman, May 27 2018

Given a finite set S of positive integers greater than 1, let G(S) be the simple labeled graph with vertex set S and edges between any two vertices that have a common divisor greater than 1. For example, G({6,14,15,35}) is a 4-cycle. A set S is said to be connected if G(S) is a connected graph. The clutter density of S is defined to be Sum_{s in S} (omega(s) - 1) - omega(lcm(S)), where omega = A001221 and lcm is least common multiple. Then a z-forest is a strict integer partition with pairwise indivisible parts greater than 1 such that all connected components have clutter density -1.

			The a(17) = 11 z-forests together with the corresponding multiset systems:
       (17): {{7}}
     (15,2): {{2,3},{1}}
     (14,3): {{1,4},{2}}
     (13,4): {{6},{1,1}}
     (12,5): {{1,1,2},{3}}
     (11,6): {{5},{1,2}}
     (10,7): {{1,3},{4}}
      (9,8): {{2,2},{1,1,1}}
   (10,4,3): {{1,3},{1,1},{2}}
    (7,6,4): {{4},{1,2},{1,1}}
  (7,5,3,2): {{4},{3},{2},{1}}

Roland Bacher, On the enumeration of labelled hypertrees and of labelled bipartite trees, arXiv:1102.2708 [math.CO], 2011.

Cf. A030019, A048143, A134954, A275307, A285572, A293510, A293993, A293994, A303362, A303837, A303838, A304118, A304382, A305078, A305195.

zsm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[Less@@#,GCD@@s[[#]]]>1&]},If[c=={},s,zsm[Union[Append[Delete[s,List/@c[[1]]],LCM@@s[[c[[1]]]]]]]]];
zensity[s_]:=Total[(PrimeNu[#]-1&)/@s]-PrimeNu[LCM@@s];
zreeQ[s_]:=And[Length[s]>=2,zensity[s]==-1];
Table[Length[Select[IntegerPartitions[n],Function[s,UnsameQ@@s&&And@@(Length[#]==1||zreeQ[#]&)/@Table[Select[s,Divisible[m,#]&],{m,zsm[s]}]&&Select[Tuples[s,2],UnsameQ@@#&&Divisible@@#&]=={}]]],{n,50}]

A321227 Number of connected multiset partitions with multiset density -1 of strongly normal multisets of size n.

Original entry on oeis.org

0, 1, 3, 6, 17, 43, 147, 458, 1729, 6445, 27011

Offset: 0

Gus Wiseman, Oct 31 2018

The multiset density of a multiset partition is the sum of the numbers of distinct vertices in each part minus the number of parts minus the number of vertices.

A multiset is normal if it spans an initial interval of positive integers, and strongly normal if in addition its multiplicities are weakly decreasing.

			The a(1) = 1 through a(4) = 17 multiset partitions:
  {{1}}  {{1,1}}    {{1,1,1}}      {{1,1,1,1}}
         {{1,2}}    {{1,1,2}}      {{1,1,1,2}}
         {{1},{1}}  {{1,2,3}}      {{1,1,2,2}}
                    {{1},{1,1}}    {{1,1,2,3}}
                    {{1},{1,2}}    {{1,2,3,4}}
                    {{1},{1},{1}}  {{1},{1,1,1}}
                                   {{1,1},{1,1}}
                                   {{1},{1,1,2}}
                                   {{1,1},{1,2}}
                                   {{1},{1,2,2}}
                                   {{1},{1,2,3}}
                                   {{1,2},{1,3}}
                                   {{2},{1,1,2}}
                                   {{1},{1},{1,1}}
                                   {{1},{1},{1,2}}
                                   {{1},{2},{1,2}}
                                   {{1},{1},{1},{1}}

Cf. A000272, A007716, A007718, A030019, A052888, A134954, A304867, A304887, A318697, A321155, A321228, A321229, A321231.

sps[{}]:={{}};sps[set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@sps[Complement[set,s]]]/@Cases[Subsets[set],{i,_}];
mps[set_]:=Union[Sort[Sort/@(#/.x_Integer:>set[[x]])]&/@sps[Range[Length[set]]]];
csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Union[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
mensity[c_]:=Total[(Length[Union[#]]-1&)/@c]-Length[Union@@c];
strnorm[n_]:=Flatten[MapIndexed[Table[#2,{#1}]&,#]]&/@IntegerPartitions[n];
Table[Sum[Length[Select[mps[m],And[mensity[#]==-1,Length[csm[#]]==1]&]],{m,strnorm[n]}],{n,0,8}]

A326374 Irregular triangle read by rows where T(n,k) is the number of (d + 1)-uniform hypertrees spanning n + 1 vertices, where d = A027750(n,k).

Original entry on oeis.org

1, 3, 1, 16, 1, 125, 15, 1, 1296, 1, 16807, 735, 140, 1, 262144, 1, 4782969, 76545, 1890, 1, 100000000, 112000, 1, 2357947691, 13835745, 33264, 1, 61917364224, 1, 1792160394037, 3859590735, 270670400, 35135100, 720720, 1, 56693912375296, 1, 1946195068359375

Offset: 1

Gus Wiseman, Jul 03 2019

A hypertree is a connected hypergraph of density -1, where density is the sum of sizes of the edges minus the number of edges minus the number of vertices. A hypergraph is k-uniform if its edges all have size k. The span of a hypertree is the union of its edges.

			Triangle begins:
           1
           3          1
          16          1
         125         15          1
        1296          1
       16807        735        140          1
      262144          1
     4782969      76545       1890          1
   100000000     112000          1
  2357947691   13835745      33264          1
The T(4,2) = 15 hypertrees:
  {{1,4,5},{2,3,5}}
  {{1,4,5},{2,3,4}}
  {{1,3,5},{2,4,5}}
  {{1,3,5},{2,3,4}}
  {{1,3,4},{2,4,5}}
  {{1,3,4},{2,3,5}}
  {{1,2,5},{3,4,5}}
  {{1,2,5},{2,3,4}}
  {{1,2,5},{1,3,4}}
  {{1,2,4},{3,4,5}}
  {{1,2,4},{2,3,5}}
  {{1,2,4},{1,3,5}}
  {{1,2,3},{3,4,5}}
  {{1,2,3},{2,4,5}}
  {{1,2,3},{1,4,5}}

Alois P. Heinz, Rows n = 1..185, flattened

Row sums are A320444.
Column d = 1 is A000272.
Cf. A030019, A027750, A035053, A038041, A052888, A057625, A061095, A121860, A134954, A236696, A262843.

T:= n-> seq(n!/(d!*(n/d)!)*((n+1)/d)^(n/d-1), d=numtheory[divisors](n)):
seq(T(n), n=1..20);  # Alois P. Heinz, Aug 21 2019

Table[n!/(d!*(n/d)!)*((n+1)/d)^(n/d-1),{n,10},{d,Divisors[n]}]

T(n, k) = n!/(d! * (n/d)!) * ((n + 1)/d)^(n/d - 1), where d = A027750(n, k).

Edited by Peter Munn, Mar 05 2025

A304977 Number of unlabeled hyperforests spanning n vertices with singleton edges allowed.

Original entry on oeis.org

1, 1, 4, 14, 55, 235, 1112, 5672, 30783, 175733, 1042812, 6385278, 40093375, 257031667, 1676581863, 11098295287, 74401300872, 504290610004, 3451219615401, 23821766422463, 165684694539918, 1160267446543182, 8175446407807625, 57928670942338011, 412561582740147643

Offset: 0

Gus Wiseman, May 22 2018

nonn

			Non-isomorphic representatives of the a(3) = 14 hyperforests are the following:
  {{1,2,3}}
  {{3},{1,2}}
  {{3},{1,2,3}}
  {{1,3},{2,3}}
  {{1},{2},{3}}
  {{2},{3},{1,3}}
  {{2},{3},{1,2,3}}
  {{3},{1,2},{2,3}}
  {{3},{1,3},{2,3}}
  {{1},{2},{3},{2,3}}
  {{1},{2},{3},{1,2,3}}
  {{2},{3},{1,2},{1,3}}
  {{2},{3},{1,3},{2,3}}
  {{1},{2},{3},{1,3},{2,3}}

Andrew Howroyd, Table of n, a(n) for n = 0..200

Cf. A030019, A035053, A134954, A134955, A134956, A134957, A134958, A134959, A144959, A304867, A304911, A304912, A304918.

\\ here b(n) is A318494 as vector
EulerT(v)={Vec(exp(x*Ser(dirmul(v, vector(#v, n, 1/n))))-1, -#v)}
b(n)={my(v=[1]); for(i=2, n, v=concat([1], EulerT(EulerT(2*v)))); v}
seq(n)={my(u=2*b(n)); concat([1], EulerT(Vec(Ser(EulerT(u))*(1-x*Ser(u))-1)))} \\ Andrew Howroyd, Aug 27 2018

Euler transform of b(1) = 1, b(n > 1) = A134959(n).

Terms a(7) and beyond from Andrew Howroyd, Aug 27 2018

A322112 Number of non-isomorphic self-dual connected multiset partitions of weight n with no singletons and multiset density -1.

Original entry on oeis.org

1, 0, 1, 1, 1, 2, 2, 4, 4, 9, 9

Offset: 0

Gus Wiseman, Nov 26 2018

The multiset density of a multiset partition is the sum of the numbers of distinct vertices in each part minus the number of parts minus the number of vertices.
The dual of a multiset partition has, for each vertex, one part consisting of the indices (or positions) of the parts containing that vertex, counted with multiplicity. For example, the dual of {{1,2},{2,2}} is {{1},{1,2,2}}. A multiset partition is self-dual if it is isomorphic to its dual. For example, {{1,1},{1,2,2},{2,3,3}} is self-dual, as it is isomorphic to its dual {{1,1,2},{2,2,3},{3,3}}.
The weight of a multiset partition is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(2) = 1 through a(10) = 9 multiset partitions:
  {{11}}  {{111}}  {{1111}}  {{11111}}    {{111111}}    {{1111111}}
                             {{11}{122}}  {{22}{1122}}  {{111}{1222}}
                                                        {{22}{11222}}
                                                        {{11}{12}{233}}
.
  {{11111111}}      {{111111111}}        {{1111111111}}
  {{111}{11222}}    {{1111}{12222}}      {{1111}{112222}}
  {{22}{112222}}    {{22}{1122222}}      {{22}{11222222}}
  {{11}{122}{233}}  {{222}{111222}}      {{222}{1112222}}
                    {{11}{11}{12233}}    {{111}{122}{2333}}
                    {{11}{113}{2233}}    {{22}{113}{23333}}
                    {{12}{111}{2333}}    {{22}{1133}{2233}}
                    {{22}{113}{2333}}    {{33}{33}{112233}}
                    {{12}{13}{22}{344}}  {{11}{14}{223}{344}}

Cf. A000272, A007716, A007718, A030019, A052888, A134954, A304867, A304887, A316983, A321155, A321255, A322111.

A303674 Number of connected integer partitions of n > 1 whose distinct parts are pairwise indivisible and whose z-density is -1.

Original entry on oeis.org

1, 1, 1, 2, 1, 3, 1, 3, 2, 4, 1, 4, 1, 6, 4, 5, 1, 8, 2, 7, 5, 11, 3, 11, 5, 13, 6, 14, 7, 19, 6, 19, 15, 24, 13, 28, 15, 33, 20, 34, 22, 46, 30, 48, 32, 57, 39, 67, 48, 76, 63, 88, 62, 104, 88, 110, 94, 130, 115, 164, 121, 172, 152, 198, 176, 229, 203, 270, 235, 293, 272, 341, 311, 375, 349, 453, 420, 506, 452, 570, 547

Offset: 1

Gus Wiseman, Jun 04 2018

nonn

The z-density of a multiset S is defined to be Sum_{s in S} (omega(s) - 1) - omega(lcm(S)), where omega = A001221 and lcm is least common multiple.

Given a finite multiset S of positive integers greater than 1, let G(S) be the simple labeled graph with vertex set S and edges between any two vertices that have a common divisor greater than 1. For example, G({6,14,15,35}) is a 4-cycle. A multiset S is said to be connected if G(S) is a connected graph.

			The a(18) = 8 integer partitions are (18), (14,4), (10,8), (9,9), (10,4,4), (6,4,4,4), (3,3,3,3,3,3), (2,2,2,2,2,2,2,2,2).
The a(20) = 7 integer partitions are (20), (14,6), (12,8), (10,6,4), (5,5,5,5), (4,4,4,4,4), (2,2,2,2,2,2,2,2,2,2).

Cf. A030019, A035053, A048143, A134954, A286520, A293510, A293994, A303837, A303838, A304382.

zsm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[Less@@#,GCD@@s[[#]]]>1&]},If[c=={},s,zsm[Union[Append[Delete[s,List/@c[[1]]],LCM@@s[[c[[1]]]]]]]]];
zensity[s_]:=Total[(PrimeNu[#]-1&)/@s]-PrimeNu[LCM@@s];
Table[Length[Select[IntegerPartitions[n],And[zensity[#]==-1,Length[zsm[#]]==1,Select[Tuples[#,2],UnsameQ@@#&&Divisible@@#&]=={}]&]],{n,30}]

a(51)-a(81) from Robert Price, Sep 15 2018

A304919 Number of labeled hyperforests spanning {1,...,n} and allowing singleton edges.

Original entry on oeis.org

1, 1, 5, 45, 665, 14153, 399421, 14137301, 603647601, 30231588689, 1738713049013, 112976375651901, 8186616300733321, 654642360222892057, 57267075701210437229, 5440407421313402397541, 557802495215406348358113, 61393838258161429159571873, 7220049654850517272144419941, 903546142463635579042416518989

Offset: 0

Gus Wiseman, May 21 2018

nonn

			The a(2) = 5 hyperforests are the following:
{{1,2}}
{{1},{2}}
{{1},{1,2}}
{{2},{1,2}}
{{1},{2},{1,2}}

Cf. A030019, A035053, A048143, A134954, A134955, A134956, A134957, A134959, A144959, A303838, A304717, A304867, A304911, A304912, A304918.

Inverse binomial transform of A134956.

cp's OEIS Frontend

A321255 Number of connected multiset partitions with multiset density -1, of strongly normal multisets of size n, with no singletons.

Views

Author

Keywords

Comments

Examples

Crossrefs

A304939 Number of labeled nonempty hypertrees (connected antichains with no cycles) spanning some subset of {1,...,n} without singleton edges.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

PARI

Formula

A305194 Number of z-forests summing to n. Number of strict integer partitions of n with pairwise indivisible parts and all connected components having clutter density -1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A321227 Number of connected multiset partitions with multiset density -1 of strongly normal multisets of size n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A326374 Irregular triangle read by rows where T(n,k) is the number of (d + 1)-uniform hypertrees spanning n + 1 vertices, where d = A027750(n,k).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

Formula

Extensions

A304977 Number of unlabeled hyperforests spanning n vertices with singleton edges allowed.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

PARI

Formula

Extensions

A322112 Number of non-isomorphic self-dual connected multiset partitions of weight n with no singletons and multiset density -1.

Views

Author

Keywords

Comments

Examples

Crossrefs

A303674 Number of connected integer partitions of n > 1 whose distinct parts are pairwise indivisible and whose z-density is -1.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Extensions

A304919 Number of labeled hyperforests spanning {1,...,n} and allowing singleton edges.

Views